Login / Signup
Robert Hahn
Publication Activity (10 Years)
Years Active: 1965-2024
Publications (10 Years): 4
Top Topics
Symbolic Execution
Top Venues
CoRR
SOAP@PLDI
EAI Endorsed Trans. Serious Games
</>
Publications
</>
Robert Hahn
,
Erik Schnaubelt
,
Mariusz Wozniak
,
Christophe Geuzaine
,
Sebastian Schöps
Mortar Thin Shell Approximation for Analysis of Superconducting Accelerator Magnets.
CoRR
(2024)
Anna Ziegler
,
Robert Hahn
,
Victoria Isensee
,
Anh Duc Nguyen
,
Sebastian Schöps
Gradient-Based Eigenvalue Optimization for Electromagnetic Cavities with Built-in Mode Matching.
CoRR
(2023)
Steven Arzt
,
Siegfried Rasthofer
,
Robert Hahn
,
Eric Bodden
Using targeted symbolic execution for reducing false-positives in dataflow analysis.
SOAP@PLDI
(2015)
Viktor Wendel
,
Marc-André Bär
,
Robert Hahn
,
Benedict Jahn
,
Max Mehltretter
,
Stefan Göbel
,
Ralf Steinmetz
A method for automatic situation recognition in collaborative multiplayer Serious Games.
EAI Endorsed Trans. Serious Games
1 (4) (2015)
Samir Bouabdallah
,
Christian Bermes
,
Slawomir Grzonka
,
Christiane Gimkiewicz
,
Alain Brenzikofer
,
Robert Hahn
,
Dario Schafroth
,
Giorgio Grisetti
,
Wolfram Burgard
,
Roland Siegwart
Towards Palm-Size Autonomous Helicopters.
J. Intell. Robotic Syst.
61 (1-4) (2011)
Marc Belleville
,
Hervé Fanet
,
Paolo Fiorini
,
Pierre Nicole
,
Marcel J. M. Pelgrom
,
Christian Piguet
,
Robert Hahn
,
Chris Van Hoof
,
Ruud J. M. Vullers
,
Marco Tartagni
,
Eugenio Cantatore
Energy autonomous sensor systems: Towards a ubiquitous sensor technology.
Microelectron. J.
41 (11) (2010)
Robert Hahn
,
Hal J. Singer
Why the iPhone Won't Last Forever and What the Government Should Do to Promote its Successor.
J. Telecommun. High Technol. Law
8 (2) (2010)
Robert Hahn
,
Stefan Wagner
,
Steffen Krumbholz
,
Herbert Reichl
Optimization of efficiency and energy density of passive micro fuel cells and galvanic hydrogen generators
CoRR
(2008)
Robert Hahn
,
Herbert Reichl
Batteries and Power Supplies for Wearable and Ubiquitous Computing.
ISWC
(1999)
Robert Hahn
Making use of a medium scale computer in an operationally oriented work environment.
SIGCPR
(1965)