IEEE Symposium on Logic in Computer Science
LICS Home
-
LICS Awards
-
LICS Newsletters
-
LICS Archive
-
LICS Organization
-
Logic-Related Conferences
-
Links
Index by Authors:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Papers and Short Presentations by Authors: E
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
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...
Last modified: 2009-10-29
17:48
Nicole Schweikardt