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 Ramakrishnan, C. R. (ed.)Ramakrishnan, C. R. (ed.)
1
Show details for Ranise, SilvioRanise, Silvio
1
Show details for Ranise, Silvio (ed.)Ranise, Silvio (ed.)
2
Show details for Ratschan, Stefan (ed.)Ratschan, Stefan (ed.)
1
Show details for Rehof, Jakob (ed.)Rehof, Jakob (ed.)
1
Show details for Reischuk, Rüdiger (ed.)Reischuk, Rüdiger (ed.)
1
Show details for Remenyi, Dan (ed.)Remenyi, Dan (ed.)
1
Show details for Rémy, J.-L. (ed.)Rémy, J.-L. (ed.)
1
Show details for Renate A. Schmidt (ed.)Renate A. Schmidt (ed.)
1
Show details for Reps, ThomasReps, Thomas
1
Show details for Reuter, JochenReuter, Jochen
1
Show details for Riazanov, AlexandreRiazanov, Alexandre
1
Show details for Ringeissen, Christophe (ed.)Ringeissen, Christophe (ed.)
1
Show details for Ringeissen, ChristopherRingeissen, Christopher
2
Show details for Robinson, Alan (ed.)Robinson, Alan (ed.)
2
Show details for Rock, GeorgRock, Georg
1
Show details for Roggenbach, Markus (ed.)Roggenbach, Markus (ed.)
1
Show details for Rosati, Riccardo (ed.)Rosati, Riccardo (ed.)
1
Show details for Rudeanu, Sergiu (ed.)Rudeanu, Sergiu (ed.)
1
Show details for Rudolph, Sebastian (ed.)Rudolph, Sebastian (ed.)
1
Show details for Rump, Frank J. (ed.)Rump, Frank J. (ed.)
2
Show details for Rusev, RostislavRusev, Rostislav
1
Show details for Rusinowitch, Michael (ed.)Rusinowitch, Michael (ed.)
1
Show details for Rusinowitch, M. (ed.)Rusinowitch, M. (ed.)
3
Show details for Rybalchenko, AndreyRybalchenko, Andrey
1
Show details for Sagiv, MoolySagiv, Mooly
1
Show details for Salzer, Gernot (ed.)Salzer, Gernot (ed.)
1
Show details for SanJuan, Eric (ed.)SanJuan, Eric (ed.)
1
Show details for Sattler, Uli (ed.)Sattler, Uli (ed.)
1
Show details for Sattler, UlrikeSattler, Ulrike
4
Show details for Sattler, Ulrike (ed.)Sattler, Ulrike (ed.)
1
Show details for Scheibler, KarstenScheibler, Karsten
1
Show details for Schmidt, RenateSchmidt, Renate
2
Show details for Schmidt, Renate A.Schmidt, Renate A.
6
Show details for Schmidt, Renate A. (ed.)Schmidt, Renate A. (ed.)
1
Show details for Schmidt, Renate (ed.)Schmidt, Renate (ed.)
1
Show details for Schmitt, Peter H. (ed.)Schmitt, Peter H. (ed.)
5
Show details for Scholl, ChristophScholl, Christoph
1
Show details for Schulz, Klaus U. (ed.)Schulz, Klaus U. (ed.)
2
Show details for Schulz, Stephan (ed.)Schulz, Stephan (ed.)
2
Show details for Sebastiani, Roberto (ed.)Sebastiani, Roberto (ed.)
1
Show details for Seiler, W.Seiler, W.
1
Show details for Shankar, Natarajan (ed.)Shankar, Natarajan (ed.)
1
Show details for Sigayret, Alain (ed.)Sigayret, Alain (ed.)
1
Show details for Sijanski, GrozdanaSijanski, Grozdana
1
Show details for Simon, CarloSimon, Carlo
1
Show details for Slaney, John K. (ed.)Slaney, John K. (ed.)
2
Show details for Slaney, J. K. (ed.)Slaney, J. K. (ed.)
75
Show details for Sofronie-Stokkermans, VioricaSofronie-Stokkermans, Viorica
12
Show details for Sofronie-Stokkermans, Viorica (ed.)Sofronie-Stokkermans, Viorica (ed.)
1
Show details for Spies, HendrikSpies, Hendrik
1
Show details for Stickel, Mark E. (ed.)Stickel, Mark E. (ed.)
1
Show details for Stickel, Mark (ed.)Stickel, Mark (ed.)
1
Show details for Stokkermans, KarelStokkermans, Karel
1
Show details for Stoyan, Herbert (ed.)Stoyan, Herbert (ed.)
4
Show details for Sturm, ThomasSturm, Thomas
3
Show details for Sturm, Thomas (ed.)Sturm, Thomas (ed.)
1
Show details for Sturm, T.Sturm, T.
6
Show details for Suda, MartinSuda, Martin
1
Show details for Sutcliffe, GeoffSutcliffe, Geoff
1
Show details for Sutcliffe, Geoff (ed.)Sutcliffe, Geoff (ed.)
1
Show details for Tang, Ching HooTang, Ching Hoo
1
Show details for Teige, TeigeTeige, Teige
1
Show details for Teucke, AndreasTeucke, Andreas
2
Show details for Theobalt, ChristianTheobalt, Christian
2
Show details for Tinelli, Cesare (ed.)Tinelli, Cesare (ed.)
2
Show details for Tiwari, AshishTiwari, Ashish
2
Show details for Tiwari, Ashish (ed.)Tiwari, Ashish (ed.)
2
Show details for Topic, DaliborTopic, Dalibor
3
Show details for Topić, DaliborTopić, Dalibor
2
Show details for Tran, Duc-KhanhTran, Duc-Khanh
2
Show details for Turunen, Esko (ed.)Turunen, Esko (ed.)
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
Hide details for Waldmann, UweWaldmann, Uwe
2013Hillenbrand, Thomas
[Piskac, Ruzica]
Waldmann, Uwe
Weidenbach, Christoph
From Search to Computation: Redundancy Criteria and Simplification at Work
In: Programming Logics, Essays in Memory of Harald Ganzinger, ?
Part of a Book
2012[Damm, Werner]
[Dierks, Henning]
[Disch, Stefan]
Hagemann, Willem
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
In: Science of Computer Programming [77], 1122-1150
Journal Article
2011[Baumgartner, Peter]
Waldmann, Uwe
A Combined Superposition and Model Evolution Calculus
In: Journal of Automated Reasoning [47], 191-227
Journal Article
2011[Damm, Werner]
[Dierks, Henning]
[Disch, Stefan]
Hagemann, Willem
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Attachment IconExact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces
In: Science of Computer Programming [in press], 1-29
Electronic Journal Article
2011[Damm, Werner]
[Disch, Stefan]
Hagemann, Willem
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Integrating incremental flow pipes into a symbolic model checker for hybrid systemsReport
2009[Baumgartner, Peter]
Waldmann, Uwe
Superposition and Model Evolution Combined
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 17-34
Proceedings Article
2007[Ludwig, Michel]
Waldmann, Uwe
An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, 348-362
Proceedings Article
2007Jacobs, Swen
Waldmann, Uwe
Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Journal of Automated Reasoning [38], 57-78
Journal Article
2007[Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
Jacobs, Swen
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, 425-440
Proceedings Article
2006[Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291
Proceedings Article
2006Jacobs, Swen
Waldmann, Uwe
Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Journal of Automated Reasoning [38], 57-78
Electronic Journal Article
2006Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe
Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492
Journal Article
2006[Prevosto, Virgile]
Waldmann, Uwe
SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33
Proceedings Article
2005Jacobs, Swen
Waldmann, Uwe
Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, 153-168
Proceedings Article
2004Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe
Modular Proof Systems for Partial Functions with Weak Equality
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182
Proceedings Article
2003Ganzinger, Harald
Hillenbrand, Thomas
Waldmann, Uwe
Attachment IconSuperposition modulo a Shostak Theory
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 182-196
Proceedings Article
2002Waldmann, UweA New Input Technique for Accented Letters in Alphabetical Scripts
In: Proceedings of the 20th International Unicode Conference, C12
Proceedings Article
2002Waldmann, UweCancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
In: Journal of Symbolic Computation [33], 831-861
Journal Article
2002Waldmann, UweCancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
In: Journal of Symbolic Computation [33], 777-829
Journal Article
2001Waldmann, UweSuperposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 226-241
Proceedings Article
1999Waldmann, UweCancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), 131-147
Proceedings Article
1998Waldmann, UweExtending reduction orderings to ACU-compatible reduction orderings
In: Information Processing Letters [67], 43-49
Journal Article
1998Waldmann, UweSuperposition for Divisible Torsion-Free Abelian Groups
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159
Proceedings Article
1997Waldmann, UweA Superposition Calculus for Divisible Torsion-Free Abelian Groups
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 130-134
Proceedings Article
1997Waldmann, UweCancellative Abelian Monoids in Refutational Theorem Proving
Universität des Saarlandes
Thesis - PhD thesis
1996Ganzinger, Harald
Waldmann, Uwe
Theorem Proving in Cancellative Abelian Monoids (Extended Abstract)
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 388-402
Proceedings Article
1994Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
Refutational Theorem Proving for Hierarchic First-Order Theories
In: Applicable Algebra in Engineering, Communication and Computing (AAECC) [5], 193-212
Journal Article
1993[Bachmair, Leo]
Ganzinger, Harald
Waldmann, Uwe
Set Constraints are the Monadic Class
In: Eighth Annual IEEE Symposium on Logic in Computer Science, 75-83
Proceedings Article
1993[Bachmair, Leo]
Ganzinger, Harald
Waldmann, Uwe
Superposition with simplification as a decision procedure for the monadic class with equality
In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, 83-96
Proceedings Article
1992Waldmann, UweSemantics of Order-Sorted Specifications
In: Theoretical Computer Science [94], 1-35
Journal Article
1992Ganzinger, Harald
Waldmann, Uwe
Termination Proofs of Well-Moded Logic Programs Via Conditional Rewrite Systems
In: Proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems '92, 430-437
Proceedings Article
1992Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434
Proceedings Article
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
Show details for Wischnewski, PatrickWischnewski, Patrick
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