| # | Y |  | Author/Editor | | Title | |
|---|
| 1 |
 | 2013 |
| |
| 2 |
| |
| 16 |
| 2007 |
| |
| 43 |
| |
| 41 |
 | 2005 |
| |
| 1 |
|
| |
| 22 |
|
| Proceedings Article |
| |
| | | Baumgartner, Peter
Furbach, Ulrich
Gross-Hardt, Margret
Kleemann, Thomas | | Optimizing the Evaluation of XPath Using Description Logics
In: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, 1-15 | |
| | | Baumgartner, Peter
Tinelli, Cesare | | The Model Evolution Calculus with Equality
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 392-408 | |
| | | Charatonik, Witold
Georgieva, Lilia
Maier, Patrick | | Bounded Model Checking of Pointer Programs
In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, 397-412 | |
| | | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | | Abstraction-refinement for Termination
In: Static analysis : 12th International Symposium, SAS 2005, 87-101 | |
| | | Cuntz, Nicolas
Freiheit, Jörn
Kindler, Ekkart | | On the semantics of EPCs: Faster calculation for EPCs with small state spaces
In: EPK 2005 : Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, 7-23 | |
| | | Damm, Werner
Pinto, Guilherme
Ratschan, Stefan | | Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems
In: Automated technology for verification and analysis : Third International Symposium, ATVA 2005, 99-113 | |
| | | Daum, Matthias
Maus, Stefan
Schirmer, Norbert
Seghir, Mohammed Nassim |  | Integration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395 | |
| | | de Nivelle, Hans
Piskac, Ruzica | | Verification of an Off-Line Checker for Priority Queues
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 210-219 | |
| | | Freiheit, Jörn
Münch, Susanne
Schöttle, Hendrik
Sijanski, Grozdana
Zangl, Fabrice | | Enhanced Workflow Models as a Tool for Judicial Practitioners
In: On the move to meaningful internet systems 2005: OTM 2005 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, 26-27 | |
| | | Georgieva, Lilia
Maier, Patrick | | Description Logics for Shape Analysis
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 321-330 | |
| | | Hoenicke, Jochen
Maier, Patrick | | Model-Checking of Specifications Integrating Processes, Data and Time
In: FM 2005: Formal Methods; International Symposium of Formal Methods Europe, 465-480 | |
| | | Hoffmann, Jörg
Brafman, Ronen | | Contingent Planning via Heuristic Forward Search with Implicit Belief States
In: 15th International Conference on Automated Planning and Scheduling, 71-80 | |
| | | Jacobs, Swen
Waldmann, Uwe | | Comparing Instance Generation Methods for Automated Reasoning
In: Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, 153-168 | |
| | | Pnueli, Amir
Podelski, Andreas
Rybalchenko, Andrey | | 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 | |
| | | Podelski, Andreas
Rybalchenko, Andrey | | Transition predicate abstraction and fair termination
In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, 124-139 | |
| | | Podelski, Andreas
Schaefer, Ina
Wagner, Silke | | Summaries for While Programs with Recursion
In: Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 94-107 | |
| | | Podelski, Andreas
Wies, Thomas | | Boolean Heaps
In: Static analysis : 12th International Symposium, SAS 2005, 268-283 | |
| | | Prevosto, Virgile
Boulmé, Sylvain | | Proof Contexts with Late Binding
In: Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, 325-339 | |
| | | Ratschan, Stefan | | 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 | |
| | | Ratschan, Stefan
She, Zhikun | | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, 573-589 | |
| | | Sofronie-Stokkermans, Viorica | | Hierarchic reasoning in local theory extensions
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234 | |
| | | Yuan, Cong
Billington, Jonathan
Freiheit, Jörn | | An Abstract Model of Routing in Mobile Ad Hoc Networks
In: Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 137-156 | |
| 1 |
|
| |
