E. A. Emerson. Temporal and modal logic. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 997--1072. MIT Press, 1990. @ NUS Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Formal Specification and Analysis of the Group - Domain Of Intrepretation (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 997--1072. MIT Press, 1990.
Deterministic Dynamic Monitors for Linear-Time Assertions - Armoni, Korchemny.. (2006) (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 997--1072. Elsevier, MIT Press, 1990.
Systems Biology and Automata - Mishra And Policriti (Correct)
No context found.
E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995--1072, 1990.
Verification of Open Systems - Orna Kupferman Hebrew (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 997--1072. Elsevier, MIT Press, 1990.
XS-systems: eXtended S-Systems and Algebraic - Di Erential Automata (Correct)
No context found.
E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 995-1072. MIT Press, 1990.
Modeling Cellular Behavior with Hybrid - Automata Bisimulation And (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995--1072. MIT Press, 1990.
Automata-Theoretic Techniques for Temporal Reasoning - Vardi (2006) (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 997--1072. Elsevier, MIT Press, 1990.
Model Checking of Unrestricted Hierarchical State Machines - Exte Nd Ed (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. Elsevier/MIT Press, Amsterdam/Cambridge, 1990.
Model Checking of - Unrestricted Hierarchical State (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. Elsevier/MIT Press, Amsterdam/Cambridge, 1990.
An algebraic approach to real-time specification - Aiguier, Beroff, Schobbens (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B, pages 995-1072. Elsevier, 1990.
Alternating Automata and Logics over Infinite Words (Extended .. - Löding, Thomas (2000) (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. In J. v. Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995-1072. Elsevier Science Publishers, 1990.
The Semantics of Potential Intentions - Xiaocong Fan And (2005) (Correct)
No context found.
Emerson, E. A. 1990. Temporal and modal logic. In Handbook of theoretical computer science (vol. B): formal models and semantics. MIT Press. 995--1072.
Verification Of Concurrent Systems Using Actl - Robert Meolic Tatjana (2000) (Correct)
No context found.
EMERSON, E. A. Temporal and Modal Logic. In Handbook of Theoretical Computer Science, vol. B. Elsevier Science Publishers B.V., 1990, pp. 995-- 1072.
Submitted for Publication to - International Workshop On (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 995--1072. Elsevier Science Publishers/MIT Press, 1990. Chap. 16.
Shortest Counterexamples for Symbolic Model Checking of LTL.. - Schuppan, Biere (2005) (1 citation) (Correct)
No context found.
A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science: Volume B, Formal Methods and Semantics, pages 995--1072. North-Holland Pub. Co., 1990.
Submitted for Publication to - Annals Of Mathematics (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 995--1072. Elsevier Science Publishers/MIT Press, 1990. Chap. 16.
Liveness Checking as Safety Checking - Biere, Artho, Schuppan (2002) (7 citations) (Correct)
No context found.
Emerson, A., Temporal and modal logic, in: Handbook Theoretical Computer Science: Volume B, Formal Methods and Semantics (1995).
The Composition and Validation of Heterogeneous Control Laws - Benjamin Kuipers University (1994) (10 citations) (Correct)
No context found.
Emerson, E. A. (1990). Temporal and modal logic. In J. van Leeuwen, (Ed.), Handbook of Theoretical Computer Science, Elsevier Science Pub. B. V./MIT Press, pp. 995-1072.
Experiments with Deterministic ω-Automata for Formulas.. - Klein, Baier (2005) (Correct)
No context found.
Emerson, E.A.: Temporal and modal logic. In van Leeuwen, J., ed.: Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier Science Publishers (1990) 995--1072
On Probabilistic Computation Tree Logic - Ciesinski, Größer (2003) (1 citation) (Correct)
No context found.
E. Allen Emerson. Temporal and modal logic. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, pages 9951072. Elsevier Science Publishers, Amsterdam, The Netherlands, 1990.
Enhanced Diameter Bounding via Structural Transformation - Baumgartner, Kuehlmann (2004) (Correct)
No context found.
E. A. Emerson, "Temporal and modal logic," Handbook of Theoretical Computer Science, vol. B, 1990.
Model Checking Games - For The Alternation-Free (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, chapter 14, pages 996--1072. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, New York, N.Y., 1990.
An Analysis of SAT-based Model Checking - Techniques In An (2005) (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, 1990.
Verifying Nondeterministic Probabilistic Channel.. - Baier, Bertrand.. (2005) (Correct)
No context found.
EMERSON, E. A. 1990. Temporal and modal logic. In Handbook of Theoretical Computer Science, J. v. Leeuwen, Ed. Vol. B. Elsevier Science, Chapter 16, 995--1072.
Scalable Automated Verification via Expert-System.. - Mony.. (2004) (Correct)
No context found.
E. A. Emerson, "Temporal and modal logic," Handbook of Theoretical Computer Science, vol. B, 1990.
Deadlock And Reachability Checking With Finite Complete Prefixes - Heljanko (1999) (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, Volume B, Formal Models and Semantics, pages 995--1072. North-Holland Pub. Co./MIT Press, 1990.
Thomas A. Henzinger Ranjit Jhala Rupak Majumdar - Report No Ucb (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995-1072. Elsevier Science Publishers, 1990.
The Planning Spectrum - One, Two, Three, Infinity - Pistore, Vardi (2005) (Correct)
No context found.
Emerson, E. A. (1990). Temporal and modal logic. In van Leeuwen, J. (Ed.), Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier.
Conditional Progressive Planning: a preliminary report - Karlsson (2001) (2 citations) (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B, chapter 16, pages 997--1072. MIT Press, 1990.
Relating Word and Tree Automata - Orna Kupferman Bell (1996) (3 citations) (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. pages 997--1072, 1990.
Cooperation, Knowledge, and Time: Alternating-time.. - van der Hoek, Wooldridge (2003) (Correct)
No context found.
Emerson, E. A., `Temporal and modal logic', in J. van Leeuwen, (ed.), Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics, pp. 996-- 1072, Elsevier Science Publishers B.V., Amsterdam, The Netherlands, 1990.
A Cooperation Logic Framework for Social Laws - van der Hoek, Roberts.. (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science Volume B, pages 996--1072. Elsevier Science, 1990.
Unknown - (Correct)
No context found.
E. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 16. Elsevier Science Publisher B.V., 1990.
On The Logic Of Cooperation And Propositional Control - van der Hoek, Wooldridge (2005) (1 citation) (Correct)
No context found.
E.A. Emerson, Temporal and modal logic, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics, Elsevier Science, Amsterdam, 1990, pp. 996--1072.
Decision Procedure for a Fragment of Temporal Logic of .. - PLIUSKEVICIUS.. (2004) (Correct)
No context found.
E.A. Emerson, "Temporal and modal logic,"in Handbook of Theoretical Computer Science, Formal Models and Semantics, Vol. B., J. van Leeuwen, Ed. Elsevier Science Publ., Amsterdam, 1990, pp. 996--1072.
Factorising Temporal Specifications - Huisman, Trentelman (2005) (Correct)
No context found.
Emerson, E. (1990), Temporal and Modal Logic, Elsevier, chapter 16.
Modeling and Analyzing SMIL Documents in SAM - Huiqun Yu Xudong (Correct)
No context found.
E. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 16. Elsevier Science Publisher B.V., 1990.
Tractable Multiagent Planning for Epistemic Goals - van der Hoek, Wooldridge (2002) (17 citations) (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics, pages 996--1072. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1990.
Model Checking Cooperation, Knowledge, and Time - A Case.. - van der Hoek, Wooldridge (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics, pages 996--1072. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1990.
Jeeg: Temporal Constraints for the Synchronization of.. - Milicia, al. (2003) (Correct)
No context found.
E.A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 996--1072, Amsterdam, 1990. Elsevier Science Publishers.
The Relative Completeness of a Version of CTL* - Machi, Tomita, Hosono (2005) (Correct)
No context found.
Emerson, E. A. (1990), Temporal and modal logic, in J. van Leeuwen, ed, `Handbook of Theoretical Computer Science', Vol. B, Elsevier and MIT Press, pp. 995--1072.
Proving Possibility Properties - Leslie Lamport Digital (1995) (5 citations) (Correct)
No context found.
E. Allen Emerson. Temporal and modal logic. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 995-- 1072. Elsevier and MIT Press, Amsterdam and Cambridge, Massachusetts, 1990.
Past- and Future-Oriented Time-Bounded Temporal Properties with OCL - Flake (2004) (Correct)
No context found.
E. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 996--1072. Elsevier, 1990.
Using Language Inference to Verify omega-regular Properties - Vardhan, Sen.. (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. V. Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995--1072. Elsevier, Amsterdam, 1990.
Model-Checking for a Subclass of Event Structures - Wojciech Penczek Institute (4 citations) (Correct)
No context found.
E.A. Emerson. Temporal and Modal Logic. In J. van Leeuven, editor, Handbook of Theoretical Computer Science, Volume B: Formal Methods and Semantics, The MIT Press Elsevier, pp. 995--1067, 1990.
Using Language Inference to Verify omega-regular Properties - Vardhan, Sen.. (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. V. Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995--1072. Elsevier, Amsterdam, 1990.
Automated Composition of Semantic Web Services into.. - Traverso, Pistore (2004) (5 citations) (Correct)
No context found.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier, 1990.
Istituto Per La Ricerca - Scientifica Tecnologica Povo (Correct)
No context found.
E.A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995--1072. Elsevier Science Publisher B.V., 1990.
CTR-S: A Logic for Specifying Contracts in Semantic Web.. - Davulcu, Kifer.. (2004) (Correct)
No context found.
E.A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, pages 997--1072. Elsevier and MIT Press, 1990.
Decidability and complexity of Petri net problems - an Introduction - Esparza (1998) (25 citations) (Correct)
No context found.
E. A. Emerson. Temporal and Modal Logic. In Handbook of Theoretical Computer Science Volume B, pages 995--1027, 1990.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.