Authors on this page:
- Ellie D'Hondt
- U. Dal Lago
- Ugo Dal Lago
- Victor Dalmau
- Mads Dam
- Dennis Dams
- Vincent Danos
- V. Danos
- Satyaki Das
- Max Dauchet
- Dauchet, M.
- Rowan Davies
- Davis, M.
- Anuj Dawar
- A. Dawar
- Luca de Alfaro
- F. de Boer
- de Boer, F.S.
- Giuseppe De Giacomo
- Philippe de Groote
- Rocco De Nicola
- De Nicola, R.
- Michel de Rougemont
- De Vrijer, R.
- Roel de Vrijer
- de'Liguoro, U.
- Pierpaolo Degano
- Degano, P.
- Anatoli Degtyarev
- Yannick Delbecque
- Simona Ronchi Della Rocca
- Alan J. Demers
- Marc Denecker
- Johann Deneux
- Nachum Dershowitz
- Josee Desharnais
- Josée Desharnais
- Joëlle Despeyroux
- Harish Devarajan
- Benet Devereux
- Devie, H.
- Mariangiola Dezani-Ciancaglini
- Roberto Di Cosmo
- Dill, D.
- Dill, D.L.
- David L. Dill
- Catalin Dima
- Dorre, J.
- Daniel J. Dougherty
- Dowek, G.
- Gilles Dowek
- Sophia Drossopoulou
- Droste, M.
- Bruce F. Duba
- Brian Dunphy
- Bruno Dutertre
- Peter Dybjer
- S. Dziembowski
Ellie D'Hondt
- Short Presentation: Ellie D'Hondt
Distributed measurement-based quantum computation (LICS 2005) More Information...
U. Dal Lago
- Short Presentation: U. Dal Lago
The Geometry of Linear Ramified Recurrence (LICS 2004) More Information...
Ugo Dal Lago
- Paper: Ugo Dal Lago
The Geometry of Linear Higher-Order Recursion (LICS 2005) More Information...
Victor Dalmau
- Paper: Victor Dalmau Andrei Krokhin Benoit Larose
First-Order Definable Retraction Problems for Posets and Reflexive Graphs (LICS 2004) More Information... - Paper: Ho Weng Kin Victor Dalmau
Generalized Majority-Minority Operations are Tractable (LICS 2005) More Information...
Mads Dam
- Paper: Mads Dam
Relevance logic and concurrent composition (LICS 1988) 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: 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...
V. Danos
- Paper: P. Baillot V. Danos T. Ehrhard L. Regnier
Believe it or not, AJM's games model is a model of classical linear logic (LICS 1997) More Information...
Satyaki Das
- Invited Talk: 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...
Dauchet, M.
- Paper: Dauchet, M. Tison, S.
The theory of ground rewrite systems is decidable (LICS 1990) More Information...
Rowan Davies
- Paper: Rowan Davies
A temporal-logic approach to binding-time analysis (LICS 1996) More Information...
Davis, M.
- Invited Talk: Davis, M.
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... - Paper: Anuj Dawar Martin Otto
Modal Characterisation Theorems over Special Classes of Frames (LICS 2005) More Information...
A. Dawar
- Short Presentation: A. Dawar L. Hella M. Suonio
On Abiteboul-Vianu Theorem for Fixed-Point Logics with Generalized Quantifiers (LICS 2004) 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...
F. de Boer
- Paper: F. de Boer
A compositional proof system for dynamic process creation (LICS 1991) More Information...
de Boer, F.S.
- Paper: de Boer, F.S. Klop, J.W. Palamidessi, C.
Asynchronous communication in process algebra (LICS 1992) More Information...
Giuseppe De Giacomo
- Invited Talk: 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...
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: Giuseppe Castagna Rocco De Nicola Daniele Varacca
Semantic Subtyping for the p-Calculus (LICS 2005) More Information...
De Nicola, R.
- Paper: De Nicola, R. Vaandrager, F.
Three logics for branching bisimulation (LICS 1990) More Information...
Michel de Rougemont
- Paper: Foto Afrati Hans Leiß Michel de Rougemont
Definability and Compression (LICS 2000) More Information...
De Vrijer, R.
- Paper: De Vrijer, R.
Extending the lambda calculus with surjective pairing is conservative (LICS 1989) More Information...
Roel de Vrijer
- Paper: Inge Bethke Jan Willem Klop Roel de Vrijer
Completing Partial Combinatory Algebras with Unique Head-Normal Forms (LICS 1996) More Information...
de'Liguoro, U.
- Paper: de'Liguoro, U. Piperno, A. Statman, R.
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...
Degano, P.
- Paper: Degano, P. Meseguer, J. Montanari, U.
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...
Yannick Delbecque
- Short Presentation: Yannick Delbecque
Internal Traces and Abstract Measurments (LICS 2005) More Information...
Simona Ronchi Della Rocca
- Paper: Paola Giannini Simona Ronchi Della Rocca
Characterization of typings in polymorphic type discipline (LICS 1988) More Information...
Alan J. Demers
- Paper: Robert Cartwright Alan J. Demers
The topology of program termination (LICS 1988) More Information...
Marc Denecker
- Short Presentation: Marc Denecker Eugenia Ternovska
Modularity Theorems for Non-Monotone Induction (LICS 2003) More Information...
Johann Deneux
- Paper: Parosh Aziz Abdulla Johann Deneux Pritha Mahata
Multi-Clock Timed Networks (LICS 2004) 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... - Paper: Nachum Dershowitz Claude Kirchner
Abstract Saturation-Based Inference (LICS 2003) More Information...
Josee Desharnais
- Paper: Richard Blute Josee Desharnais Abbas Edalat Prakash Panangaden
Bisimulation for Labelled Markov Processes (LICS 1997) More Information... - Paper: Josee Desharnais Abbas Edalat Prakash Panangaden
A Logical Characterization of Bisimulation for Labeled Markov Processes (LICS 1998) More Information... - Paper: Josee Desharnais Vineet Gupta Radha Jagadeesan Prakash Panangaden
The Metric Analogue of Weak Bisimulation for Probabilistic Processes (LICS 2002) More Information...
Josée Desharnais
- Paper: Josée Desharnais Prakash Panangaden Radha Jagadeesan Vineet Gupta
Approximating Labeled Markov Processes (LICS 2000) 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 Hughes Vaughan Pratt Gordon 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...
Devie, H.
- Paper: Boudet, A. Contejean, E. Devie, H.
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...
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 Fiore Roberto Di Cosmo Vincent Balat
Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types (LICS 2002) More Information...
Dill, D.
- Paper: Alur, R. Courcoubetis, C. Dill, D.
Model-checking for real-time systems (LICS 1990) More Information...
Dill, D.L.
- Paper: Burch, J.R. Clarke, E.M. McMillan, K.L. Dill, D.L. Hwang, L.J.
Symbolic model checking: 10 states and beyond (LICS 1990) More Information...
David L. Dill
- Paper: Aaron Stump Clark W. Barrett David L. Dill Jeremy Levitt
A Decision Procedure for an Extensional Theory of Arrays (LICS 2001) More Information... - Invited Talk: 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...
Dorre, J.
- Paper: Dorre, J. Rounds, W.C.
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...
Dowek, G.
- Paper: Dowek, G.
Third order matching is decidable (LICS 1992) More Information...
Gilles Dowek
- Paper: Gilles Dowek Therese Hardin Claude Kirchner
Higher-order Unification via Explicit Substitutions (LICS 1995) 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...
Droste, M.
- Paper: Droste, M. Gobel, R.
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...
Brian Dunphy
- Paper: Brian Dunphy Uday S. Reddy
Parametric Limits (LICS 2004) 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 Scott
Normalization by Evaluation for Typed Lambda Calculus with Coproducts (LICS 2001) More Information...
S. Dziembowski
- Paper: S. Dziembowski M. Jurdzinski I. Walukiewicz
How much memory is needed to win infinite games? (LICS 1997) More Information...