Concepedia

Peter van Rossum

PV

19

Publications

645

Citations

14

H-Index

1989

Active since

Affiliations

Radboud University Nijmegen(Current)

New Mexico State University

Institut national de recherche en sciences et technologies du numérique

Helsinki Institute of Physics

Construction Technologies Institute

Peter van Rossum is an author at Radboud University Nijmegen specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsCryptographyData PrivacyData SecurityHardware SecurityFormal VerificationInformation SecurityAutomated Reasoning

Publications per year

1989–2019

19

Publications

19

Wirelessly Pickpocketing a Mifare Classic Card

Flavio D. Garcia, Peter van Rossum, Roel Verdult et al. · 2009 · 107 citations

Near Field Communication, Engineering, Information Security +20

MathSAT: Tight Integration of SAT and Mathematical Decision Procedures

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti et al. · Journal of Automated Reasoning · 2005 · 77 citations

Mathematical Programming, Decision Procedure, Engineering +6

Provable anonymity

Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters et al. · 2005 · 70 citations

Efficient theory combination via boolean search

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti et al. · Information and Computation · 2006 · 64 citations

Circuit Complexity, Engineering, Boolean Function +7

An ambulatory blood pressure monitoring study of the comparative antihypertensive efficacy of two angiotensin II receptor antagonists, irbesartan and valsartan

Giuseppe Mancia, K. Korlipara, Peter van Rossum et al. · Blood Pressure Monitoring · 2002 · 56 citations

Rows per page

1–5 of 19