Publications 1999

Abdelwaheb Ayari and David Basin and Stefan Friedrich.
Structural and Behavioral Modeling with Monadic Logics.
In The Twenty-Ninth IEEE International Symposium on Multiple-Valued Logic.
IEEE Computer Society, 1999.
[Downloadabstract (TXT, 477 Bytes) | DownloadBibTeX (BIB, 1 KB) | DownloadPDF (PDF, 242 KB) | Downloadgzip'ed Postscript (GZ, 121 KB)]

David Basin.
Lazy Infinite-State Analysis of Security Protocols.
In Secure Networking - CQRE [Secure] '99.Lecture Notes in Computer Science, 1740.
Springer-Verlag, 1999.
[DownloadBibTeX (BIB, 417 Bytes) | Downloadgzip'ed Postscript (GZ, 69 KB)]

David Basin and Stefan Friedrich.
Modeling a Hardware Synthesis Methodology in Isabelle.
In Formal Methods in Systems Design, 15 (2), pages 99-122, 1999.
[Downloadabstract (TXT, 798 Bytes) | DownloadBibTeX (BIB, 1 KB) | DownloadPDF (PDF, 300 KB) | Downloadgzip'ed Postscript (GZ, 116 KB)]

David Basin and Stefan Friedrich and Joachim Posegga and Harald Vogt.
Java Byte Code Verification by Model Checking.
In 11th International Conference on Computer-Aided Verification (CAV'99).
Lecture Notes in Computer Science, 1633. Springer-Verlag, 1999.
[Downloadabstract (TXT, 430 Bytes) | DownloadBibTeX (BIB, 898 Bytes) | DownloadPDF (PDF, 122 KB) | Downloadgzip'ed Postscript (GZ, 53 KB)]

David Basin and Seán Matthews and Luca Viganò.
Modal Logics K, T, K4, S4: Labelled Proof Systems and New Complexity Results.
In The Bulletin of Symbolic Logic, 5 (1), pages 91-93, 1999.
Abstract of a contributed talk at the 1998 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium'98
[DownloadBibTeX (BIB, 481 Bytes)]

Ian Frank and David Basin.
Strategies Explained.
In Proceedings of the Fifth Game Programming Workshop in Japan (GPW-99). 1999.
Also available from the Electrotechnical Laboratory, 1-1-4 Umezono, Japan
as Technical Report ETL-99-32
[Downloadabstract (TXT, 1 KB) | DownloadBibTeX (BIB, 2 KB)]

Christoph Lüth and Burkhart Wolff.
Functional Design and Implementation of Graphical User Interfaces for Theorem Provers.
In Journal of Functional Programming, 9 (2), pages 167- 189, 1999.
[Downloadabstract (TXT, 836 Bytes) | DownloadBibTeX (BIB, 390 Bytes) | DownloadPDF (PDF, 47 Bytes) | Downloadgzip'ed Postscript (GZ, 47 Bytes)]

A. Pretschner and S. Gauch.
Ontology Based Personalized Search.
In 11th IEEE Intl. Conf. on Tools with Artificial Intelligence.IEEE, 1999.
[Downloadabstract (TXT, 1 KB) | DownloadBibTeX (BIB, 2 KB)]

X. Zhu and S. Gauch and L. Gerhard and N. Kral and A. Pretschner. Ontology-Based Web Site Mapping for Information Exploration. In 8th Intl. Conf. on Information and Knowledge Management.ACM, 1999.
[Downloadabstract (TXT, 1 KB) | DownloadBibTeX (BIB, 2 KB)]