ACM/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:
Clovis Eberhart
Rachid Echahed
Abbas Edalat
László Egri
Naohi Eguchi
Thomas Ehrhard
Kord Eickmeyer
Susan Eisenbach
Christian Eisentraut
Thomas Eiter
Michael Elberfeld
E. Allen Emerson
Jörg Endrullis
Viktor Engelmann
Matthias Englert
Sebastian Enqvist
Hyunjun Eo
Jeff Erickson
Martín H. Escardó
Javier Esparza
Kousha Etessami
Michael Evangelist
Clovis Eberhart
Paper:
Clovis Eberhart
Tom Hirschowitz
What's in a game?: A theory of game models
(
LICS 2018
)
More Information...
Paper:
Clovis Eberhart
Bartek Klin
History-Dependent Nominal μ-Calculus
(
LICS 2019
)
More Information...
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...
Paper:
Paul Bilokon
Abbas Edalat
A domain-theoretic approach to Brownian motion and general continuous stochastic processes
(
LICS 2014
)
More Information...
Paper:
Abbas Edalat
Extensions of Domain Maps in Differential and Integral Calculus
(
LICS 2015
)
More Information...
Paper:
Abbas Edalat
Mehrdad Maleki
Differentiation in logical form
(
LICS 2017
)
More Information...
Paper:
Mohammad-Javad Davari
Abbas Edalat
André Lieutier
The convex hull of finitely generable subsets and its predicate transformer
(
LICS 2019
)
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...
Paper:
Víctor Dalmau
László Egri
Pavol Hell
Benoit Larose
Arash Rafiey
Descriptive Complexity of List H-Coloring Problems in Logspace: A Refined Dichotomy
(
LICS 2015
)
More Information...
Naohi Eguchi
Short Presentation:
Martin Avanzini
Naohi Eguchi
Georg Moser
A New Order-Theoretic Characterisation of the Polytime Computable Functions
(
LICS 2012
)
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...
Paper:
Thomas Ehrhard
A Finiteness Structure on Resource Terms
(
LICS 2010
)
More Information...
Paper:
Thomas Ehrhard
Michele Pagani
Christine Tasson
The Computational Meaning of Probabilistic Coherence Spaces
(
LICS 2011
)
More Information...
Paper:
Thomas Ehrhard
A new correctness criterion for MLL proof nets
(
LICS 2014
)
More Information...
Paper:
Thomas Ehrhard
Cones as a model of intuitionistic linear logic
(
LICS 2020
)
More Information...
Paper:
Thomas Ehrhard
Farzad Jafar-Rahmani
Categorical models of Linear Logic with fixed points of formulas
(
LICS 2021
)
More Information...
Kord Eickmeyer
Paper:
Kord Eickmeyer
Ken-ichi Kawarabayashi
Stephan Kreutzer
Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes
(
LICS 2013
)
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...
Christian Eisentraut
Paper:
Christian Eisentraut
Holger Hermanns
Lijun Zhang
On Probabilistic Automata In Continuous Time
(
LICS 2010
)
More Information...
Thomas Eiter
Paper:
Thomas Eiter
Georg Gottlob
Yuri Gurevich
Existential Second-Order Logic over Strings
(
LICS 1998
)
More Information...
Michael Elberfeld
Paper:
Michael Elberfeld
Martin Grohe
Till Tantau
Where First-Order and Monadic Second-Order Logic Coincide
(
LICS 2012
)
More Information...
Paper:
Michael Elberfeld
Marlin Frickenschmidt
Martin Grohe
Order Invariance on Decomposable Structures
(
LICS 2016
)
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...
Jörg Endrullis
Paper:
Jörg Endrullis
Dimitri Hendriks
Jan Willem Klop
Modular Construction of Fixed Point Combinators and Clocked Böhm Trees
(
LICS 2010
)
More Information...
Paper:
Clemens Grabmayer
Jörg Endrullis
Dimitri Hendriks
Jan Willem Klop
Lawrence S. Moss
Automatic Sequences and Zip-Specifications
(
LICS 2012
)
More Information...
Paper:
Jörg Endrullis
Dimitri Hendriks
On periodically iterated morphisms
(
LICS 2014
)
More Information...
Paper:
Jörg Endrullis
Clemens Grabmayer
Dimitri Hendriks
Regularity Preserving but Not Reflecting Encodings
(
LICS 2015
)
More Information...
Viktor Engelmann
Paper:
Viktor Engelmann
Stephan Kreutzer
Sebastian Siebertz
First-Order and Monadic Second-Order Model-Checking on Ordered Structures
(
LICS 2012
)
More Information...
Matthias Englert
Paper:
Matthias Englert
Ranko Lazic
Patrick Totzke
Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete
(
LICS 2016
)
More Information...
Sebastian Enqvist
Paper:
Sebastian Enqvist
Fatemeh Seifan
Yde Venema
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
(
LICS 2015
)
More Information...
Paper:
Sebastian Enqvist
Helle Hvid Hansen
Clemens Kupke
Johannes Marti
Yde Venema
Completeness for Game Logic
(
LICS 2019
)
More Information...
Hyunjun Eo
Short Presentation:
Hyunjun Eo
Seunghwan O
Nikolay Shilov
Finite game semantics for Propositional Program Logics
(
LICS 2005
)
More Information...
Jeff Erickson
Paper:
Jeff Erickson
Gabriel Nivasch
Junyan Xu
Fusible numbers and Peano Arithmetic
(
LICS 2021
)
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 Kučera
Richard Mayr
Model Checking Probabilistic Pushdown Automata
(
LICS 2004
)
More Information...
Paper:
Javier Esparza
Antonín Kučera
Richard Mayr
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances
(
LICS 2005
)
More Information...
Paper:
Javier Esparza
Pierre Ganty
Rupak Majumdar
A Perfect Model for Bounded Verification
(
LICS 2012
)
More Information...
Paper:
Javier Esparza
Anca Muscholl
Igor Walukiewicz
Static analysis of deterministic negotiations
(
LICS 2017
)
More Information...
Invited Paper:
Michael Blondin
Javier Esparza
Stefan Jaax
Antonín Kucera
Black Ninjas in the Dark: Formal Analysis of Population Protocols
(
LICS 2018
)
More Information...
Paper:
Javier Esparza
Jan Kretínský
Salomon Sickert
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata
(
LICS 2018
)
More Information...
Paper:
Salomon Sickert
Javier Esparza
An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata
(
LICS 2020
)
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: 2022-10-31
13:49
Sam Staton