Patrick Wischnewski

According to our database, Patrick Wischnewski authored at least 11 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Compliance, Functional Safety and Fault Detection by Formal Methods.

Christof Fetzer, Christoph Weidenbach, Patrick Wischnewski

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Model-Based Variant Management with v.control.

Christopher Junk, Robert Rößger, Georg Rock, Karsten Theis, Christoph Weidenbach, Patrick Wischnewski

Proceedings of the Transdisciplinary Lifecycle Analysis of Systems, 2015

2013

Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material).

Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski

CoRR, 2013

Automated verification of interactive rule-based configuration systems.

Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

Efficient reasoning procedures for complex first-order theories.

Patrick Wischnewski

PhD thesis, 2012

Satisfiability Checking and Query Answering for Large Ontologies.

Christoph Weidenbach, Patrick Wischnewski

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2010

Subterm contextual rewriting.

Christoph Weidenbach, Patrick Wischnewski

AI Commun., 2010

On the Saturation of YAGO.

Martin Suda, Christoph Weidenbach, Patrick Wischnewski

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

External Sources of Axioms in Automated Theorem Proving.

Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

SPASS Version 3.5.

Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski

Proceedings of the Automated Deduction, 2009

2008

Contextual Rewriting in SPASS.

Christoph Weidenbach, Patrick Wischnewski

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008