Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. - Nicole Rauch; Burkhart Wolff (FMICS, 2003)

Formal Verification of a Commercial Smart Card Applet with Multiple Tools. - Bart Jacobs 001; Claude Marché; Nicole Rauch (AMAST, 2004)

Application and Formal Specification of Sorted Term-Position Algebras. - Arnd Poetzsch-Heffter; Nicole Rauch (WADT, 2004)

Jive Data and Store Model. - Nicole Rauch; Norbert Schirmer (Arch. Formal Proofs, 2005)

A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It). - Jean-Marie Gaillourdet; Patrick Michel; Arnd Poetzsch-Heffter; Nicole Rauch (Programming Logics, 2013)

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)