Authors on this page:
- Rachid Echahed
- Abbas Edalat
- Thomas Ehrhard
- T. Ehrhard
- Susan Eisenbach
- Thomas Eiter
- E. Allen Emerson
- Emerson, E.A.
- Hyunjun Eo
- Martin Hötzel Escardo
- Martin Escardo
- Martin Hotzel Escardo
- Martin H. Escardo
- Martín Hötzel Escardó
- Martín H. Escardó
- Javier Esparza
- Kousha Etessami
- Evangelist, M.
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 Martin Hötzel Escardo
Integration in Real PCF (LICS 1996) More Information... - Paper: Richard Blute Josee Desharnais Abbas Edalat Prakash Panangaden
Bisimulation for Labelled Markov Processes (LICS 1997) More Information... - Paper: Peter John Potts Abbas Edalat Martin Escardo
Semantics of Exact Real Arithmetic (LICS 1997) More Information... - Paper: Josee Desharnais Abbas Edalat Prakash Panangaden
A Logical Characterization of Bisimulation for Labeled Markov Processes (LICS 1998) More Information... - Paper: Abbas Edalat Andre 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...
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...
T. Ehrhard
- Paper: P. Baillot V. Danos T. Ehrhard L. 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 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...
Emerson, E.A.
- Paper: Emerson, E.A. Jutla, C.S.
On simultaneously determinizing and complementing ω-automata (LICS 1989) More Information... - Paper: Emerson, E.A. Evangelist, M. Srinivasan, J.
On the limits of efficient temporal decidability (LICS 1990) More Information...
Hyunjun Eo
- Short Presentation: Hyunjun Eo Seunghwan O Nikolay Shilov
Finite game semantics for Propositional Program Logics (LICS 2005) More Information...
Martin Hötzel Escardo
- Paper: Abbas Edalat Martin Hötzel Escardo
Integration in Real PCF (LICS 1996) More Information...
Martin Escardo
- Paper: Peter John Potts Abbas Edalat Martin Escardo
Semantics of Exact Real Arithmetic (LICS 1997) More Information... - Paper: Martin Escardo Ho Weng Kin
Operational Domain Theory and Topology of a Sequential Programming Language (LICS 2005) More Information...
Martin Hotzel Escardo
- Paper: Martin Hotzel Escardo Thomas Streicher
Induction and recursion on the partial real line via biquotients of bifree algebras (LICS 1997) More Information...
Martin H. Escardo
- Paper: J. Raymundo Marcial-Romero Martin H. Escardo
Semantics of a Sequential Language for Exact Real-Number Computation (LICS 2004) More Information...
Martín Hötzel Escardó
- Paper: Dusko Pavlovic Martín Hötzel Escardó
Calculus in Coinductive Form (LICS 1998) More Information...
Martín H. Escardó
- Paper: Martín H. Escardó Alex K. Simpson
A Universal Characterization of the Closed Euclidean Interval (LICS 2001) More Information...
Javier Esparza
- Paper: Javier Esparza Alain Finkel Richard Mayr
On the Verification of Broadcast Protocols (LICS 1999) More Information... - Paper: Javier Esparza Antonin Kucera Richard Mayr
Model Checking Probabilistic Pushdown Automata (LICS 2004) More Information... - Paper: Javier Esparza Antonin 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...
Evangelist, M.
- Paper: Emerson, E.A. Evangelist, M. Srinivasan, J.
On the limits of efficient temporal decidability (LICS 1990) More Information...