IEEE Symposium on Logic in Computer Science

A B C D E F G H I J K L M N O P QR S T U V W X Y Z

Authors on this page:

• Leszek Pacholski
• Michele Pagani
• Catuscia Palamidessi
• Krishna V. Palem
• Erik Palmgren
• Jens Palsberg
• Guoqiang Pan
• Prakash Panangaden
• Giovanni Pani
• Christos H. Papadimitriou
• Jan Paredaens
• Michel Parigot
• Rohit Parikh
• Jeff B. Paris
• Matthew Parkinson
• Gennaro Parlato
• Joachim Parrow
• Manas Patra
• Murray Patterson
• Dirk Pattinson
• Lawrence C. Paulson
• Dusko Pavlovic
• Doron A. Peled
• Wojciech Penczek
• Mati Pentus
• Fernando C. N. Pereira
• Jorge A. Perez
• Santiago M. Pericás-Geertsen
• Dominique Perrin
• Steven J. Perron
• Kenneth J. Perry
• Viktor Petersson
• Sylvain Peyronnet
• Frank Pfenning
• Wesley Phoa
• Mauro Piccolo
• Reinhard Pichler
• Benjamin C. Pierce
• Ahti-Veikko Pietarinen
• Jean-Eric Pin
• Keshav Pingali
• Adolfo Piperno
• Marco Pistore
• Toniann Pitassi
• Nir Piterman
• Andrew M. Pitts
• David A. Plaisted
• Gordon D. Plotkin
• Amir Pnueli
• Andreas Podelski
• Alex Pogel
• Chris Pollett
• François Pottier
• Peter J. Potts
• A. John Power
• Shekhar Pradhan
• Vaughan R. Pratt
• Ian Pratt-Hartmann
• Christian Prehofer
• Matija Pretnar
• Frédéric Prost
• Laurence Puel
• Rosario Pugliese
• Gabriele Puppis
• 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...

Michele Pagani

• Paper: Michele Pagani Christine Tasson
  The Inverse Taylor Expansion Problem in Linear Logic (LICS 2009) More Information...

Catuscia Palamidessi

• Paper: Frank S. de Boer Jan W. 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...

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

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

Christos H. Papadimitriou

• Paper: Serge Abiteboul Christos H. Papadimitriou Victor Vianu
  The power of reflective relational machines (LICS 1994) 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...

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

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

Manas Patra

• Short Presentation: Manas Patra
  Descriptive Characterization of Quantum Circuits (LICS 2007) 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...

Lawrence C. Paulson

• Invited Paper: Lawrence C. Paulson
  Proving Security Protocols Correct (LICS 1999) More Information...

Dusko Pavlovic

• Paper: Dusko Pavlovic Martín H. Escardó
  Calculus in Coinductive Form (LICS 1998) 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...

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

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

Santiago M. Pericás-Geertsen

• Paper: Assaf J. Kfoury Santiago M. Pericás-Geertsen
  Type Inference for Recursive Definitions (LICS 1999) 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...

Steven J. Perron

• Paper: Steven J. Perron
  Examining The Fragments of G (LICS 2007) 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...

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

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

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

Reinhard Pichler

• Paper: Georg Gottlob Reinhard Pichler
  Working with Arms: Complexity Results on Atomic Representations of Herbrand Models (LICS 1999) 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...

Ahti-Veikko Pietarinen

• Short Presentation: Ahti-Veikko Pietarinen
  Epistemic Logics of Imperfect Information for Multi-agent Communication (LICS 2004) 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...

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

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

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

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

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

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

Alex Pogel

• Short Presentation: Alex Pogel George Voutsadakis Mai Gehrke
  A Game involving Epistemic Logic and Probability (LICS 2001) More Information...

Chris Pollett

• Paper: Jan Johannsen Chris Pollett
  On Proofs about Threshold Circuits and Counting Hierarchies (LICS 1998) 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...

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

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

Christian Prehofer

• Paper: Christian Prehofer
  Higher-order narrowing (LICS 1994) 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...

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