The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

William C. Rounds: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. William C. Rounds, Robert T. Kasper
    A Complete Logical Calculus for Record Structures Representing Linguistic Information [Citation Graph (1, 0)][DBLP]
    LICS, 1986, pp:38-43 [Conf]
  2. Eric Klavins, William C. Rounds, Guo-Qiang Zhang
    Experimenting with Power Default Reasoning. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:846-852 [Conf]
  3. Mark A. Young, William C. Rounds
    A Logical Semantics for Nonmonotonic Sorts. [Citation Graph (0, 0)][DBLP]
    ACL, 1993, pp:209-215 [Conf]
  4. William C. Rounds
    Applications of Topology to Semantics of Communicating Processes. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:360-372 [Conf]
  5. William C. Rounds
    Complexity of Recognition in Intermediate-Level Languages [Citation Graph (0, 0)][DBLP]
    FOCS, 1973, pp:145-158 [Conf]
  6. William C. Rounds
    A Grammatical Characterization of Exponential-Time Languages [Citation Graph (0, 0)][DBLP]
    FOCS, 1975, pp:135-143 [Conf]
  7. William C. Rounds, Stephen D. Brookes
    Possible Futures, Acceptances, Refusals, and Communicating Processes [Citation Graph (0, 0)][DBLP]
    FOCS, 1981, pp:140-149 [Conf]
  8. Guo-Qiang Zhang, Chang Huang, William C. Rounds
    A Modal Logic for Reasoning about Belief. [Citation Graph (0, 0)][DBLP]
    HICSS (5), 1997, pp:383-0 [Conf]
  9. William C. Rounds
    A Spatial Logic for the Hybrid p-Calculus. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:508-522 [Conf]
  10. William C. Rounds, Hosung Song
    The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2003, pp:435-449 [Conf]
  11. Stephen D. Brookes, William C. Rounds
    Behavioural Equivalence Relations Induced by Programming Logics. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:97-108 [Conf]
  12. Jochen Dörre, William C. Rounds
    On Subsumption and Semiunification in Feature Algebras [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:300-310 [Conf]
  13. Guo-Qiang Zhang, William C. Rounds
    Complexity of Power Default Reasoning. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:328-339 [Conf]
  14. Guo-Qiang Zhang, William C. Rounds
    Power Defaults. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:152-169 [Conf]
  15. Mehdi Jazayeri, William F. Ogden, William C. Rounds
    On the Complexity of the Circularity Test for Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:119-129 [Conf]
  16. M. Drew Moshier, William C. Rounds
    A Logic for Partially Specified Data Structures. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:156-167 [Conf]
  17. William F. Ogden, William E. Riddle, William C. Rounds
    Complexity of Expressions Allowing Concurrency. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:185-194 [Conf]
  18. William C. Rounds, Guo-Qiang Zhang
    Constraints in Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    PPCP, 1993, pp:247-257 [Conf]
  19. John S. Gourlay, William C. Rounds, Richard Statman
    On Properties Preserved by Contraction of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Semantics of Concurrent Computation, 1979, pp:51-65 [Conf]
  20. William F. Ogden, William C. Rounds
    Compositions of n Tree Transducers [Citation Graph (0, 0)][DBLP]
    STOC, 1972, pp:198-206 [Conf]
  21. William C. Rounds
    Context-Free Grammars on Trees [Citation Graph (0, 0)][DBLP]
    STOC, 1969, pp:143-148 [Conf]
  22. William C. Rounds
    Tree-Oriented Proofs of Some Theorems on Context-Free and Indexed Languages [Citation Graph (0, 0)][DBLP]
    STOC, 1970, pp:109-116 [Conf]
  23. William C. Rounds, Guo-Qiang Zhang
    Logical Considerations on Default Semantics. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1997, v:20, n:1-4, pp:195-226 [Journal]
  24. Guo-Qiang Zhang, William C. Rounds
    Nonmonotonic Consequences in Default Domain Theory. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1997, v:20, n:1-4, pp:227-265 [Journal]
  25. Mehdi Jazayeri, William F. Ogden, William C. Rounds
    The Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1975, v:18, n:12, pp:697-706 [Journal]
  26. Michael B. Kac, Alexis Manaster-Ramer, William C. Rounds
    Simultaneous-Distributive Coordination and Context-Freeness. [Citation Graph (0, 0)][DBLP]
    Computational Linguistics, 1987, v:13, n:1-2, pp:25-30 [Journal]
  27. William C. Rounds
    LFP A Logic for Linguistic Descriptions and an Analysis of its Complexity. [Citation Graph (0, 0)][DBLP]
    Computational Linguistics, 1988, v:14, n:3, pp:1-9 [Journal]
  28. Hosung Song, Kevin J. Compton, William C. Rounds
    SPHIN: A model checker for reconfigurable hybrid systems based on SPIN. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:167-183 [Journal]
  29. Guo-Qiang Zhang, William C. Rounds
    Resolution in the Smyth powerdomain. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
  30. William G. Golson, William C. Rounds
    Connections Between Two Theories of Concurrency: Metric Spaces and Synchronization Trees [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:57, n:2/3, pp:102-124 [Journal]
  31. William C. Rounds
    On the Relationship between Scott Domains, Synchronization Trees, and Metric Spaces [Citation Graph (0, 0)][DBLP]
    Information and Control, 1985, v:66, n:1/2, pp:6-28 [Journal]
  32. William C. Rounds, Guo-Qiang Zhang
    Clausal Logic and Logic Programming in Algebraic Domains. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:171, n:2, pp:183-200 [Journal]
  33. Jochen Dörre, William C. Rounds
    On Subsumption and Semiunifaction in Feature Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1992, v:13, n:4, pp:441-461 [Journal]
  34. William C. Rounds, Guo-Qiang Zhang
    Domain Theory Meets Default Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1995, v:5, n:1, pp:1-25 [Journal]
  35. William C. Rounds
    Mappings and Grammars on Trees. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1970, v:4, n:3, pp:257-287 [Journal]
  36. Guo-Qiang Zhang, William C. Rounds
    Reasoning with power defaults. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:323, n:1-3, pp:321-350 [Journal]
  37. Guo-Qiang Zhang, William C. Rounds
    Defaults in Domain Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:1, pp:155-182 [Journal]

Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002