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:

• Ellie D'Hondt
• Ugo Dal Lago
• Víctor Dalmau
• Mads Dam
• Dennis Dams
• Vincent Danos
• Satyaki Das
• Max Dauchet
• Claire David
• Rowan Davies
• Martin Davis
• Anuj Dawar
• John W. Dawson
• Luca de Alfaro
• Frank S. de Boer
• Nicolaas G. de Bruijn
• Marc de Falco
• Giuseppe De Giacomo
• Philippe de Groote
• Joachim de Lataillade
• Silvia De Lorenzis
• Paulin Jacobé de Naurois
• Rocco De Nicola
• Hans de Nivelle
• Michel de Rougemont
• Roel C. de Vrijer
• Ugo de'Liguoro
• Pierpaolo Degano
• Anatoli Degtyarev
• Olivier Delande
• Yannick Delbecque
• Alan J. Demers
• Stephane Demri
• Marc Denecker
• Johann Deneux
• Yuxin Deng
• Nachum Dershowitz
• Josée Desharnais
• Joëlle Despeyroux
• Harish Devarajan
• Benet Devereux
• Hervé Devie
• Mariangiola Dezani-Ciancaglini
• Roberto Di Cosmo
• David L. Dill
• Catalin Dima
• Thomas Dinsdale-Young
• Mike Dodds
• Luís Dominguez
• Jochen Dörre
• Daniel J. Dougherty
• Gilles Dowek
• Laurent Doyen
• Derek Dreyer
• Sophia Drossopoulou
• Manfred Droste
• Bruce F. Duba
• Ross Duncan
• Brian Dunphy
• Arnaud Durand
• David Duris
• Bruno Dutertre
• Peter Dybjer
• Stefan Dziembowski

Ellie D'Hondt

• Short Presentation: Ellie D'Hondt
  Distributed measurement-based quantum computation (LICS 2005) More Information...

Ugo Dal Lago

• Short Presentation: Ugo Dal Lago
  The Geometry of Linear Ramified Recurrence (LICS 2004) More Information...
• Paper: Ugo Dal Lago
  The Geometry of Linear Higher-Order Recursion (LICS 2005) More Information...
• Paper: Ugo Dal Lago
  Context Semantics, Linear Logic and Computational Complexity (LICS 2006) More Information...
• Paper: Patrick Baillot Paolo Coppola Ugo Dal Lago
  Light Logics and Optimal Reduction: Completeness and Complexity (LICS 2007) More Information...
• Paper: Ugo Dal Lago Marco Gaboardi
  Linear Dependent Types and Relative Completeness (LICS 2011) More Information...

Víctor Dalmau

• Paper: Víctor Dalmau Andrei A. Krokhin Benoit Larose
  First-Order Definable Retraction Problems for Posets and Reflexive Graphs (LICS 2004) More Information...
• Paper: Víctor Dalmau
  Generalized Majority-Minority Operations are Tractable (LICS 2005) More Information...
• Paper: Víctor Dalmau Benoit Larose
  Maltsev + Datalog --> Symmetric Datalog (LICS 2008) More Information...
• Paper: Catarina Carvalho Víctor Dalmau Andrei A. Krokhin
  Caterpillar Duality for Constraint Satisfaction Problems (LICS 2008) More Information...
• Paper: Hubie Chen Víctor Dalmau
  Decomposing Quantified Conjunctive (or Disjunctive) Formulas (LICS 2012) More Information...

Mads Dam

• Paper: Mads Dam
  Relevance logic and concurrent composition (LICS 1988) More Information...
• Paper: Mika Cohen Mads Dam
  A Complete Axiomatization of Knowledge and Cryptography (LICS 2007) More Information...

Dennis Dams

• Paper: Dennis Dams Kedar S. Namjoshi
  The Existence of Finite Abstractions for Branching Time Model Checking (LICS 2004) More Information...

Vincent Danos

• Paper: Vincent Danos Laurent Regnier
  Local and asynchronous beta-reduction (an analysis of Girard's execution formula) (LICS 1993) More Information...
• 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: Vincent Danos Hugo Herbelin Laurent Regnier
  Game semantics and abstract machines (LICS 1996) 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: Vincent Danos Russell Harmer
  Probabilistic Game Semantics (LICS 2000) More Information...
• Paper: Vincent Danos Josée Desharnais
  Labelled Markov Processes: Stronger and Faster Approximations (LICS 2003) More Information...
• Invited Paper: Vincent Danos Jérôme Feret Walter Fontana Russell Harmer Jean Krivine
  Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction (LICS 2010) More Information...

Satyaki Das

• Invited Paper: Satyaki Das David L. Dill
  Successive Approximation of Abstract Transition Relations (LICS 2001) More Information...

Max Dauchet

• Paper: Max Dauchet Sophie Tison Thierry Heuillard Pierre Lescanne
  Decidability of the Confluence of Ground Term Rewriting Systems (LICS 1987) More Information...
• Paper: Max Dauchet Sophie Tison
  The theory of ground rewrite systems is decidable (LICS 1990) More Information...

Claire David

• Paper: Mikołaj Bojańczyk Anca Muscholl Thomas Schwentick Luc Segoufin Claire David
  Two-Variable Logic on Words with Data (LICS 2006) More Information...

Rowan Davies

• Paper: Rowan Davies
  A temporal-logic approach to binding-time analysis (LICS 1996) More Information...

Martin Davis

• Invited Paper: Martin Davis
  Emil Post's contributions to computer science (LICS 1989) More Information...

Anuj Dawar

• Paper: Anuj Dawar Lauri Hella
  The expressive power of finitely many generalized quantifiers (LICS 1994) More Information...
• Paper: Anuj Dawar Erich Grädel
  Generalized Quantifiers and 0-1 Laws (LICS 1995) More Information...
• Paper: Anuj Dawar Lauri Hella Anil Seth
  Ordering Finite Variable Types with Generalized Quantifiers (LICS 1998) More Information...
• Short Presentation: Anuj Dawar Lauri Hella Mikko Suonio
  On Abiteboul-Vianu Theorem for Fixed-Point Logics with Generalized Quantifiers (LICS 2004) More Information...
• Paper: Anuj Dawar Martin Otto
  Modal Characterisation Theorems over Special Classes of Frames (LICS 2005) More Information...
• Paper: Anuj Dawar Martin Grohe Stephan Kreutzer Nicole Schweikardt
  Approximation Schemes for First-Order Definable Optimization Problems (LICS 2006) More Information...
• Paper: Anuj Dawar Martin Grohe Stephan Kreutzer
  Locally Excluding a Minor (LICS 2007) More Information...
• Paper: Anuj Dawar Martin Grohe Bjarki Holm Bastian Laubner
  Logics with Rank Operators (LICS 2009) More Information...

John W. Dawson

• Invited Paper: John W. Dawson
  Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and Computer Science (LICS 2006) More Information...

Luca de Alfaro

• Paper: Luca de Alfaro
  How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems (LICS 1998) More Information...
• Paper: Luca de Alfaro Thomas A. Henzinger
  Concurrent Omega-Regular Games (LICS 2000) More Information...
• Paper: Luca de Alfaro Thomas A. Henzinger Rupak Majumdar
  From Verification to Control: Dynamic Programs for Omega-Regular Objectives (LICS 2001) More Information...
• Paper: Luca de Alfaro Patrice Godefroid Radha Jagadeesan
  Three-Valued Abstractions of Games: Uncertainty, but with Precision (LICS 2004) More Information...
• Paper: Luca de Alfaro Rupak Majumdar Vishwanath Raman Mariëlle Stoelinga
  Game Relations and Metrics (LICS 2007) More Information...

Frank S. de Boer

• Paper: Frank S. de Boer
  A compositional proof system for dynamic process creation (LICS 1991) More Information...
• Paper: Frank S. de Boer Jan Willem Klop Catuscia Palamidessi
  Asynchronous communication in process algebra (LICS 1992) More Information...

Nicolaas G. de Bruijn

• Invited Paper: Nicolaas G. de Bruijn
  (LICS 1991) More Information...

Marc de Falco

• Paper: Marc de Falco
  The Geometry of Interaction of Differential Interaction Nets (LICS 2008) More Information...

Giuseppe De Giacomo

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

Philippe de Groote

• Paper: Philippe de Groote Bruno Guillaume Sylvain Salvati
  Vector Addition Tree Automata (LICS 2004) More Information...

Joachim de Lataillade

• Paper: Joachim de Lataillade
  Dinatural Terms in System F (LICS 2009) More Information...

Silvia De Lorenzis

• Paper: Antonio Bucciarelli Silvia De Lorenzis Adolfo Piperno Ivano Salvo
  Some Computational Properties of Intersection Types (LICS 1999) More Information...

Paulin Jacobé de Naurois

• Paper: Paulin Jacobé de Naurois Virgile Mogbil
  Correctness of Multiplicative Additive Proof Structures is NL-Complete (LICS 2008) More Information...

Rocco De Nicola

• Paper: Pierpaolo Degano Rocco De Nicola Ugo Montanari
  On the consistency of `truly concurrent' operational and denotational semantics (LICS 1988) More Information...
• Paper: Rocco De Nicola Fritz W. Vaandrager
  Three logics for branching bisimulation (LICS 1990) More Information...
• Paper: Michele Boreale Rocco De Nicola Rosario Pugliese
  Proof Techniques for Cryptographic Processes (LICS 1999) More Information...
• Paper: Giuseppe Castagna Rocco De Nicola Daniele Varacca
  Semantic Subtyping for the pi-Calculus (LICS 2005) More Information...

Hans de Nivelle

• Paper: Harald Ganzinger Hans de Nivelle
  A Superposition Decision Procedure for the Guarded Fragment with Equality (LICS 1999) More Information...

Michel de Rougemont

• Paper: Foto N. Afrati Hans Leiß Michel de Rougemont
  Definability and Compression (LICS 2000) More Information...
• 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...
• Paper: Eldar Fischer Frédéric Magniez Michel de Rougemont
  Approximate Satisfiability and Equivalence (LICS 2006) More Information...
• Paper: Michel de Rougemont Mathieu Tracol
  Statistic Analysis for Probabilistic Processes (LICS 2009) More Information...

Roel C. de Vrijer

• Paper: Roel C. de Vrijer
  Extending the lambda calculus with surjective pairing is conservative (LICS 1989) More Information...
• Paper: Inge Bethke Jan Willem Klop Roel C. de Vrijer
  Completing Partial Combinatory Algebras with Unique Head-Normal Forms (LICS 1996) More Information...

Ugo de'Liguoro

• Paper: Ugo de'Liguoro Adolfo Piperno Richard Statman
  Retracts in simply type λβη-calculus (LICS 1992) More Information...

Pierpaolo Degano

• Paper: Pierpaolo Degano Rocco De Nicola Ugo Montanari
  On the consistency of `truly concurrent' operational and denotational semantics (LICS 1988) More Information...
• Paper: Pierpaolo Degano José Meseguer Ugo Montanari
  Axiomatizing net computations and processes (LICS 1989) More Information...

Anatoli Degtyarev

• Paper: Anatoli Degtyarev Yuri Matiyasevich Andrei Voronkov
  Simultaneous Rigid E-Unification and Related Algorithmic Problems (LICS 1996) More Information...
• Paper: Anatoli Degtyarev Andrei Voronkov
  Decidability Problems for the Prenex Fragment of Intuitionistic Logic (LICS 1996) More Information...

Olivier Delande

• Paper: Olivier Delande Dale A. Miller
  A Neutral Approach to Proof and Refutation in MALL (LICS 2008) More Information...

Yannick Delbecque

• Short Presentation: Yannick Delbecque
  Internal Traces and Abstract Measurments (LICS 2005) More Information...

Alan J. Demers

• Paper: Robert Cartwright Alan J. Demers
  The topology of program termination (LICS 1988) More Information...

Stephane Demri

• Paper: Stephane Demri Ranko Lazic
  LTL with the Freeze Quantifier and Register Automata (LICS 2006) More Information...

Marc Denecker

• Short Presentation: Marc Denecker Eugenia Ternovska
  Modularity Theorems for Non-Monotone Induction (LICS 2003) More Information...

Johann Deneux

• Paper: Parosh A. Abdulla Johann Deneux Pritha Mahata
  Multi-Clock Timed Networks (LICS 2004) More Information...

Yuxin Deng

• Paper: Yuxin Deng Rob J. van Glabbeek Matthew Hennessy Carroll Morgan Chenyi Zhang
  Characterising Testing Preorders for Finite Probabilistic Processes (LICS 2007) More Information...

Nachum Dershowitz

• Paper: Leo Bachmair Nachum Dershowitz Jieh Hsiang
  Orderings for Equational Proofs (LICS 1986) More Information...
• Paper: Leo Bachmair Nachum Dershowitz
  Inference Rules for Rewrite-Based First-Order Theorem Proving (LICS 1987) More Information...
• Paper: Nachum Dershowitz Mitsuhiro Okada
  Proof-theoretic techniques for term rewriting theory (LICS 1988) More Information...
• Invited Paper: Nachum Dershowitz
  Theorem Proving with Ordered Equations (LICS 1990) More Information...
• Paper: Nachum Dershowitz Claude Kirchner
  Abstract Saturation-Based Inference (LICS 2003) More Information...

Josée Desharnais

• Paper: Richard Blute Josée Desharnais Abbas Edalat Prakash Panangaden
  Bisimulation for Labelled Markov Processes (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: Josée Desharnais Prakash Panangaden Radha Jagadeesan Vineet Gupta
  Approximating Labeled Markov Processes (LICS 2000) More Information...
• Paper: Josée Desharnais Vineet Gupta Radha Jagadeesan Prakash Panangaden
  The Metric Analogue of Weak Bisimulation for Probabilistic Processes (LICS 2002) More Information...
• Paper: Vincent Danos Josée Desharnais
  Labelled Markov Processes: Stronger and Faster Approximations (LICS 2003) More Information...

Joëlle Despeyroux

• Paper: Joëlle Despeyroux
  Proof of Translation in Natural Semantics (LICS 1986) More Information...

Harish Devarajan

• Paper: Harish Devarajan Dominic J. D. Hughes Vaughan R. Pratt Gordon D. Plotkin
  Full Completeness of the Multiplicative Linear Logic of Chu Spaces (LICS 1999) More Information...

Benet Devereux

• Short Presentation: Benet Devereux
  Assume-Guarantee Reasoning with Features (LICS 2003) More Information...

Hervé Devie

• Paper: Alexandre Boudet Evelyne Contejean Hervé Devie
  A new AC unification algorithm with an algorithm for solving systems of diophantine equations (LICS 1990) More Information...

Mariangiola Dezani-Ciancaglini

• Paper: Mariangiola Dezani-Ciancaglini Jerzy Tiuryn Pawel Urzyczyn
  Discrimination by Parallel Observers (LICS 1997) More Information...
• Paper: Mariangiola Dezani-Ciancaglini Makoto Tatsuta
  Normalisation is insensible to lambda-term identity or difference (LICS 2006) More Information...

Roberto Di Cosmo

• Paper: Roberto Di Cosmo Delia Kesner
  Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (LICS 1997) More Information...
• Paper: Marcelo P. Fiore Roberto Di Cosmo Vincent Balat
  Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types (LICS 2002) More Information...

David L. Dill

• Paper: Rajeev Alur Costas Courcoubetis David L. Dill
  Model-checking for real-time systems (LICS 1990) More Information...
• Paper: Jerry R. Burch Edmund M. Clarke Kenneth L. McMillan David L. Dill L. James Hwang
  Symbolic model checking: 10^20 states and beyond (LICS 1990) More Information...
• 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...
• Invited Paper: Satyaki Das David L. Dill
  Successive Approximation of Abstract Transition Relations (LICS 2001) More Information...

Catalin Dima

• Paper: Catalin Dima
  Computing reachability relations in timed automata (LICS 2002) More Information...

Thomas Dinsdale-Young

• Short Presentation: Thomas Dinsdale-Young Lars Birkedal Philippa Gardner Matthew Parkinson Hongseok Yang
  Views: Compositional Reasoning for Concurrent Programs (LICS 2012) More Information...

Mike Dodds

• Short Presentation: John Wickerson Mike Dodds Matthew Parkinson
  Ribbon Proofs for Separation Logic (LICS 2012) More Information...

Luís Dominguez

• Paper: Luís Dominguez
  Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus (LICS 2009) More Information...

Jochen Dörre

• Paper: Jochen Dörre William C. Rounds
  On subsumption and semiunification in feature algebras (LICS 1990) More Information...

Daniel J. Dougherty

• Paper: Daniel J. Dougherty Ramesh Subrahmanyam
  Equality Between Functionals in the Presence of Coproducts (LICS 1995) More Information...

Gilles Dowek

• Paper: Gilles Dowek
  Third order matching is decidable (LICS 1992) More Information...
• Paper: Gilles Dowek Thérèse Hardin Claude Kirchner
  Higher-order Unification via Explicit Substitutions (LICS 1995) More Information...

Laurent Doyen

• Paper: Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger
  Expressiveness and Closure Properties for Quantitative Languages (LICS 2009) More Information...
• Paper: Krishnendu Chatterjee Laurent Doyen
  Partial-Observation Stochastic Games: How to Win When Belief Fails (LICS 2012) More Information...

Derek Dreyer

• Paper: Derek Dreyer Amal J. Ahmed Lars Birkedal
  Logical Step-Indexed Logical Relations (LICS 2009) More Information...
• Paper: Chung-Kil Hur Derek Dreyer Viktor Vafeiadis
  Separation Logic in the Presence of Garbage Collection (LICS 2011) More Information...

Sophia Drossopoulou

• Paper: Sophia Drossopoulou Susan Eisenbach David Wragg
  A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility (LICS 1999) More Information...

Manfred Droste

• Paper: Manfred Droste Rüdiger Göbel
  Universal domains in the theory of denotational semantics of programming languages (LICS 1990) More Information...

Bruce F. Duba

• Paper: Matthias Felleisen Daniel P. Friedman Eugene E. Kohlbecker Bruce F. Duba
  Reasoning with Continuations (LICS 1986) More Information...

Ross Duncan

• Paper: Bob Coecke Ross Duncan Aleks Kissinger Quanlong Wang
  Strong Complementarity and Non-locality in Categorical Quantum Mechanics (LICS 2012) More Information...

Brian Dunphy

• Paper: Brian Dunphy Uday S. Reddy
  Parametric Limits (LICS 2004) More Information...

Arnaud Durand

• Paper: Arnaud Durand Miki Hermann Gustav Nordh
  Trichotomy in the Complexity of Minimal Inference (LICS 2009) More Information...

David Duris

• Paper: David Duris
  Hypergraph Acyclicity and Extension Preservation Theorems (LICS 2008) More Information...

Bruno Dutertre

• Paper: Bruno Dutertre
  Complete Proof Systems for First Order Interval Temporal Logic (LICS 1995) More Information...

Peter Dybjer

• Paper: Thorsten Altenkirch Peter Dybjer Martin Hofmann Philip J. Scott
  Normalization by Evaluation for Typed Lambda Calculus with Coproducts (LICS 2001) More Information...
• Paper: Andreas Abel Thierry Coquand Peter Dybjer
  Normalization by Evaluation for Martin-Löf Type Theory with Typed Equality Judgements (LICS 2007) More Information...

Stefan Dziembowski

• Paper: Stefan Dziembowski Marcin Jurdzinski Igor Walukiewicz
  How much memory is needed to win infinite games? (LICS 1997) More Information...