Publications 1998

David Basin.
Logical Framework Based Program Development.
In ACM Computing Surveys, 30 (3es), pages 1-4, 1998.
[Downloadabstract (TXT, 635 Bytes) | DownloadBibTeX (BIB, 879 Bytes) | Downloadgzip'ed Postscript (GZ, 44 KB)]

David Basin and Nils Klarlund.
Automata Based Symbolic Reasoning in Hardware Verification.
In Formal Methods in Systems Design, 13 (3), pages 255-288, 1998.
[Downloadabstract (GZ, 101 KB) | DownloadBibTeX (BIB, 1 KB) | Downloadgzip'ed Postscript (GZ, 101 KB)]

David Basin and Bernd Krieg-Brückner.
Formalization of the Development Process.
In Algebraic Foundations of System Specification. Springer-Verlag, 1998.
[DownloadBibTeX (BIB, 442 Bytes) | Downloadgzip'ed Postscript (GZ, 161 KB)]

David Basin and Seán Matthews and Luca Viganò.
Labelled Modal Logics: Quantifiers.
In Journal of Logic, Language, and Information, 7 (3), pages 237-263, 1998.
[Downloadabstract (BIB, 1 KB) | DownloadBibTeX (BIB, 1 KB) | DownloadPDF (PDF, 317 KB) | Downloadgzip'ed Postscript (PDF, 317 KB)]

David Basin and Seán Matthews and Luca Viganò.
Natural Deduction for Non-Classical Logics.
In Studia Logica, 60 (1), pages 119-160, 1998.
Special issue on Natural Deduction edited by Frank Pfenning and Wilfried Sieg
[Downloadabstract (TXT, 743 Bytes) | DownloadBibTeX (TXT, 743 Bytes) | DownloadPDF (PDF, 349 KB) | Downloadgzip'ed Postscript (GZ, 159 KB)]

David Basin and Seán Matthews and Luca Viganò.
A Modular Presentation of Modal Logics in a Logical Framework.
In The Tbilisi Symposium on Logic, Language and Computation: Selected Papers.
CSLI Publications, 1998.
[Downloadabstract (TXT, 601 Bytes) | DownloadBibTeX (BIB, 1 KB) ]

Ian Frank and David Basin.
Optimal Play Against Best Defence: Complexity and Heuristics.
In Proceedings of The First International Conference of Computers and Games, CG98.Springer, 1998.
Lecture Notes in Computer Science, 1558
[Downloadabstract (TXT, 685 Bytes) | DownloadBibTeX (BIB, 1 KB) | Downloadgzip'ed Postscript (GZ, 114 KB)]

Ian Frank and David Basin.
Search in Games with Incomplete Information: A Case Study using Bridge Card Play.
In Artificial Intelligence, 100, pages 87-123, 1998.
[Downloadabstract (TXT, 1 KB) | DownloadBibTeX (BIB, 1 KB) | Downloadgzip'ed Postscript (GZ, 142 KB)]

Ian Frank and David Basin and H. Matsubara.
Finding Optimal Strategies for Imperfect Information Games.
In Proceedings of AAAI-98., 1998.
[Downloadabstract (TXT, 909 Bytes) | DownloadBibTeX (BIB, 1 KB) | Downloadgzip'ed Postscript (GZ, 92 KB)]

Chritoph Lüth and Einar W. Karlsen and Kolyang and Stefan Westmeier and Burkhart Wolff.
HOL-Z in the UniForM-Workbench - a Case Study in Tool Integration for Z.
In 11. International Conference of Z Users ZUM'98.LNCS 1493Springer Verlag, 1998.
[Downloadabstract (TXT, 1 KB) | DownloadBibTeX (BIB, 1 KB) | Downloadgzip'ed Postscript (GZ, 395 KB) | external pagedoi]