William C. Rounds

Publication Activity (10 Years)

Years Active: 1969-2006
Publications (10 Years): 0

Publications

Hosung Song, Kevin J. Compton, William C. Rounds
SPHIN: A model checker for reconfigurable hybrid systems based on SPIN. Electron. Notes Theor. Comput. Sci. 145 (2006)
William C. Rounds
A Spatial Logic for the Hybrid p-Calculus. HSCC (2004)
Guo-Qiang Zhang, William C. Rounds
Reasoning with power defaults. Theor. Comput. Sci. 323 (1-3) (2004)
William C. Rounds, Hosung Song
The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems. HSCC (2003)
William C. Rounds, Guo-Qiang Zhang
Clausal Logic and Logic Programming in Algebraic Domains. Inf. Comput. 171 (2) (2001)
Eric Klavins, William C. Rounds, Guo-Qiang Zhang
Experimenting with Power Default Reasoning. AAAI/IAAI (1998)
Guo-Qiang Zhang, William C. Rounds
Defaults in Domain Theory. Theor. Comput. Sci. 177 (1) (1997)
Guo-Qiang Zhang, William C. Rounds
Nonmonotonic Consequences in Default Domain Theory. Ann. Math. Artif. Intell. 20 (1-4) (1997)
Guo-Qiang Zhang, William C. Rounds
Complexity of Power Default Reasoning. LICS (1997)
Guo-Qiang Zhang, William C. Rounds
Resolution in the Smyth powerdomain. MFPS (1997)
Guo-Qiang Zhang, William C. Rounds
Power Defaults. LPNMR (1997)
Guo-Qiang Zhang, Chang Huang, William C. Rounds
A Modal Logic for Reasoning about Belief. HICSS (5) (1997)
William C. Rounds, Guo-Qiang Zhang
Logical Considerations on Default Semantics. Ann. Math. Artif. Intell. 20 (1-4) (1997)
William C. Rounds, Guo-Qiang Zhang
Domain Theory Meets Default Logic. J. Log. Comput. 5 (1) (1995)
William C. Rounds, Guo-Qiang Zhang
Constraints in Nonmonotonic Reasoning. PPCP (1993)
Mark A. Young, William C. Rounds
A Logical Semantics for Nonmonotonic Sorts. ACL (1993)
Jochen Dörre, William C. Rounds
On Subsumption and Semiunifaction in Feature Algebras. J. Symb. Comput. 13 (4) (1992)
Jochen Dörre, William C. Rounds
On Subsumption and Semiunification in Feature Algebras LICS (1990)
Jochen Dörre, William C. Rounds
On Subsumption and Semiunifaction in Feature Algebras IWBS Report 97 (1989)
William C. Rounds
LFP A Logic for Linguistic Descriptions and an Analysis of its Complexity. Comput. Linguistics 14 (3) (1988)
Michael B. Kac, Alexis Manaster-Ramer, William C. Rounds
Simultaneous-Distributive Coordination and Context-Freeness. Comput. Linguistics 13 (1-2) (1987)
William C. Rounds, Alexis Manaster-Ramer
A Logical Version of Functional Grammar. ACL (1987)
M. Drew Moshier, William C. Rounds
On the Succinctness Properties of Unordered Context-Free Grammars. ACL (1987)
M. Drew Moshier, William C. Rounds
A Logic for Partially Specified Data Structures. POPL (1987)
William C. Rounds, Robert T. Kasper
A Complete Logical Calculus for Record Structures Representing Linguistic Information LICS (1986)
William C. Rounds
On the Relationship between Scott Domains, Synchronization Trees, and Metric Spaces Inf. Control. 66 (1/2) (1985)
William C. Rounds
Applications of Topology to Semantics of Communicating Processes. Seminar on Concurrency (1984)
William G. Golson, William C. Rounds
Connections Between Two Theories of Concurrency: Metric Spaces and Synchronization Trees Inf. Control. 57 (2/3) (1983)
Stephen D. Brookes, William C. Rounds
Behavioural Equivalence Relations Induced by Programming Logics. ICALP (1983)
William C. Rounds, Stephen D. Brookes
Possible Futures, Acceptances, Refusals, and Communicating Processes FOCS (1981)
John S. Gourlay, William C. Rounds, Richard Statman
On Properties Preserved by Contraction of Concurrent Systems. Semantics of Concurrent Computation (1979)
William F. Ogden, William E. Riddle, William C. Rounds
Complexity of Expressions Allowing Concurrency. POPL (1978)
Kenneth G. Walter, Samuel I. Schaen, William F. Ogden, William C. Rounds, D. G. Shumway, D. D. Schaeffer, K. J. Biba, Franklyn T. Bradshaw, S. R. Ames, J. M. Gilligan
Structured specification of a Security Kernel. Reliable Software (1975)
Mehdi Jazayeri, William F. Ogden, William C. Rounds
On the Complexity of the Circularity Test for Attribute Grammars. POPL (1975)
William C. Rounds
A Grammatical Characterization of Exponential-Time Languages FOCS (1975)
Mehdi Jazayeri, William F. Ogden, William C. Rounds
The Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars. Commun. ACM 18 (12) (1975)
William C. Rounds
Complexity of Recognition in Intermediate-Level Languages SWAT (1973)
William F. Ogden, William C. Rounds
Compositions of n Tree Transducers STOC (1972)
William C. Rounds
Mappings and Grammars on Trees. Math. Syst. Theory 4 (3) (1970)
William C. Rounds
Tree-Oriented Proofs of Some Theorems on Context-Free and Indexed Languages STOC (1970)
William C. Rounds
Context-Free Grammars on Trees STOC (1969)