dblp.uni-trier.dewww.uni-trier.de

Pavol Cerný

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EEAdam Aviv, Pavol Cerný, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, Matt Blaze: Security Evaluation of ES&S Voting Machines and Election Management System. EVT 2008
2007
3EERajeev Alur, Pavol Cerný, Swarat Chaudhuri: Model Checking on Trees with Path Equivalences. TACAS 2007: 664-678
2006
2EERajeev Alur, Pavol Cerný, Steve Zdancewic: Preserving Secrecy Under Refinement. ICALP (2) 2006: 107-118
2005
1EERajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam: Synthesis of interface specifications for Java classes. POPL 2005: 98-109

Coauthor Index

1Rajeev Alur [1] [2] [3]
2Adam Aviv [4]
3Matt Blaze [4]
4Swarat Chaudhuri [3]
5Sandy Clark [4]
6Eric Cronin [4]
7P. Madhusudan (Parthasarathy Madhusudan) [1]
8Wonhong Nam [1]
9Gaurav Shah [4]
10Micah Sherr [4]
11Steve Zdancewic [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)