William C. Rounds
Affiliations: University of Michigan, Ann Arbor, USA
According to our database^{1},
William C. Rounds
authored at least 41 papers
between 1969 and 2005.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on andrej.com
On csauthors.net:
Bibliography
2005
Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005
2004
Theor. Comput. Sci., 2004
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004
2003
The PhiCalculus: A Language for Distributed Control of Reconfigurable Embedded Systems.
Proceedings of the Hybrid Systems: Computation and Control, 2003
2001
Inf. Comput., 2001
1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
Theor. Comput. Sci., 1997
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997
Ann. Math. Artif. Intell., 1997
Ann. Math. Artif. Intell., 1997
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS30), 1997
Proceedings of the Handbook of Logic and Language., 1997
1995
J. Log. Comput., 1995
1993
Constraints in Nonmonotonic Reasoning.
Proceedings of the Principles and Practice of Constraint Programming, 1993
Proceedings of the 31st Annual Meeting of the Association for Computational Linguistics, 1993
1990
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990
1989
On Subsumption and Semiunifaction in Feature Algebras
IWBS Report, 1989
1988
LFP A Logic for Linguistic Descriptions and an Analysis of its Complexity.
Comput. Linguistics, 1988
1987
SimultaneousDistributive Coordination and ContextFreeness.
Comput. Linguistics, 1987
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987
Proceedings of the 25th Annual Meeting of the Association for Computational Linguistics, 1987
Proceedings of the 25th Annual Meeting of the Association for Computational Linguistics, 1987
1986
A Complete Logical Calculus for Record Structures Representing Linguistic Information
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986
1985
On the Relationship between Scott Domains, Synchronization Trees, and Metric Spaces
Inf. Control., 1985
1984
Proceedings of the Seminar on Concurrency, 1984
1983
Connections Between Two Theories of Concurrency: Metric Spaces and Synchronization Trees
Inf. Control., 1983
Proceedings of the Automata, 1983
1981
Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981
1979
Proceedings of the Semantics of Concurrent Computation, 1979
1978
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.
Commun. ACM, 1975
Proceedings of the International Conference on Reliable Software 1975, 1975
Proceedings of the Conference Record of the Second ACM Symposium on Principles of Programming Languages, 1975
Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975
1973
Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973
1972
Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972
1970
Math. Syst. Theory, 1970
Proceedings of the 2nd Annual ACM Symposium on Theory of Computing, 1970
1969
Proceedings of the 1st Annual ACM Symposium on Theory of Computing, 1969