Concepedia

David von Oheimb

DV

Statistics

Publications

6

Citations

576

H-Index

6

Active since

1998

Affiliations

Technical University of Munich(Current)

Siemens (Germany)

University of Washington

David von Oheimb is an author at Technical University of Munich specializing in computing, computer science, and formal methods.

Publications per year

1998–2007

6

Publications

6

The High-Level Protocol Specification Language HLPSL developed in the EU project AVISPA

David von Oheimb · 2005 · 221 citations

Computing, Computer Science, Cybersecurity +17

Java<i><sub>light</sub></i> is type-safe---definitely

Tobias Nipkow, David von Oheimb · 1998 · 148 citations · Full text

Computing, Computer Science, Formal Methods +16

Hoare logic for Java in Isabelle/HOL

David von Oheimb · Concurrency and Computation Practice and Experience · 2001 · 93 citations

Computing, Computer Science, Logic +16

HOLCF = HOL + LCF

Olaf Müller, Tobias Nipkow, David von Oheimb et al. · Journal of Functional Programming · 1999 · 58 citations

Computing, Computer Science, Formal Methods +15

Impact of Public Key Enabled Applications on the Operation and Maintenance of Commercial Airplanes

Richard Robinson, Mingyan Li, Scott Lintelman et al. · 7th AIAA ATIO Conf, 2nd CEIAT Int'l Conf on Innov and Integr in Aero Sciences,17th LTA Systems Tech Conf; followed by 2nd TEOS Forum · 2007 · 35 citations

Computing, Computer Science, Cybersecurity +16

1–5 of 6