Pavol Cerný Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna: Quantitative abstraction refinement. POPL 2013: 115-128
2012
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna: Simulation distances. Theor. Comput. Sci. 413(1): 21-35 (2012)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rajeev Alur, Pavol Cerný, Scott Weinstein: Algorithmic analysis of array-accessing programs. ACM Trans. Comput. Log. 13(3): 27 (2012)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla: Synthesis from incompatible specifications. EMSOFT 2012: 53-62
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna: Interface Simulation Distances. GandALF 2012: 29-42
2011
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh: Quantitative Synthesis for Concurrent Programs. CAV 2011: 243-259
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger: The Complexity of Quantitative Information Flow Problems. CSF 2011: 205-217
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavol Cerný, Thomas A. Henzinger: From boolean to quantitative synthesis. EMSOFT 2011: 149-154
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rajeev Alur, Pavol Cerný: Streaming transducers for algorithmic verification of single-pass list-processing programs. POPL 2011: 599-610
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh: Quantitative Synthesis for Concurrent Programs. CoRR abs/1104.4306 (2011)
2010
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna: Quantitative Simulation Games. Essays in Memory of Amir Pnueli 2010: 42-60
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur: Model Checking of Linearizability of Concurrent List Implementations. CAV 2010: 465-479
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna: Simulation Distances. CONCUR 2010: 253-268
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rajeev Alur, Pavol Cerný: Expressiveness of streaming string transducers. FSTTCS 2010: 1-12
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rajeev Alur, Pavol Cerný: Algorithmic Verification of Single-Pass List Processing Programs. CoRR abs/1007.4958 (2010)
2009
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavol Cerný, Rajeev Alur: Automated Analysis of Java Methods for Confidentiality. CAV 2009: 173-187
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rajeev Alur, Pavol Cerný, Scott Weinstein: Algorithmic Analysis of Array-Accessing Programs. CSL 2009: 86-101
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný: Parallel programming with object assemblies. OOPSLA 2009: 61-80
2008
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adam J. 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
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rajeev Alur, Pavol Cerný, Swarat Chaudhuri: Model Checking on Trees with Path Equivalences. TACAS 2007: 664-678
2006
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rajeev Alur, Pavol Cerný, Steve Zdancewic: Preserving Secrecy Under Refinement. ICALP (2) 2006: 107-118
2005
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam: Synthesis of interface specifications for Java classes. POPL 2005: 98-109

Coauthor Index

1Rajeev Alur
[j1] [c12] [c10] [c8] [i1] [c7] [c6] [c3] [c2] [c1]
2Adam J. Aviv
[c4]
3Matt Blaze
[c4]
4Krishnendu Chatterjee
[c15] [c14] [i2]
5Swarat Chaudhuri
[c10] [c5] [c3]
6Martin Chmelik
[c16]
7Sandy Clark
[c4]
8Eric Cronin
[c4]
9Sivakanth Gopi
[c17]
10Thomas A. Henzinger
[c18] [j2] [c17] [c16] [c15] [c14] [c13] [i2] [c11] [c9]
11Roberto Lublinerman
[c5]
12P. Madhusudan (Parthasarathy Madhusudan)
[c1]
13Wonhong Nam
[c1]
14Arjun Radhakrishna
[c18] [j2] [c17] [c16] [c15] [i2] [c11] [c10] [c9]
15Gaurav Shah
[c4]
16Micah Sherr
[c4]
17Rohit Singh 0002
[c15] [i2]
18Nishant Totla
[c17]
19Scott Weinstein
[j1] [c6]
20Steve Zdancewic
[c2]
21Damien Zufferey
[c10]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 12:17:22 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page