Peter van Rossum

2008
14	EE	Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs: Dismantling MIFARE Classic. ESORICS 2008: 97-114
13	EE	Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum: Significant Diagnostic Counterexamples in Probabilistic Model Checking. Haifa Verification Conference 2008: 129-148
12	EE	David Galindo, Flavio D. Garcia, Peter van Rossum: Computational Soundness of Non-Malleable Commitments. ISPEC 2008: 361-376
11	EE	Miguel E. Andrés, Peter van Rossum: Conditional Probabilities over Probabilistic and Nondeterministic Systems. TACAS 2008: 157-172
10	EE	Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum: Significant Diagnostic Counterexamples in Probabilistic Model Checking CoRR abs/0806.1139: (2008)
9	EE	Flavio D. Garcia, Peter van Rossum: Sound and complete computational interpretation of symbolic hashes in the standard model. Theor. Comput. Sci. 394(1-2): 112-133 (2008)
2007
8	EE	Flavio D. Garcia, Peter van Rossum, Ana Sokolova: Probabilistic Anonymity and Admissible Schedulers CoRR abs/0706.1019: (2007)
2006
7	EE	Flavio D. Garcia, Peter van Rossum: Sound Computational Interpretation of Symbolic Hashes in the Standard Model. IWSEC 2006: 33-47
6	EE	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani: Efficient theory combination via boolean search. Inf. Comput. 204(10): 1493-1525 (2006)
2005
5	EE	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: The MathSAT 3 System. CADE 2005: 315-321
4	EE	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani: Efficient Satisfiability Modulo Theories via Delayed Theory Combination. CAV 2005: 335-349
3	EE	Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Peter van Rossum: Provable anonymity. FMSE 2005: 63-72
2	EE	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. TACAS 2005: 317-333
1	EE	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani: MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. J. Autom. Reasoning 35(1-3): 265-293 (2005)

Coauthor Index

1	Miguel E. Andrés	[10] [11] [13]
2	Marco Bozzano	[1] [2] [4] [5] [6]
3	Roberto Bruttomesso	[1] [2] [4] [5] [6]
4	Alessandro Cimatti	[1] [2] [4] [5] [6]
5	Pedro R. D'Argenio	[10] [13]
6	David Galindo	[12]
7	Gerhard de Koning Gans	[14]
8	Flavio D. Garcia	[3] [7] [8] [9] [12] [14]
9	Ichiro Hasuo	[3]
10	Bart Jacobs	[14]
11	Tommi A. Junttila	[1] [2] [4] [5] [6]
12	Ruben Muijrers	[14]
13	Wolter Pieters	[3]
14	Silvio Ranise	[4] [6]
15	Ronny Wichers Schreur	[14]
16	Stephan Schulz	[1] [2] [5]
17	Roberto Sebastiani	[1] [2] [4] [5] [6]
18	Ana Sokolova	[8]
19	Roel Verdult	[14]

Colors in the list of coauthors