Lics

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 QR S T U V W X Y Z

Papers and Short Presentations by Authors: P

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

Giovanni Pani

Christos H. Papadimitriou

Jan Paredaens

Michel Parigot

Rohit Parikh

Jeff B. Paris

Matthew Parkinson

Gennaro Parlato

Joachim Parrow

Pawel Parys

Corina S. Pasareanu

Manas Patra

Murray Patterson

Dirk Pattinson

Lawrence C. Paulson

Arno Pauly

Dusko Pavlovic

David Pearce

Pierre-Marie Pédrot

Doron A. Peled

Wojciech Penczek

Vincent Penelle

Mati Pentus

Fernando C. N. Pereira

Jorge A. Perez

Juan A. Navarro Pérez

Santiago M. Pericás-Geertsen

Dominique Perrin

Matthieu Perrinel

Steven J. Perron

Kenneth J. Perry

Viktor Petersson

Daniela Petrisan

Sylvain Peyronnet

Frank Pfenning

Wesley Phoa

Mauro Piccolo

Reinhard Pichler

Benjamin C. Pierce

Andreas Pieris

Ahti-Veikko Pietarinen

Jean-Eric Pin

Keshav Pingali

Michael Pinsker

Adolfo Piperno

Marco Pistore

Toniann Pitassi

Nir Piterman

Andrew M. Pitts

Invited Tutorials 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

Chris Pollett

Andrei Popescu

François Pottier

Peter J. Potts

Damien Pous

A. John Power

Shekhar Pradhan

Vaughan R. Pratt

Ian Pratt-Hartmann

M. Praveen

Doina Precup

Christian Prehofer

Norbert Preining

Matija Pretnar

Frédéric Prost

Laurence Puel

Rosario Pugliese

Gabriele Puppis

David J. Pym


Last modified: 2016-01-1416:22
Andrzej Murawski