BibSonomy :: author  ::

bookmarks

publications

(14)

• Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.
  Sven Beyer and Christian Jacobi and Daniel Kroening and Dirk Leinenbach and Wolfgang J. Paul CHARME 51-65 (2003)
  to dblp by dblp on 2008-02-08 00:00:00
  | URL | BibTeX  
• A geometric approach for the alignment of liquid chromatography - mass spectrometry data.
  Eva Lange and Clemens Gröpl and Ole Schulz-Trieglaff and Andreas Leinenbach and Christian G. Huber and Knut Reinert ISMB/ECCB (Supplement of Bioinformatics) 273-281 (2007)
  to dblp by dblp on 2008-01-11 00:00:00
  | URL | BibTeX  
• Measurement Technique for Elastic and Mechanical Properties of Polycrystalline Silicon-Germanium Films Using Surface Acoustic Waves and Projection Masks
  A. Bennis and C. Leinenbach and C. Raudzis and Roland Müller-Fiedler and S. Kronmüller CoRR abs/0711.3305 (2007)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Die Körperlichkeit der Technik: Zur Organprojektionstheorie Ernst Kapps: Dissertation
  Harald Leinenbach (1990)
  to Kapp,-Ernst-(Geograph) Maschine Organismus Philosophie Technik by stromgeist on 2007-12-25 11:08:40
  | BibTeX  
• Mobile Anwendungssysteme für effiziente Dienstleistungsprozesse im technischen Kundendienst.
  Oliver Thomas and Philipp Walter and Peter Loos and Michael Schlicker and Stefan Leinenbach GI Jahrestagung (1) 202-207 (2006)
  to dblp by dblp on 2007-05-08 00:00:00
  | URL | BibTeX  
• Towards the Formal Verification of Lower System Layers in Automotive Systems.
  Sven Beyer and Peter Böhm and Michael Gerke and Mark A. Hillebrand and Thomas In der Rieden and Steffen Knapp and Dirk Leinenbach and Wolfgang J. Paul ICCD 317-326 (2005)
  to dblp by dblp on 2007-02-08 00:00:00
  | URL | BibTeX  
• Putting it all together - Formal verification of the VAMP.
  Sven Beyer and Christian Jacobi and Daniel Kröning and Dirk Leinenbach and Wolfgang J. Paul STTT 8 411-430 (2006)
  to dblp by dblp on 2007-02-07 00:00:00
  | URL | BibTeX  
• Evaluation of LC-MS data for the absolute quantitative analysis of marker proteins.
  Nathanaël Delmotte and Bettina M. Mayr and Andreas Leinenbach and Knut Reinert and Oliver Kohlbacher and Christoph L. Klein and Christian G. Huber Computational Proteomics (2005)
  to dblp by dblp on 2006-05-10 00:00:00
  | URL | BibTeX  
• On the Correctness of Operating System Kernels.
  Mauro Gargano and Mark A. Hillebrand and Dirk Leinenbach and Wolfgang J. Paul TPHOLs 1-16 (2005)
  to dblp by dblp on 2006-05-03 00:00:00
  | URL | BibTeX  
• Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.
  Dirk Leinenbach and Wolfgang J. Paul and Elena Petrova SEFM 2-12 (2005)
  to dblp by dblp on 2006-01-06 00:00:00
  | URL | BibTeX