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:

• Loris D'Antoni
• Ellie D'Hondt
• Emanuele D'Osualdo
• Pierre-Évariste Dagand
• Francesco Dagnino
• Ugo Dal Lago
• Víctor Dalmau
• Mads Dam
• Dennis Dams
• Daniel Danielski
• Nils Anders Danielsson
• Vincent Danos
• Luc Dartois
• Anupam Das
• Satyaki Das
• Ankush Das
• Mohammad Torabi Dashti
• Max Dauchet
• Mohammad-Javad Davari
• Vrunda Dave
• Laure Daviaud
• 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
• Jonas De Vuyst
• Ugo de'Liguoro
• Pierpaolo Degano
• Aldric Degorre
• Anatoli Degtyarev
• Olivier Delande
• Remi Delannoy
• Yannick Delbecque
• Romain Demangeon
• William J. DeMeo
• Alan J. Demers
• Stéphane Demri
• Marc Denecker
• Johann Deneux
• Yuxin Deng
• Farzaneh Derakhshan
• Nachum Dershowitz
• Josée Desharnais
• Jyotirmoy V. Deshmukh
• Joëlle Despeyroux
• Morgan Deters
• Harish Devarajan
• Benet Devereux
• Hervé Devie
• Dominique Devriese
• Mariangiola Dezani-Ciancaglini
• Jieqi Di
• Roberto Di Cosmo
• Alejandro Díaz-Caro
• Martín Diéguez
• David L. Dill
• Catalin Dima
• Thomas Dinsdale-Young
• Tim Disney
• Christoph Dittmann
• Alex Dixon
• Simon Docherty
• Mike Dodds
• Pedro M. Domingos
• Luís Dominguez
• Brijesh Dongol
• Floris van Doorn
• Jochen Dörre
• Daniel J. Dougherty
• Amina Doumane
• Gilles Dowek
• Laurent Doyen
• Jan Dreier
• Derek Dreyer
• Sophia Drossopoulou
• Manfred Droste
• Zhenhua Duan
• Bruce F. Duba
• Clemens Dubslaff
• Andrej Dudenhefner
• Timothy Duff
• Ross Duncan
• Kevin Dunne
• Brian Dunphy
• Arnaud Durand
• Antoine Durand-Gasselin
• Adrien Durier
• David Duris
• Bruno Dutertre
• Wolfgang Dvorák
• Wolfgang Dvorák
• Peter Dybjer
• Stefan Dziembowski

Loris D'Antoni

• Invited Paper: Rajeev Alur Loris D'Antoni Jyotirmoy V. Deshmukh Mukund Raghothaman Yifei Yuan
  Regular Functions and Cost Register Automata (LICS 2013) More Information...
• Paper: Loris D'Antoni Margus Veanes
  Minimization of Symbolic Tree Automata (LICS 2016) More Information...

Ellie D'Hondt

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

Emanuele D'Osualdo

• Paper: Emanuele D'Osualdo Roland Meyer Georg Zetzsche
  First-order logic with reachability for infinite-state systems (LICS 2016) More Information...

Pierre-Évariste Dagand

• Paper: Pierre-Évariste Dagand Conor McBride
  A Categorical Treatment of Ornaments (LICS 2013) More Information...

Francesco Dagnino

• Paper: Francesco Dagnino Fabio Pasquali
  Logical Foundations of Quantitative Equality (LICS 2022) 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...
• Paper: Beniamino Accattoli Ugo Dal Lago
  Beta reduction is invariant, indeed (LICS 2014) More Information...
• Paper: Ugo Dal Lago Claudia Faggian Ichiro Hasuo Akira Yoshimizu
  The geometry of synchronization (LICS 2014) More Information...
• Paper: Ugo Dal Lago Claudia Faggian Benoît Valiron Akira Yoshimizu
  Parallelism and Synchronization in an Infinitary Context (LICS 2015) More Information...
• Paper: Raphaëlle Crubillé Ugo Dal Lago
  Metric Reasoning about ?-Terms: The Affine Case (LICS 2015) More Information...
• Paper: Ugo Dal Lago
  Infinitary Lambda Calculi from a Linear Perspective (LICS 2016) More Information...
• Paper: Ugo Dal Lago Ryo Tanaka Akira Yoshimizu
  The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens (LICS 2017) More Information...
• Paper: Ugo Dal Lago Francesco Gavazzo Paul Blain Levy
  Effectful applicative bisimilarity: Monads, relators, and Howe's method (LICS 2017) 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...
• 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...

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

Daniel Danielski

• Paper: Daniel Danielski Emanuel Kieronski
  Unary negation fragment with equivalence relations has the finite model property (LICS 2018) More Information...

Nils Anders Danielsson

• Paper: Paolo Capriotti Nils Anders Danielsson Andrea Vezzosi
  Higher Lenses (LICS 2021) 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...
• Paper: Nicolas Behr Vincent Danos Ilias Garnier
  Stochastic mechanics of graph rewriting (LICS 2016) More Information...

Luc Dartois

• Paper: Luc Dartois Emmanuel Filiot Pierre-Alain Reynier Jean-Marc Talbot
  Two-Way Visibly Pushdown Automata and Transducers (LICS 2016) More Information...
• Paper: Luc Dartois Emmanuel Filiot Nathan Lhote
  Logics for Word Transductions with Synthesis (LICS 2018) More Information...
• Paper: Luc Dartois Paul Gastin Shankara Narayanan Krishna
  SD-Regular Transducer Expressions for Aperiodic Transformations (LICS 2021) More Information...
• Paper: Luc Dartois Paul Gastin R. Govind Shankara Narayanan Krishna
  Efficient Construction of Reversible Transducers from Regular Transducer Expressions (LICS 2022) More Information...

Anupam Das

• Paper: Anupam Das
  On the pigeonhole and related principles in deep inference and monotone systems (LICS 2014) More Information...
• Paper: Anupam Das Colin Riba
  A Complete Axiomatization of MSO on Infinite Trees (LICS 2015) More Information...
• Paper: Anupam Das
  From positive and intuitionistic bounded arithmetic to monotone proof complexity (LICS 2016) More Information...
• Paper: Gianluca Curzi Anupam Das
  Cyclic Implicit Complexity (LICS 2022) More Information...

Satyaki Das

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

Ankush Das

• Paper: Ankush Das Jan Hoffmann Frank Pfenning
  Work Analysis with Resource-Aware Session Types (LICS 2018) More Information...

Mohammad Torabi Dashti

• Paper: Grgur Petric Maretic Mohammad Torabi Dashti David A. Basin
  Anchored LTL separation (LICS 2014) 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...

Mohammad-Javad Davari

• Paper: Mohammad-Javad Davari Abbas Edalat André Lieutier
  The convex hull of finitely generable subsets and its predicate transformer (LICS 2019) More Information...

Vrunda Dave

• Paper: Vrunda Dave Paul Gastin Shankara Narayanan Krishna
  Regular Transducer Expressions for Regular Transformations (LICS 2018) More Information...

Laure Daviaud

• Paper: Laure Daviaud Pierre-Alain Reynier Jean-Marc Talbot
  A Generalised Twinning Property for Minimisation of Cost Register Automata (LICS 2016) More Information...
• Paper: Mikolaj Bojanczyk Laure Daviaud Shankara Narayanan Krishna
  Regular and First-Order List Functions (LICS 2018) More Information...
• Paper: Laure Daviaud Marcin Jurdzinski Ranko Lazic
  A pseudo-quasi-polynomial algorithm for mean-payoff parity games (LICS 2018) 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...
• Paper: Matthew Anderson Anuj Dawar Bjarki Holm
  Maximum Matching and Linear Programming in Fixed-Point Logic with Counting (LICS 2013) More Information...
• Short Presentation: Matthew Anderson Anuj Dawar
  On Symmetric Circuits and FP+C (LICS 2013) More Information...
• Paper: Faried Abu Zaid Anuj Dawar Erich Grädel Wied Pakusa
  Definability of summation problems for Abelian groups and semigroups (LICS 2017) More Information...
• Paper: Anuj Dawar Pengming Wang
  Definability of semidefinite programming and lasserre lower bounds for CSPs (LICS 2017) More Information...
• Paper: Samson Abramsky Anuj Dawar Pengming Wang
  The pebbling comonad in Finite Model Theory (LICS 2017) More Information...
• Paper: Albert Atserias Anuj Dawar Joanna Ochremiak
  On the Power of Symmetric Linear Programs (LICS 2019) More Information...
• Paper: Anuj Dawar Tomás Jakl Luca Reggio
  Lovász-Type Theorems and Game Comonads (LICS 2021) More Information...
• Paper: Anuj Dawar Felipe Ferreira Santos
  Separating LREC from LFP (LICS 2022) 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...

Jonas De Vuyst

• Short Presentation: Jonas De Vuyst
  Dynamic Tableaux for Public Announcement Logic (LICS 2013) 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...

Aldric Degorre

• Paper: Eugene Asarin Michel Blockelet Aldric Degorre Catalin Dima Chunyan Mu
  Asymptotic behaviour in temporal logic (LICS 2014) 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...

Remi Delannoy

• Paper: Remi Delannoy Kuldeep S. Meel
  On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing (LICS 2022) More Information...

Yannick Delbecque

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

Romain Demangeon

• Paper: Romain Demangeon Nobuko Yoshida
  Causal Computational Complexity of Distributed Processes (LICS 2018) More Information...

William J. DeMeo

• Paper: Libor Barto William J. DeMeo Antoine Mottet
  Constraint Satisfaction Problems over Finite Structures (LICS 2021) More Information...

Alan J. Demers

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

Stéphane Demri

• Paper: Stéphane Demri Ranko Lazic
  LTL with the Freeze Quantifier and Register Automata (LICS 2006) More Information...
• Paper: Stéphane Demri Diego Figueira M. Praveen
  Reasoning about Data Repetitions with Counter Systems (LICS 2013) More Information...
• Paper: Stéphane Demri Morgan Deters
  Expressive completeness of separation logic with two variables and no separating conjunction (LICS 2014) More Information...
• Paper: Bartosz Bednarczyk Stéphane Demri
  Why Propositional Quantification Makes Modal Logics on Trees Robustly Hard? 1-13 Patricia Johann, Andrew Polonsky: Higher-Kinded Data Types: Syntax and Semantics (LICS 2019) More Information...
• Paper: Bartosz Bednarczyk Stéphane Demri Raul Fervari Alessio Mansutti
  Modal Logics with Composition on Finite Forests: Expressivity and Complexity (LICS 2020) 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...

Farzaneh Derakhshan

• Paper: Farzaneh Derakhshan Stephanie Balzer Limin Jia
  Session Logical Relations for Noninterference (LICS 2021) 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...

Jyotirmoy V. Deshmukh

• Invited Paper: Rajeev Alur Loris D'Antoni Jyotirmoy V. Deshmukh Mukund Raghothaman Yifei Yuan
  Regular Functions and Cost Register Automata (LICS 2013) More Information...

Joëlle Despeyroux

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

Morgan Deters

• Paper: Stéphane Demri Morgan Deters
  Expressive completeness of separation logic with two variables and no separating conjunction (LICS 2014) 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...

Dominique Devriese

• Paper: Andreas Nuyts Dominique Devriese
  Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory (LICS 2018) 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...
• Invited Paper: Viviana Bono Mariangiola Dezani-Ciancaglini
  A tale of intersection types (LICS 2020) More Information...

Jieqi Di

• Paper: Nathanael L. Ackerman Julian Asilis Jieqi Di Cameron E. Freer Jean-Baptiste Tristan
  Computable PAC Learning of Continuous Features (LICS 2022) 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...

Alejandro Díaz-Caro

• Paper: Alejandro Díaz-Caro Mauricio Guillermo Alexandre Miquel Benoît Valiron
  Realizability in the Unitary Sphere (LICS 2019) More Information...

Martín Diéguez

• Paper: Philippe Balbiani Martín Diéguez David Fernández-Duque
  Some constructive variants of S4 with the finite model property (LICS 2021) 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...
• Paper: Eugene Asarin Michel Blockelet Aldric Degorre Catalin Dima Chunyan Mu
  Asymptotic behaviour in temporal logic (LICS 2014) More Information...
• Paper: Francesco Belardinelli Catalin Dima Vadim Malvone Ferucio Laurentiu Tiplea
  A Hennessy-Milner Theorem for ATL with Imperfect Information (LICS 2020) 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...

Tim Disney

• Paper: Tim Disney Cormac Flanagan
  Game Semantics for Type Soundness (LICS 2015) More Information...

Christoph Dittmann

• Short Presentation: Christoph Dittmann Stephan Kreutzer Alexandru I. Tomescu
  Graph Operations on Parity Games and Polynomial-Time Algorithms (LICS 2013) More Information...
• Paper: Mikołaj Bojańczyk Christoph Dittmann Stephan Kreutzer
  Decomposition theorems and model-checking for the modal μ-calculus (LICS 2014) More Information...

Alex Dixon

• Paper: Alex Dixon Ranko Lazic Andrzej S. Murawski Igor Walukiewicz
  Verifying higher-order concurrency with data automata (LICS 2021) More Information...

Simon Docherty

• Paper: Jialu Bao Simon Docherty Justin Hsu Alexandra Silva
  A Bunched Logic for Conditional Independence (LICS 2021) More Information...

Mike Dodds

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

Pedro M. Domingos

• Invited Paper: Pedro M. Domingos Daniel Lowd Stanley Kok Aniruddh Nath Hoifung Poon Matthew Richardson Parag Singla
  Unifying Logical and Statistical AI (LICS 2016) More Information...

Luís Dominguez

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

Brijesh Dongol

• Paper: Brijesh Dongol Robert M. Hierons
  Decidability and Complexity for Quiescent Consistency (LICS 2016) More Information...

Floris van Doorn

• Paper: Ulrik Buchholtz Floris van Doorn Egbert Rijke
  Higher Groups in Homotopy Type Theory (LICS 2018) More Information...
• Paper: Kristina Sojakova Floris van Doorn Egbert Rijke
  Sequential Colimits in Homotopy Type Theory (LICS 2020) 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...

Amina Doumane

• Paper: Amina Doumane David Baelde Lucca Hirschi Alexis Saurin
  Towards Completeness via Proof Search in the Linear Time μ-calculus: The case of Büchi inclusions (LICS 2016) More Information...
• Paper: Amina Doumane
  Constructive completeness for the linear-time μ-calculus (LICS 2017) More Information...
• Paper: Mikolaj Bojanczyk Amina Doumane
  First-order tree-to-tree functions (LICS 2020) More Information...
• Paper: David Baelde Amina Doumane Denis Kuperberg Alexis Saurin
  Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs (LICS 2022) 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...
• Paper: Krishnendu Chatterjee Laurent Doyen
  Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives (LICS 2016) More Information...
• Paper: Krishnendu Chatterjee Laurent Doyen
  Graph Planning with Expected Finite Horizon (LICS 2019) More Information...
• Paper: Krishnendu Chatterjee Laurent Doyen
  Stochastic Processes with Expected Stopping Time (LICS 2021) More Information...
• Paper: Laurent Doyen
  Stochastic Games with Synchronizing Objectives (LICS 2022) More Information...

Jan Dreier

• Paper: Jan Dreier
  Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes (LICS 2021) More Information...
• Paper: Jan Dreier Jakub Gajarský Sandra Kiefer Michal Pilipczuk Szymon Torunczyk
  Treelike Decompositions for Transductions of Sparse Graphs (LICS 2022) More Information...
• Paper: Édouard Bonnet Jan Dreier Jakub Gajarský Stephan Kreutzer Nikolas Mählmann Pierre Simon Szymon Torunczyk
  Model Checking on Interpretations of Classes of Bounded Local Cliquewidth (LICS 2022) 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...

Zhenhua Duan

• Paper: Cong Tian Wensheng Wang Zhenhua Duan
  Making Streett Determinization Tight (LICS 2020) More Information...

Bruce F. Duba

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

Clemens Dubslaff

• Invited Paper: Christel Baier Clemens Dubslaff Sascha Klüppelholz
  Trade-off analysis meets probabilistic model checking (LICS 2014) More Information...
• Paper: Christel Baier Nathalie Bertrand Clemens Dubslaff Daniel Gburek Ocan Sankur
  Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes (LICS 2018) More Information...

Andrej Dudenhefner

• Paper: Andrej Dudenhefner Jakob Rehof
  Typability in bounded dimension (LICS 2017) More Information...
• Paper: Andrej Dudenhefner
  The Undecidability of System F Typability and Type Checking for Reductionists (LICS 2021) More Information...

Timothy Duff

• Paper: Michael Benedikt Timothy Duff Aditya Sharad James Worrell
  Polynomial automata: Zeroness and applications (LICS 2017) 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...
• Paper: Ross Duncan Kevin Dunne
  Interacting Frobenius Algebras are Hopf (LICS 2016) More Information...

Kevin Dunne

• Paper: Ross Duncan Kevin Dunne
  Interacting Frobenius Algebras are Hopf (LICS 2016) 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...
• Paper: Arnaud Durand Anselm Haak Heribert Vollmer
  Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth (LICS 2018) More Information...

Antoine Durand-Gasselin

• Paper: Rajeev Alur Antoine Durand-Gasselin Ashutosh Trivedi
  From Monadic Second-Order Definable String Transformations to Transducers (LICS 2013) More Information...

Adrien Durier

• Paper: Adrien Durier Daniel Hirschkoff Davide Sangiorgi
  Eager Functions as Processes (LICS 2018) 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...

Wolfgang Dvorák

• Paper: Krishnendu Chatterjee Wolfgang Dvorák Monika Henzinger Alexander Svozil
  Symbolic Time and Space Tradeoffs for Probabilistic Verification (LICS 2021) More Information...

Wolfgang Dvorák

• Paper: Krishnendu Chatterjee Wolfgang Dvorák Monika Henzinger Veronika Loitzenbauer
  Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction (LICS 2016) 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...