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: 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

#Author/EditorYearTitle
2
Show details for BookBook
12
Show details for Part of a BookPart of a Book
7
Show details for ProceedingsProceedings
2
Show details for Electronic ProceedingsElectronic Proceedings
115
Hide details for Proceedings ArticleProceedings Article
Afshordel, Bijan
Hillenbrand, Thomas
Weidenbach, Christoph
2001Attachment IconFirst-Order Atom Definitions Extended
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319
Althaus, Ernst
Kruglov, Evgeny
Weidenbach, Christoph
2009Superposition Modulo Linear Arithmetic SUP(LA)
In: Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, 84-99
Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
1993Set Constraints are the Monadic Class
In: Eighth Annual IEEE Symposium on Logic in Computer Science, 75-83
Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
1993Superposition 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
Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
1992Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434
Barth, Peter
Kleine Büning, Hans
Weidenbach, Christoph
1995Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72
Baumgartner, Peter
Waldmann, Uwe
2009Superposition and Model Evolution Combined
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 17-34
Blanchette, Jasmin Christian
Popescu, Andrei
Wand, Daniel
Weidenbach, Christoph
2012More SPASS with Isabelle : Superposition with Hard Sorts and Configurable Simplification
In: Interactive Theorem Proving : Third International Conference, ITP 2012, 345-360
Burel, Guillaume2010Embedding Deduction Modulo into a Prover
In: Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, 155-169
Damm, Werner
Disch, Stefan
Hungar, Hardi
Jacobs, Swen
Pang, Jun
Pigorsch, Florian
Scholl, Christoph
Waldmann, Uwe
Wirtz, Boris
2007Exact 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
Damm, Werner
Disch, Stefan
Hungar, Hardi
Pang, Jun
Pigorsch, Florian
Scholl, Christoph
Waldmann, Uwe
Wirtz, Boris
2006Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291
Damm, Werner
Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
2011Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata
In: HSCC'11 : Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control, 73-82
Dhungana, Deepak
Tang, Ching Hoo
Weidenbach, Christoph
Wischnewski, Patrick
2013Attachment IconAutomated Verification of Interactive Rule-Based Configuration Systems
In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 551-561
Eggers, Andreas
Kruglov, Evgeny
Kupferschmid, Stefan
Scheibler, Karsten
Teige, Teige
Weidenbach, Christoph
2011SUP(NLA) -- Combining Superposition and Non-Linear Arithmetic
In: 8th International Symposium on Frontiers of Combining Systems, 119-134
Errami, H.
Eiswirth, M.
Grigoriev. D.
Seiler, W.
Sturm, T.
Weber, A.
2013Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates
In: Proceedings of the CASC 2013, 88-99
Faber, Johannes
Ihlemann, Carsten
Jacobs, Swen
Sofronie-Stokkermans, Viorica
2010Automatic Verification of Parametric Specifications with Complex Topologies
In: Integrated Formal Methods : 8th International Conference, IFM 2010, 152-167
Faber, Johannes
Jacobs, Swen
Sofronie-Stokkermans, Viorica
2007Verifying CSP-OZ-DC specifications with complex data types and timing parameters
In: Proceedings of IFM 2007: Integrated Formal Methods, 233-252
Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil
1994Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84
Fietzke, Arnaud
Hermanns, Holger
Weidenbach, Christoph
2010Superposition-based Analysis of First-Order Probabilistic Timed Automata
In: Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, 302-316
Fietzke, Arnaud
Kruglov, Evgeny
Weidenbach, Christoph
2012Automatic Generation of Invariants for Circular Derivations in SUP(LA)
In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, 197-211
Fietzke, Arnaud
Weidenbach, Christoph
2011Superposition as a Decision Procedure for Timed Automata
In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2011),
Fietzke, Arnaud
Weidenbach, Christoph
2008Labelled Splitting
In: IJCAR, 459-474
Fontaine, Pascal
Merz, Stephan
Weidenbach, Christoph
2012Combination of Disjoint Theories: Beyond Decidability
In: Proceedings of the 6th International Joint Conference on Automated Reasoning,
Freiheit, Jörn
Zangl, Fabrice
2006Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151
Gaillourdet, Jean-Marie
Hillenbrand, Thomas
Löchner, Bernd
Spies, Hendrik
2003Attachment IconThe New WALDMEISTER Loop at Work
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 317-321
Ganzinger, Harald
Hillenbrand, Thomas
Waldmann, Uwe
2003Attachment IconSuperposition modulo a Shostak Theory
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 182-196
Ganzinger, Harald
Korovin, Konstantin
2006Theory Instantiation
In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference (LPAR'06), 497-511
Ganzinger, Harald
Korovin, Konstantin
2003Attachment IconNew Directions in Instantiation-Based Theorem Proving
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 55-64
Ganzinger, Harald
Meyer, Christoph
Weidenbach, Christoph
1997Soft Typing for Ordered Resolution
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 321-335
Ganzinger, Harald
Sofronie-Stokkermans, Viorica
2000Attachment IconChaining Techniques for Automated Theorem Proving in Many-Valued Logics
In: Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00), 337-344
Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe
2004Modular Proof Systems for Partial Functions with Weak Equality
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182
Ganzinger, Harald
Waldmann, Uwe
1996Theorem Proving in Cancellative Abelian Monoids (Extended Abstract)
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 388-402
Ganzinger, Harald
Waldmann, Uwe
1992Termination 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
Hillenbrand, Thomas
Löchner, Bernd
2002Attachment IconThe Next WALDMEISTER Loop
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 486-500
Hillenbrand, Thomas
Löchner, Bernd
2001Attachment IconThe Next WALDMEISTER Loop (Extended Abstract)
In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, 13-21
Hillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor
2002Attachment IconIs Logic Effective for Analyzing C Programs?
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 27-30
Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph
2006Sudokus as Logical Puzzles
In: Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 2-12
Horbach, Matthias2010Disunification for Ultimately Periodic Interpretations
In: Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, 290-311
Horbach, Matthias
Sofronie-Stokkermans, Viorica
2013Obtaining Finite Local Theory Axiomatizations via Saturation
In: Frontiers of Combining Systems - 9th International Symposium, 198-213
Horbach, Matthias
Weidenbach, Christoph
2009Decidability Results for Saturation-Based Model Building
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 404-420
Horbach, Matthias
Weidenbach, Christoph
2009Deciding the Inductive Validity of FOR ALL THERE EXISTS* Queries
In: Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, 332-347
Horbach, Matthias
Weidenbach, Christoph
2008Superposition for Fixed Domains
In: CSL, 293-307
Hustadt, Ullrich
Schmidt, Renate A.
Weidenbach, Christoph
1998Optimised Functional Translation and Resolution
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 36-37
Ihlemann, Carsten
Jacobs, Swen
Sofronie-Stokkermans, Viorica
2008On local reasoning in verification
In: Proceedings of TACAS 2008, 265-281
Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
2010On Hierarchical Reasoning in Combinations of Theories
In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, 30-45
Ihlemann, Carsten
Sofronie-Stokkermans, Viorica
2009System Description: H-PILoT
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 131-139
Jacobs, Swen2009Attachment IconIncremental Instance Generation in Local Reasoning
In: Computer Aided Verification : 21st International Conference, CAV 2009, 368-382
Jacobs, Swen2008Attachment IconIncremental Instance Generation in Local Reasoning
In: Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning - CEDAR'08, 47-62
Jacobs, Swen
Waldmann, Uwe
2005Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, 153-168
Jacquemard, Florent
Meyer, Christoph
Weidenbach, Christoph
1998Unification in Extensions of Shallow Equational Theories
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 76-90
Kapur, Deepak
Nieuwenhuis, Robert
Voronkov, Andrei
Weidenbach, Christoph
Wilhelm, Reinhard
2013Harald Ganzinger's Legacy: Contributions to Logics and Programming
In: Programming Logics,
Karrenberg, Ralf
Košta, Marek
Sturm, Thomas
2013Attachment IconPresburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
In: Frontiers of Combining Systems, 56-70
Košta, Marek2013SMT-Based Compiler Support for Memory Access Optimization for Data-Parallel Languages
In: Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and System Sciences, 36-42
Kruglov, Evgeny
Weidenbach, Christoph
2011SUP(T) Decides First-Order Logic Fragment Over Ground Theories
In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS-4),
Lamotte-Schubert, Manuel
Weidenbach, Christoph
2009Attachment IconAnalysis of Authorizations in SAP R/3
In: First-order Theorem Proving, FTP 2009 : International Workshop on First-Order Theorem Proving proceedings, 90-104
Lasaruk, Aless
Sturm, Thomas
2011Automatic Verification of the Adequacy of Models for Families of Geometric Objects
In: Automated Deduction in Geometry : 7th International Workshop, ADG 2008, 116-140
Lev-Ami, Tal
Weidenbach, Christoph
Reps, Thomas
Sagiv, Mooly
2007Labelled Clauses
In: 21st International Conference on Automated Deduction (CADE-21), 311-327
Ludwig, Michel
Waldmann, Uwe
2007An 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
Lu, Tianxiang
Merz, Stephan
Weidenbach, Christoph
2011Towards Verification of the Pastry Routing Protocol using TLA+
In: Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, 244-258
Lu, Tianxiang
Merz, Stephan
Weidenbach, Christoph
2010Attachment IconModel Checking the Pastry Routing Protocol
In: 10th International Workshop Automatic Verification of Critical Systems (AVOCS 2010), 19-21
Lynch, Christopher
Tran, Duc-Khanh
2008SMELS: Satisfiability Modulo Equality with Lazy Superposition
In: Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, 186-200
Nieuwenhuis, Robert
Hillenbrand, Thomas
Riazanov, Alexandre
Voronkov, Andrei
2001Attachment IconOn the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271
Nonnengart, Andreas
Rock, Georg
Weidenbach, Christoph
1998On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411
Prevosto, Virgile
Waldmann, Uwe
2006SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33
Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica
2007Constraint Solving for Interpolation
In: Verification, Model Checking and Abstract Interpretation : 8th International Conference, VMCAI 2007, 346-362
Simon, Carlo
Freiheit, Jörn
Olbrich, Sebastian
2006Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135
Sofronie-Stokkermans, Viorica2013Hierarchical reasoning and model generation for the verification of parametric hybrid systems
In: Proceedings of the 24th International Conference on Automated Deduction (CADE-24), 360-376
Sofronie-Stokkermans, Viorica2010Hierarchical Reasoning for the Verification of Parametric Systems
In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, 171-187
Sofronie-Stokkermans, Viorica2009Locality results for certain extensions of theories with bridging functions
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 67-83
Sofronie-Stokkermans, Viorica2008Efficient hierarchical reasoning about functions over numerical domains
In: KI 2008: Advances in Artificial Intelligence, 135-143
Sofronie-Stokkermans, Viorica2008Locality and subsumption testing in $\mathcalEL$ and some of its extensions
In: Advances in Modal Logic, Vol.7 (Proceedings of AIML 2008), 315-339
Sofronie-Stokkermans, Viorica2007Hierarchical and modular reasoning in complex theories: The case of local theory extensions
In: Frontiers of Combining Systems. 6th International Symposium FroCos 2007, Proceedings, 47-71
Sofronie-Stokkermans, Viorica2007Hierarchical and modular reasoning in complex theories: The case of local theory extensions.
In: Proceedings of the Sixth International Workshop on First-Order Theorem Proving (FTP 2007), 1
Sofronie-Stokkermans, Viorica2006Attachment IconInterpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250
Sofronie-Stokkermans, Viorica2006Sheaves and geometric logic in concurrency
In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ?
Sofronie-Stokkermans, Viorica2005Attachment IconHierarchic reasoning in local theory extensions
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234
Sofronie-Stokkermans, Viorica2004Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras
In: Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004), 32-37
Sofronie-Stokkermans, Viorica2003Attachment IconAutomated theorem proving by resolution in non-classical logics
In: Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03), 151-167
Sofronie-Stokkermans, Viorica2002Attachment IconOn uniform word problems involving bridging operators on distributive lattices
In: Automated Reasoning with Analytic and Related Methods : International Conference, TABLEAUX 2002, 235-250
Sofronie-Stokkermans, Viorica2001Representation theorems and the semantics of (semi)lattice-based logics
In: Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logics, 125-134
Sofronie-Stokkermans, Viorica2000Attachment IconOn unification for bounded distributive lattices
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 465-481
Sofronie-Stokkermans, Viorica2000Attachment IconResolution-based theorem proving for SHn-logics
In: Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98), 268-282
Sofronie-Stokkermans, Viorica1999Attachment IconOn the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 157-171
Sofronie-Stokkermans, Viorica1999Priestley representation for distributive lattices with operators and applications to automated theorem proving
In: Dualities, Interpretability and Ordered Structures, 43-54
Sofronie-Stokkermans, Viorica1999Representation Theorems and Automated Theorem Proving in Non-Classical Logics
In: Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99), 242-247
Sofronie-Stokkermans, Viorica1999Resolution-based theorem proving for non-classical logics based on distributive lattices with operators
In: Proceedings of the 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts, 481-481
Sofronie-Stokkermans, Viorica1998On Translation of Finitely-Valued Logics to Classical First-Order Logic
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 410-411
Sofronie-Stokkermans, Viorica1998Representation Theorems and Automated Theorem Proving in Certain Classes of Non-Classical Logics
In: Proceedings of the Workshop on Many-Valued Logic for AI Applications (ECAI-98), ?-?
Sofronie-Stokkermans, Viorica
Ihlemann, Carsten
2007Automated reasoning in some local extensions of ordered structures
In: Proceedings of ISMVL 2007, Article1
Sofronie-Stokkermans, Viorica
Stokkermans, Karel
1999Attachment IconModeling Interaction by Sheaves and Geometric Logic
In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), 512-523
Sturm, Thomas
Tiwari, Ashish
2011Verification and Synthesis Using Real Quantifier Elimination
In: ISSAC 2011 : Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, 329-336
Suda, Martin
Sutcliffe, Geoff
Wischnewski, Patrick
Lamotte-Schubert, Manuel
de Melo, Gerard
2009Attachment IconExternal Sources of Axioms in Automated Theorem Proving
In: KI 2009: Advances in Artificial Intelligence, 281-288
Suda, Martin
Weidenbach, Christoph
2012Attachment IconA PLTL-prover based on labelled superposition with partial model guidance
In: Automated Reasoning : 6th International Joint Conference, IJCAR 2012, 537-543
Suda, Martin
Weidenbach, Christoph
2012Attachment IconLabelled Superposition for PLTL
In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, 391-405
Suda, Martin
Weidenbach, Christoph
Wischnewski, Patrick
2010On the Saturation of YAGO
In: Automated Reasoning : 5th International Joint Conference, IJCAR 2010, 441-456
Waldmann, Uwe2002A New Input Technique for Accented Letters in Alphabetical Scripts
In: Proceedings of the 20th International Unicode Conference, C12
Waldmann, Uwe2001Superposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 226-241
Waldmann, Uwe1999Cancellative 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
Waldmann, Uwe1998Superposition for Divisible Torsion-Free Abelian Groups
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159
Waldmann, Uwe1997A Superposition Calculus for Divisible Torsion-Free Abelian Groups
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 130-134
Weidenbach, Christoph1999Towards an Automatic Analysis of Security Protocols in First-Order Logic
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 378-382
Weidenbach, Christoph1996Sorted Unification and Its Application to Automated Theorem Proving
In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, 67-76
Weidenbach, Christoph1996Unification in Pseudo-Linear Sort Theories is Decidable
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 343-357
Weidenbach, Christoph1996Unification in Sort Theories
In: Proceedings of the 10th International Workshop on Unification, UNIF'96, 16-25
Weidenbach, Christoph1994First-Order Tableaux with Sorts
In: TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, 247-261
Weidenbach, Christoph1994Sorts, Resolution, Tableaux and Propositional Logic
In: KI-94 Workshops: Extended Abstracts, 315-316
Weidenbach, Christoph1993A New Sorted Logic
In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, 43-54
Weidenbach, Christoph1993Extending the Resolution Method with Sorts
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93), 60-65
Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor
1999System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318
Weidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor
2002Attachment IconSPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279
Weidenbach, Christoph
Dimova, Dilyana
Fietzke, Arnaud
Suda, Martin
Wischnewski, Patrick
2009SPASS Version 3.5
In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, 140-145
Weidenbach, Christoph
Gaede, Bernd
Rock, Georg
1996SPASS & FLOTTER, Version 0.42
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 141-145
Weidenbach, Christoph
Schmidt, Renate
Hillenbrand, Thomas
Rusev, Rostislav
Topic, Dalibor
2007Attachment IconSystem Description: Spass Version 3.0
In: Automated Deduction --- CADE-21 : 21st International Conference on Automated Deduction, 514-520
Weidenbach, Christoph
Wischnewski, Patrick
2008Contextual Rewriting in SPASS
In: PAAR/ESHOL, 115-124
Ziemann, Joerg
Matheis, Thomas
Freiheit, Jörn
2007Modelling of Cross-Organizational Business Processes
In: Enterprise Modelling and Information Systems Architectures 2007, 87-95
13
Show details for Electronic Proceedings ArticleElectronic Proceedings Article
42
Show details for Journal ArticleJournal Article
8
Show details for Electronic Journal ArticleElectronic Journal Article
17
Show details for ReportReport
4
Show details for Thesis - Bachelor thesisThesis - Bachelor thesis
15
Show details for Thesis - Master's thesisThesis - Master's thesis
9
Show details for Thesis - Doctoral dissertationThesis - Doctoral dissertation
2
Show details for Thesis - Habilitation thesisThesis - Habilitation thesis
3
Show details for Thesis - Diploma thesisThesis - Diploma thesis
1
Show details for Unpublished/DraftUnpublished/Draft
1
Show details for MiscellaneousMiscellaneous
253

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