Publications
Server halma.mpi-inf.mpg.de
Publications
Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index
Login to this database
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| # |  | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | ||||
|---|---|---|---|---|---|---|---|---|---|---|
| 1 |
| | ||||||||
| 4 |
| | ||||||||
| 1 |
| | ||||||||
| 9 |
| | ||||||||
| 1 |
| | ||||||||
| 20 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 3 |
| | ||||||||
| 3 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 2 |
| | ||||||||
| 1 |
| | ||||||||
| 2 |
| | ||||||||
| 1 |
| | ||||||||
| 1 |
| | ||||||||
| 14 |
| | ||||||||
| 54 |
| | ||||||||
| 2002 | Basin, David A. Matthews, Sean | [Gabbay, Dov] [Guenthner, Franz] | Logical Frameworks In: Handbook of Philosophical Logic, 89-164 | Part of a Book | | |||||
| | 2001 | [Ayari, Abdelwaheb] Basin, David A. | | A Higher-order Interpretation of Deductive Tableau In: Journal of Symbolic Computation [31], 487-520 | Journal Article | | |||
| 2001 | [Basin, David A.] Ganzinger, Harald |  | Automated Complexity Analysis Based on Ordered Resolution In: Journal of the ACM [48], 70-109 | Journal Article | | |||||
| | 2000 | [Anderson, Penny] Basin, David A. | | Program Development Schemata as Derived Rules In: Journal of Symbolic Computation [30], 5-36 | Journal Article | | |||
| 2000 | Matthews, Seán [Basin, David A.] | Structuring Metatheory on Inductive Definitions In: Information and Computation [162], 80-95 | Journal Article | | ||||||
| | 1999 | Basin, David A. Friedrich, Stefan | | Modeling a Hardware Synthesis Methodology in Isabelle In: Formal Methods in Systems Design [15], 99-122 | Journal Article | | |||
| 1999 | Basin, David A. Krieg-Brückner, Bernd | [Astesiano, Egidio] [Kreowski, H.-J.] [Krieg-Brückner, B.] | Formalization of the Development Process In: Algebraic foundations of systems specification, 521-562 | Part of a Book | | |||||
| | 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 | | |||
| 1998 | Basin, David A. [Klarlund, Nils] | Automata Based Symbolic Reasoning in Hardware Verification In: Formal Methods in Systems Design [13], 255-288 | Journal Article | | ||||||
| | 1998 | [Basin, David A.] Matthews, Seán [Viganò, Luca] | | Labelled Modal Logics: quantifiers In: Journal of Logic, Language and Information [7], 237-263 | Journal Article | | |||
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)