Manuel Lamotte-Schubert

According to our database, Manuel Lamotte-Schubert authored at least 5 papers between 2009 and 2017.

Collaborative distances:

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

2017

BDI: a new decidable clause class.

Manuel Lamotte-Schubert, Christoph Weidenbach

J. Log. Comput., 2017

2015

Automatic authorization analysis.

Manuel Lamotte-Schubert

PhD thesis, 2015

2013

BDI: A New Decidable First-order Clause Class.

Manuel Lamotte-Schubert, Christoph Weidenbach

Proceedings of the LPAR 2013, 2013

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

Analysis of Authorizations in SAP R/3.

Manuel Lamotte-Schubert, Christoph Weidenbach

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009