Nicole Rauch

According to our database, Nicole Rauch authored at least 6 papers between 2003 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Application of Piezo-Based Measuring System for Evaluation of Nucleic Acid-Based Drugs Influencing the Coagulation.

Silju-John Kunnakattu, Ludmilla Hann, Julia Kurz, Hanna Haag, Stefan Fennrich, Nicole Rauch, Christian Schlensak, Hans-Peter Wendel, Sandra Stoppelkamp, Meltem Avci-Adali

Sensors, 2020

2013

A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It).

Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter, Nicole Rauch

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2005

Jive Data and Store Model.

Nicole Rauch, Norbert Schirmer

Arch. Formal Proofs, 2005

2004

Application and Formal Specification of Sorted Term-Position Algebras.

Arnd Poetzsch-Heffter, Nicole Rauch

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Formal Verification of a Commercial Smart Card Applet with Multiple Tools.

Bart Jacobs, Claude Marché, Nicole Rauch

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL.

Nicole Rauch, Burkhart Wolff

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003