IEEE Symposium on Logic in Computer Science

A B C D E F G H I J K L M N O P QR S T U V W X Y Z

Authors on this page:

• Rachid Echahed
• Abbas Edalat
• László Egri
• Thomas Ehrhard
• Susan Eisenbach
• Thomas Eiter
• E. Allen Emerson
• Hyunjun Eo
• Martín H. Escardó
• Javier Esparza
• Kousha Etessami
• Michael Evangelist

Rachid Echahed

• Paper: Ahmed Bouajjani Rachid Echahed Joseph Sifakis
  On model checking for real-time properties with durations (LICS 1993) More Information...
• Paper: Ahmed Bouajjani Rachid Echahed Peter Habermehl
  On the Verification Problem of Nonregular Properties for Nonregular Processes (LICS 1995) More Information...

Abbas Edalat

• Paper: Abbas Edalat
  Domain theory and integration (LICS 1994) More Information...
• Paper: Abbas Edalat
  Domain Theory in Stochastic Processes (LICS 1995) More Information...
• Paper: Abbas Edalat
  The Scott Topology Induces the Weak Topology (LICS 1996) More Information...
• Paper: Abbas Edalat Martín H. Escardó
  Integration in Real PCF (LICS 1996) More Information...
• Paper: Richard Blute Josée Desharnais Abbas Edalat Prakash Panangaden
  Bisimulation for Labelled Markov Processes (LICS 1997) More Information...
• Paper: Peter J. Potts Abbas Edalat Martín H. Escardó
  Semantics of Exact Real Arithmetic (LICS 1997) More Information...
• Paper: Josée Desharnais Abbas Edalat Prakash Panangaden
  A Logical Characterization of Bisimulation for Labeled Markov Processes (LICS 1998) More Information...
• Paper: Abbas Edalat André Lieutier
  Domain Theory and Differential Caluculus (Functions of one variable) (LICS 2002) More Information...
• Paper: Abbas Edalat Dirk Pattinson
  Inverse and Implicit Functions in Domain Theory (LICS 2005) More Information...
• Paper: Abbas Edalat
  A computable approach to measure and integration theory (LICS 2007) More Information...
• Paper: Abbas Edalat
  Weak Topology and a Differentiable Operator for Lipschitz Maps (LICS 2008) More Information...

László Egri

• Paper: László Egri Benoit Larose Pascal Tesson
  Symmetric Datalog and Constraint Satisfaction Problems in Logspace (LICS 2007) More Information...

Thomas Ehrhard

• Paper: Thomas Ehrhard
  A categorical semantics of constructions (LICS 1988) More Information...
• Paper: Antonio Bucciarelli Thomas Ehrhard
  Sequentiality and strong stability (LICS 1991) More Information...
• Paper: Loïc Colson Thomas Ehrhard
  On strong stability and higher-order sequentiality (LICS 1994) More Information...
• Paper: Patrick Baillot Vincent Danos Thomas Ehrhard Laurent Regnier
  Believe it or not, AJM's games model is a model of classical linear logic (LICS 1997) More Information...

Susan Eisenbach

• Paper: Sophia Drossopoulou Susan Eisenbach David Wragg
  A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility (LICS 1999) More Information...

Thomas Eiter

• Paper: Thomas Eiter Georg Gottlob Yuri Gurevich
  Existential Second-Order Logic over Strings (LICS 1998) More Information...

E. Allen Emerson

• Paper: E. Allen Emerson Chin-Laung Lei
  Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) (LICS 1986) More Information...
• Paper: E. Allen Emerson Charanjit S. Jutla
  On simultaneously determinizing and complementing ω-automata (LICS 1989) More Information...
• Paper: E. Allen Emerson Michael Evangelist Jai Srinivasan
  On the limits of efficient temporal decidability (LICS 1990) More Information...
• Paper: E. Allen Emerson Kedar S. Namjoshi
  On Model Checking for Non-Deterministic Infinite-State Systems (LICS 1998) More Information...
• Paper: E. Allen Emerson Richard J. Trefler
  Parametric Quantitative Temporal Reasoning (LICS 1999) More Information...
• Paper: E. Allen Emerson John W. Havlicek Richard J. Trefler
  Virtual Symmetry Reduction (LICS 2000) More Information...
• Paper: E. Allen Emerson Vineet Kahlon
  Model Checking Guarded Protocols (LICS 2003) More Information...

Hyunjun Eo

• Short Presentation: Hyunjun Eo Seunghwan O Nikolay Shilov
  Finite game semantics for Propositional Program Logics (LICS 2005) More Information...

Martín H. Escardó

• Paper: Abbas Edalat Martín H. Escardó
  Integration in Real PCF (LICS 1996) More Information...
• Paper: Peter J. Potts Abbas Edalat Martín H. Escardó
  Semantics of Exact Real Arithmetic (LICS 1997) More Information...
• Paper: Martín H. Escardó Thomas Streicher
  Induction and recursion on the partial real line via biquotients of bifree algebras (LICS 1997) More Information...
• Paper: Dusko Pavlovic Martín H. Escardó
  Calculus in Coinductive Form (LICS 1998) More Information...
• Paper: Martín H. Escardó Alex K. Simpson
  A Universal Characterization of the Closed Euclidean Interval (LICS 2001) More Information...
• Paper: J. Raymundo Marcial-Romero Martín H. Escardó
  Semantics of a Sequential Language for Exact Real-Number Computation (LICS 2004) More Information...
• Paper: Martín H. Escardó Ho Weng Kin
  Operational Domain Theory and Topology of a Sequential Programming Language (LICS 2005) More Information...
• Paper: Martín H. Escardó
  Infinite sets that admit fast exhaustive search (LICS 2007) More Information...

Javier Esparza

• Paper: Javier Esparza Alain Finkel Richard Mayr
  On the Verification of Broadcast Protocols (LICS 1999) More Information...
• Paper: Javier Esparza Antonín Kucera Richard Mayr
  Model Checking Probabilistic Pushdown Automata (LICS 2004) More Information...
• Paper: Javier Esparza Antonín Kucera Richard Mayr
  Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances (LICS 2005) More Information...

Kousha Etessami

• Paper: Kousha Etessami Neil Immerman
  Tree Canonization and Transtive Closure (LICS 1995) More Information...
• Paper: Kousha Etessami Thomas Wilke
  An Until Hierarchy for Temporal Logic (LICS 1996) More Information...
• Paper: Kousha Etessami Moshe Y. Vardi Thomas Wilke
  First-Order Logic with Two Variables and Unary Temporal Logic (LICS 1997) More Information...
• Paper: Rajeev Alur Marcelo Arenas Pablo Barceló Kousha Etessami Neil Immerman Leonid Libkin
  First-Order and Temporal Logics for Nested Words (LICS 2007) More Information...

Michael Evangelist

• Paper: E. Allen Emerson Michael Evangelist Jai Srinivasan
  On the limits of efficient temporal decidability (LICS 1990) More Information...