Norbert Preining
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2002–2017
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | LPAR | Gdel logics and the fully boxed fragment of LTL. | Matthias Baaz, Norbert Preining |
| 2015 | LICS | Hyper Natural Deduction. | Arnold Beckmann, Norbert Preining |
| 2014 | LOPSTR | Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications. | Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi |
| 2010 | LPAR | Gdel Logics - A Survey. | Norbert Preining |
| 2009 | WoLLIC | SAT in Monadic Gdel Logics: A Borderline between Decidability and Undecidability. | Matthias Baaz, Agata Ciabattoni, Norbert Preining |
| 2002 | LPAR | Gdel Logics and Cantor-Bendixon Analysis. | Norbert Preining |