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: D
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
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...
Last modified: 2013-05-30
11:16
Andrzej Murawski