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: A
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
Authors on this page:
Martín Abadi
Parosh Aziz Abdulla
Parosh A. Abdulla
Andreas Abel
Serge Abiteboul
Samson Abramsky
Beniamino Accattoli
Matteo Acclavio
Luca Aceto
Antonis Achilleos
Nathanael Leedom Ackerman
Nathanael L. Ackerman
Peter Aczel
Jiri Adamek
Micah Adler
Bharat Adsul
Jirí Adámek
Klaus Aehlig
Foto N. Afrati
Bahareh Afshari
Manindra Agrawal
Amal J. Ahmed
Amal Ahmed
Ki Yung Ahn
Benedikt Ahrens
Alexander Aiken
C. Aiswarya
William E. Aitken
Yohji Akama
S. Akshay
Fabio Alessi
Stuart F. Allen
Cameron Allett
Antoine Allioux
Joël D. Allred
Noga Alon
Bowen Alpern
Thorsten Altenkirch
Rajeev Alur
Mário S. Alvim
Roberto M. Amadio
Antoine Amarilli
Todd Waugh Ambridge
Benjamin Aminof
functional PCSP dichotomy. 1-12 Benjamin Aminof
Pedro H. Azevedo de Amorim
Arthur Azevedo de Amorim
Ashwani Anand
Elli Anastasiadi
Henrik R. Andersen
Matthew Anderson
Miguel E. Andrés
Carlo Angiuli
Melissa Antonelli
Andrew W. Appel
Carlos E. Areces
Marcelo Arenas
Georgios Argyris
Ofer Arieli
Zena M. Ariola
Nathanael Arkor
André Arnold
Victor Arrial
Kazuyuki Asada
Ali Asadi
Eugene Asarin
Federico Aschieri
Pranav Ashok
Karima Ashraf
Julian Asilis
Andrea Asperti
David Aspinall
Mohamed Faouzi Atig
Robert Atkey
Albert Atserias
Philippe Audebaud
Robert J. Aumann
Martin Avanzini
Jeremy Avigad
Arnon Avron
Steven Awodey
Steve Awodey
Jon Aytac
Martín Abadi
Paper:
Martín Abadi
Zohar Manna
A Timely Resolution
(
LICS 1986
)
More Information...
Paper:
Martín Abadi
The Power of Temporal Proofs
(
LICS 1987
)
More Information...
Paper:
Martín Abadi
Leslie Lamport
The existence of refinement mappings
(
LICS 1988
)
More Information...
Paper:
Martín Abadi
Benjamin C. Pierce
Gordon D. Plotkin
Faithful ideal models for recursive polymorphic types
(
LICS 1989
)
More Information...
Paper:
Martín Abadi
Gordon D. Plotkin
A PER model of polymorphism and recursive types
(
LICS 1990
)
More Information...
Paper:
Georges Gonthier
Martín Abadi
Jean-Jacques Lévy
Linear logic without boxes
(
LICS 1992
)
More Information...
Paper:
Martín Abadi
Luca Cardelli
A semantics of object types
(
LICS 1994
)
More Information...
Paper:
Gordon D. Plotkin
Martín Abadi
Luca Cardelli
Subtyping and parametricity
(
LICS 1994
)
More Information...
Paper:
Martín Abadi
Marcelo P. Fiore
Syntactic Considerations on Recursive Types
(
LICS 1996
)
More Information...
Paper:
Martín Abadi
Cédric Fournet
Georges Gonthier
Secure Implementation of Channel Abstractions
(
LICS 1998
)
More Information...
Invited Paper:
Martín Abadi
Logic in Access Control
(
LICS 2003
)
More Information...
Paper:
Bruno Blanchet
Martín Abadi
Cédric Fournet
Automated Verification of Selected Equivalences for Security Protocols
(
LICS 2005
)
More Information...
Invited Paper:
Martín Abadi
The Fine Print of Security
(
LICS 2010
)
More Information...
Paper:
Martín Abadi
Gordon D. Plotkin
Smart Choices and the Selection Monad
(
LICS 2021
)
More Information...
Parosh Aziz Abdulla
Paper:
Parosh Aziz Abdulla
C. Aiswarya
Mohamed Faouzi Atig
Data Communicating Processes with Unreliable Channels
(
LICS 2016
)
More Information...
Parosh A. Abdulla
Paper:
Parosh A. Abdulla
Bengt Jonsson
Verifying programs with unreliable channels
(
LICS 1993
)
More Information...
Paper:
Parosh A. Abdulla
Karlis Cerans
Bengt Jonsson
Yih-Kuen Tsay
General decidability theorems for infinite-state systems
(
LICS 1996
)
More Information...
Paper:
Parosh A. Abdulla
Aletta Nylén
Better is Better than Well: On Efficient Verification of Infinite-State Systems
(
LICS 2000
)
More Information...
Paper:
Parosh A. Abdulla
Johann Deneux
Pritha Mahata
Multi-Clock Timed Networks
(
LICS 2004
)
More Information...
Paper:
Richard Mayr
Parosh A. Abdulla
Noomene Ben Henda
Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property
(
LICS 2005
)
More Information...
Paper:
Parosh A. Abdulla
Richard Mayr
Computing Optimal Coverability Costs in Priced Timed Petri Nets
(
LICS 2011
)
More Information...
Paper:
Parosh A. Abdulla
Mohamed Faouzi Atig
Jari Stenman
Dense-Timed Pushdown Automata
(
LICS 2012
)
More Information...
Paper:
Parosh A. Abdulla
Mohamed Faouzi Atig
Piotr Hofman
Richard Mayr
K. Narayan Kumar
Patrick Totzke
Infinite-state energy games
(
LICS 2014
)
More Information...
Andreas Abel
Paper:
Andreas Abel
Thierry Coquand
Peter Dybjer
Normalization by Evaluation for Martin-Löf Type Theory with Typed Equality Judgements
(
LICS 2007
)
More Information...
Paper:
Brigitte Pientka
David Thibodeau
Andreas Abel
Francisco Ferreira
Rébecca Zucchini
A Type Theory for Defining Logics and Proofs
(
LICS 2019
)
More Information...
Serge Abiteboul
Paper:
Serge Abiteboul
Victor Vianu
Fixpoint extensions of first-order logic and datalog-like languages
(
LICS 1989
)
More Information...
Paper:
Serge Abiteboul
Christos H. Papadimitriou
Victor Vianu
The power of reflective relational machines
(
LICS 1994
)
More Information...
Invited Paper:
Serge Abiteboul
Semistructured Data: From Practice to Theory
(
LICS 2001
)
More Information...
Samson Abramsky
Paper:
Samson Abramsky
Domain Theory in Logical Form
(
LICS 1987
)
More Information...
Paper:
Samson Abramsky
Radha Jagadeesan
New foundations for the geometry of interaction
(
LICS 1992
)
More Information...
Paper:
Samson Abramsky
Guy McCusker
Games and Full Abstraction for the Lazy Lambda-Calculus
(
LICS 1995
)
More Information...
Paper:
Samson Abramsky
Kohei Honda
Guy McCusker
A Fully Abstract Game Semantics for General References
(
LICS 1998
)
More Information...
Paper:
Samson Abramsky
Paul-André Melliès
Concurrent Games and Full Completeness
(
LICS 1999
)
More Information...
Paper:
Samson Abramsky
Dan R. Ghica
Andrzej S. Murawski
C.-H. Luke Ong
Ian D. B. Stark
Nominal Games and Full Abstraction for the Nu-Calculus
(
LICS 2004
)
More Information...
Invited Paper:
Samson Abramsky
High-Level Methods for Quantum Computation and Information
(
LICS 2004
)
More Information...
Paper:
Samson Abramsky
Bob Coecke
A Categorical Semantics of Quantum Protocols
(
LICS 2004
)
More Information...
Paper:
Samson Abramsky
Coalgebras, Chu Spaces, and Representations of Physical Systems
(
LICS 2010
)
More Information...
Short Presentation:
Samson Abramsky
Lucien Hardy
Logical Bell Inequalities
(
LICS 2012
)
More Information...
Paper:
Samson Abramsky
Anuj Dawar
Pengming Wang
The pebbling comonad in Finite Model Theory
(
LICS 2017
)
More Information...
Paper:
Samson Abramsky
Rui Soares Barbosa
Martti Karvonen
Shane Mansfield
A comonadic view of simulation and quantum resources
(
LICS 2019
)
More Information...
Paper:
Samson Abramsky
Dan Marsden
Comonadic semantics for guarded fragments
(
LICS 2021
)
More Information...
Beniamino Accattoli
Paper:
Beniamino Accattoli
Compressing Polarized Boxes
(
LICS 2013
)
More Information...
Paper:
Beniamino Accattoli
Ugo Dal Lago
Beta reduction is invariant, indeed
(
LICS 2014
)
More Information...
Paper:
Beniamino Accattoli
Claudio Sacerdoti Coen
On the Relative Usefulness of Fireballs
(
LICS 2015
)
More Information...
Paper:
Beniamino Accattoli
Andrea Condoluci
Claudio Sacerdoti Coen
Strong Call-by-Value is Reasonable, Implosively
(
LICS 2021
)
More Information...
Paper:
Beniamino Accattoli
Ugo Dal Lago
Gabriele Vanoni
The Space of Interaction
(
LICS 2021
)
More Information...
Paper:
Beniamino Accattoli
Ugo Dal Lago
Gabriele Vanoni
Reasonable Space for the λ-Calculus, Logarithmically
(
LICS 2022
)
More Information...
Paper:
Beniamino Accattoli
Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
(
LICS 2022
)
More Information...
Matteo Acclavio
Paper:
Matteo Acclavio
Ross Horne
Lutz Straßburger
Logic Beyond Formulas: A Proof System on Graphs
(
LICS 2020
)
More Information...
Luca Aceto
Paper:
Luca Aceto
Matthew Hennessy
Towards action-refinement in process algebras
(
LICS 1989
)
More Information...
Paper:
Luca Aceto
Bard Bloom
Fritz W. Vaandrager
Turning SOS rules into equations
(
LICS 1992
)
More Information...
Invited Paper:
Luca Aceto
Elli Anastasiadi
Valentina Castiglioni
Anna Ingólfsdóttir
Bas Luttik
In search of lost time: Axiomatising parallel composition in process algebras
(
LICS 2021
)
More Information...
Antonis Achilleos
Paper:
Antonis Achilleos
Mathias Ruggaard Pedersen
Axiomatizations and Computability of Weighted Monadic Second-Order Logic
(
LICS 2021
)
More Information...
Nathanael Leedom Ackerman
Paper:
Nathanael Leedom Ackerman
Cameron E. Freer
Daniel M. Roy
Noncomputable Conditional Distributions
(
LICS 2011
)
More Information...
Short Presentation:
Nathanael Leedom Ackerman
Cameron E. Freer
Daniel M. Roy
#P-complete conditional distributions
(
LICS 2011
)
More Information...
Paper:
Nathanael Leedom Ackerman
Cameron E. Freer
Robert S. Lubarsky
Feedback Turing Computability, and Turing Computability as Feedback
(
LICS 2015
)
More Information...
Nathanael L. Ackerman
Paper:
Nathanael L. Ackerman
Jeremy Avigad
Cameron E. Freer
Daniel M. Roy
Jason M. Rute
Algorithmic barriers to representing conditional independence
(
LICS 2019
)
More Information...
Paper:
Nathanael L. Ackerman
Julian Asilis
Jieqi Di
Cameron E. Freer
Jean-Baptiste Tristan
Computable PAC Learning of Continuous Features
(
LICS 2022
)
More Information...
Peter Aczel
Paper:
Paul F. Mendler
Peter Aczel
The notion of a framework and a framework for LTC
(
LICS 1988
)
More Information...
Paper:
Peter Aczel
Term declaration logic and generalised composita
(
LICS 1991
)
More Information...
Jiri Adamek
Short Presentation:
Jiri Adamek
Stefan Milius
Wellfounded Coalgebras
(
LICS 2005
)
More Information...
Paper:
Jiri Adamek
Stefan Milius
Nathan Bowler
Paul Blain Levy
Coproducts of Monads on Set
(
LICS 2012
)
More Information...
Paper:
Jiri Adamek
Robert S. R. Myers
Henning Urbat
Stefan Milius
Varieties of Languages in a Category
(
LICS 2015
)
More Information...
Micah Adler
Paper:
Micah Adler
Neil Immerman
An n! Lower Bound on Formula Size
(
LICS 2001
)
More Information...
Bharat Adsul
Paper:
Bharat Adsul
Saptarshi Sarkar
A. V. Sreejith
Block products for algebras over countable words and applications to logic
(
LICS 2019
)
More Information...
Paper:
Bharat Adsul
Paul Gastin
Shantanu Kulkarni
Pascal Weil
An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications
(
LICS 2024
)
More Information...
Jirí Adámek
Paper:
Jirí Adámek
Varieties of Quantitative Algebras and Their Monads
(
LICS 2022
)
More Information...
Klaus Aehlig
Paper:
Klaus Aehlig
Helmut Schwichtenberg
A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation
(
LICS 2000
)
More Information...
Paper:
Klaus Aehlig
Arnold Beckmann
On the Computational Complexity of Cut-Reduction
(
LICS 2008
)
More Information...
Foto N. Afrati
Paper:
Foto N. Afrati
Hans Leiß
Michel de Rougemont
Definability and Compression
(
LICS 2000
)
More Information...
Bahareh Afshari
Paper:
Bahareh Afshari
Graham E. Leigh
Cut-free completeness for modal mu-calculus
(
LICS 2017
)
More Information...
Manindra Agrawal
Paper:
Manindra Agrawal
S. Akshay
Blaise Genest
P. S. Thiagarajan
Approximate Verification of the Symbolic Dynamics of Markov Chains
(
LICS 2012
)
More Information...
Amal J. Ahmed
Paper:
Amal J. Ahmed
Andrew W. Appel
Roberto Virga
A Stratified Semantics of General References Embeddable in Higher-Order Logic
(
LICS 2002
)
More Information...
Paper:
Amal J. Ahmed
Limin Jia
David Walker
Reasoning about Hierarchical Storage
(
LICS 2003
)
More Information...
Paper:
Derek Dreyer
Amal J. Ahmed
Lars Birkedal
Logical Step-Indexed Logical Relations
(
LICS 2009
)
More Information...
Amal Ahmed
Paper:
John M. Li
Jon Aytac
Philip Johnson-Freyd
Amal Ahmed
Steven Holtzen
A Nominal Approach to Probabilistic Separation Logic
(
LICS 2024
)
More Information...
Ki Yung Ahn
Paper:
Ross Horne
Ki Yung Ahn
Shang-Wei Lin
Alwen Tiu
Quasi-Open Bisimilarity with Mismatch is Intuitionistic
(
LICS 2018
)
More Information...
Benedikt Ahrens
Paper:
Benedikt Ahrens
Paige Randall North
Michael Shulman
Dimitris Tsementzis
A Higher Structure Identity Principle
(
LICS 2020
)
More Information...
Paper:
Benedikt Ahrens
Paige Randall North
Niels van der Weide
Semantics for two-dimensional type theory
(
LICS 2022
)
More Information...
Alexander Aiken
Paper:
Alexander Aiken
Edward L. Wimmers
Solving systems of set constraints
(
LICS 1992
)
More Information...
Paper:
Tachio Terauchi
Alexander Aiken
On Typability for Rank-2 Intersection Types with Polymorphic Recursion
(
LICS 2006
)
More Information...
C. Aiswarya
Paper:
Parosh Aziz Abdulla
C. Aiswarya
Mohamed Faouzi Atig
Data Communicating Processes with Unreliable Channels
(
LICS 2016
)
More Information...
Paper:
C. Aiswarya
Soumodev Mal
Prakash Saivasan
On the Satisfiability of Context-free String Constraints with Subword-Ordering
(
LICS 2022
)
More Information...
William E. Aitken
Paper:
Stuart F. Allen
Robert L. Constable
Douglas J. Howe
William E. Aitken
The semantics of reflected proof
(
LICS 1990
)
More Information...
Yohji Akama
Paper:
Yohji Akama
Stefano Berardi
Susumu Hayashi
Ulrich Kohlenbach
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles
(
LICS 2004
)
More Information...
S. Akshay
Paper:
Manindra Agrawal
S. Akshay
Blaise Genest
P. S. Thiagarajan
Approximate Verification of the Symbolic Dynamics of Markov Chains
(
LICS 2012
)
More Information...
Paper:
S. Akshay
Blaise Genest
Nikhil Vyas
Distribution-based objectives for Markov Decision Processes
(
LICS 2018
)
More Information...
Paper:
S. Akshay
Paul Gastin
Vincent Jugé
Shankara Narayanan Krishna
Timed Systems through the Lens of Logic
(
LICS 2019
)
More Information...
Paper:
Kuldeep S. Meel
S. Akshay
Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice
(
LICS 2020
)
More Information...
Paper:
Preey Shah
Aman Bansal
S. Akshay
Supratik Chakraborty
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis
(
LICS 2021
)
More Information...
Fabio Alessi
Paper:
Fabio Alessi
Franco Barbanera
Toward a semantics for the QUEST language
(
LICS 1991
)
More Information...
Stuart F. Allen
Paper:
Stuart F. Allen
A Non-Type-Theoretic Definition of Martin-Löf's Types
(
LICS 1987
)
More Information...
Paper:
Stuart F. Allen
Robert L. Constable
Douglas J. Howe
William E. Aitken
The semantics of reflected proof
(
LICS 1990
)
More Information...
Short Presentation:
Eli Barzilay
Stuart F. Allen
Robert L. Constable
Practical Reflection in Nuprl
(
LICS 2003
)
More Information...
Cameron Allett
Paper:
Cameron Allett
Non-Elementary Compression of First-Order Proofs in Deep Inference Using Epsilon-Terms
(
LICS 2024
)
More Information...
Antoine Allioux
Paper:
Eric Finster
Antoine Allioux
Matthieu Sozeau
Types Are Internal ∞-Groupoids
(
LICS 2021
)
More Information...
Joël D. Allred
Paper:
Joël D. Allred
Ulrich Ultes-Nitsche
A Simple and Optimal Complementation Algorithm for Büchi Automata
(
LICS 2018
)
More Information...
Noga Alon
Paper:
Noga Alon
Tova Milo
Frank Neven
Dan Suciu
Victor Vianu
Typechecking XML Views of Relational Databases
(
LICS 2001
)
More Information...
Bowen Alpern
Paper:
Bowen Alpern
Fred B. Schneider
Proving Boolean Combinations of Deterministic Properties
(
LICS 1987
)
More Information...
Thorsten Altenkirch
Paper:
Thorsten Altenkirch
Martin Hofmann
Thomas Streicher
Reduction-free normalisation for a polymorphic system
(
LICS 1996
)
More Information...
Paper:
Thorsten Altenkirch
Extensional Equality in Intensional Type Theory
(
LICS 1999
)
More Information...
Paper:
Thorsten Altenkirch
Peter Dybjer
Martin Hofmann
Philip J. Scott
Normalization by Evaluation for Typed Lambda Calculus with Coproducts
(
LICS 2001
)
More Information...
Paper:
Thorsten Altenkirch
Jonathan Grattage
A Functional Quantum Programming Language
(
LICS 2005
)
More Information...
Paper:
Thorsten Altenkirch
Peter Morris
Indexed Containers
(
LICS 2009
)
More Information...
Paper:
Nicolai Kraus
Thorsten Altenkirch
Free Higher Groups in Homotopy Type Theory
(
LICS 2018
)
More Information...
Paper:
Thorsten Altenkirch
Luis Scoccola
The Integers as a Higher Inductive Type
(
LICS 2020
)
More Information...
Rajeev Alur
Paper:
Rajeev Alur
Thomas A. Henzinger
Real-time logics: complexity and expressiveness
(
LICS 1990
)
More Information...
Paper:
Rajeev Alur
Costas Courcoubetis
David L. Dill
Model-checking for real-time systems
(
LICS 1990
)
More Information...
Paper:
Rajeev Alur
Thomas A. Henzinger
Finitary fairness
(
LICS 1994
)
More Information...
Paper:
Rajeev Alur
Doron A. Peled
Wojciech Penczek
Model-Checking of causality properties
(
LICS 1995
)
More Information...
Paper:
Rajeev Alur
Thomas A. Henzinger
Reactive Modules
(
LICS 1996
)
More Information...
Paper:
Rajeev Alur
Kenneth L. McMillan
Doron A. Peled
Model-checking of correctness conditions for concurrent objects
(
LICS 1996
)
More Information...
Paper:
Rajeev Alur
Salvatore La Torre
Deterministic Generators and Games for LTL Fragments
(
LICS 2001
)
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...
Paper:
Rajeev Alur
Emmanuel Filiot
Ashutosh Trivedi
Regular Transformations of Infinite Strings
(
LICS 2012
)
More Information...
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:
Rajeev Alur
Antoine Durand-Gasselin
Ashutosh Trivedi
From Monadic Second-Order Definable String Transformations to Transducers
(
LICS 2013
)
More Information...
Paper:
Rajeev Alur
Adam Freilich
Mukund Raghothaman
Regular combinators for string transformations
(
LICS 2014
)
More Information...
Paper:
Rajeev Alur
Yu Chen
Kishor Jothimurugan
Sanjeev Khanna
Space-efficient Query Evaluation over Probabilistic Event Streams
(
LICS 2020
)
More Information...
Mário S. Alvim
Invited Paper:
Mário S. Alvim
Miguel E. Andrés
Catuscia Palamidessi
Probabilistic Information Flow
(
LICS 2010
)
More Information...
Roberto M. Amadio
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:
Roberto M. Amadio
A fixed point of the second order lambda-calculus: observable equivalences and models
(
LICS 1988
)
More Information...
Antoine Amarilli
Paper:
Antoine Amarilli
Michael Benedikt
Finite Open-World Query Answering with Number Restrictions
(
LICS 2015
)
More Information...
Todd Waugh Ambridge
Paper:
Dan R. Ghica
Todd Waugh Ambridge
Global Optimisation with Constructive Reals
(
LICS 2021
)
More Information...
Benjamin Aminof
Paper:
Benjamin Aminof
Orna Kupferman
Robby Lampert
Rigorous Approximated Determinization of Weighted Automata
(
LICS 2011
)
More Information...
functional PCSP dichotomy. 1-12 Benjamin Aminof
Paper:
functional PCSP dichotomy. 1-12 Benjamin Aminof
Giuseppe De Giacomo
Sasha Rubin
Florian Zuleger
Stochastic Best-Effort Strategies for Borel Goals
(
LICS 2023
)
More Information...
Pedro H. Azevedo de Amorim
Paper:
Pedro H. Azevedo de Amorim
Dexter Kozen
Radu Mardare
Prakash Panangaden
Michael Roberts
Universal Semantics for the Stochastic λ-Calculus
(
LICS 2021
)
More Information...
Arthur Azevedo de Amorim
Paper:
Arthur Azevedo de Amorim
Marco Gaboardi
Justin Hsu
Shin-ya Katsumata
Probabilistic Relational Reasoning via Metrics
(
LICS 2019
)
More Information...
Paper:
Arthur Azevedo de Amorim
Matt Fredrikson
Limin Jia
Reconciling noninterference and gradual typing
(
LICS 2020
)
More Information...
Ashwani Anand
Paper:
Ashwani Anand
Sylvain Schmitz
Lia Schütze
Georg Zetzsche
Verifying Unboundedness via Amalgamation
(
LICS 2024
)
More Information...
Elli Anastasiadi
Invited Paper:
Luca Aceto
Elli Anastasiadi
Valentina Castiglioni
Anna Ingólfsdóttir
Bas Luttik
In search of lost time: Axiomatising parallel composition in process algebras
(
LICS 2021
)
More Information...
Henrik R. Andersen
Paper:
Henrik R. Andersen
Colin Stirling
Glynn Winskel
A compositional proof system for the modal μ-calculus
(
LICS 1994
)
More Information...
Paper:
Henrik R. Andersen
Partial Model Checking
(
LICS 1995
)
More Information...
Paper:
Henrik R. Andersen
Henrik Hulgaard
Boolean Expression Diagrams
(
LICS 1997
)
More Information...
Matthew Anderson
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...
Miguel E. Andrés
Invited Paper:
Mário S. Alvim
Miguel E. Andrés
Catuscia Palamidessi
Probabilistic Information Flow
(
LICS 2010
)
More Information...
Carlo Angiuli
Paper:
Jonathan Sterling
Carlo Angiuli
Normalization for Cubical Type Theory
(
LICS 2021
)
More Information...
Melissa Antonelli
Paper:
Melissa Antonelli
Ugo Dal Lago
Paolo Pistone
Curry and Howard Meet Borel
(
LICS 2022
)
More Information...
Andrew W. Appel
Invited Paper:
Andrew W. Appel
Foundational Proof-Carrying Code
(
LICS 2001
)
More Information...
Short Presentation:
Gang Tan
Andrew W. Appel
Semantics of machine Instructions at Multiple Levels of Abstraction
(
LICS 2001
)
More Information...
Paper:
Amal J. Ahmed
Andrew W. Appel
Roberto Virga
A Stratified Semantics of General References Embeddable in Higher-Order Logic
(
LICS 2002
)
More Information...
Carlos E. Areces
Short Presentation:
Carlos E. Areces
Patrick Blackburn
Maarten Marx
Repairing the Interpolation Theorem in First-Order Modal Logic
(
LICS 2001
)
More Information...
Marcelo Arenas
Short Presentation:
Marcelo Arenas
Pablo Barceló
Leonid Libkin
Game-based Notions of Locality
(
LICS 2003
)
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...
Paper:
Marcelo Arenas
Martin Muñoz
Cristian Riveros
Descriptive Complexity for counting complexity classes
(
LICS 2017
)
More Information...
Georgios Argyris
Paper:
Georgios Argyris
Alberto Lluch-Lafuente
Alexander Leguizamon-Robayo
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Minimization of Dynamical Systems over Monoids
(
LICS 2023
)
More Information...
Ofer Arieli
Paper:
Ofer Arieli
Arnon Avron
Logical bilattices and inconsistent data
(
LICS 1994
)
More Information...
Paper:
Ofer Arieli
Arnon Avron
The Logical Role of the Four-Valued Bilattice
(
LICS 1998
)
More Information...
Paper:
Arnon Avron
Ofer Arieli
Anna Zamansky
On Strong Maximality of Paraconsistent Finite-Valued Logics
(
LICS 2010
)
More Information...
Zena M. Ariola
Paper:
Zena M. Ariola
Jan Willem Klop
Cyclic lambda graph rewriting
(
LICS 1994
)
More Information...
Nathanael Arkor
Paper:
Nathanael Arkor
Marcelo Fiore
Algebraic models of simple type theories: A polynomial approach
(
LICS 2020
)
More Information...
André Arnold
Paper:
Giacomo Lenzi
André Arnold
Jerzy Marcinkowski
The Hierarchy inside Closed Monadic S1 Collapses on the Infinite Binary Tree
(
LICS 2001
)
More Information...
Victor Arrial
Paper:
Victor Arrial
Giulio Guerrieri
Delia Kesner
Genericity Through Stratification
(
LICS 2024
)
More Information...
Kazuyuki Asada
Paper:
Takeshi Tsukada
Kazuyuki Asada
C.-H. Luke Ong
Generalised species of rigid resource terms
(
LICS 2017
)
More Information...
Paper:
Takeshi Tsukada
Kazuyuki Asada
C.-H. Luke Ong
Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs
(
LICS 2018
)
More Information...
Paper:
Takeshi Tsukada
Kazuyuki Asada
Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱
(
LICS 2022
)
More Information...
Ali Asadi
Paper:
Ali Asadi
Krishnendu Chatterjee
Jakub Svoboda
Raimundo Saona Urmeneta
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights
(
LICS 2024
)
More Information...
Eugene Asarin
Paper:
Eugene Asarin
Paul Caspi
Oded Maler
A Kleene theorem for timed automata
(
LICS 1997
)
More Information...
Paper:
Eugene Asarin
Ahmed Bouajjani
Perturbed Turing Machines and Hybrid Systems
(
LICS 2001
)
More Information...
Paper:
Eugene Asarin
Michel Blockelet
Aldric Degorre
Catalin Dima
Chunyan Mu
Asymptotic behaviour in temporal logic
(
LICS 2014
)
More Information...
Federico Aschieri
Paper:
Federico Aschieri
Agata Ciabattoni
Francesco A. Genco
Gödel logic: From natural deduction to parallel computation
(
LICS 2017
)
More Information...
Pranav Ashok
Paper:
Pranav Ashok
Krishnendu Chatterjee
Jan Kretínský
Maximilian Weininger
Tobias Winkler
Approximating Values of Generalized-Reachability Stochastic Games
(
LICS 2020
)
More Information...
Karima Ashraf
Paper:
Laks V. S. Lakshmanan
Karima Ashraf
Jiawei Han
Homomorphic tree embeddings and their applications to recursive program optimization
(
LICS 1993
)
More Information...
Julian Asilis
Paper:
Nathanael L. Ackerman
Julian Asilis
Jieqi Di
Cameron E. Freer
Jean-Baptiste Tristan
Computable PAC Learning of Continuous Features
(
LICS 2022
)
More Information...
Andrea Asperti
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:
Andrea Asperti
Light Affine Logic
(
LICS 1998
)
More Information...
Paper:
Andrea Asperti
Jean-Jacques Lévy
The Cost of Usage in the Lambda-Calculus
(
LICS 2013
)
More Information...
David Aspinall
Paper:
David Aspinall
Adriana B. Compagnoni
Subtyping Dependent Types
(
LICS 1996
)
More Information...
Mohamed Faouzi Atig
Paper:
Parosh A. Abdulla
Mohamed Faouzi Atig
Jari Stenman
Dense-Timed Pushdown Automata
(
LICS 2012
)
More Information...
Paper:
Parosh A. Abdulla
Mohamed Faouzi Atig
Piotr Hofman
Richard Mayr
K. Narayan Kumar
Patrick Totzke
Infinite-state energy games
(
LICS 2014
)
More Information...
Paper:
Parosh Aziz Abdulla
C. Aiswarya
Mohamed Faouzi Atig
Data Communicating Processes with Unreliable Channels
(
LICS 2016
)
More Information...
Paper:
Mohamed Faouzi Atig
Dmitry Chistikov
Piotr Hofman
K. Narayan Kumar
Prakash Saivasan
Georg Zetzsche
The complexity of regular abstractions of one-counter languages
(
LICS 2016
)
More Information...
Robert Atkey
Paper:
Robert Atkey
The Semantics of Parsing with Semantic Actions
(
LICS 2012
)
More Information...
Paper:
Robert Atkey
Syntax and Semantics of Quantitative Type Theory
(
LICS 2018
)
More Information...
Albert Atserias
Paper:
Albert Atserias
Phokion G. Kolaitis
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory
(
LICS 1999
)
More Information...
Paper:
Albert Atserias
Unsatisfiable Random Formulas are Hard to Certify
(
LICS 2002
)
More Information...
Paper:
Albert Atserias
On Digraph Coloring Problems and Treewidth Duality
(
LICS 2005
)
More Information...
Paper:
Albert Atserias
Definability on a Random 3-CNF Formula
(
LICS 2005
)
More Information...
Invited Paper:
Albert Atserias
A Why-on-Earth Tutorial on Finite Model Theory
(
LICS 2011
)
More Information...
Paper:
Albert Atserias
José L.Balcázar
Entailment among Probabilistic Implications
(
LICS 2015
)
More Information...
Paper:
Albert Atserias
Joanna Ochremiak
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem
(
LICS 2018
)
More Information...
Paper:
Albert Atserias
Anuj Dawar
Joanna Ochremiak
On the Power of Symmetric Linear Programs
(
LICS 2019
)
More Information...
Paper:
Albert Atserias
Phokion G. Kolaitis
Wei-Lin Wu
On the Expressive Power of Homomorphism Counts
(
LICS 2021
)
More Information...
Philippe Audebaud
Paper:
Philippe Audebaud
Partial objects in the calculus of constructions
(
LICS 1991
)
More Information...
Robert J. Aumann
Invited Paper:
Robert J. Aumann
Backward Induction in Games of Perfect Information
(
LICS 2012
)
More Information...
Martin Avanzini
Short Presentation:
Martin Avanzini
Naohi Eguchi
Georg Moser
A New Order-Theoretic Characterisation of the Polytime Computable Functions
(
LICS 2012
)
More Information...
Paper:
Martin Avanzini
Ugo Dal Lago
Alexis Ghyselen
Type-Based Complexity Analysis of Probabilistic Functional Programs
(
LICS 2019
)
More Information...
Paper:
Martin Avanzini
Georg Moser
Romain Péchoux
Simon Perdrix
Vladimir Zamdzhiev
Quantum Expectation Transformers for Cost Analysis
(
LICS 2022
)
More Information...
Jeremy Avigad
Paper:
Jeremy Avigad
Eliminating Definitions and Skolem Functions in First-Order Logic
(
LICS 2001
)
More Information...
Paper:
Sicun Gao
Jeremy Avigad
Edmund M. Clarke
Delta-Decidability over the Reals
(
LICS 2012
)
More Information...
Paper:
Nathanael L. Ackerman
Jeremy Avigad
Cameron E. Freer
Daniel M. Roy
Jason M. Rute
Algorithmic barriers to representing conditional independence
(
LICS 2019
)
More Information...
Arnon Avron
Paper:
Arnon Avron
Yoram Hirshfeld
On first order database query languages
(
LICS 1991
)
More Information...
Paper:
Ofer Arieli
Arnon Avron
Logical bilattices and inconsistent data
(
LICS 1994
)
More Information...
Paper:
Ofer Arieli
Arnon Avron
The Logical Role of the Four-Valued Bilattice
(
LICS 1998
)
More Information...
Paper:
Arnon Avron
Ofer Arieli
Anna Zamansky
On Strong Maximality of Paraconsistent Finite-Valued Logics
(
LICS 2010
)
More Information...
Paper:
Arnon Avron
Beata Konikowska
Anna Zamansky
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
(
LICS 2012
)
More Information...
Steven Awodey
Paper:
Steven Awodey
Nicola Gambino
Kristina Sojakova
Inductive Types in Homotopy Type Theory
(
LICS 2012
)
More Information...
Steve Awodey
Paper:
Steve Awodey
Jonas Frey
Sam Speight
Impredicative Encodings of (Higher) Inductive Types
(
LICS 2018
)
More Information...
Jon Aytac
Paper:
John M. Li
Jon Aytac
Philip Johnson-Freyd
Amal Ahmed
Steven Holtzen
A Nominal Approach to Probabilistic Separation Logic
(
LICS 2024
)
More Information...
Last modified: 2024-10-24
9:41
Sam Staton