]> BibSonomy publications for /author/Leinenbach http://www.bibsonomy.org/burst/author/Leinenbach BibSonomy BuRST Feed for /author/Leinenbach 2008-10-08T11:10:07+02:00 The Verisoft Approach to Systems Verification. dblphttp://www.bibsonomy.org/bibtex/2156a15328eb6e816c03b3cde8024b847/dblp dblp 2008-10-02T00:00:00+02:00 dblp
The Verisoft Approach to Systems Verification.
Eyad Alkassar and Mark A. Hillebrand and Dirk Leinenbach and Norbert Schirmer and Artem Starostin VSTTE 209-224 (2008)
to dblp by dblp on 2008-10-02 00:00:00 ]]> VSTTEconf/vstte/2008209-224Lecture Notes in Computer ScienceThe Verisoft Approach to Systems Verification.52952008dblp 2008-10-02 00:00:00.0 Pervasive Compiler Verification - From Verified Programs to Verified Systems. dblphttp://www.bibsonomy.org/bibtex/295a17fede8a23d70bae525363836201d/dblp dblp 2008-08-21T00:00:00+02:00 dblp
Pervasive Compiler Verification - From Verified Programs to Verified Systems.
Dirk Leinenbach and Elena Petrova Electr. Notes Theor. Comput. Sci. 217 23-40 (2008)
to dblp by dblp on 2008-08-21 00:00:00 ]]> Electr. Notes Theor. Comput. Sci.23-40Pervasive Compiler Verification - From Verified Programs to Verified Systems.2172008dblp 2008-08-21 00:00:00.0 Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. dblphttp://www.bibsonomy.org/bibtex/2cf3fd439bea94ce593df0f64b1989492/dblp dblp 2008-02-08T00:00:00+01:00 dblp
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 ]]> CHARMEconf/charme/200351-65Lecture Notes in Computer ScienceInstantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.28602003dblp 2008-02-08 00:00:00.0 A geometric approach for the alignment of liquid chromatography - mass spectrometry data. dblphttp://www.bibsonomy.org/bibtex/236b41fb9c5cfbce7df6063f7a8a892cc/dblp dblp 2008-01-11T00:00:00+01:00 dblp
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 ]]> ISMB/ECCB (Supplement of Bioinformatics)273-281A geometric approach for the alignment of liquid chromatography - mass spectrometry data.2007dblp 2008-01-11 00:00:00.0 Measurement Technique for Elastic and Mechanical Properties of Polycrystalline Silicon-Germanium Films Using Surface Acoustic Waves and Projection Masks dblphttp://www.bibsonomy.org/bibtex/2b8589b222a3fa99e7d9b52fddf5d8c5b/dblp dblp 2008-01-02T00:00:00+01:00 dblp
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 ]]> CoRRinformal publicationMeasurement Technique for Elastic and Mechanical Properties of Polycrystalline Silicon-Germanium Films Using Surface Acoustic Waves and Projection Masksabs/0711.33052007dblp 2008-01-02 00:00:00.0 Die Körperlichkeit der Technik: Zur Organprojektionstheorie Ernst Kapps: Dissertation importhttp://www.bibsonomy.org/bibtex/2ab4d187a58a7c4d53c97ba752ae19614/stromgeist stromgeist 2007-12-25T11:08:40+01:00 Kapp,-Ernst-(Geograph) Maschine Organismus Philosophie Technik
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 ]]> EssenGenealogicaDie K{\"o}rperlichkeit der Technik: Zur Organprojektionstheorie Ernst Kapps: Dissertation151990Kapp,-Ernst-(Geograph) Maschine Organismus Philosophie Technik 2007-12-25 11:08:40.0 Mobile Anwendungssysteme für effiziente Dienstleistungsprozesse im technischen Kundendienst. dblphttp://www.bibsonomy.org/bibtex/280939da639216b9866a8587d0ba8015e/dblp dblp 2007-05-08T00:00:00+02:00 dblp
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 ]]> GI Jahrestagung (1)conf/gi/2006-1202-207LNIMobile Anwendungssysteme für effiziente Dienstleistungsprozesse im technischen Kundendienst.932006dblp 2007-05-08 00:00:00.0 Towards the Formal Verification of Lower System Layers in Automotive Systems. dblphttp://www.bibsonomy.org/bibtex/25cdb69c93ac01a13ad6b919ef7a32b70/dblp dblp 2007-02-08T00:00:00+01:00 dblp
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 ]]> ICCDconf/iccd/2005317-326Towards the Formal Verification of Lower System Layers in Automotive Systems.2005dblp 2007-02-08 00:00:00.0 Putting it all together - Formal verification of the VAMP. dblphttp://www.bibsonomy.org/bibtex/2c30caa9de6a17870ad4509c356145a2e/dblp dblp 2007-02-07T00:00:00+01:00 dblp
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 ]]> STTT4-5411-430Putting it all together - Formal verification of the VAMP.82006dblp 2007-02-07 00:00:00.0 Evaluation of LC-MS data for the absolute quantitative analysis of marker proteins. dblphttp://www.bibsonomy.org/bibtex/20869ae104d599ca7e10b82381d3aa180/dblp dblp 2006-05-10T00:00:00+02:00 dblp
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 ]]> Computational Proteomicsconf/dagstuhl/2005P5471Dagstuhl Seminar ProceedingsEvaluation of LC-MS data for the absolute quantitative analysis of marker proteins.054712005dblp 2006-05-10 00:00:00.0