W. Thomas. Automata on Infinite Objects. In Handbook of Theoretical Computer Science, pages 133 -- 191, 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Observations on Determinization of Buchi - Automata Christoph Schulte Self-citation (Thomas) (Correct)
No context found.
Thomas, W.: Automata on Infinite Objects. In van Leeuwen, J., ed.: Handbook of Theoretical Computer Science. Volume B, Formal models and semantics. Elsevier Science Publishers B. V. (1990) 133--191
The Complexity of Quantitative Concurrent Parity Games - Chatterjee, Henzinger (2004) Self-citation (Thomas) (Correct)
No context found.
W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 133--191. Elsevier, 1990.
The Complexity of Enriched -Calculi - Piero Bonatti Carsten (Correct)
No context found.
W. Thomas. Automata on Infinite Objects. In Handbook of Theoretical Computer Science, pages 133 -- 191, 1990.
Hardware Synthesis from Requirement Specifications - Konrad Feyerabend Dept (Correct)
No context found.
W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B (Formal Models and Semantics), chapter 4. Elsevier, 2. edition, 1992. 6
Visual Temporal Logic as - Rapid Prototyping Tool (Correct)
No context found.
W. Thomas (1990) Automata on infinite objects. In: Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics (J. v. Leeuwen, ed.). North-Holland, pp. 133--191.
Peter Verbaan - Jan Van Leeuwen (2004) (Correct)
No context found.
W. Thomas. Automata on Infinite Objects, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B, Elsevier Science, Amsterdam, 1990, pp. 134-191.
Ecient Processing of Expressive Node-Selecting - Queries On Xml (Correct)
No context found.
W. Thomas. "Automata on Infinite Objects". In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume 2, chapter 4, pages 133--192. Elsevier Science Publishers B.V., 1990.
Existential Second-Order Logic over Strings (Extended.. - Eiter, Gottlob, Gurevich (1997) (Correct)
No context found.
W. Thomas. Automata on Infinite Objects. In J. van Leeuwen (ed), Handbook of TCS (B), ch. 4. Elsevier, 1990.
Monadic Datalog and the Expressive Power of - Languages For Web (Correct)
No context found.
Thomas, W. 1990. "Automata on Infinite Objects". In Handbook of Theoretical Computer Science, J. van Leeuwen, Ed. Vol. 2. Elsevier Science Publishers B.V., Chapter 4, 133--192.
Symbolic Model Checking for Probabilistic Processes - Christel Baier Edmund (1997) (31 citations) (Correct)
No context found.
W. Thomas. Automata on Infinite Objects. In Handbook of Theoretical Computer Science, Vol. B, pp 135-191, North-Holland, 1990.
The Complexity of Enriched μ-Calculi - Bonatti, Lutz, Murano, Vardi (Correct)
No context found.
W. Thomas. Automata on Infinite Objects. In Handbook of Theoretical Computer Science, pages 133 -- 191, 1990.
Modeling Component Connectors in Reo by Constraint Automata - Baier, Sirjani, Arbab.. (2004) (Correct)
No context found.
Wolfgang Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 4, pages 133--191. Elsevier Science Publishers B. V., 1990.
Modeling Component Connectors in Reo by Constraint.. - Arbab, Baier, Rutten.. (2004) (Correct)
No context found.
Thomas, W., Automata on infinite objects, in: J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, Elsevier Science Publishers, Amsterdam, 1990 pp. 135--191. 20
Timed Games With Branching-Time Winning Conditions - Aniello Murano Dipartimento (Correct)
No context found.
W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 133 -- 191. Elsevier Science Publishers, 1990.
Model Checking Games - For The Alternation-Free (Correct)
No context found.
Wolfgang Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 4, pages 133--191. Elsevier Science Publishers B. V., 1990.
Are Mathematicians the Product of Intelligent Design? - Aaby (2004) (Correct)
No context found.
Thomas, Wolfgang "Automata on Infinite Objects" in Handbook of Theoretical Computer Science. Elsevier Science Publishers B. B. 1990.
Relating Word and Tree Automata - Orna Kupferman Bell (1996) (3 citations) (Correct)
No context found.
W. Thomas. Automata on infinite objects. pages 165--191, 1990.
Model Checking Dynamic Allocation and Deallocation - Distefano, Rensink, Katoen (2002) (3 citations) (Correct)
No context found.
W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pp. 133-191. Elsevier Science Publishers B. V., 1990.
Using Language Inference to Verify omega-regular Properties - Vardhan, Sen.. (Correct)
No context found.
W. Thomas. Automata on infinite objects. In J. V. Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 133--191. Elsevier, Amsterdam, 1990.
Using Language Inference to Verify omega-regular Properties - Vardhan, Sen.. (Correct)
No context found.
W. Thomas. Automata on infinite objects. In J. V. Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 133--191. Elsevier, Amsterdam, 1990.
Using Asynchronous Buchi Automata for Efficient Automatic - Verification Of Concurrent (Correct)
No context found.
W. Thomas, Automata on Infinite Objects, in J. Van Leeuwen (ed.), Handbook of Theoretical Computer Science, Vol. B, Elsvier, 1990, 133--191.
The <bigwig> Project - Brabrand, Møller, Schwartzbach (Correct)
No context found.
Wolfgang Thomas. Automata on infinite objects. In Handbook of Theoretical Computer Science, volume B, pages 133--191. MIT Press/Elsevier, 1990.
A MONA-based Decision Procedure for Propositional Interval.. - Gomez, Bowman (2003) (Correct)
No context found.
W. Thomas. Automata on Infinite Objects. In Handbook of Theoretical Computer Science, volume B, pages 133--191. MIT Press, Elsevier, 1990.
Discrete Timed Automata and MONA: Description, Specification.. - Gomez, Bowman (2003) (Correct)
No context found.
Thomas, W.: Automata on Infinite Objects. In: Handbook of Theoretical Computer Science. Volume B. MIT Press, Elsevier (1990) 133--191
Theorie Algebrique des Langages Formels Temps Reel - Dima (2001) (Correct)
No context found.
W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 133--191. Elsevier, 1990.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC