BibTeX cite key | Author/Editor | Year | | Title | Type |
CantuBundySmaillBasin96 | Cantu, Francisco
Bundy, Alan
Smaill, Alan
Basin, David A. | 1996 | | Experiments in Automating Hardware Verification using Inductive Proof Planning
In: Proceedings of the Formal Methods for Computer-Aided Design Conference (FMCAD'96), 94-108 | Proceedings Article |
CDGMT01 | Charatonik, Witold
Dal Zilio, Silvano
Gordon, Andrew Donald
Mukhopadhyay, Supratik
Talbot, Jean-Marc | 2001 | | The Complexity of Model Checking Mobile Ambients
In: Foundations of Software Science and Computation Structures. Proceedings of the 4th International Conference (FOSSACS-01). Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), 152-167 | Proceedings Article |
CDGMT2001-techrep | Charatonik, Witold
Dal Zilio, Silvano
Gordon, Andrew Donald
Mukhopadhyay, Supratik
Talbot, Jean-Marc | 2001 | | The Complexity of Model Checking Mobile Ambients | Report |
Charatonik-ESOP00 | Charatonik, Witold | 2000 | | Directional Type Checking for Logic Programs: Beyond Discriminative Types
In: Proceedings of the 8th European Symposium on Programming (ESOP-00), 72-87 | Proceedings Article |
Charatonik-IPL98 | Charatonik, Witold | 1998 | | An Undecidable Fragment of the Theory of Set Constraints
In: Information Processing Letters [68], 147-151 | Journal Article |
Charatonik2002habil | Charatonik, Witold | 2002 | | Direktionale Typen in der Logischen Programmierung
Universität des Saarlandes | Thesis - Habilitation thesis |
Charatonik98 | Charatonik, Witold | 1998 | | Set Constraints in Some Equational Theories
In: Information and Computation [142], 40-75 | Journal Article |
CharatonikDGMT2003 | Charatonik, Witold
Dal Zilio, Silvano
Gordon, Andrew Donald
Mukhopadhyay, Supratik
Talbot, Jean-Marc | 2003 | | Model checking mobile ambients
In: Theoretical Computer Science [308], 277-331 | Journal Article |
CharatonikGeorgievaMaier2005 | Charatonik, Witold
Georgieva, Lilia
Maier, Patrick | 2005 | | Bounded Model Checking of Pointer Programs
In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, 397-412 | Proceedings Article |
CharatonikGT2002 | Charatonik, Witold
Gordon, Andrew Donald
Talbot, Jean-Marc | 2002 | | Finite-Control Mobile Ambients
In: Programming languages and systems: 11th European Symposium on Programming, ESOP 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, 295-313 | Proceedings Article |
CharatonikMNPW-LICS98 | Charatonik, Witold
McAllester, David
Niwinski, Damian
Podelski, Andreas
Walukiewicz, Igor | 1998 | | The Horn Mu-calculus
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 58-69 | Proceedings Article |
CharatonikMP2002 | Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas | 2002 | | Compositional Termination Analysis of Symbolic Forward Analysis
In: Verification, Model Checking, and Abstract Interpretation. Third International Workshop, VMCAI 2002, 109-125 | Proceedings Article |
CharatonikMP2002a | Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas | 2002 | | Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
In: Logic Programming. 18th International Conference, ICLP 2002, 115-129 | Proceedings Article |
CharatonikPodelski-cp96 | Charatonik, Witold
Podelski, Andreas | 1996 | | The Independence Property of a Class of Set Constraints
In: Principles and Practice of Constraint Programming, Proceedings of the Second International Conference (CP'96), 76-90 | Proceedings Article |
CharatonikPodelski-RTA98 | Charatonik, Witold
Podelski, Andreas | 1998 | | Co-definite Set Constraints
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 211-225 | Proceedings Article |
CharatonikPodelski-SAS98 | Charatonik, Witold
Podelski, Andreas | 1998 | | Directional Type Inference for Logic Programs
In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), 278-294 | Proceedings Article |
CharatonikPodelski-tacas98 | Charatonik, Witold
Podelski, Andreas | 1998 | | Set-Based Analysis of Reactive Infinite-state Systems
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98), 358-375 | Proceedings Article |
CharatonikPodelskiLICS97 | Charatonik, Witold
Podelski, Andreas | 1997 | | Set Constraints with Intersection
In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 362-372 | Proceedings Article |
CharatonikPodelskiTalbot-POPL00 | Charatonik, Witold
Podelski, Andreas
Talbot, Jean-Marc | 2000 | | Paths vs. Trees in Set-based Program Analysis
In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00), 330-337 | Proceedings Article |
CharatonikTalbot-csl01 | Charatonik, Witold
Talbot, Jean-Marc | 2001 | | The Decidability of Model Checking Mobile Ambients
In: Computer science logic (CSL-01) : 15th International Workshop, CSL 2001, Annual Conference of the EACSL, 339-354 | Proceedings Article |
CharatonikTalbot2002 | Charatonik, Witold
Talbot, Jean-Marc | 2002 | | Atomic Set Constraints with Projection
In: Rewriting Techniques and Applications. 13th International Conference, RTA 2002, 311-325 | Proceedings Article |
ChaudhuriDimopoulosZaroliagis-PPL96 | Chaudhuri, Shiva
Dimopoulos, Yannis
Zaroliagis, Christos | 1996 | | On the Parallel Complexity of Acyclic Logic Programs
In: Parallel Processing Letters [6], 223-230 | Journal Article |
chpl:93c | Chadha, Ritu
Plaisted, David A. | 1993 | | On the mechanical derivation of loop invariants
In: Journal of Symbolic Computation [15], 705-744 | Journal Article |
chpl:94a | Chu, Heng
Plaisted, David A. | 1994 | | Semantically Guided First-Order Theorem Proving using Hyper-Linking
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 192-206 | Proceedings Article |
chpl:94b | Chadha, Ritu
Plaisted, David A. | 1994 | | Correctness of unification without occur check in Prolog
In: Journal of Logic Programming [18], 99-122 | Journal Article |
Christen97 | Christen, Michael | 1997 | | A Calculus of Simplification for Superposition
Universität des Saarlandes | Thesis - Masters thesis |
CookPodelskiRybal2006 | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | 2006 | | Terminator: Beyond Safety
In: Computer aided verification : 18th International Conference, CAV 2006, 415-418 | Proceedings Article |
CookPodelskiRybalchenkoSAS2005 | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | 2005 | | Abstraction-refinement for Termination
In: Static analysis : 12th International Symposium, SAS 2005, 87-101 | Proceedings Article |
Cortier-et-al-99 | Cortier, V.
Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | 1999 | | Decidable fragments of simultaneous rigid reachability
In: Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP-99), 250-260 | Proceedings Article |
CPintersectionJ | Charatonik, Witold
Podelski, Andreas | 2002 | | Set Constraints with Intersection
In: Information and Computation [179], 213-229 | Journal Article |