Author of the publication

Information und/oder Infrastruktur - Transformation gestalten : Wünsche, Herausforderung, Realität. Vortrag zur Verabschiedung des Direktors der Universitätsbibliothek Bielefeld, Herrn Ltd. Bibliotheksdirektor Dr. Michael Höppner am 4.12.2012

. Bibliotheksebene, 27 (1): 18 (2013)
DOI: 10.18419/opus-6429

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Effects of shaping of binaural room impulse responses on localization., and . QoMEX, page 88-93. IEEE, (2013)Audio-visual discrepancy and the influence on vertical sound source localization., , and . QoMEX, page 133-139. IEEE, (2012)Modeling Specification and Verification of an Emergency Closing System., , and . FLAIRS Conference, page 356-360. AAAI Press, (2000)Formal software development in the Verification Support Environment (VSE)., , , , , and . J. Exp. Theor. Artif. Intell., 12 (4): 383-406 (2000)VSE: formal methods meet industrial needs., , , , , , , , and . STTT, 3 (1): 66-77 (2000)Formal Specification of a Generic Separation Kernel., , , , , , , , , and . Archive of Formal Proofs, (2014)Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE., , , , and . Sicherheit, volume P-195 of LNI, page 83-94. GI, (2012)VSE: Controlling the Complexity in Formal Software Developments., , , , , , , , and . FM-Trends, volume 1641 of Lecture Notes in Computer Science, page 351-358. Springer, (1998)Deduction in the Verification Support Environment (VSE)., , , , , and . FME, volume 1051 of Lecture Notes in Computer Science, page 268-286. Springer, (1996)Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline.. FM, volume 4085 of Lecture Notes in Computer Science, page 587-591. Springer, (2006)