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:

• Salvatore La Torre
• Gregory Lafitte
• Claude Laflamme
• Yves Lafont
• James Laird
• Laks V. S. Lakshmanan
• François Lamarche
• Joachim Lambek
• Robby Lampert
• Leslie Lamport
• Ivan Lanese
• Cosimo Laneve
• Martin Lange
• Sophie Laplante
• Dominique Larchey-Wendling
• Benoit Larose
• François Laroussinie
• Kim G. Larsen
• Sławomir Lasota
• Richard Lassaigne
• Soren B. Lassen
• Jean-Louis Lassez
• Louis Latour
• Bastian Laubner
• Olivier Laurent
• Alexander Lauser
• Clemens Lautemann
• Ranko Lazic
• Dai Tri Man Le
• Jean-Marie Le Bars
• Peter Lee
• Seunghwan H. Lee
• Chin-Laung Lei
• Hans Leiß
• Alexander Leitsch
• Daniel Leivant
• Kjell Lemström
• Maurizio Lenzerini
• Giacomo Lenzi
• Jerome Leroux
• Pierre Lescanne
• Jeremy R. Levitt
• Paul Blain Levy
• Jean-Jacques Lévy
• Harry R. Lewis
• Jian-Qi Li
• Chuck Liang
• Leonid Libkin
• Daniel R. Licata
• Yossi Lichtenstein
• Orna Lichtenstein
• André Lieutier
• Vladimir Lifschitz
• Anthony Widjaja Lin
• Patrick Lincoln
• Steven Lindell
• Yongmei Liu
• Jiamou Liu
• Ralph Loader
• Christof Löding
• Alexey Loginov
• Peter Lohmann
• Markus Lohrey
• David E. Long
• Giuseppe Longo
• Cynthia Loten
• Donald W. Loveland
• Étienne Lozes
• Eliezer L. Lozinskii
• Yuan Lu
• Robert S. Lubarsky
• Thomas Lukasiewicz
• Zhaohui Luo
• Haifeng Luo
• Kerkko Luosto
• Inês Lynce
• Nacny A. Lynch
• James F. Lynch
• Christopher Lynch

Salvatore La Torre

• Paper: Rajeev Alur Salvatore La Torre
  Deterministic Generators and Games for LTL Fragments (LICS 2001) More Information...
• Paper: Marco Faella Salvatore La Torre Aniello Murano
  Dense Real-time Games (LICS 2002) More Information...
• Paper: Salvatore La Torre Parthasarathy Madhusudan Gennaro Parlato
  A Robust Class of Context-Sensitive Languages (LICS 2007) More Information...

Gregory Lafitte

• Short Presentation: Fabien Givors Gregory Lafitte
  Holes Punched Computabilities (LICS 2011) More Information...

Claude Laflamme

• Paper: Kevin J. Compton Claude Laflamme
  An algebra and a logic for NC¹ (LICS 1988) More Information...

Yves Lafont

• Paper: Yves Lafont Thomas Streicher
  Games semantics for linear logic (LICS 1991) More Information...

James Laird

• Paper: James Laird
  Full abstraction for functional languages with control (LICS 1997) More Information...
• Paper: James Laird
  A Fully Abstract Game Semantics of Local Exceptions (LICS 2001) More Information...
• Paper: James Laird
  Game Semantics for a Polymorphic Programming Language (LICS 2010) More Information...
• Paper: Martin Churchill James Laird Guy McCusker
  Imperative Programs as Proofs via Game Semantics (LICS 2011) More Information...

Laks V. S. Lakshmanan

• Paper: Laks V. S. Lakshmanan Karima Ashraf Jiawei Han
  Homomorphic tree embeddings and their applications to recursive program optimization (LICS 1993) More Information...

François Lamarche

• Paper: François Lamarche
  Games Semantics for Full Propositional Linear Logic (LICS 1995) More Information...
• Paper: François Lamarche Lutz Strassburger
  Constructing Free Boolean Categories (LICS 2005) More Information...

Joachim Lambek

• Invited Paper: Joachim Lambek
  Programs, grammars and arguments: a personal view of some connections between computation, language and logic (LICS 1993) More Information...

Robby Lampert

• Paper: Benjamin Aminof Orna Kupferman Robby Lampert
  Rigorous Approximated Determinization of Weighted Automata (LICS 2011) More Information...

Leslie Lamport

• Paper: Martín Abadi Leslie Lamport
  The existence of refinement mappings (LICS 1988) More Information...

Ivan Lanese

• Paper: Ivan Lanese Jorge A. Perez Davide Sangiorgi Alan Schmitt
  On the Expressiveness and Decidability of Higher-Order Process Calculi (LICS 2008) More Information...

Cosimo Laneve

• Paper: Andrea Asperti Vincent Danos Cosimo Laneve Laurent Regnier
  Paths in the lambda-calculus. Three years of communications without understanding (LICS 1994) More Information...
• Paper: Cosimo Laneve Antonio Vitale
  The Expressive Power of Synchronizations (LICS 2010) More Information...

Martin Lange

• Paper: Martin Lange Colin Stirling
  Focus Games for Satisfiability and Completeness of Temporal Logic (LICS 2001) More Information...

Sophie Laplante

• Paper: Sophie Laplante Richard Lassaigne Frédéric Magniez Sylvain Peyronnet Michel de Rougemont
  Probabilistic abstraction for model checking: An approach based on property testing (LICS 2002) More Information...

Dominique Larchey-Wendling

• Paper: Dominique Larchey-Wendling Didier Galmiche
  The Undecidability of Boolean BI through Phase Semantics (LICS 2010) More Information...

Benoit Larose

• Paper: Víctor Dalmau Andrei A. Krokhin Benoit Larose
  First-Order Definable Retraction Problems for Posets and Reflexive Graphs (LICS 2004) More Information...
• Paper: Benoit Larose Cynthia Loten Claude Tardif
  A Characterisation of First-Order Constraint Satisfaction Problems (LICS 2006) More Information...
• Paper: László Egri Benoit Larose Pascal Tesson
  Symmetric Datalog and Constraint Satisfaction Problems in Logspace (LICS 2007) More Information...
• Paper: Víctor Dalmau Benoit Larose
  Maltsev + Datalog --> Symmetric Datalog (LICS 2008) More Information...

François Laroussinie

• Paper: François Laroussinie Nicolas Markey Philippe Schnoebelen
  Temporal Logic with Forgettable Past (LICS 2002) More Information...

Kim G. Larsen

• Paper: Kim G. Larsen Bent Thomsen
  A modal process logic (LICS 1988) More Information...
• Paper: Kim G. Larsen Liu Xinxin
  Equation solving using modal transition systems (LICS 1990) More Information...
• Paper: Bengt Jonsson Kim G. Larsen
  Specification and refinement of probabilistic processes (LICS 1991) More Information...

Sławomir Lasota

• Paper: Mikołaj Bojańczyk Sławomir Lasota
  An Extension of Data Automata that Captures XPath (LICS 2010) More Information...
• Paper: Mikołaj Bojańczyk Bartek Klin Sławomir Lasota
  Automata with Group Actions (LICS 2011) More Information...

Richard Lassaigne

• Paper: Sophie Laplante Richard Lassaigne Frédéric Magniez Sylvain Peyronnet Michel de Rougemont
  Probabilistic abstraction for model checking: An approach based on property testing (LICS 2002) More Information...

Soren B. Lassen

• Paper: Soren B. Lassen
  Eager Normal Form Bisimulation (LICS 2005) More Information...
• Paper: Soren B. Lassen
  Head normal form bisimulation for pairs and the lambda-mu calculus (LICS 2006) More Information...
• Paper: Soren B. Lassen Paul Blain Levy
  Typed Normal Form Bisimulation for Parametric Polymorphism (LICS 2008) More Information...

Jean-Louis Lassez

• Paper: Jean-Louis Lassez Ken McAloon
  A constraint sequent calculus (LICS 1990) More Information...

Louis Latour

• Paper: Louis Latour
  From Automata to Formulas: Convex Integer Polyhedra (LICS 2004) More Information...

Bastian Laubner

• Paper: Anuj Dawar Martin Grohe Bjarki Holm Bastian Laubner
  Logics with Rank Operators (LICS 2009) More Information...
• Paper: Bastian Laubner
  Capturing Polynomial Time on Interval Graphs (LICS 2010) More Information...

Olivier Laurent

• Paper: Olivier Laurent
  Polarized games (LICS 2002) More Information...
• Paper: Olivier Laurent Laurent Regnier
  About Translations of Classical Logic into Polarized Linear Logic (LICS 2003) More Information...
• Paper: Olivier Laurent Lorenzo Tortora de Falco
  Obsessional cliques: a semantic characterization of bounded time complexity (LICS 2006) More Information...
• Paper: Olivier Laurent Roberto Maieli
  Cut Elimination for Monomial MALL Proof Nets (LICS 2008) More Information...

Alexander Lauser

• Paper: Manfred Kufleitner Alexander Lauser
  Languages of Dot-Depth One over Infinite Words (LICS 2011) More Information...

Clemens Lautemann

• Paper: David A. Mix Barrington Neil Immerman Clemens Lautemann Nicole Schweikardt Denis Thérien
  The Crane Beach Conjecture (LICS 2001) More Information...

Ranko Lazic

• Paper: Stephane Demri Ranko Lazic
  LTL with the Freeze Quantifier and Register Automata (LICS 2006) More Information...
• Paper: Marcin Jurdzinski Ranko Lazic
  Alternation-free modal mu-calculus for data trees (LICS 2007) More Information...

Dai Tri Man Le

• Paper: Dai Tri Man Le Stephen A. Cook
  Formalizing Randomized Matching Algorithms (LICS 2011) More Information...

Jean-Marie Le Bars

• Paper: Jean-Marie Le Bars
  Fragments of Existential Second-Order Logic without 0-1 Laws (LICS 1998) More Information...
• Paper: Jean-Marie Le Bars
  The 0-1 law fails for frame satisfiability of propositional modal logic (LICS 2002) More Information...

Peter Lee

• Paper: George C. Necula Peter Lee
  Efficient Representation and Validation of Proofs (LICS 1998) More Information...

Seunghwan H. Lee

• Short Presentation: Seunghwan H. Lee
  Problems in nesting logics to higher order (LICS 2005) More Information...

Chin-Laung Lei

• Paper: E. Allen Emerson Chin-Laung Lei
  Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract) (LICS 1986) More Information...

Hans Leiß

• Paper: Foto N. Afrati Hans Leiß Michel de Rougemont
  Definability and Compression (LICS 2000) More Information...

Alexander Leitsch

• Paper: Matthias Baaz Christian G. Fermüller Alexander Leitsch
  A non-elementary speed-up in proof length by structural clause form transformation (LICS 1994) More Information...

Daniel Leivant

• Paper: Daniel Leivant
  Stratified polymorphism (LICS 1989) More Information...
• Paper: Daniel Leivant
  A foundational delineation of computational feasibility (LICS 1991) More Information...
• Paper: Daniel Leivant
  Calibrating computational feasibility by abstraction rank (LICS 2002) More Information...
• Paper: Daniel Leivant
  Proving Termination Assertions in Dynamic Logics (LICS 2004) More Information...
• Paper: Daniel Leivant
  Matching explicit and modal reasoning about programs: a proof theoretic delineation of dynamic logic (LICS 2006) More Information...

Kjell Lemström

• Paper: Kjell Lemström Lauri Hella
  Approximate Pattern Matching is Expressible in Transitive Closure Logic (LICS 2000) More Information...

Maurizio Lenzerini

• Paper: Diego Calvanese Giuseppe De Giacomo Maurizio Lenzerini Moshe Y. Vardi
  View-Based Query Processing and Constraint Satisfaction (LICS 2000) More Information...
• Invited Paper: Diego Calvanese Giuseppe De Giacomo Maurizio Lenzerini
  Description Logics: Foundations for Class-based Knowledge Representation (LICS 2002) More Information...

Giacomo Lenzi

• Paper: Giacomo Lenzi André Arnold Jerzy Marcinkowski
  The Hierarchy inside Closed Monadic S1 Collapses on the Infinite Binary Tree (LICS 2001) More Information...
• Paper: David Janin Giacomo Lenzi
  Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic Hierarchy (LICS 2001) More Information...

Jerome Leroux

• Paper: Jerome Leroux
  A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams (LICS 2005) More Information...
• Paper: Jerome Leroux
  The General Vector Addition System Reachability Problem by Presburger Inductive Invariants (LICS 2009) More Information...

Pierre Lescanne

• Paper: Claude Kirchner Pierre Lescanne
  Solving Disequations (LICS 1987) More Information...
• Paper: Max Dauchet Sophie Tison Thierry Heuillard Pierre Lescanne
  Decidability of the Confluence of Ground Term Rewriting Systems (LICS 1987) More Information...
• Paper: Pierre Lescanne
  Well rewrite orderings (LICS 1990) More Information...

Jeremy R. Levitt

• Paper: Aaron Stump Clark W. Barrett David L. Dill Jeremy R. Levitt
  A Decision Procedure for an Extensional Theory of Arrays (LICS 2001) More Information...

Paul Blain Levy

• Paper: Soren B. Lassen Paul Blain Levy
  Typed Normal Form Bisimulation for Parametric Polymorphism (LICS 2008) More Information...

Jean-Jacques Lévy

• Paper: Georges Gonthier Jean-Jacques Lévy Paul-André Melliès
  An abstract standardisation theorem (LICS 1992) More Information...
• Paper: Georges Gonthier Martín Abadi Jean-Jacques Lévy
  Linear logic without boxes (LICS 1992) More Information...

Harry R. Lewis

• Paper: Harry R. Lewis
  A logic of concrete time intervals (LICS 1990) More Information...

Jian-Qi Li

• Short Presentation: Jian-Qi Li
  A Computability Path Ordering for Polymorphic Terms (LICS 2010) More Information...

Chuck Liang

• Paper: Chuck Liang Dale A. Miller
  A Unified Sequent Calculus for Focused Proofs (LICS 2009) More Information...

Leonid Libkin

• Paper: Michael Benedikt Leonid Libkin
  On the Structure of Queries in Constraint Query Languages (LICS 1996) More Information...
• Paper: Leonid Libkin
  On the Forms of Locality over Finite Models (LICS 1997) More Information...
• Paper: Leonid Libkin
  On Counting Logics and Local Properties (LICS 1998) More Information...
• Paper: Lauri Hella Leonid Libkin Juha Nurmonen Limsoon Wong
  Logics with Aggregate Operators (LICS 1999) More Information...
• Paper: Leonid Libkin
  Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries (LICS 1999) More Information...
• Paper: Michael Benedikt Leonid Libkin Thomas Schwentick Luc Segoufin
  A Model-Theoretic Approach to Regular String Relations (LICS 2001) More Information...
• Paper: Michael Benedikt Leonid Libkin
  Tree Extension Algebras: Logics, Automata, and Query Languages (LICS 2002) More Information...
• Paper: Leonid Libkin Frank Neven
  Logical Definability and Query Languages over Unranked Trees (LICS 2003) More Information...
• Short Presentation: Marcelo Arenas Pablo Barceló Leonid Libkin
  Game-based Notions of Locality (LICS 2003) More Information...
• Paper: Pablo Barceló Leonid Libkin
  Temporal Logics over Unranked Trees (LICS 2005) 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...

Daniel R. Licata

• Paper: Daniel R. Licata Noam Zeilberger Robert Harper
  Focusing on Binding and Computation (LICS 2008) More Information...

Yossi Lichtenstein

• Paper: Rob Gerth Michael Codish Yossi Lichtenstein Ehud Y. Shapiro
  Fully abstract denotational semantics for flat Concurrent Prolog (LICS 1988) More Information...

Orna Lichtenstein

• Paper: Eyal Harel Orna Lichtenstein Amir Pnueli
  Explicit clock temporal logic (LICS 1990) More Information...

André Lieutier

• Paper: Abbas Edalat André Lieutier
  Domain Theory and Differential Caluculus (Functions of one variable) (LICS 2002) More Information...

Vladimir Lifschitz

• Invited Paper: Vladimir Lifschitz
  The mathematics of nonmonotonic reasoning (LICS 1989) More Information...

Anthony Widjaja Lin

• Paper: Stefan Göller Anthony Widjaja Lin
  The Complexity of Verifying Ground Tree Rewrite Systems (LICS 2011) More Information...

Patrick Lincoln

• Paper: Patrick Lincoln Andre Scedrov Natarajan Shankar
  Linearizing intuitionistic implication (LICS 1991) More Information...
• Paper: Patrick Lincoln John C. Mitchell
  Operational aspects of linear lambda calculus (LICS 1992) More Information...
• Paper: Patrick Lincoln Natarajan Shankar
  Proof search in first-order linear logic and other cut-free sequent calculi (LICS 1994) More Information...
• Paper: Patrick Lincoln Natarajan Shankar Andre Scedrov
  Decision Problems For Second-Order Linear Logic (LICS 1995) More Information...

Steven Lindell

• Paper: Steven Lindell Scott Weinstein
  The Role of Decidability in First Order Separations over Classes of Finite Structures (LICS 2000) More Information...
• Short Presentation: Steven Lindell Iliano Cervesato
  The Dolev-Yaho Intruder is the Most Powerful Attacker (LICS 2001) More Information...
• Short Presentation: Steven Lindell
  Finite Visit Sequential Deterministic Tree Automata (LICS 2001) More Information...
• Short Presentation: Steven Lindell
  Linear-time algorithms for Monadic Logic (LICS 2003) More Information...

Yongmei Liu

• Short Presentation: Murray Patterson Yongmei Liu Eugenia Ternovska Arvind Gupta
  Grounding for Model Expansion in k-Guarded Formulas (LICS 2006) More Information...

Jiamou Liu

• Paper: Dietrich Kuske Jiamou Liu Markus Lohrey
  The Isomorphism Problem On Classes of Automatic Structures (LICS 2010) More Information...

Ralph Loader

• Paper: Ralph Loader
  Linear logic, totality and full completeness (LICS 1994) More Information...

Christof Löding

• Paper: Thomas Colcombet Christof Löding
  Regular Cost Functions over Finite Trees (LICS 2010) More Information...

Alexey Loginov

• Paper: Thomas W. Reps Alexey Loginov Shmuel Sagiv
  Semantic Minimization of 3-Valued Propositional Formulae (LICS 2002) More Information...

Peter Lohmann

• Paper: Juha Kontinen Antti Kuusisto Peter Lohmann Jonni Virtema
  Complexity of Two-Variable Dependence Logic and IF-Logic (LICS 2011) More Information...

Markus Lohrey

• Paper: Markus Lohrey
  Model-Checking Hierarchical Structures (LICS 2005) More Information...
• Paper: Dietrich Kuske Markus Lohrey
  Monadic chain logic over iterations and applications to pushdown systems (LICS 2006) More Information...
• Paper: Dietrich Kuske Jiamou Liu Markus Lohrey
  The Isomorphism Problem On Classes of Automatic Structures (LICS 2010) More Information...

David E. Long

• Paper: Soumitra Bose Edmund M. Clarke David E. Long Spiro Michaylov
  PARTHENON: a parallel theorem prover for non-Horn clauses (LICS 1989) More Information...
• Paper: Edmund M. Clarke David E. Long Kenneth L. McMillan
  Compositional model checking (LICS 1989) More Information...
• Paper: Patrice Godefroid David E. Long
  Symbolic Protocol Verification with Queue BDDs (LICS 1996) More Information...

Giuseppe Longo

• Paper: Roberto M. Amadio Kim B. Bruce Giuseppe Longo
  The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations (LICS 1986) More Information...
• Paper: Kim B. Bruce Giuseppe Longo
  A modest model of records, inheritance and bounded quantification (LICS 1988) More Information...
• Paper: Giuseppe Longo Kathleen Milsted Sergei Soloviev
  The genericity theorem and the notion of parametricity in the polymorphic λ-calculus (LICS 1993) More Information...
• Paper: Giuseppe Longo Kathleen Milsted Sergei Soloviev
  A logic of subtyping (LICS 1995) More Information...

Cynthia Loten

• Paper: Benoit Larose Cynthia Loten Claude Tardif
  A Characterisation of First-Order Constraint Satisfaction Problems (LICS 2006) More Information...

Donald W. Loveland

• Paper: Gopalan Nadathur Donald W. Loveland
  Uniform proofs and disjunctive logic programming (LICS 1995) More Information...

Étienne Lozes

• Paper: Daniel Hirschkoff Étienne Lozes Davide Sangiorgi
  Separability, expressiveness, and decidability in the Ambient Logic (LICS 2002) More Information...

Eliezer L. Lozinskii

• Paper: Michael Kifer Eliezer L. Lozinskii
  RI: a logic for reasoning with inconsistency (LICS 1989) More Information...

Yuan Lu

• Paper: Edmund M. Clarke Somesh Jha Yuan Lu Helmut Veith
  Tree-like Counterexamples in Model Checking (LICS 2002) More Information...

Robert S. Lubarsky

• Paper: Robert S. Lubarsky
  μ-definable sets of integers (LICS 1989) More Information...

Thomas Lukasiewicz

• Invited Paper: Andrea Calì Georg Gottlob Thomas Lukasiewicz Bruno Marnette Andreas Pieris
  Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications (LICS 2010) More Information...

Zhaohui Luo

• Paper: Zhaohui Luo
  ECC, an extended calculus of constructions (LICS 1989) More Information...

Haifeng Luo

• Paper: Yang Cai Ting Zhang Haifeng Luo
  An Improved Lower Bound for the Complementation of Rabin Automata (LICS 2009) More Information...

Kerkko Luosto

• Paper: Lauri Hella Phokion G. Kolaitis Kerkko Luosto
  How to define a linear order on finite models (LICS 1994) More Information...
• Paper: Kerkko Luosto
  Equicardinality on Linear Orders (LICS 2004) More Information...

Inês Lynce

• Short Presentation: Inês Lynce João P. Marques-Silva
  Integrating Simplification Techniques in SAT Algorithms (LICS 2001) More Information...

Nacny A. Lynch

• Paper: Kenneth J. Goldman Nacny A. Lynch
  Modelling shared state in a shared action model (LICS 1990) More Information...

James F. Lynch

• Paper: James F. Lynch
  Infinitary logics and very sparse random graphs (LICS 1993) More Information...
• Paper: James F. Lynch Jerzy Tyszkiewicz
  The Infinitary Logic of Sparse Random Graphs (LICS 1995) More Information...
• Paper: James F. Lynch
  Convergence Law for Random Graphs with Specified Degree Sequence (LICS 2003) More Information...
• Short Presentation: James F. Lynch
  A Proposal to Extend Abstract State Machines to Applications in Systems Biology (LICS 2003) More Information...
• Paper: James F. Lynch
  A Logical Characterization of Individual-Based Models (LICS 2008) More Information...

Christopher Lynch

• Paper: Christopher Lynch
  Paramodulation without Duplication (LICS 1995) More Information...
• Short Presentation: Christopher Lynch Christelle Scharff
  Basic Completion Modulo with Simplification (LICS 2001) More Information...
• Paper: Christopher Lynch Barbara Morawska
  Automatic Decidability (LICS 2002) More Information...