Norbert Preining

According to our database1, Norbert Preining authored at least 21 papers between 1997 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation.
Log. Methods Comput. Sci., 2024

2019
On the classification of first order Gödel logics.
Ann. Pure Appl. Log., 2019

2018
Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoning.
J. Log. Comput., 2018

2017
Deciding logics of linear Kripke frames with scattered end pieces.
Soft Comput., 2017

Gödel logics and the fully boxed fragment of LTL.
Proceedings of the LPAR-21, 2017

2016
On Formal Verification in Imperative Multivalued Programming over Continuous Data Types.
CoRR, 2016

2015
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences.
J. Log. Comput., 2015

Hyper Natural Deduction.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014
Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2013
An Empirical Illustration to Validate a FLOSS Development Model Using S-Shaped Curves.
Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

2011
First-order satisfiability in Gödel logics: An NP-complete fragment.
Theor. Comput. Sci., 2011

2010
Gödel Logics - A Survey.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability.
Proceedings of the Logic, 2009

2008
Continuous Fraïssé Conjecture.
Order, 2008

Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega.
J. Log. Comput., 2008

2007
Linear Kripke frames and Gödel logics.
J. Symb. Log., 2007

First-order Gödel logics.
Ann. Pure Appl. Log., 2007

2006
Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta.
Proceedings of the 36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 2006

2003
Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics.
Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003

2002
Gödel Logics and Cantor-Bendixon Analysis.
Proceedings of the Logic for Programming, 2002

1997
Sketch-as-Proof.
Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997


  Loading...