# | | Year | Author(s) [non member] | Editor(s) [non member] | | Title | Type | |
1 |
| Aardal, Karen (ed.) |
| |
| | 2001 | Eisenbrand, Friedrich
[Rote, Günter] | Gerards, Bert
Aardal, Karen | | Fast 2-variable integer programming
In: Proceedings of the 8th Conference on Integer and Combinatorial Optimization (IPCO-01), 78-89 | Proceedings Article | |
2 |
| Abadi, Martín (ed.) |
| |
| | 2005 | Podelski, Andreas
Rybalchenko, Andrey | [Palsberg, Jens]
[Abadi, Martín] | | Transition predicate abstraction and fair termination
In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, 124-139 | Proceedings Article | |
| | 1997 | Matthews, Seán | Abadi, Martín
Ito, Takayasu | | Extending a logical framework with a modal connective for validity
In: Proceedings of the 3rd Symposium on Theoretical Aspects of Computer Software (TACS-97), 491-514 | Proceedings Article | |
1 |
| |
| | 1998 | [Abdelwaheb, Ayari]
[Basin, David A.]
Podelski, Andreas | Nielsen, Mogens
Thomas, Wolfgang | | LISA: A Specification Language Based on WS2S
In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), 18-34 | Proceedings Article | |
2 |
| |
| | 1991 | Baumeister, Hubert | Abramsky, S.
Maibaum, T. S. E. | | Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '91), 103-120 | Proceedings Article | |
| | 1991 | Hanus, Michael | Abramsky, S.
Maibaum, T.S.E. | | Parametric Order-Sorted Types in Logic Programming
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT-91), 181-200 | Proceedings Article | |
2 |
| Afshordel, Bijan |
| |
| | 2001 | Afshordel, Bijan
Hillenbrand, Thomas
Weidenbach, Christoph | [Nieuwenhuis, Robert]
[Voronkov, Andrei] | | First-Order Atom Definitions Extended
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319 | Proceedings Article | |
| | 1999 | Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor | Ganzinger, Harald | | System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318 | Proceedings Article | |
1 |
| |
| | 1996 | Matthews, Seán
[Simpson, Alex] | Ursini, Aldo
Agilanò, Paolo | | Reflection using the derivability conditions
In: Logic and Algebra, 603-616 | Part of a Book | |
3 |
| |
| | 2006 | | [Ahrendt, Wolfgang]
[Baumgartner, Peter]
de Nivelle, Hans | | IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability | Electronic Proceedings | |
| | 2006 | de Nivelle, Hans
[Baumgartner, Peter]
[Fuchs, Alexander]
[Tinelli, Cesare] | [Ahrendt, Wolfgang]
[Baumgartner, Peter]
de Nivelle, Hans | | Computing Finite Models by Reduction to Function-Free Clause Logic
In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 82-95 | Electronic Proceedings Article | |
| | 2006 | Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph | [Ahrendt, Wolfgang]
Baumgartner, Peter
de Nivelle, Hans | | Sudokus as Logical Puzzles
In: Proceedings of the Third Workshop on Disproving, 2-12 | Electronic Proceedings Article | |
2 |
| Aichernig, Bernhard K. (ed.) |
| |
| | 2005 | de Nivelle, Hans
Piskac, Ruzica | Aichernig, Bernhard K.
Beckert, Bernhard | | Verification of an Off-Line Checker for Priority Queues
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 210-219 | Proceedings Article | |
| | 2005 | [Georgieva, Lilia]
Maier, Patrick | [Aichernig, Bernhard K.]
[Beckert, Bernhard] | | Description Logics for Shape Analysis
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 321-330 | Proceedings Article | |
1 |
| Albani, Antonia (ed.) |
| |
| | 2005 | Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice] | Meersman, Robert
Tari, Zahir
Herrero, Pilar
Méndez, Gonzalo
Cavedon, Lawrence
Martin, David
Hinze, Annika
Buchanan, George
Pérez, María S.
Robles, Víctor
Humble, Jan
Albani, Antonia
Dietz, Jan L.G.
Panetto, Herve
Scannapieco, Monica
Halpin, Terry
Spyns, Peter
Zaha, Johannes Maria
Zimány, Esteban
Stefanakis, Emmanuel
Dillon, Tharam
Feng, Ling
Jarrar, Mustafa
Lehmann, Jos
de Moor, Aldo
Duval, Erik
Aroyo, Lora | | 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 | Proceedings Article | |
1 |
| Albert, Chris (ed.) |
| |
| | 1999 | Weydert, Emil | [Rott, Hans]
[Albert, Chris]
[Brewka, Gerd]
[Witteveen, Cees] | | JZBR - Iterated Belief Change for Conditional Ranking Constraints
In: Proceedings of the 4th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-99), 57-66 | Proceedings Article | |
2 |
| Alferes, José Júlio (ed.) |
| |
| | 2004 | Baumgartner, Peter
[Burchardt, Aljoscha] | [Alferes, José Júlio]
[Leite, João] | | Logic Programming Infrastructure for Inferences on FrameNet
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 591-603 | Proceedings Article | |
| | 2004 | Kazakov, Yevgeny | [Alferes, José Júlio]
[Leite, João] | | A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 372-384 | Proceedings Article | |
1 |
| |