William C. Rounds - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 41 from 41

2006

SPHIN: A model checker for reconfigurable hybrid systems based on SPINHosung Song, Kevin J. Compton, William C. Rounds. ENTCS, 145:167-183, 2006. [doi]

2004

A Spatial Logic for the Hybrid p-CalculusWilliam C. Rounds. hybrid 2004: 508-522 [doi]

Reasoning with power defaultsGuo-Qiang Zhang, William C. Rounds. TCS, 323(1-3):321-350, 2004. [doi]

2003

The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded SystemsWilliam C. Rounds, Hosung Song. hybrid 2003: 435-449 [doi]

2001

Clausal Logic and Logic Programming in Algebraic DomainsWilliam C. Rounds, Guo-Qiang Zhang. iandc, 171(2):183-200, 2001. [doi]

1998

Experimenting with Power Default ReasoningEric Klavins, William C. Rounds, Guo-Qiang Zhang. AAAI 1998: 846-852

1997

Feature LogicsWilliam C. Rounds. In Johan van Benthem, Alice ter Meulen, editors, Handbook of Logic and Language. pages 475-533, North Holland / Elsevier, 1997. [doi]

Logical Considerations on Default SemanticsWilliam C. Rounds, Guo-Qiang Zhang. AMAI, 20(1-4):195-226, 1997.

Power DefaultsGuo-Qiang Zhang, William C. Rounds. lpnmr 1997: 152-169

Complexity of Power Default ReasoningGuo-Qiang Zhang, William C. Rounds. lics 1997: 328-339 [doi]

Nonmonotonic Consequences in Default Domain TheoryGuo-Qiang Zhang, William C. Rounds. AMAI, 20(1-4):227-265, 1997.

Defaults in Domain TheoryGuo-Qiang Zhang, William C. Rounds. TCS, 177(1):155-182, 1997. [doi]

Resolution in the Smyth powerdomainGuo-Qiang Zhang, William C. Rounds. ENTCS, 6:409, 1997. [doi]

A Modal Logic for Reasoning about BeliefGuo-Qiang Zhang, Chang Huang, William C. Rounds. hicss 1997: 383 [doi]

1995

Domain Theory Meets Default LogicWilliam C. Rounds, Guo-Qiang Zhang. logcom, 5(1):1-25, 1995.

1993

Constraints in Nonmonotonic ReasoningWilliam C. Rounds, Guo-Qiang Zhang. ppcp 1993: 247-257

A Logical Semantics for Nonmonotonic SortsMark A. Young, William C. Rounds. acl 1993: 209-215

1992

On Subsumption and Semiunifaction in Feature AlgebrasJochen Dörre, William C. Rounds. JSC, 13(4):441-461, 1992.

1990

On Subsumption and Semiunification in Feature AlgebrasJochen Dörre, William C. Rounds. lics 1990: 300-310

1988

LFP A Logic for Linguistic Descriptions and an Analysis of its ComplexityWilliam C. Rounds. coling, 14(3):1-9, 1988.

1987

Simultaneous-Distributive Coordination and Context-FreenessMichael B. Kac, Alexis Manaster-Ramer, William C. Rounds. coling, 13(1-2):25-30, 1987.

A Logic for Partially Specified Data StructuresM. Drew Moshier, William C. Rounds. POPL 1987: 156-167

On the Succinctness Properties of Unordered Context-Free GrammarsM. Drew Moshier, William C. Rounds. acl 1987: 112-116 [doi]

A Logical Version of Functional GrammarWilliam C. Rounds, Alexis Manaster-Ramer. acl 1987: 89-96 [doi]

1986

A Complete Logical Calculus for Record Structures Representing Linguistic InformationWilliam C. Rounds, Robert T. Kasper. lics 1986: 38-43

1985

On the Relationship between Scott Domains, Synchronization Trees, and Metric SpacesWilliam C. Rounds. iandc, 66(1/2):6-28, July/August 1985.

1984

Applications of Topology to Semantics of Communicating ProcessesWilliam C. Rounds. concur 1985: 360-372

1983

Behavioural Equivalence Relations Induced by Programming LogicsStephen D. Brookes, William C. Rounds. icalp 1983: 97-108

Connections Between Two Theories of Concurrency: Metric Spaces and Synchronization TreesWilliam G. Golson, William C. Rounds. iandc, 57(2/3):102-124, May/June 1983.

1981

Possible Futures, Acceptances, Refusals, and Communicating ProcessesWilliam C. Rounds, Stephen D. Brookes. focs 1981: 140-149

1979

On Properties Preserved by Contraction of Concurrent SystemsJohn S. Gourlay, William C. Rounds, Richard Statman. scc 1979: 51-65

1978

Complexity of Expressions Allowing ConcurrencyWilliam F. Ogden, William E. Riddle, William C. Rounds. POPL 1978: 185-194

1975

1973

Complexity of Recognition in Intermediate-Level LanguagesWilliam C. Rounds. focs 1973: 145-158

1972

Compositions of n Tree TransducersWilliam F. Ogden, William C. Rounds. stoc 1972: 198-206

1970

Tree-Oriented Proofs of Some Theorems on Context-Free and Indexed LanguagesWilliam C. Rounds. stoc 1970: 109-116

Mappings and Grammars on TreesWilliam C. Rounds. mst, 4(3):257-287, 1970.

1969

Context-Free Grammars on TreesWilliam C. Rounds. stoc 1969: 143-148

Sign in or sign up to see more results.

runs on WebDSL