BibTeX cite key | Author/Editor | Year | | Title | Type |
r-cppipd-00 | Krishna Rao, M. R. K. | 2000 | | Some classes of prolog programs inferable from positive data
In: Theoretical Computer Science [241], 211-223 | Journal Article |
Rao:2000:SCS | Krishna Rao, M. R. K. | 2000 | | Some characteristics of strong innermost normalization
In: Theoretical Computer Science [239], 141-164 | Journal Article |
Ratschan2002 | Ratschan, Stefan
Vehi, Josep | 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 |
Ratschan2003 | Ratschan, Stefan | 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 |
Ratschan2004a | Jaulin, Luc
Ratschan, Stefan
Hardouin, Laurent | 2004 | | Set Computation for Nonlinear Control
In: Reliable Computing [10], 1-26 | Journal Article |
Ratschan2004b | Ratschan, Stefan | 2004 | | Convergent Approximate Solving of First-order Constraints by Approximate Quantifiers
In: ACM Transactions on Computational Logic [5], 264-281 | Journal Article |
Ratschan2005 | Ratschan, Stefan
She, Zhikun | 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 |
Ratschan2005a | Ratschan, Stefan | 2006 | | Efficient Solving of Quantified Inequality Constraints over the Real Numbers
In: ACM Transactions on Computational Logic [7], 723-748 | Journal Article |
Ratschan2005b | Ratschan, Stefan | 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 |
Ratschan2006 | Ratschan, Stefan
Smaus, Jan-Georg | 2006 | | Verification-Integrated Falsification of Non-Deterministic Hybrid Systems
In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ? | Proceedings Article |
Ratschan2007 | Ratschan, Stefan
She, Zhikun | 2007 | | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: ACM Transactions in Embedded Computing Systems [6], 1-23 | Journal Article |
RauRainer97 | Rau, Rainer | 1997 | | Adaption of a Fuzzy Controller for a Cybernetic System through an Evolutionary Algorithm
Universität des Saarlandes | Thesis - Masters thesis |
ReinoldDipl91 | Reinold, Michael | 1991 | | Transformation in dichten Wäldern
Universität des Saarlandes | Thesis - Masters thesis |
rel-ripp-ijcai | Bundy, Alan
Lombart, V. | 1995 | | Relational Rippling: a General Approach
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 175-181 | Proceedings Article |
Rock95 | Rock, Georg | 1995 | | Transformations of First-Order Formulae for Automated Reasoning
Universität des Saarlandes | Thesis - Masters thesis |
Romina2004 | Goncharov, Sergey
Harizanov, Valentina
Knight, Julia F.
Morozov, Andrey
Romina, Anya | 2005 | | On automorphic tuples of elements in computable models
In: Siberian Mathematical Journal [46], 405-412 | Journal Article |
rp780 | Frank, Ian
Basin, David A. | 1996 | | Search in Games with Incomplete Information: A Case Study Using Bridge Card Play | Report |
Rybalchenko-Sofronie-vmcai07 | Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica | 2007 | | Constraint Solving for Interpolation
In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), ? | Proceedings Article |
Rybalchenko2002 | Rybalchenko, Andrey | 2002 | | A Model Checker based on Abstraction Refinement
Universität des Saarlandes | Thesis - Masters thesis |
Rybalchenko2006ICTAC-DC | Meyer, Roland
Faber, Johannes
Rybalchenko, Andrey | 2006 | | Model checking Duration Calculus: a practical approach
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 332-346 | Proceedings Article |
Rybalchenko2007PADL | Podelski, Andreas
Rybalchenko, Andrey | 2007 | | ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259 | Proceedings Article |
Rybalchenko2007PLDI-Paths | Beyer, Dirk
Henzinger, Thomas
Majumdar, Rupak
Rybalchenko, Andrey | 2007 | | Path Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309 | Proceedings Article |
Rybalchenko2007PLDI-Threads | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | 2007 | | Proving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330 | Proceedings Article |
Rybalchenko2007POPL | Cook, Byron
Gotsman, Alexey
Podelski, Andreas
Rybalchenko, Andrey
Vardi, Moshe | 2007 | | Proving that programs eventually do something good
In: 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), 265-276 | Proceedings Article |
Rybalchenko2007VMCAI-InvGen | Beyer, Dirk
Henzinger, Thomas
Majumdar, Rupak
Rybalchenko, Andrey | 2007 | | Invariant Synthesis for Combined Theories
In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, 378-394 | Proceedings Article |
Schaef2005 | Schäf, Martin | 2006 | | Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes | Thesis - Masters thesis |
Schlobach97 | Schlobach, Stefan | 1996 | | Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung
Universität des Saarlandes | Thesis - Masters thesis |
Schmidt92a | Schmidt, Renate A. | 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 |
Schmidt94 | Schmidt, Renate A. | 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 |
Schmidt94a | Schmidt, Renate A. | 1994 | | Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
In: SIGALA Newsletter [2], 27-27 | Journal Article |