ACM/IEEE Symposium on Logic in Computer Science

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

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...