| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: ACM Transactions in Embedded Computing Systems [6], 1-23 | Ratschan, Stefan
She, Zhikun | | 2007 | Journal Article |
| Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, 573-589 | Ratschan, Stefan
She, Zhikun | Morari, Manfred
Thiele, Lothar | 2005 | Proceedings Article |
| Saturation-Based Decision Procedures For Extensions Of The Guarded Fragment
Universität des Saarlandes | Kazakov, Yevgeny | | 2006 | Thesis - PhD thesis |
| Saturation-based theorem proving (abstract)
In: Automata, Languages and Programming: International Colloquium (ICALP-23), 1-3 | Ganzinger, Harald | Meyer auf der Heide, Friedhelm
Monien, Burkhard | 1996 | Proceedings Article |
| SCAN-Elimination of Predicate Quantifiers
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165 | Ohlbach, Hans Jürgen | [McRobbie, M. A.]
[Slaney, J. K.] | 1996 | Proceedings Article |
| SCAN is complete for all Sahlqvist formulae
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, 149-162 | [Goranko, Valentin]
[Hustadt, Ullrich]
Schmidt, Renate A.
[Vakarelov, Dimiter] | [Berghammer, Rudolf]
[Möller, Bernhard]
[Struth, Georg] | 2004 | Proceedings Article |
| Scoped Metatheorems
In: Electronic Notes in Computer Science [15], 1-14 | Matthews, Seán
Basin, David A. | | 1998 | Journal Article |
| Search in Games with Incomplete Information: A Case Study Using Bridge Card Play | [Frank, Ian]
Basin, David A. | | 1996 | Report |
| Search in Games with Incomplete Information: A Case Study Using Bridge Card Play
In: Artificial Intelligence [100], 87-123 | [Frank, Ian]
Basin, David A. | | 1998 | Journal Article |
| Selbstlernende Fuzzy-Controller auf der Basis Genetischer Algorithmen
In: Fuzzy-Systeme '93 / Management unsicherer Informationen, 21-27 | Hopf, Jörn
[Klawonn, Frank] | | 1993 | Proceedings Article |
| Semantically Guided First-Order Theorem Proving using Hyper-Linking
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 192-206 | [Chu, Heng]
Plaisted, David A. | Bundy, Alan | 1994 | Proceedings Article |
| Semantics Based Translation Methods for Modal Logics
In: Journal of Logic and Computation [1], 691-746 | Ohlbach, Hans Jürgen | | 1991 | Journal Article |
| Semantics of Order-Sorted Specifications
In: Theoretical Computer Science [94], 1-35 | Waldmann, Uwe | | 1992 | Journal Article |
| Semi-completeness of Hierarchical and Super-hierarchical Combinations of Term Rewriting Systems
In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development, 379-393 | Krishna Rao, M. R. K. | [Mosses, Peter]
[Nielsen, Mogens]
[Schwartzbach, Michael] | 1995 | Proceedings Article |
| Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
In: Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 124-139 | [Pnueli, Amir]
Podelski, Andreas
Rybalchenko, Andrey | [Halbwachs, Nicolas]
[Zuck, Lenore] | 2005 | Proceedings Article |
| Set-Based Analysis of Logic Programs and Reactive Logic Programs
In: Proceedings of the International Symposium on Logic Programming (ILPS-14), 35-36 | Podelski, Andreas | Maluszynski, Jan | 1997 | Proceedings Article |
| Set-Based Analysis of Reactive Infinite-state Systems
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98), 358-375 | Charatonik, Witold
Podelski, Andreas | [Steffen, Bernhardt] | 1998 | Proceedings Article |
| Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
In: Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99), 177-192 | Podelski, Andreas
Charatonik, Witold
[Müller, Martin] | [Swierstra, S. Doaitse] | 1999 | Proceedings Article |
| Set Computation for Nonlinear Control
In: Reliable Computing [10], 1-26 | [Jaulin, Luc]
Ratschan, Stefan
[Hardouin, Laurent] | | 2004 | Journal Article |
| Set Constraints are the Monadic Class
In: Eighth Annual IEEE Symposium on Logic in Computer Science, 75-83 | [Bachmair, Leo]
Ganzinger, Harald
Waldmann, Uwe | | 1993 | Proceedings Article |
| Set Constraints in Some Equational Theories
In: Information and Computation [142], 40-75 | Charatonik, Witold | | 1998 | Journal Article |
| Set Constraints with Intersection
In: Information and Computation [179], 213-229 | Charatonik, Witold
Podelski, Andreas | | 2002 | Journal Article |
| Set Constraints with Intersection
In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 362-372 | Charatonik, Witold
Podelski, Andreas | [Winskel, Glynn] | 1997 | Proceedings Article |
| Set Constraints: a Pearl in Research on Constraints
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562 | [Pacholski, Leszek]
Podelski, Andreas | [Smolka, Gert] | 1997 | Proceedings Article |
| Sheaves and geometric logic in concurrency
In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ? | Sofronie-Stokkermans, Viorica | | 2006 | Proceedings Article |
| SHn-algebras (Symmetric Heyting algebras of order n)
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-11 | [Iturrioz, Luisa]
Sofronie-Stokkermans, Viorica | [Iturrioz, Luisa]
[Orlowska, Ewa]
[Turunen, Esko] | 2000 | Part of a Book |
| Short vectors of planar integral lattices via continued fractions
In: Information Processing Letters [79], 121-126 | Eisenbrand, Friedrich | | 2001 | Journal Article |
| Shostak Light
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 332-346 | Ganzinger, Harald | [Voronkov, Andrei] | 2002 | Proceedings Article |
| Simplification and backjumping in modal tableau
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 187-201 | Hustadt, Ullrich
Schmidt, Renate A. | [de Swart, Harrie] | 1998 | Proceedings Article |
| Simplifying Clausal Satisfiability Problems
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33 | Barth, Peter | Jouannaud, Jean-Pierre | 1994 | Proceedings Article |