ACM/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: P
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
Authors on this page:
Leszek Pacholski
Luca Padovani
Michele Pagani
Wied Pakusa
Catuscia Palamidessi
Krishna V. Palem
Erik Palmgren
Jens Palsberg
Guoqiang Pan
Prakash Panangaden
Paritosh K. Pandya
Giovanni Pani
Fabio Papacchini
Christos H. Papadimitriou
Charles Paperman
Hugo Paquet
Jan Paredaens
Michel Parigot
Rohit Parikh
Jeff B. Paris
Matthew Parkinson
Gennaro Parlato
Joachim Parrow
Fedor Part
Pawel Parys
Corina S. Pasareanu
Fabio Pasquali
Manas Patra
Mohnish Pattathurajan
Murray Patterson
Dirk Pattinson
Lawrence C. Paulson
Arno Pauly
Marco Paviotti
Andreas Pavlogiannis
Dusko Pavlovic
David Pearce
Romain Péchoux
Mathias Ruggaard Pedersen
Pierre-Marie Pédrot
Doron A. Peled
Wojciech Penczek
Vincent Penelle
Mati Pentus
Simon Perdrix
Fernando C. N. Pereira
Jorge A. Perez
Guillermo A. Pérez
Juan A. Navarro Pérez
Santiago M. Pericás-Geertsen
Adriano Peron
Dominique Perrin
Matthieu Perrinel
Steven J. Perron
Paolo Perrone
Kenneth J. Perry
Viktor Petersson
Iosif Petrakis
Daniela Petrisan
Sylvain Peyronnet
Andreas Pfandler
Frank Pfenning
Trung Van Pham
Wesley Phoa
Mauro Piccolo
Ján Pich
Reinhard Pichler
Robin Piedeleu
Brigitte Pientka
Benjamin C. Pierce
Andreas Pieris
Ahti-Veikko Pietarinen
Michal Pilipczuk
Jean-Eric Pin
Keshav Pingali
G. Michele Pinna
Michael Pinsker
João Sousa Pinto
Nicola Pinzani
Adolfo Piperno
Jakob Piribauer
Maciej Piróg
Paolo Pistone
Marco Pistore
Toniann Pitassi
Nir Piterman
Andrew M. Pitts
Adrien Piérard
Thomas Place
David A. Plaisted
André Platzer
Gordon D. Plotkin
Amir Pnueli
Andreas Podelski
Vladimir V. Podolskii
Alex Pogel
Antonella Poggi
Piotr Polesiuk
Chris Pollett
Ilia Ponomarenko
Hoifung Poon
Andrei Popescu
François Pottier
Peter J. Potts
Amaury Pouly
Damien Pous
Thomas Powell
A. John Power
Shekhar Pradhan
Pierre Pradic
Vaughan R. Pratt
Ian Pratt-Hartmann
M. Praveen
Enguerrand Prebet
Doina Precup
Christian Prehofer
Norbert Preining
Viorel Preoteasa
Matija Pretnar
Frédéric Prost
Laurence Puel
Rosario Pugliese
Gabriele Puppis
David Purser
David J. Pym
Leszek Pacholski
Paper:
Leszek Pacholski
Wieslaw Szwast
On the 0-1 law for the class of existential second order minimal Godel sentences with equality
(
LICS 1991
)
More Information...
Paper:
Witold Charatonik
Leszek Pacholski
Negative set constraints with equality
(
LICS 1994
)
More Information...
Invited Paper:
Leszek Pacholski
Set Constraints
(
LICS 1997
)
More Information...
Paper:
Leszek Pacholski
Wieslaw Szwast
Lidia Tendera
Complexity of Two-Variable Logic with Counting
(
LICS 1997
)
More Information...
Luca Padovani
Paper:
Luca Padovani
Deadlock and lock freedom in the linear λ-calculus
(
LICS 2014
)
More Information...
Michele Pagani
Paper:
Michele Pagani
Christine Tasson
The Inverse Taylor Expansion Problem in Linear Logic
(
LICS 2009
)
More Information...
Paper:
Thomas Ehrhard
Michele Pagani
Christine Tasson
The Computational Meaning of Probabilistic Coherence Spaces
(
LICS 2011
)
More Information...
Paper:
James Laird
Giulio Manzonetto
Guy McCusker
Michele Pagani
Weighted Relational Models of Typed Lambda-Calculi
(
LICS 2013
)
More Information...
Paper:
Gianluca Curzi
Michele Pagani
The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name
(
LICS 2020
)
More Information...
Wied Pakusa
Paper:
Felix Canavoi
Erich Grädel
Simon Leßenich
Wied Pakusa
Defining Winning Strategies in Fixed-Point Logic
(
LICS 2015
)
More Information...
Paper:
Erich Grädel
Wied Pakusa
Svenja Schalthofer
Lukasz Kaiser
Characterising Choiceless Polynomial Time with First-Order Interpretations
(
LICS 2015
)
More Information...
Paper:
Martin Grohe
Wied Pakusa
Descriptive complexity of linear equation systems and applications to propositional proof complexity
(
LICS 2017
)
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:
Manuel Bodirsky
Wied Pakusa
Jakub Rydval
Temporal Constraint Satisfaction Problems in Fixed-Point Logic
(
LICS 2020
)
More Information...
Catuscia Palamidessi
Paper:
Frank S. de Boer
Jan Willem Klop
Catuscia Palamidessi
Asynchronous communication in process algebra
(
LICS 1992
)
More Information...
Paper:
Moreno Falaschi
Maurizio Gabbrielli
Kim Marriott
Catuscia Palamidessi
Compositional analysis for concurrent constraint programming
(
LICS 1993
)
More Information...
Paper:
Catuscia Palamidessi
Vijay A. Saraswat
Frank D. Valencia
Björn Victor
On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi-Calculus
(
LICS 2006
)
More Information...
Invited Paper:
Mário S. Alvim
Miguel E. Andrés
Catuscia Palamidessi
Probabilistic Information Flow
(
LICS 2010
)
More Information...
Krishna V. Palem
Paper:
Gabriel M. Kuper
Ken McAloon
Krishna V. Palem
Kenneth J. Perry
Efficient parallel algorithms for anti-unification and relative complement
(
LICS 1988
)
More Information...
Erik Palmgren
Paper:
Erik Palmgren
Viggo Stoltenberg-Hansen
Logically Presented Domains
(
LICS 1995
)
More Information...
Jens Palsberg
Paper:
Jens Palsberg
Efficient inference of object types
(
LICS 1994
)
More Information...
Paper:
Jens Palsberg
Tian Zhao
Efficient and Flexible Matching of Recursive Types
(
LICS 2000
)
More Information...
Paper:
Jens Palsberg
Tian Zhao
Efficient Type Inference for Record Concatenation and Subtyping
(
LICS 2002
)
More Information...
Guoqiang Pan
Paper:
Guoqiang Pan
Moshe Y. Vardi
Fixed-Parameter Hierarchies inside PSPACE
(
LICS 2006
)
More Information...
Prakash Panangaden
Paper:
Nax P. Mendler
Prakash Panangaden
Robert L. Constable
Infinite Objects in Type Theory
(
LICS 1986
)
More Information...
Paper:
Radha Jagadeesan
Prakash Panangaden
Keshav Pingali
A fully abstract semantics for a functional language with logic variables
(
LICS 1989
)
More Information...
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...
Invited Paper:
Prakash Panangaden
The Meaning of Semantics
(
LICS 2011
)
More Information...
Short Presentation:
Kim Larsen
Radu Mardare
Prakash Panangaden
A Metric Analogue of Stone Duality for Markov Processes
(
LICS 2012
)
More Information...
Invited Paper:
Prakash Panangaden
Duality in Logic and Computation
(
LICS 2013
)
More Information...
Paper:
Dexter Kozen
Kim G. Larsen
Radu Mardare
Prakash Panangaden
Stone Duality for Markov Processes
(
LICS 2013
)
More Information...
Paper:
Borja Balle
Prakash Panangaden
Doina Precup
A Canonical Form for Weighted Automata and Applications to Approximate Minimization
(
LICS 2015
)
More Information...
Paper:
Radu Mardare
Prakash Panangaden
Gordon D. Plotkin
Quantitative Algebraic Reasoning
(
LICS 2016
)
More Information...
Paper:
Radu Mardare
Prakash Panangaden
Gordon D. Plotkin
On the axiomatizability of quantitative algebras
(
LICS 2017
)
More Information...
Paper:
Robert Furber
Dexter Kozen
Kim G. Larsen
Radu Mardare
Prakash Panangaden
Unrestricted stone duality for Markov processes
(
LICS 2017
)
More Information...
Paper:
Giorgio Bacci
Robert Furber
Dexter Kozen
Radu Mardare
Prakash Panangaden
Dana Scott
Boolean-Valued Semantics for the Stochastic λ-Calculus
(
LICS 2018
)
More Information...
Paper:
Giorgio Bacci
Radu Mardare
Prakash Panangaden
Gordon D. Plotkin
An Algebraic Theory of Markov Processes
(
LICS 2018
)
More Information...
Paper:
Radu Mardare
Prakash Panangaden
Gordon D. Plotkin
Fixed-Points for Quantitative Equational Logics
(
LICS 2021
)
More Information...
Paper:
Pedro H. Azevedo de Amorim
Dexter Kozen
Radu Mardare
Prakash Panangaden
Michael Roberts
Universal Semantics for the Stochastic λ-Calculus
(
LICS 2021
)
More Information...
Paritosh K. Pandya
Paper:
Andreas Krebs
Kamal Lodaya
Paritosh K. Pandya
Howard Straubing
Two-variable Logic with a Between Relation
(
LICS 2016
)
More Information...
Giovanni Pani
Short Presentation:
Emanuele Covino
Giovanni Pani
Recursive Programming Languages for Complexity Classes
(
LICS 2001
)
More Information...
Short Presentation:
Emanuele Covino
Giovanni Pani
Time-Space Computational Complexity of Imperative Programming Languages
(
LICS 2002
)
More Information...
Fabio Papacchini
Paper:
Jean Christoph Jung
Fabio Papacchini
Frank Wolter
Michael Zakharyaschev
Model Comparison Games for Horn Description Logics
(
LICS 2019
)
More Information...
Christos H. Papadimitriou
Paper:
Serge Abiteboul
Christos H. Papadimitriou
Victor Vianu
The power of reflective relational machines
(
LICS 1994
)
More Information...
Charles Paperman
Paper:
Michaël Cadilhac
Charles Paperman
A crevice on the Crane Beach: Finite-degree predicates
(
LICS 2017
)
More Information...
Paper:
Corentin Barloy
Michaël Cadilhac
Charles Paperman
Thomas Zeume
The Regular Languages of First-Order Logic with One Alternation
(
LICS 2022
)
More Information...
Hugo Paquet
Paper:
Simon Castellan
Pierre Clairambault
Hugo Paquet
Glynn Winskel
The concurrent game semantics of Probabilistic PCF
(
LICS 2018
)
More Information...
Jan Paredaens
Paper:
Jan Paredaens
Jan Van den Bussche
Dirk Van Gucht
First-Order Queries on Finite Structures Over the Reals
(
LICS 1995
)
More Information...
Michel Parigot
Paper:
Michel Parigot
Strong normalization for second order classical natural deduction
(
LICS 1993
)
More Information...
Paper:
Tom Gundersen
Willem Heijltjes
Michel Parigot
Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing
(
LICS 2013
)
More Information...
Rohit Parikh
Paper:
Rohit Parikh
Levels of Knowledge in Distributed Computing
(
LICS 1986
)
More Information...
Jeff B. Paris
Invited Paper:
Jeff B. Paris
Modelling Belief
(
LICS 1991
)
More Information...
Matthew Parkinson
Paper:
Matthew Parkinson
Richard Bornat
Cristiano Calcagno
Variables as Resource in Hoare Logics
(
LICS 2006
)
More Information...
Short Presentation:
Thomas Dinsdale-Young
Lars Birkedal
Philippa Gardner
Matthew Parkinson
Hongseok Yang
Views: Compositional Reasoning for Concurrent Programs
(
LICS 2012
)
More Information...
Short Presentation:
John Wickerson
Mike Dodds
Matthew Parkinson
Ribbon Proofs for Separation Logic
(
LICS 2012
)
More Information...
Gennaro Parlato
Paper:
Salvatore La Torre
Parthasarathy Madhusudan
Gennaro Parlato
A Robust Class of Context-Sensitive Languages
(
LICS 2007
)
More Information...
Joachim Parrow
Paper:
Joachim Parrow
Björn Victor
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
(
LICS 1998
)
More Information...
Paper:
Michael Baldamus
Joachim Parrow
Björn Victor
Spi Calculus Translated to π--Calculus Preserving May-Tests
(
LICS 2004
)
More Information...
Paper:
Jesper Bengtson
Magnus Johansson
Joachim Parrow
Björn Victor
Psi-calculi: Mobile Processes, Nominal Data, and Logic
(
LICS 2009
)
More Information...
Paper:
Magnus Johansson
Jesper Bengtson
Joachim Parrow
Björn Victor
Weak Equivalences in Psi-Calculi
(
LICS 2010
)
More Information...
Fedor Part
Paper:
Fedor Part
Neil Thapen
Iddo Tzameret
First-Order Reasoning and Efficient Semi-Algebraic Proofs
(
LICS 2021
)
More Information...
Pawel Parys
Paper:
Pawel Parys
On the Significance of the Collapse Operation
(
LICS 2012
)
More Information...
Paper:
Achim Blumensath
Thomas Colcombet
Denis Kuperberg
Pawel Parys
Michael Vanden Boom
Two-way cost automata and cost logics over infinite trees
(
LICS 2014
)
More Information...
Paper:
Lorenzo Clemente
Pawel Parys
Sylvain Salvati
Igor Walukiewicz
The Diagonal Problem for Higher-Order Recursion Schemes is Decidable
(
LICS 2016
)
More Information...
Paper:
Stefan Göller
Pawel Parys
Bisimulation Finiteness of Pushdown Systems Is Elementary
(
LICS 2020
)
More Information...
Corina S. Pasareanu
Paper:
Anvesh Komuravelli
Corina S. Pasareanu
Edmund M. Clarke
Learning Probabilistic Systems from Tree Samples
(
LICS 2012
)
More Information...
Fabio Pasquali
Paper:
Francesco Dagnino
Fabio Pasquali
Logical Foundations of Quantitative Equality
(
LICS 2022
)
More Information...
Manas Patra
Short Presentation:
Manas Patra
Descriptive Characterization of Quantum Circuits
(
LICS 2007
)
More Information...
Mohnish Pattathurajan
Paper:
Piotr Hofman
Marta Juzepczuk
Slawomir Lasota
Mohnish Pattathurajan
Parikh's theorem for infinite alphabets
(
LICS 2021
)
More Information...
Murray Patterson
Short Presentation:
Murray Patterson
Yongmei Liu
Eugenia Ternovska
Arvind Gupta
Grounding for Model Expansion in k-Guarded Formulas
(
LICS 2006
)
More Information...
Dirk Pattinson
Paper:
Abbas Edalat
Dirk Pattinson
Inverse and Implicit Functions in Domain Theory
(
LICS 2005
)
More Information...
Paper:
Lutz Schröder
Dirk Pattinson
PSPACE reasoning for coalgebraic modal logic
(
LICS 2006
)
More Information...
Paper:
Dirk Pattinson
The Logic of Exact Covers: Completeness and Uniform Interpolation
(
LICS 2013
)
More Information...
Paper:
Dirk Pattinson
Lutz Schröder
Program Equivalence is Coinductive
(
LICS 2016
)
More Information...
Paper:
Paul Wild
Lutz Schröder
Dirk Pattinson
Barbara König
A van Benthem Theorem for Fuzzy Modal Logic
(
LICS 2018
)
More Information...
Paper:
Jim de Groot
Dirk Pattinson
Modal Intuitionistic Logics as Dialgebraic Logics
(
LICS 2020
)
More Information...
Paper:
Jim de Groot
Tadeusz Litak
Dirk Pattinson
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication
(
LICS 2021
)
More Information...
Lawrence C. Paulson
Invited Paper:
Lawrence C. Paulson
Proving Security Protocols Correct
(
LICS 1999
)
More Information...
Arno Pauly
Paper:
Stéphane Le Roux
Arno Pauly
Infinite sequential games with real-valued payoffs
(
LICS 2014
)
More Information...
Paper:
Arno Pauly
Matthew de Brecht
Descriptive Set Theory in the Category of Represented Spaces
(
LICS 2015
)
More Information...
Marco Paviotti
Paper:
Rasmus E. Møgelberg
Marco Paviotti
Denotational semantics of recursive types in synthetic guarded domain theory
(
LICS 2016
)
More Information...
Andreas Pavlogiannis
Paper:
Umang Mathur
Andreas Pavlogiannis
Mahesh Viswanathan
The Complexity of Dynamic Data Race Prediction
(
LICS 2020
)
More Information...
Dusko Pavlovic
Paper:
Dusko Pavlovic
Martín H. Escardó
Calculus in Coinductive Form
(
LICS 1998
)
More Information...
Paper:
Dusko Pavlovic
Peter-Michael Seidel
Quotients in monadic programming: Projective algebras are equivalent to coalgebras
(
LICS 2017
)
More Information...
Paper:
Filippo Bonchi
Pierre Ganty
Roberto Giacobazzi
Dusko Pavlovic
Sound up-to techniques and Complete abstract domains
(
LICS 2018
)
More Information...
David Pearce
Paper:
Laura Bozzelli
David Pearce
On the Complexity of Temporal Equilibrium Logic
(
LICS 2015
)
More Information...
Romain Péchoux
Paper:
Emmanuel Hainry
Bruce M. Kapron
Jean-Yves Marion
Romain Péchoux
A tier-based typed programming language characterizing Feasible Functionals
(
LICS 2020
)
More Information...
Paper:
Martin Avanzini
Georg Moser
Romain Péchoux
Simon Perdrix
Vladimir Zamdzhiev
Quantum Expectation Transformers for Cost Analysis
(
LICS 2022
)
More Information...
Mathias Ruggaard Pedersen
Paper:
Antonis Achilleos
Mathias Ruggaard Pedersen
Axiomatizations and Computability of Weighted Monadic Second-Order Logic
(
LICS 2021
)
More Information...
Pierre-Marie Pédrot
Paper:
Pierre-Marie Pédrot
A functional functional interpretation
(
LICS 2014
)
More Information...
Paper:
Guilhem Jaber
Gabriel Lewertowski
Pierre-Marie Pédrot
Matthieu Sozeau
Nicolas Tabareau
The Definitional Side of the Forcing
(
LICS 2016
)
More Information...
Paper:
Pierre-Marie Pédrot
Nicolas Tabareau
An effectful way to eliminate addiction to dependence
(
LICS 2017
)
More Information...
Paper:
Pierre-Marie Pédrot
Russian Constructivism in a Prefascist Theory
(
LICS 2020
)
More Information...
Doron A. Peled
Paper:
Doron A. Peled
Shmuel Katz
Amir Pnueli
Specifying and proving serializability in temporal logic
(
LICS 1991
)
More Information...
Paper:
Rajeev Alur
Doron A. Peled
Wojciech Penczek
Model-Checking of causality properties
(
LICS 1995
)
More Information...
Paper:
Rajeev Alur
Kenneth L. McMillan
Doron A. Peled
Model-checking of correctness conditions for concurrent objects
(
LICS 1996
)
More Information...
Wojciech Penczek
Paper:
Rajeev Alur
Doron A. Peled
Wojciech Penczek
Model-Checking of causality properties
(
LICS 1995
)
More Information...
Vincent Penelle
Paper:
Jérôme Leroux
Vincent Penelle
Grégoire Sutre
On the Context-Freeness Problem for Vector Addition Systems
(
LICS 2013
)
More Information...
Mati Pentus
Paper:
Mati Pentus
Lambek grammars are context free
(
LICS 1993
)
More Information...
Paper:
Mati Pentus
Language completeness of the Lambek calculus
(
LICS 1994
)
More Information...
Simon Perdrix
Paper:
Emmanuel Jeandel
Simon Perdrix
Renaud Vilmart
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
(
LICS 2018
)
More Information...
Paper:
Emmanuel Jeandel
Simon Perdrix
Renaud Vilmart
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
(
LICS 2018
)
More Information...
Paper:
Emmanuel Jeandel
Simon Perdrix
Renaud Vilmart
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
(
LICS 2019
)
More Information...
Paper:
Titouan Carette
Marc de Visme
Simon Perdrix
Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory
(
LICS 2021
)
More Information...
Paper:
Martin Avanzini
Georg Moser
Romain Péchoux
Simon Perdrix
Vladimir Zamdzhiev
Quantum Expectation Transformers for Cost Analysis
(
LICS 2022
)
More Information...
Fernando C. N. Pereira
Paper:
Luís F. Monteiro
Fernando C. N. Pereira
A Sheaf-Theoretic Model of Concurrency
(
LICS 1986
)
More Information...
Jorge A. Perez
Paper:
Ivan Lanese
Jorge A. Perez
Davide Sangiorgi
Alan Schmitt
On the Expressiveness and Decidability of Higher-Order Process Calculi
(
LICS 2008
)
More Information...
Guillermo A. Pérez
Paper:
Emmanuel Filiot
Ismaël Jecker
Nathan Lhote
Guillermo A. Pérez
Jean-François Raskin
On delay and regret determinization of max-plus automata
(
LICS 2017
)
More Information...
Paper:
Michael Blondin
Tim Leys
Filip Mazowiecki
Philip Offtermatt
Guillermo A. Pérez
Continuous One-Counter Automata
(
LICS 2021
)
More Information...
Juan A. Navarro Pérez
Paper:
James Brotherston
Carsten Fuhs
Juan A. Navarro Pérez
Nikos Gorogiannis
A decision procedure for satisfiability in separation logic with inductive predicates
(
LICS 2014
)
More Information...
Santiago M. Pericás-Geertsen
Paper:
Assaf J. Kfoury
Santiago M. Pericás-Geertsen
Type Inference for Recursive Definitions
(
LICS 1999
)
More Information...
Adriano Peron
Paper:
Laura Bozzelli
Adriano Peron
César Sánchez
Asynchronous Extensions of HyperLTL
(
LICS 2021
)
More Information...
Dominique Perrin
Paper:
Dominique Perrin
Paul E. Schupp
Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories
(
LICS 1986
)
More Information...
Matthieu Perrinel
Short Presentation:
Matthieu Perrinel
On the Expressivity of Linear Logic Subsystems Characterizing Polynomial Time
(
LICS 2012
)
More Information...
Paper:
Matthieu Perrinel
On context semantics and interaction nets
(
LICS 2014
)
More Information...
Steven J. Perron
Paper:
Steven J. Perron
Examining The Fragments of G
(
LICS 2007
)
More Information...
Paolo Perrone
Paper:
Sean K. Moss
Paolo Perrone
Probability monads with submonads of deterministic states
(
LICS 2022
)
More Information...
Kenneth J. Perry
Paper:
Gabriel M. Kuper
Ken McAloon
Krishna V. Palem
Kenneth J. Perry
Efficient parallel algorithms for anti-unification and relative complement
(
LICS 1988
)
More Information...
Viktor Petersson
Short Presentation:
Viktor Petersson
Sergei G. Vorobyov
Interior-Point Approach to Parity Games
(
LICS 2001
)
More Information...
Iosif Petrakis
Paper:
Iosif Petrakis
A constructive function-theoretic approach to topological compactness
(
LICS 2016
)
More Information...
Daniela Petrisan
Paper:
Filippo Bonchi
Daniela Petrisan
Damien Pous
Jurriaan Rot
Coinduction up-to in a fibrational setting
(
LICS 2014
)
More Information...
Paper:
Mai Gehrke
Daniela Petrisan
Luca Reggio
Quantifiers on languages and codensity monads
(
LICS 2017
)
More Information...
Paper:
Alexandre Goy
Daniela Petrisan
Combining probabilistic and non-deterministic choice via weak distributive laws
(
LICS 2020
)
More Information...
Sylvain Peyronnet
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...
Andreas Pfandler
Paper:
Johannes Klaus Fichte
Markus Hecher
Andreas Pfandler
Lower Bounds for QBFs of Bounded Treewidth
(
LICS 2020
)
More Information...
Frank Pfenning
Paper:
Frank Pfenning
Elf: a language for logic definition and verified metaprogramming
(
LICS 1989
)
More Information...
Paper:
Frank Pfenning
Unification and anti-unification in the calculus of constructions
(
LICS 1991
)
More Information...
Paper:
John Hannan
Frank Pfenning
Compiler verification in LF
(
LICS 1992
)
More Information...
Paper:
Paliath Narendran
Frank Pfenning
Richard Statman
On the unification problem for Cartesian closed categories
(
LICS 1993
)
More Information...
Paper:
Frank Pfenning
Structural Cut Elimination
(
LICS 1995
)
More Information...
Paper:
Iliano Cervesato
Frank Pfenning
A Linear Logical Framework
(
LICS 1996
)
More Information...
Paper:
Iliano Cervesato
Frank Pfenning
Linear higher-order pre-unification
(
LICS 1997
)
More Information...
Paper:
Frank Pfenning
Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory
(
LICS 2001
)
More Information...
Paper:
Tom Murphy VII
Karl Crary
Robert Harper
Frank Pfenning
A Symmetric Modal Lambda Calculus for Distributed Computing
(
LICS 2004
)
More Information...
Paper:
Frank Pfenning
Robert J. Simmons
Substructural Operational Semantics as Ordered Logic Programming
(
LICS 2009
)
More Information...
Paper:
Ankush Das
Jan Hoffmann
Frank Pfenning
Work Analysis with Resource-Aware Session Types
(
LICS 2018
)
More Information...
Trung Van Pham
Paper:
Libor Barto
Michael Kompatscher
Miroslav Olsák
Trung Van Pham
Michael Pinsker
The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems
(
LICS 2017
)
More Information...
Wesley Phoa
Paper:
Wesley Phoa
Effective domains and intrinsic structure
(
LICS 1990
)
More Information...
Paper:
Wesley Phoa
Adequacy for untyped translations of typed λ-calculi
(
LICS 1993
)
More Information...
Mauro Piccolo
Short Presentation:
Mauro Piccolo
Claudia Faggian
Ludics, Game Semantics and Concurrency
(
LICS 2007
)
More Information...
Ján Pich
Paper:
Olaf Beyersdorff
Ján Pich
Understanding Gentzen and Frege Systems for QBF
(
LICS 2016
)
More Information...
Reinhard Pichler
Paper:
Georg Gottlob
Reinhard Pichler
Working with Arms: Complexity Results on Atomic Representations of Herbrand Models
(
LICS 1999
)
More Information...
Robin Piedeleu
Paper:
Filippo Bonchi
Robin Piedeleu
Pawel Sobocinski
Fabio Zanasi
Graphical Affine Algebra
(
LICS 2019
)
More Information...
Brigitte Pientka
Paper:
Brigitte Pientka
David Thibodeau
Andreas Abel
Francisco Ferreira
Rébecca Zucchini
A Type Theory for Defining Logics and Proofs
(
LICS 2019
)
More Information...
Invited Paper:
Brigitte Pientka
Contextual Types, Explained: Invited Tutorial
(
LICS 2020
)
More Information...
Benjamin C. Pierce
Paper:
Martín Abadi
Benjamin C. Pierce
Gordon D. Plotkin
Faithful ideal models for recursive polymorphic types
(
LICS 1989
)
More Information...
Paper:
Benjamin C. Pierce
Davide Sangiorgi
Typing and subtyping for mobile processes
(
LICS 1993
)
More Information...
Invited Paper:
Benjamin C. Pierce
Types and Programming Languages: The Next Generation
(
LICS 2003
)
More Information...
Andreas Pieris
Invited Paper:
Andrea Calì
Georg Gottlob
Thomas Lukasiewicz
Bruno Marnette
Andreas Pieris
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications
(
LICS 2010
)
More Information...
Paper:
Pablo Barceló
Cristina Feier
Carsten Lutz
Andreas Pieris
When is Ontology-Mediated Querying Efficient? 1-13 Willem B
(
LICS 2019
)
More Information...
Ahti-Veikko Pietarinen
Short Presentation:
Ahti-Veikko Pietarinen
Epistemic Logics of Imperfect Information for Multi-agent Communication
(
LICS 2004
)
More Information...
Michal Pilipczuk
Paper:
Mikolaj Bojanczyk
Michal Pilipczuk
Definability equals recognizability for graphs of bounded treewidth
(
LICS 2016
)
More Information...
Paper:
Jan van den Heuvel
Stephan Kreutzer
Michal Pilipczuk
Daniel A. Quiroz
Roman Rabinovich
Sebastian Siebertz
Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion
(
LICS 2017
)
More Information...
Paper:
Mikolaj Bojanczyk
Martin Grohe
Michal Pilipczuk
Definable decompositions for graphs of bounded linear cliquewidth
(
LICS 2018
)
More Information...
Paper:
Michal Pilipczuk
Sebastian Siebertz
Szymon Torunczyk
Parameterized circuit complexity of model-checking on sparse structures
(
LICS 2018
)
More Information...
Paper:
Michal Pilipczuk
Sebastian Siebertz
Szymon Torunczyk
On the number of types in sparse graphs
(
LICS 2018
)
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:
Jakub Gajarský
Michal Pilipczuk
Szymon Torunczyk
Stable graphs of bounded twin-width
(
LICS 2022
)
More Information...
Jean-Eric Pin
Paper:
Laura Chaubard
Jean-Eric Pin
Howard Straubing
First order formulas with modular predicates
(
LICS 2006
)
More Information...
Keshav Pingali
Paper:
Radha Jagadeesan
Prakash Panangaden
Keshav Pingali
A fully abstract semantics for a functional language with logic variables
(
LICS 1989
)
More Information...
G. Michele Pinna
Paper:
Hernán C. Melgratti
Claudio Antares Mezzina
G. Michele Pinna
A distributed operational view of Reversible Prime Event Structures
(
LICS 2021
)
More Information...
Michael Pinsker
Paper:
Manuel Bodirsky
Michael Pinsker
Todor Tsankov
Decidability of Definability
(
LICS 2011
)
More Information...
Paper:
Libor Barto
Michael Pinsker
The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems
(
LICS 2016
)
More Information...
Paper:
Libor Barto
Michael Kompatscher
Miroslav Olsák
Trung Van Pham
Michael Pinsker
The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems
(
LICS 2017
)
More Information...
Paper:
Manuel Bodirsky
Antoine Mottet
Miroslav Olsák
Jakub Oprsal
Michael Pinsker
Ross Willard
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)
(
LICS 2019
)
More Information...
Paper:
Antoine Mottet
Michael Pinsker
Smooth approximations and CSPs over finitely bounded homogeneous structures
(
LICS 2022
)
More Information...
João Sousa Pinto
Paper:
Joël Ouaknine
Amaury Pouly
João Sousa Pinto
James Worrell
Solvability of Matrix-Exponential Equations
(
LICS 2016
)
More Information...
Nicola Pinzani
Paper:
Nicola Pinzani
Stefano Gogioso
Bob Coecke
Categorical Semantics for Time Travel
(
LICS 2019
)
More Information...
Adolfo Piperno
Paper:
Corrado Böhm
Adolfo Piperno
Characterizing X-separability and one-side invertibility in λ-β-Θ-calculus
(
LICS 1988
)
More Information...
Paper:
Ugo de'Liguoro
Adolfo Piperno
Richard Statman
Retracts in simply type λβη-calculus
(
LICS 1992
)
More Information...
Paper:
Adolfo Piperno
Simona Ronchi della Rocca
Type inference and extensionality
(
LICS 1994
)
More Information...
Paper:
Adolfo Piperno
Normalization and Extensionality
(
LICS 1995
)
More Information...
Paper:
Antonio Bucciarelli
Silvia De Lorenzis
Adolfo Piperno
Ivano Salvo
Some Computational Properties of Intersection Types
(
LICS 1999
)
More Information...
Jakob Piribauer
Paper:
Christel Baier
Nathalie Bertrand
Jakob Piribauer
Ocan Sankur
Long-run Satisfaction of Path Properties
(
LICS 2019
)
More Information...
Maciej Piróg
Paper:
Maciej Piróg
Tom Schrijvers
Nicolas Wu
Mauro Jaskelioff
Syntax and Semantics for Operations with Scopes
(
LICS 2018
)
More Information...
Paolo Pistone
Paper:
Paolo Pistone
On Generalized Metric Spaces for the Simply Typed Lambda-Calculus
(
LICS 2021
)
More Information...
Paper:
Melissa Antonelli
Ugo Dal Lago
Paolo Pistone
Curry and Howard Meet Borel
(
LICS 2022
)
More Information...
Marco Pistore
Paper:
Marco Pistore
Moshe Y. Vardi
The Planning Spectrum - One, Two, Three, Infinity
(
LICS 2003
)
More Information...
Toniann Pitassi
Paper:
Paul Beame
Toniann Pitassi
An exponential separation between the matching principle and the pigeonhole principle
(
LICS 1993
)
More Information...
Paper:
Russell Impagliazzo
Toniann Pitassi
Alasdair Urquhart
Upper and lower bounds for tree-like cutting planes proofs
(
LICS 1994
)
More Information...
Paper:
Joshua Buresh-Oppenheim
Toniann Pitassi
The Complexity of Resolution Refinements
(
LICS 2003
)
More Information...
Paper:
Alexis Maciel
Toniann Pitassi
A Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives
(
LICS 2006
)
More Information...
Invited Paper:
Toniann Pitassi
Propositional Proof Complexity: A Survey on the State of the Art, Including Some Recent Results
(
LICS 2011
)
More Information...
Paper:
Russell Impagliazzo
Sasank Mouli
Toniann Pitassi
The Surprising Power of Constant Depth Algebraic Proofs
(
LICS 2020
)
More Information...
Nir Piterman
Paper:
Nir Piterman
Moshe Y. Vardi
Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems
(
LICS 2003
)
More Information...
Paper:
Nir Piterman
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata
(
LICS 2006
)
More Information...
Paper:
Nir Piterman
Amir Pnueli
Faster Solutions of Street and Rabin Games
(
LICS 2006
)
More Information...
Andrew M. Pitts
Paper:
Andrew M. Pitts
Non trivial power types can't be subtypes of polymorphic types
(
LICS 1989
)
More Information...
Paper:
Roy L. Crole
Andrew M. Pitts
New foundations for fixpoint computations
(
LICS 1990
)
More Information...
Paper:
Andrew M. Pitts
Relational properties of recursively defined domains
(
LICS 1993
)
More Information...
Invited Paper:
Andrew M. Pitts
Bisimulation and Co-induction (Tutorial)
(
LICS 1993
)
More Information...
Paper:
Andrew M. Pitts
Reasoning about local variables with operationally-based logical relations
(
LICS 1996
)
More Information...
Paper:
Murdoch Gabbay
Andrew M. Pitts
A New Approach to Abstract Syntax Involving Binders
(
LICS 1999
)
More Information...
Paper:
Andrew M. Pitts
Names and Symmetry in Computer Science (Invited Tutorial)
(
LICS 2015
)
More Information...
Adrien Piérard
Paper:
Adrien Piérard
Eijiro Sumii
A Higher-Order Distributed Calculus with Name Creation
(
LICS 2012
)
More Information...
Thomas Place
Paper:
Thomas Place
Luc Segoufin
Deciding Definability in FO(<) (or XPath) on Trees
(
LICS 2010
)
More Information...
Paper:
Thomas Place
Marc Zeitoun
Separating regular languages with first-order logic
(
LICS 2014
)
More Information...
Paper:
Thomas Place
Separating Regular Languages with Two Quantifiers Alternations
(
LICS 2015
)
More Information...
Paper:
Thomas Place
Marc Zeitoun
Separation for dot-depth two
(
LICS 2017
)
More Information...
Paper:
Thomas Place
Marc Zeitoun
Separation and covering for group based concatenation hierarchies
(
LICS 2019
)
More Information...
Paper:
Thomas Place
The amazing mixed polynomial closure and its applications to two-variable first-order logic
(
LICS 2022
)
More Information...
David A. Plaisted
Paper:
David A. Plaisted
The Denotional Semantics of Nondeterministic Recursive Programs using Coherent Relations
(
LICS 1986
)
More Information...
Paper:
Jean H. Gallier
Wayne Snyder
Paliath Narendran
David A. Plaisted
Rigid E-unification is NP-complete
(
LICS 1988
)
More Information...
André Platzer
Invited Paper:
André Platzer
Logics of Dynamical Systems
(
LICS 2012
)
More Information...
Paper:
André Platzer
The Complete Proof Theory of Hybrid Systems
(
LICS 2012
)
More Information...
Paper:
Sarah M. Loos
André Platzer
Differential Refinement Logic
(
LICS 2016
)
More Information...
Paper:
Brandon Bohrer
André Platzer
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
(
LICS 2018
)
More Information...
Paper:
André Platzer
Yong Kiam Tan
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts
(
LICS 2018
)
More Information...
Gordon D. Plotkin
Paper:
Robert Harper
Furio Honsell
Gordon D. Plotkin
A Framework for Defining Logics
(
LICS 1987
)
More Information...
Paper:
Curt Jones
Gordon D. Plotkin
A probabilistic powerdomain of evaluations
(
LICS 1989
)
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...
Invited Paper:
Gordon D. Plotkin
Type theory and recursion
(
LICS 1993
)
More Information...
Paper:
Gordon D. Plotkin
Martín Abadi
Luca Cardelli
Subtyping and parametricity
(
LICS 1994
)
More Information...
Paper:
Marcelo P. Fiore
Gordon D. Plotkin
An axiomatisation of computationally adequate domain theoretic models of FPC
(
LICS 1994
)
More Information...
Paper:
Rob J. van Glabbeek
Gordon D. Plotkin
Configuration Structures
(
LICS 1995
)
More Information...
Paper:
Marcelo P. Fiore
Gordon D. Plotkin
A. John Power
Complete Cuboidal Sets in Axiomatic Domain Theory
(
LICS 1997
)
More Information...
Paper:
Daniele Turi
Gordon D. Plotkin
Towards a Mathematical Operational Semantics
(
LICS 1997
)
More Information...
Paper:
Marcelo P. Fiore
Gordon D. Plotkin
Daniele Turi
Abstract Syntax and Variable Binding
(
LICS 1999
)
More Information...
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...
Paper:
Alex K. Simpson
Gordon D. Plotkin
Complete Axioms for Categorical Fixed-Point Operators
(
LICS 2000
)
More Information...
Paper:
Gordon D. Plotkin
Matija Pretnar
A Logic for Algebraic Effects
(
LICS 2008
)
More Information...
Paper:
Gordon D. Plotkin
Robin Milner, a Craftsman of Tools for the Mind
(
LICS 2010
)
More Information...
Paper:
Radu Mardare
Prakash Panangaden
Gordon D. Plotkin
Quantitative Algebraic Reasoning
(
LICS 2016
)
More Information...
Paper:
Radu Mardare
Prakash Panangaden
Gordon D. Plotkin
On the axiomatizability of quantitative algebras
(
LICS 2017
)
More Information...
Paper:
Giorgio Bacci
Radu Mardare
Prakash Panangaden
Gordon D. Plotkin
An Algebraic Theory of Markov Processes
(
LICS 2018
)
More Information...
Paper:
Martín Abadi
Gordon D. Plotkin
Smart Choices and the Selection Monad
(
LICS 2021
)
More Information...
Paper:
Radu Mardare
Prakash Panangaden
Gordon D. Plotkin
Fixed-Points for Quantitative Equational Logics
(
LICS 2021
)
More Information...
Amir Pnueli
Paper:
Roni Rosner
Amir Pnueli
A Choppy Logic
(
LICS 1986
)
More Information...
Paper:
Amir Pnueli
Lenore D. Zuck
Probabilistic Verification by Tableaux
(
LICS 1986
)
More Information...
Paper:
David Harel
Amir Pnueli
Jeanette P. Schmidt
Rivi Sherman
On the Formal Semantics of Statecharts (Extended Abstract)
(
LICS 1987
)
More Information...
Paper:
Eyal Harel
Orna Lichtenstein
Amir Pnueli
Explicit clock temporal logic
(
LICS 1990
)
More Information...
Paper:
Doron A. Peled
Shmuel Katz
Amir Pnueli
Specifying and proving serializability in temporal logic
(
LICS 1991
)
More Information...
Paper:
Amir Pnueli
Lenore D. Zuck
In and out of temporal logic
(
LICS 1993
)
More Information...
Paper:
Edward Y. Chang
Zohar Manna
Amir Pnueli
Compositional verification of real-time systems
(
LICS 1994
)
More Information...
Invited Paper:
Yonit Kesten
Amir Pnueli
A Complete Proof Systems for QPTL
(
LICS 1995
)
More Information...
Paper:
Orna Kupferman
Amir Pnueli
Once and For All
(
LICS 1995
)
More Information...
Paper:
Nir Piterman
Amir Pnueli
Faster Solutions of Street and Rabin Games
(
LICS 2006
)
More Information...
Andreas Podelski
Paper:
Witold Charatonik
Andreas Podelski
Set constraints with intersection
(
LICS 1997
)
More Information...
Paper:
Witold Charatonik
David A. McAllester
Damian Niwinski
Andreas Podelski
Igor Walukiewicz
The Horn Mu-calculus
(
LICS 1998
)
More Information...
Paper:
Andreas Podelski
Andrey Rybalchenko
Transition Invariants
(
LICS 2004
)
More Information...
Paper:
Azadeh Farzan
Zachary Kincaid
Andreas Podelski
Proving Liveness of Parameterized Programs
(
LICS 2016
)
More Information...
Vladimir V. Podolskii
Paper:
Stanislav Kikot
Roman Kontchakov
Vladimir V. Podolskii
Michael Zakharyaschev
On the succinctness of query rewriting over shallow ontologies
(
LICS 2014
)
More Information...
Paper:
Meghyn Bienvenu
Stanislav Kikot
Vladimir V. Podolskii
Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results
(
LICS 2015
)
More Information...
Alex Pogel
Short Presentation:
Alex Pogel
George Voutsadakis
Mai Gehrke
A Game involving Epistemic Logic and Probability
(
LICS 2001
)
More Information...
Antonella Poggi
Invited Paper:
Gianluca Cima
Marco Console
Maurizio Lenzerini
Antonella Poggi
Abstraction in Data Integration
(
LICS 2021
)
More Information...
Piotr Polesiuk
Paper:
Malgorzata Biernacka
Dariusz Biernacki
Sergueï Lenglet
Piotr Polesiuk
Damien Pous
Alan Schmitt
Fully abstract encodings of λ-calculus in HOcore through abstract machines
(
LICS 2017
)
More Information...
Chris Pollett
Paper:
Jan Johannsen
Chris Pollett
On Proofs about Threshold Circuits and Counting Hierarchies
(
LICS 1998
)
More Information...
Ilia Ponomarenko
Paper:
Sandra Kiefer
Ilia Ponomarenko
Pascal Schweitzer
The Weisfeiler-Leman dimension of planar graphs is at most 3
(
LICS 2017
)
More Information...
Paper:
Moritz Lichter
Ilia Ponomarenko
Pascal Schweitzer
Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm
(
LICS 2019
)
More Information...
Hoifung Poon
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...
Andrei Popescu
Paper:
Andrei Popescu
Elsa L. Gunter
Christopher J. Osborn
Strong Normalization of System F by HOAS on Top of FOAS
(
LICS 2010
)
More Information...
Paper:
Dmitriy Traytel
Andrei Popescu
Jasmin Christian Blanchette
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving
(
LICS 2012
)
More Information...
Paper:
Jasmin Christian Blanchette
Fabian Meier
Andrei Popescu
Dmitriy Traytel
Foundational nonuniform (Co)datatypes for higher-order logic
(
LICS 2017
)
More Information...
François Pottier
Paper:
François Pottier
A Constraint-Based Presentation and Generalization of Rows
(
LICS 2003
)
More Information...
Paper:
François Pottier
Static Name Control for FreshML
(
LICS 2007
)
More Information...
Paper:
François Pottier
Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule
(
LICS 2008
)
More Information...
Peter J. Potts
Paper:
Peter J. Potts
Abbas Edalat
Martín H. Escardó
Semantics of Exact Real Arithmetic
(
LICS 1997
)
More Information...
Amaury Pouly
Paper:
Joël Ouaknine
Amaury Pouly
João Sousa Pinto
James Worrell
Solvability of Matrix-Exponential Equations
(
LICS 2016
)
More Information...
Paper:
Ehud Hrushovski
Joël Ouaknine
Amaury Pouly
James Worrell
Polynomial Invariants for Affine Programs
(
LICS 2018
)
More Information...
Damien Pous
Paper:
Filippo Bonchi
Daniela Petrisan
Damien Pous
Jurriaan Rot
Coinduction up-to in a fibrational setting
(
LICS 2014
)
More Information...
Paper:
Paul Brunet
Damien Pous
Petri Automata for Kleene Allegories
(
LICS 2015
)
More Information...
Paper:
Damien Pous
Coinduction All the Way Up
(
LICS 2016
)
More Information...
Paper:
Malgorzata Biernacka
Dariusz Biernacki
Sergueï Lenglet
Piotr Polesiuk
Damien Pous
Alan Schmitt
Fully abstract encodings of λ-calculus in HOcore through abstract machines
(
LICS 2017
)
More Information...
Paper:
Damien Pous
Valeria Vignudelli
Allegories: decidability and graph homomorphisms
(
LICS 2018
)
More Information...
Thomas Powell
Paper:
Thomas Powell
Gödel's functional interpretation and the concept of learning
(
LICS 2016
)
More Information...
Paper:
Thomas Powell
A functional interpretation with state
(
LICS 2018
)
More Information...
Paper:
Thomas Powell
On the computational content of Zorn's lemma
(
LICS 2020
)
More Information...
A. John Power
Paper:
Alex Mifsud
Robin Milner
A. John Power
Control Structures
(
LICS 1995
)
More Information...
Paper:
Marcelo P. Fiore
Gordon D. Plotkin
A. John Power
Complete Cuboidal Sets in Axiomatic Domain Theory
(
LICS 1997
)
More Information...
Paper:
Claudio Hermida
Michael Makkai
A. John Power
Higher Dimensional Multigraphs
(
LICS 1998
)
More Information...
Paper:
Peter Johnstone
A. John Power
Toru Tsujishita
Hiroshi Watanabe
James Worrell
An Axiomatics for Categories of Transition Systems as Coalgebras
(
LICS 1998
)
More Information...
Shekhar Pradhan
Paper:
Shekhar Pradhan
Semantics of Normal Logic Programs and Contested Information
(
LICS 1996
)
More Information...
Pierre Pradic
Paper:
Pierre Pradic
Colin Riba
LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic
(
LICS 2018
)
More Information...
Vaughan R. Pratt
Paper:
Haim Gaifman
Vaughan R. Pratt
Partial Order Models of Concurrency and the Computation of Functions
(
LICS 1987
)
More Information...
Invited Paper:
Vaughan R. Pratt
Origins of the calculus of binary relations
(
LICS 1992
)
More Information...
Paper:
Vaughan R. Pratt
The Stone Gamut: A Coordinatization of Mathematics
(
LICS 1995
)
More Information...
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...
Ian Pratt-Hartmann
Paper:
Yevgeny Kazakov
Ian Pratt-Hartmann
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
(
LICS 2009
)
More Information...
Paper:
Emanuel Kieronski
Jakub Michaliszyn
Ian Pratt-Hartmann
Lidia Tendera
Two-Variable First-Order Logic with Equivalence Closure
(
LICS 2012
)
More Information...
Paper:
Ian Pratt-Hartmann
Logics with counting and equivalence
(
LICS 2014
)
More Information...
M. Praveen
Paper:
Stéphane Demri
Diego Figueira
M. Praveen
Reasoning about Data Repetitions with Counter Systems
(
LICS 2013
)
More Information...
Paper:
Jérôme Leroux
M. Praveen
Grégoire Sutre
Hyper-Ackermannian bounds for pushdown vector addition systems
(
LICS 2014
)
More Information...
Paper:
Diego Figueira
M. Praveen
Playing with Repetitions in Data Words Using Energy Games
(
LICS 2018
)
More Information...
Enguerrand Prebet
Paper:
Daniel Hirschkoff
Enguerrand Prebet
Davide Sangiorgi
On sequentiality and well-bracketing in the π-calculus
(
LICS 2021
)
More Information...
Doina Precup
Paper:
Borja Balle
Prakash Panangaden
Doina Precup
A Canonical Form for Weighted Automata and Applications to Approximate Minimization
(
LICS 2015
)
More Information...
Christian Prehofer
Paper:
Christian Prehofer
Higher-order narrowing
(
LICS 1994
)
More Information...
Norbert Preining
Paper:
Arnold Beckmann
Norbert Preining
Hyper Natural Deduction
(
LICS 2015
)
More Information...
Viorel Preoteasa
Paper:
Viorel Preoteasa
Stavros Tripakis
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems
(
LICS 2016
)
More Information...
Matija Pretnar
Paper:
Gordon D. Plotkin
Matija Pretnar
A Logic for Algebraic Effects
(
LICS 2008
)
More Information...
Frédéric Prost
Paper:
Frédéric Prost
A Static Calculus of Dependencies for the λ-Cube
(
LICS 2000
)
More Information...
Laurence Puel
Paper:
Val Breazu-Tannen
Delia Kesner
Laurence Puel
A typed pattern calculus
(
LICS 1993
)
More Information...
Rosario Pugliese
Paper:
Michele Boreale
Rocco De Nicola
Rosario Pugliese
Proof Techniques for Cryptographic Processes
(
LICS 1999
)
More Information...
Gabriele Puppis
Paper:
Angelo Montanari
Gabriele Puppis
A Contraction Method to Decide MSO Theories of Deterministic Trees
(
LICS 2007
)
More Information...
Paper:
Michael Benedikt
Gabriele Puppis
Cristian Riveros
Regular Repair of Specifications
(
LICS 2011
)
More Information...
Paper:
Michael Benedikt
Pierre Bourhis
Balder ten Cate
Gabriele Puppis
Querying Visible and Invisible Information
(
LICS 2016
)
More Information...
Paper:
Félix Baschenis
Olivier Gauwin
Anca Muscholl
Gabriele Puppis
Untwisting two-way transducers in elementary time
(
LICS 2017
)
More Information...
David Purser
Paper:
Richard Lipton
Florian Luca
Joris Nieuwveld
Joël Ouaknine
David Purser
James Worrell
On the Skolem Problem and the Skolem Conjecture
(
LICS 2022
)
More Information...
Paper:
Wojciech Czerwinski
Engel Lefaucheux
Filip Mazowiecki
David Purser
Markus A. Whiteland
The boundedness and zero isolation problems for weighted automata over nonnegative rationals
(
LICS 2022
)
More Information...
David J. Pym
Paper:
David J. Pym
On Bunched Predicate Logic
(
LICS 1999
)
More Information...
Paper:
Carsten Führmann
David J. Pym
On the Geometry of Interaction for Classical Logic
(
LICS 2004
)
More Information...
Last modified: 2022-10-31
13:49
Sam Staton