Patrick Wischnewski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2008–2016
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ISoLA | Compliance, Functional Safety and Fault Detection by Formal Methods. | Christof Fetzer, Christoph Weidenbach, Patrick Wischnewski |
| 2012 | CADE | Satisfiability Checking and Query Answering for Large Ontologies. | Christoph Weidenbach, Patrick Wischnewski |
| 2010 | CADE | On the Saturation of YAGO. | Martin Suda, Christoph Weidenbach, Patrick Wischnewski |
| 2009 | CADE | SPASS Version 3.5. | Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski |
| 2009 | KI | External Sources of Axioms in Automated Theorem Proving. | Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo |
| 2008 | CADE | Contextual Rewriting in SPASS. | Christoph Weidenbach, Patrick Wischnewski |