Sketch-as-Proof. - Norbert Preining (Kurt Gödel Colloquium, 1997)

Gödel Logics and Cantor-Bendixon Analysis. - Norbert Preining (LPAR, 2002)

Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics. - Matthias Baaz; Norbert Preining; Richard Zach (ISMVL, 2003)

Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta. - Matthias Baaz; Norbert Preining; Richard Zach (ISMVL, 2006)

First-order Gödel logics. - Matthias Baaz; Norbert Preining; Richard Zach (Ann. Pure Appl. Log., 2007)

Linear Kripke frames and Gödel logics. - Arnold Beckmann; Norbert Preining (J. Symb. Log., 2007)

Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega. - Matthias Baaz; Norbert Preining (J. Log. Comput., 2008)

Continuous Fraïssé Conjecture. - Arnold Beckmann; Martin Goldstern; Norbert Preining (Order, 2008)

SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. - Matthias Baaz; Agata Ciabattoni; Norbert Preining (WoLLIC, 2009)

Gödel Logics - A Survey. - Norbert Preining (LPAR (Yogyakarta), 2010)

First-order satisfiability in Gödel logics: An NP-complete fragment. - Matthias Baaz; Agata Ciabattoni; Norbert Preining (Theor. Comput. Sci., 2011)

An Empirical Illustration to Validate a FLOSS Development Model Using S-Shaped Curves. - Ana Erika Camargo Cruz; Hajimu Iida; Norbert Preining (ICSM, 2013)

Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications. - Norbert Preining; Kazuhiro Ogata 001; Kokichi Futatsugi (LOPSTR, 2014)

Hyper Natural Deduction. - Arnold Beckmann; Norbert Preining (LICS, 2015)

Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences. - Arnold Beckmann; Norbert Preining (J. Log. Comput., 2015)

On Formal Verification in Imperative Multivalued Programming over Continuous Data Types. - Norbert Th. Müller; Sewon Park 001; Norbert Preining; Martin Ziegler 001 (CoRR, 2016)

Gödel logics and the fully boxed fragment of LTL. - Matthias Baaz; Norbert Preining (LPAR, 2017)

Deciding logics of linear Kripke frames with scattered end pieces. - Arnold Beckmann; Norbert Preining (Soft Comput., 2017)

Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoning. - Arnold Beckmann; Norbert Preining (J. Log. Comput., 2018)

On the classification of first order Gödel logics. - Matthias Baaz; Norbert Preining (Ann. Pure Appl. Log., 2019)

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation. - Sewon Park 001; Franz Brauße; Pieter Collins; SunYoung Kim; Michal Konecný; Gyesik Lee; Norbert Th. Müller; Eike Neumann; Norbert Preining; Martin Ziegler 001 (Log. Methods Comput. Sci., 2024)