E. Allen Emerson

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Charanjit S. Jutla

> Home > Persons > E. Allen Emerson

Publications

2001
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EmersonJS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EmersonJS01
E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla:
On model checking for the µ-calculus and its fragments. Theor. Comput. Sci. 258(1-2): 491-522 (2001)
1999
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/EmersonJ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/EmersonJ99
E. Allen Emerson, Charanjit S. Jutla:
The Complexity of Tree Automata and Logics of Programs. SIAM J. Comput. 29(1): 132-158 (1999)
1993
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/EmersonJS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/EmersonJS93
E. Allen Emerson, Charanjit S. Jutla, A. Prasad Sistla:
On Model-Checking for Fragments of µ-Calculus. CAV 1993: 385-396
1991
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/EmersonJ91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/EmersonJ91
E. Allen Emerson, Charanjit S. Jutla:
Tree Automata, Mu-Calculus and Determinacy (Extended Abstract). FOCS 1991: 368-377
1989
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/EmersonJ89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/EmersonJ89
E. Allen Emerson, Charanjit S. Jutla:
On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract). LICS 1989: 333-342
1988
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/EmersonJ88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/EmersonJ88
E. Allen Emerson, Charanjit S. Jutla:
The Complexity of Tree Automata and Logics of Programs (Extended Abstract). FOCS 1988: 328-337

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.