Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF RG1 Publications

MPI-INF RG1 Publications

Entries sorted by: 3. Type of Publication - 1. All Types

Login to this database


Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Show details for BookBook
Show details for Part of a BookPart of a Book
Show details for ProceedingsProceedings
Show details for Electronic ProceedingsElectronic Proceedings
Show details for Proceedings ArticleProceedings Article
Hide details for Electronic Proceedings ArticleElectronic Proceedings Article
Gasse, Francis
Sofronie-Stokkermans, Viorica
2011Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0
In: Proceedings of the 2011 International Workshop on Description Logics (DL-2011), 125-135
Hillenbrand, Thomas2004Attachment IconA Superposition View on Nelson-Oppen
In: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 16-20
Hillenbrand, Thomas2003Attachment IconCitius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER
In: Proceedings of the 4th International Workshop on First Order Theorem Proving, FTP'03, 1-13
Jacobs, Swen
Sofronie-Stokkermans, Viorica
2006Applications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26
Lamotte-Schubert, Manuel
Weidenbach, Christoph
2009Analysis of Authorizations in SAP R/3
In: FTP 2009 : First-Order Theorem Proving, 90-104
Lilith, Nimrod
Billington, Jonathan
Freiheit, Jörn
2006Approximate Closed-Form Aggregation of a Fork-Join Structure in Generalised Stochastic Petri Nets
In: Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, 1-10
Sofronie-Stokkermans, Viorica2010Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms-
In: Interaction versus Automation : the two Faces of Deduction, 1-33
Sofronie-Stokkermans, Viorica2009Reasoning in Complex Theories and Applications. Advanced Lecture
In: ESSLLI 2009 : European Summer School in Logic, Language and Information, 1-64
Sofronie-Stokkermans, Viorica2008Locality and subsumption testing in $\mathcalEL$ and some of its extensions
In: Proceedings of the 21st International Workshop on Description Logics (DL-2008), 11pages
Sofronie-Stokkermans, Viorica2007On unification in certain finitely generated varieties of algebras
In: Proceedings of the 21th International Workshop on Unification (UNIF 2007), 1-5
Sofronie-Stokkermans, Viorica2006Local reasoning in verification
In: IJCAR'06 Workshop : VERIFY'06: Verification Workshop, 128-145
Sofronie-Stokkermans, Viorica
Ihlemann, Carsten
Jacobs, Swen
2007Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
In: Deduction and Decision Procedures, 1-22
Weidenbach, Christoph
Wischnewski, Patrick
2012Satisfiability Checking and Query Answering for large Ontologies
In: PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning, 163-177
Show details for Journal ArticleJournal Article
Show details for Electronic Journal ArticleElectronic Journal Article
Show details for ReportReport
Show details for Thesis - Bachelor thesisThesis - Bachelor thesis
Show details for Thesis - Master's thesisThesis - Master's thesis
Show details for Thesis - Doctoral dissertationThesis - Doctoral dissertation
Show details for Thesis - Habilitation thesisThesis - Habilitation thesis
Show details for Thesis - Diploma thesisThesis - Diploma thesis
Show details for Unpublished/DraftUnpublished/Draft
Show details for MiscellaneousMiscellaneous

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)