Author/Editor [Non Institute] | Year | | Title | Type |
Rahman, Rückert, Fischmann
[Rahman, Rückert] | 1997 | | Dialogues and Ontology, the Dialogical Approach to Free Logic
In: Logique et Analyse [160], 357-374 | Journal Article |
Ratschan
(Ed: Dolzmann, Seidl, Sturm)
[-] | 2005 | | Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems
In: Algorithmic Algebra and Logic; Conference in Honor of the 60th Birthday of Volker Weispfenning, 213-216 | Proceedings Article |
Ratschan
(Ed: Rossi)
[-] | 2003 | | Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities
In: Principles and practice on constraint programming - CP 2003 : 9th International Conference, CP 2003, 615-633 | Proceedings Article |
Ratschan
[-] | 2006 | | Efficient Solving of Quantified Inequality Constraints over the Real Numbers
In: ACM Transactions on Computational Logic [7], 723-748 | Journal Article |
Ratschan
[-] | 2004 | | Convergent Approximate Solving of First-order Constraints by Approximate Quantifiers
In: ACM Transactions on Computational Logic [5], 264-281 | Journal Article |
Ratschan, She
(Ed: Calmet, Ida, Wang)
[-] | 2006 | | Constraints for Continuous Reachability in the Verification of Hybrid Systems
In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, 196-210 | Proceedings Article |
Ratschan, She
(Ed: Morari, Thiele)
[-] | 2005 | | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, 573-589 | Proceedings Article |
Ratschan, She
[-] | 2007 | | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: ACM Transactions in Embedded Computing Systems [6], 1-23 | Journal Article |
Ratschan, Smaus
(Ed: Cassandras, Giua, Seatzu, Zaytoon)
[-] | 2006 | | Verification-Integrated Falsification of Non-Deterministic Hybrid Systems
In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ? | Proceedings Article |
Ratschan, Vehi
(Ed: Bittanti)
[-] | 2004 | | Robust Pole Clustering of Parametric Uncertain Systems Using Interval Methods
In: Robust control design 2003 : (ROCOND 2003) ; a proceedings volume from the 4th IFAC symposium, 323-328 | Proceedings Article |
Rau
[-] | 1997 | | Adaption of a Fuzzy Controller for a Cybernetic System through an Evolutionary Algorithm
Universität des Saarlandes | Thesis - Masters thesis |
Reinold
[-] | 1991 | | Transformation in dichten Wäldern
Universität des Saarlandes | Thesis - Masters thesis |
Rock
[-] | 1995 | | Transformations of First-Order Formulae for Automated Reasoning
Universität des Saarlandes | Thesis - Masters thesis |
Rybalchenko
[-] | 2007 | | Precise Thread-Modular Verification
In: 14th International Static Analysis Symposium (SAS 2007), ? | Proceedings Article |
Rybalchenko
[-] | 2002 | | A Model Checker based on Abstraction Refinement
Universität des Saarlandes | Thesis - Masters thesis |
Rybalchenko, Sofronie-Stokkermans
(Ed: Cook, Podelski)
[-] | 2007 | | Constraint Solving for Interpolation
In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), ? | Proceedings Article |
Schäf
[-] | 2006 | | Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes | Thesis - Masters thesis |
Schlobach
[-] | 1996 | | Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung
Universität des Saarlandes | Thesis - Masters thesis |
Schmidt
(Ed: Böttner, Thümmel)
[Böttner, Thümmel] | 2000 | | Relational Grammars for Knowledge Representation
In: Variable-Free Semantics, 162-180 | Part of a Book |
Schmidt
(Ed: Brink, Schmidt)
[-] | 1994 | | Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
In: Relational Methods in Computer Science; Dagstuhl Seminar Report 80 (9403), 21-22 | Proceedings Article |
Schmidt
(Ed: Kracht, de Rijke, Wansing, Zakharyaschev)
[Kracht, de Rijke, Wansing, Zakharyaschev] | 1998 | | Resolution is a Decision Procedure for Many Propositional Modal Logics
In: Advances in Modal Logic, Volume 1, 189-208 | Part of a Book |
Schmidt
(Ed: Kunze, Stoyan)
[-] | 1994 | | Terminological Logics and Conceptual Graphs: An Historical Perspective
In: KI-94 Workshops: Extended Abstracts, 135-136 | Proceedings Article |
Schmidt
(Ed: Nipkow)
[Nipkow] | 1998 | | E-Unification for Subsystems of S4
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 106-120 | Proceedings Article |
Schmidt
(Ed: Ohlbach)
[-] | 1993 | | Terminological Representation, Natural Language \& Relation Algebra
In: GWAI-92: Advances in Artificial Intelligence: Proc.~16th German Workshop on Artificial Intelligence, 357-371 | Proceedings Article |
Schmidt
[-] | 1999 | | Decidability by Resolution for Propositional Modal Logics
In: Journal of Automated Reasoning [22], 379-396 | Journal Article |
Schmidt
[-] | 1997 | | Optimised Modal Translation and Resolution
Universität des Saarlandes | Thesis - PhD thesis |
Schmidt
[-] | 1994 | | Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
In: SIGALA Newsletter [2], 27-27 | Journal Article |
Schmidt, Hustadt
(Ed: Baader)
[-] | 2003 | | A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 412-426 | Proceedings Article |
Schmidt, Orłowska, Hustadt
(Ed: Berghammer, Möller, Struth)
[-] | 2004 | | Two Proof Systems for Peirce Algebras
In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 238-251 | Proceedings Article |
Schmidt, Tishkovsky
(Ed: Balbiani, Suzuki, Wolter, Zakharyaschev)
[Schmidt, Tishkovsky] | 2003 | | Combining Dynamic Logic and Doxastic Modal Logics
In: Advances in Modal Logic, 371-391 | Part of a Book |