William C. Rounds

According to our database, William C. Rounds authored at least 41 papers between 1969 and 2005.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2005

SPHIN: A model checker for reconfigurable hybrid systems based on SPIN.

Hosung Song, Kevin J. Compton, William C. Rounds

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

2004

Reasoning with power defaults.

Guo-Qiang Zhang, William C. Rounds

Theor. Comput. Sci., 2004

A Spatial Logic for the Hybrid p-Calculus.

William C. Rounds

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

2003

The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems.

William C. Rounds, Hosung Song

Proceedings of the Hybrid Systems: Computation and Control, 2003

2001

Clausal Logic and Logic Programming in Algebraic Domains.

William C. Rounds, Guo-Qiang Zhang

Inf. Comput., 2001

1998

Experimenting with Power Default Reasoning.

Eric Klavins, William C. Rounds, Guo-Qiang Zhang

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Defaults in Domain Theory.

Guo-Qiang Zhang, William C. Rounds

Theor. Comput. Sci., 1997

Resolution in the Smyth powerdomain.

Guo-Qiang Zhang, William C. Rounds

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

Nonmonotonic Consequences in Default Domain Theory.

Guo-Qiang Zhang, William C. Rounds

Ann. Math. Artif. Intell., 1997

Logical Considerations on Default Semantics.

William C. Rounds, Guo-Qiang Zhang

Ann. Math. Artif. Intell., 1997

Power Defaults.

Guo-Qiang Zhang, William C. Rounds

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Complexity of Power Default Reasoning.

Guo-Qiang Zhang, William C. Rounds

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

A Modal Logic for Reasoning about Belief.

Guo-Qiang Zhang, Chang Huang, William C. Rounds

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

Feature Logics.

William C. Rounds

Proceedings of the Handbook of Logic and Language., 1997

1995

Domain Theory Meets Default Logic.

William C. Rounds, Guo-Qiang Zhang

J. Log. Comput., 1995

1993

Constraints in Nonmonotonic Reasoning.

William C. Rounds, Guo-Qiang Zhang

Proceedings of the Principles and Practice of Constraint Programming, 1993

A Logical Semantics for Nonmonotonic Sorts.

Mark A. Young, William C. Rounds

Proceedings of the 31st Annual Meeting of the Association for Computational Linguistics, 1993

1992

On Subsumption and Semiunifaction in Feature Algebras.

Jochen Dörre, William C. Rounds

J. Symb. Comput., 1992

1990

On Subsumption and Semiunification in Feature Algebras

Jochen Dörre, William C. Rounds

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1988

LFP A Logic for Linguistic Descriptions and an Analysis of its Complexity.

William C. Rounds

Comput. Linguistics, 1988

1987

Simultaneous-Distributive Coordination and Context-Freeness.

Michael B. Kac, Alexis Manaster-Ramer, William C. Rounds

Comput. Linguistics, 1987

A Logic for Partially Specified Data Structures.

M. Drew Moshier, William C. Rounds

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

A Logical Version of Functional Grammar.

William C. Rounds, Alexis Manaster-Ramer

Proceedings of the 25th Annual Meeting of the Association for Computational Linguistics, 1987

On the Succinctness Properties of Unordered Context-Free Grammars.

M. Drew Moshier, William C. Rounds

Proceedings of the 25th Annual Meeting of the Association for Computational Linguistics, 1987

1986

A Complete Logical Calculus for Record Structures Representing Linguistic Information

William C. Rounds, Robert T. Kasper

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985

On the Relationship between Scott Domains, Synchronization Trees, and Metric Spaces

William C. Rounds

Inf. Control., 1985

1984

Applications of Topology to Semantics of Communicating Processes.

William C. Rounds

Proceedings of the Seminar on Concurrency, 1984

1983

Connections Between Two Theories of Concurrency: Metric Spaces and Synchronization Trees

William G. Golson, William C. Rounds

Inf. Control., 1983

Behavioural Equivalence Relations Induced by Programming Logics.

Stephen D. Brookes, William C. Rounds

Proceedings of the Automata, 1983

1981

Possible Futures, Acceptances, Refusals, and Communicating Processes

William C. Rounds, Stephen D. Brookes

Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981

1979

On Properties Preserved by Contraction of Concurrent Systems.

John S. Gourlay, William C. Rounds, Richard Statman

Proceedings of the Semantics of Concurrent Computation, 1979

1978

Complexity of Expressions Allowing Concurrency.

William F. Ogden, William E. Riddle, William C. Rounds

Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978

1975

The Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars.

Mehdi Jazayeri, William F. Ogden, William C. Rounds

Commun. ACM, 1975

Structured specification of a Security Kernel.

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

Proceedings of the International Conference on Reliable Software 1975, 1975

On the Complexity of the Circularity Test for Attribute Grammars.

Mehdi Jazayeri, William F. Ogden, William C. Rounds

Proceedings of the Conference Record of the Second ACM Symposium on Principles of Programming Languages, 1975

A Grammatical Characterization of Exponential-Time Languages

William C. Rounds

Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975

1973

Complexity of Recognition in Intermediate-Level Languages

William C. Rounds

Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973

1972

Compositions of n Tree Transducers

William F. Ogden, William C. Rounds

Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972

1970

Mappings and Grammars on Trees.

William C. Rounds

Math. Syst. Theory, 1970

Tree-Oriented Proofs of Some Theorems on Context-Free and Indexed Languages

William C. Rounds

Proceedings of the 2nd Annual ACM Symposium on Theory of Computing, 1970

1969

Context-Free Grammars on Trees

William C. Rounds

Proceedings of the 1st Annual ACM Symposium on Theory of Computing, 1969