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

MPI-INF RG1 Publications

MPI-INF RG1 Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 1. by Names

Login to this database


 

Viewing:

1. Author,Editor - 1. by Individual - 1. by Names
Next Page
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
#YearAuthor(s) [non member]TitleType
1
Show details for Vaida, Dragos (ed.)Vaida, Dragos (ed.)
1
Show details for Vaz de Carvalho, Júlia (ed.)Vaz de Carvalho, Júlia (ed.)
1
Show details for Veith, Helmut (ed.)Veith, Helmut (ed.)
1
Show details for Vigneron, Laurent (ed.)Vigneron, Laurent (ed.)
1
Show details for Viswanathan, Mahesh (ed.)Viswanathan, Mahesh (ed.)
1
Show details for Vojtas, Peter (ed.)Vojtas, Peter (ed.)
2
Show details for Voronkov, AndreiVoronkov, Andrei
1
Show details for Voronkov, Andrei VoronkovVoronkov, Andrei Voronkov
15
Show details for Voronkov, Andrei (ed.)Voronkov, Andrei (ed.)
32
Show details for Waldmann, UweWaldmann, Uwe
1
Show details for Wand, DanielWand, Daniel
1
Show details for Weber, AndreasWeber, Andreas
1
Show details for Weber, A.Weber, A.
75
Show details for Weidenbach, ChristophWeidenbach, Christoph
3
Show details for Weidenbach, Christoph (ed.)Weidenbach, Christoph (ed.)
1
Show details for Weydert, EmilWeydert, Emil
1
Show details for Wilhelm, ReinhardWilhelm, Reinhard
7
Show details for Wilhelm, Reinhard (ed.)Wilhelm, Reinhard (ed.)
5
Show details for Wirtz, BorisWirtz, Boris
11
Hide details for Wischnewski, PatrickWischnewski, Patrick
2013[Dhungana, Deepak]
Tang, Ching Hoo
Weidenbach, Christoph
[Wischnewski, Patrick]
Attachment IconAutomated Verification of Interactive Rule-Based Configuration Systems
In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 551-561
Proceedings Article
2012Wischnewski, PatrickAttachment IconEfficient Reasoning Procedures for Complex First-Order Theories
Universität des Saarlandes
Thesis - PhD thesis
2012Weidenbach, Christoph
Wischnewski, Patrick
Satisfiability Checking and Query Answering for large Ontologies
In: PAAR-2012 : Third Workshop on Practical Aspects of Automated Reasoning, 163-177
Electronic Proceedings Article
2010Suda, Martin
Weidenbach, Christoph
Wischnewski, Patrick
On the Saturation of YAGOReport
2010Suda, Martin
Weidenbach, Christoph
Wischnewski, Patrick
On the Saturation of YAGO
In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, 441-456
Proceedings Article
2010Weidenbach, Christoph
Wischnewski, Patrick
Subterm Contextual Rewriting
In: AI Communications [23], 97-109
Journal Article
2009Weidenbach, Christoph
Wischnewski, Patrick
Contextual RewritingReport
2009Suda, Martin
[Sutcliffe, Geoff]
Wischnewski, Patrick
Lamotte-Schubert, Manuel
de Melo, Gerard
Attachment IconExternal Sources of Axioms in Automated Theorem Proving
In: KI 2009: Advances in Artificial Intelligence, 281-288
Proceedings Article
2009Weidenbach, Christoph
Dimova, Dilyana
Fietzke, Arnaud
Suda, Martin
Wischnewski, Patrick
SPASS Version 3.5
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 140-145
Proceedings Article
2008Weidenbach, Christoph
Wischnewski, Patrick
Contextual Rewriting in SPASS
In: PAAR/ESHOL, 115-124
Proceedings Article
2007Wischnewski, PatrickAttachment IconContextual Rewriting in SPASS
Universität des Saarlandes
Thesis - Masters thesis
1
Show details for Wolter, Frank (ed.)Wolter, Frank (ed.)
1
Show details for Yoneda, Tomohiro (ed.)Yoneda, Tomohiro (ed.)
1
Show details for Zakharyaschev, Michael (ed.)Zakharyaschev, Michael (ed.)
3
Show details for Zangl, FabriceZangl, Fabrice
1
Show details for Zeller, Andreas (ed.)Zeller, Andreas (ed.)
2
Show details for Zengler, Christoph (ed.)Zengler, Christoph (ed.)
1
Show details for Zhang, Wenhui (ed.)Zhang, Wenhui (ed.)
1
Show details for Zhang, ZhihaiZhang, Zhihai
1
Show details for Zhao, HantaoZhao, Hantao
2
Show details for Ziemann, JoergZiemann, Joerg
1
Show details for Zimmer, StephanZimmer, Stephan
841
Next Page