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:

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