Peter Böhm

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 6

Top Venues

ISI

ICRA

Microprocess. Microsystems

IROS

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Peter Böhm, Pauline Pounds, Archie C. Chapman
Feature Extraction for Effective and Efficient Deep Reinforcement Learning on Real Robotic Platforms. ICRA (2023)
Peter Böhm, Pauline Pounds, Archie C. Chapman
Non-blocking Asynchronous Training for Reinforcement Learning in Real-World Environments. IROS (2022)
Peter Böhm, Christoph Schindler, Heiko Rölke, Marc Rittberger
Limits and Potentials of Grasping User Interaction in Controlled and Open World Environments - Contrasting PIAAC Large-Scale-Assessment Usage Data with Web Analytics. ISI (2017)
Peter Böhm, Marc Rittberger
Einsatz von Webanalyse in überregionalen Informationsinfrastruktureinrichtungen. Inf. Wiss. Prax. 67 (4) (2016)
Dionisios N. Pnevmatikatos, Kyprianos Papadimitriou, Tobias Becker, Peter Böhm, Andreas Brokalakis, Karel Bruneel, Catalin Bogdan Ciobanu, Tom Davidson, Georgi Gaydadjiev, Karel Heyse, Wayne Luk, Xinyu Niu, Ioannis Papaefstathiou, Danilo Pau, Oliver Pell, Christian Pilato, Marco D. Santambrogio, Donatella Sciuto, Dirk Stroobandt, Tim Todman, Elias Vansteenkiste
FASTER: Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration. Microprocess. Microsystems 39 (4-5) (2015)
Stefan Keil, Peter Böhm, Marc Rittberger
Qualitative Web Analytics: New Insights into Navigation Analysis and User Behavior - A Case Study of the German Education Server. ISI (2015)
Tim Todman, Peter Böhm, Wayne Luk
Verification of streaming hardware and software codesigns. FPT (2012)
Peter Böhm, Marc Rittberger
Nutzungsanalyse des Deutschen Bildungsservers und Konzeption eines Personalisierungsangebots. ISI (2011)
Scott Owens, Peter Böhm, Francesco Zappa Nardelli, Peter Sewell
Lem: A Lightweight Tool for Heavyweight Semantics. ITP (2011)
Peter Böhm
A framework for incremental modelling and verification of on-chip protocols. FMCAD (2010)
Peter Böhm
Incremental and Verified Modeling of the PCI Express Protocol. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (10) (2010)
Peter Böhm
Incremental modelling and verification of the PCI Express transaction layer. MEMOCODE (2009)
Eyad Alkassar, Peter Böhm, Steffen Knapp
Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation. MEMOCODE (2008)
Peter Böhm, Tom Melham
A Refinement Approach to Design and Verification of On-Chip Communication Protocols. FMCAD (2008)
Eyad Alkassar, Peter Böhm, Steffen Knapp
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. DIPES (2008)
Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul
Towards the Formal Verification of Lower System Layers in Automotive Systems. ICCD (2005)

Peter Böhm.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Böhm