Nicole Rauch

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 1

Top Topics

Tree Representation

Top Venues

Programming Logics

Publications

Silju-John Kunnakattu, Ludmilla Hann, Julia Kurz, Hanna Haag, Stefan Fennrich, Nicole Rauch, Christian Schlensak, Hans-Peter Wendel, Sandra Stoppelkamp, Meltem Avci-Adali
Application of Piezo-Based Measuring System for Evaluation of Nucleic Acid-Based Drugs Influencing the Coagulation. Sensors 20 (1) (2020)
Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter, Nicole Rauch
A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It). Programming Logics (2013)
Nicole Rauch, Norbert Schirmer
Jive Data and Store Model. Arch. Formal Proofs 2005 (2005)
Bart Jacobs, Claude Marché, Nicole Rauch
Formal Verification of a Commercial Smart Card Applet with Multiple Tools. AMAST (2004)
Arnd Poetzsch-Heffter, Nicole Rauch
Application and Formal Specification of Sorted Term-Position Algebras. WADT (2004)
Nicole Rauch, Burkhart Wolff
Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. Electron. Notes Theor. Comput. Sci. 80 (2003)