A. Brandl: Concepts for Generating Multi-User Interfaces Including Graphical
Editors. In Proceedings
of CADUI 2002, Valenciennes, France, 2002.
2001
R. Haratsch: A client-server architecture for providing client-specific
network services on the application layer. In Proceedings of APC
2001, Munich, Germany, 2001.
A. Brandl: EmuGen: A Generator for Multiple-User Interfaces. In Proceedings
of HCI International 2001, New Orleans, USA, 2001. (paper.pdf,
speech.pdf)
1999
B. Reichel: Verteilte Auswertung attributierter Graphersetzungssysteme
zur Verarbeitung massiver graphartig strukturierter Daten; Herbert Utz
Verlag, 1999, ISBN 3-89675-504-8
B. Bauer, R. Höllerer: Übersetzung objektorientierter Programmiersprachen:
Konzepte, abstrakte Maschinen und Praktikum "Java-Compiler", Springer-Verlag,
1998
1997
A. Poetzsch-Heffter: Specification and Verification of Object-Oriented
Programs. Habilitationsschrift; Technische Universität München,
1997.
Lonczewski, F.: "Providing User Support for Interactive Applications with
FUSE", in Proceedings of the 1997 International Conference on Intelligent
User Interfaces IUI'97 (Orlando, 6-9 January 1997), J. Moore, E. Edmonds,
A. Puerta (Eds.), ACM Press, New York, USA, 1997, pp. 253-256. ISBN 0-89791-839-8
1996
Bauer, B.: Generating User Interface from Formal Specifications of the
Appli cation, in: "Computer-Aided Design of User Interfaces", Proceedings
of CADUI'96 (Namur, 5-7 June 1996), J. Vanderdonckt (Ed.), Presses Universitaires
de Namur, Namur, 1996
F. Lonczewski, S. Schreiber: "The FUSE-System: an Integrated User Interface
Design Environment", in "Computer-Aided Design of User Interfaces", Proceedings
of the 2nd International Workshop on Computer-Aided Design of User Interfaces
CADUI'96 (Namur, 5-7 June 1996), J. Vanderdonckt (Ed.), Presses Universitaires
de Namur, Namur, 1996, pp. 37-56. ISBN 2-87037-232-9
F. Lonczewski, S.Schreiber: Generating User Interfaces with the FUSE-System.
Technischer Bericht TUM-I9612, TU-München
C. Pleier: Mobile Programme ; TUM-Mitteilungen der Technischen Universität
München, 1-96/97, S. 35-37, Technische Universität München,
November, 1996.
C. Pleier: Prozeßverlagerung in heterogenen Rechnernetzen basierend
auf einer speziellen Übersetzungstechnik; Technische Universität
München, Institut für Informatik, Dissertation, Herbert Utz Verlag
Wissenschaft, September, 1996. (Zusammenfassung)
1995
Bauer, B.: Verification and Validation of Attribute Grammars, Vortrag,
British Colloquium on Theoretical Computer Science, BCTCS 11, Swansea,
Wales, April 2-5, 1995
Bauer, B.: Proving Correctness of Formal User Interface Specifications,
to appear in: Proceedings of the 2nd Eurographics Workshop on Design, Specification,
Verification of Interactive Systems, Chateau de Bonas, Frankreich, Juni
6-9, 1995
F. Lonczewski: "Guiding the User of Interactive Applications with the Web",
in: Workshop Proceedings Teaching and Training on the Web, Fraunhofer Institute
for Computer Graphics, Darmstadt, Germany, 1995
F. Lonczewski: "PLUG-IN: Using Tcl/Tk for Plan-Based User Guidance", Proceedings
of the Tcl/Tk Workshop, 1995 July 6-8, USENIX Association, Toronto, Canada
C. Pleier: Ein Verfahren zur Prozeßmigration in heterogenen UNIX-Rechnernetzen;
PIK - Praxis der Informationsverarbeitung und Kommunikation, 2/95, S. 75-81,
Saur, Juni, 1995.
A. Poetzsch-Heffter: Interface Specifications for Program Modules Supporting
Selective Updates and Sharing and their Use in Correcness Proofs. In G.~Snelting
(Ed.): Softwaretechnik 95, Braunschweig, 1995.
1994
Bauer, B.: Attributed Term Induction - A Proof Principle for Attribute
Grammars. Tech. Report. München: Technische Universität, Inst.
f. Informatik, 1994, 24 S. (Bericht 9403)
Bauer, B.: Proving Properties over Attribute Grammars.-In: Semantikgestützte
Analyse, Entwicklung und Generierung von Programmen, Workshop der GI-Fachgruppe
2.1.3, Schloss Rauischholzhausen, Germany, March 10-11, 1994, Ed: U. Meyer,
G. Snelting, Tech. Report. Justus-Liebig-Universität Giessen, AG Informatik,
1994, (Bericht 9402)
Bauer, B., Hennicker, R.: Behavioural Program Development with the ISAR
System.-In: Systems for Computer-Aided Specification, Development and Verification,
Workshop, Christian-Albrechts-Universität Kiel, Germany, July 4-5,
1994, Ed: B. Buth, R. Berghammer, Tech. Report. Christian-Albrechts-Universität
Kiel, Institut für Informatik und Praktische Mathematik, 1994, S.
140 - 153. (Bericht 9416)
C. Pleier, G. Stellner: Daemonische Bindung: Installation der Parallel
Virtual Machine im heterogenen Netz; IX-Multiuser-Multitasking-Magazin,
11/94, S. 181-183, Heise, November, 1994.
C. Pleier, G. Stellner: Heiße Knoten: PVM in der Praxis - Temperaturverteilung
parallel berechnet; IX-Multiuser-Multitasking-Magazin, 12/94, S. 186-191,
Heise, Dezember, 1994.
A. Poetzsch-Heffter: Developing Efficient Interpreters Based on Formal
Language Specifications. In P. Fritzson (Ed.): Compiler Construction, 1994,
pp. 233-247. (LNCS 786)
A. Poetzsch-Heffter: Deriving Partial Correctness Logics From Evolving
Algebras. In B. Pehrson, I. Simon (Eds.): Proceedings of the IFIP 13th
World Computer Congress '94, 1994, Elsevier, Vol. 3.
B. Reichel: Automatisches Alignment von ribosomalen RNS-Sequenzen zur
Unterstützung von phylogenetischen Analysen von Organismen; Technische
Universität München, Institut für Informatik, Diplomarbeit,
November 1994
Schreiber, S.: Specification and Generation of User Interfaces with the
BOSS System.- In: Proceedings East-West International Conference on Human-Computer
Interaction EWHCI'94, St. Petersburg, Russia, August 2-6, 1994. Eds.: J.
Gornostaev et al. Moskau: ICSTI, 1994. Also in: Human Computer Interaction,
Selected Papers EWHCI'94 Conference, Springer LNCS 876.
Schreiber, S.: The BOSS-System: Coupling Visual Programming with Model
Based Interface Design.- In: Proceedings Eurographics Workshop Design,Specification,Verification
of Interactive Systems, Carrara, Italy, Juni 8-10, 1994. Ed.: F. Paterno.
Springer Focus on Computer Graphics Series, ISBN 3-540-59480-9
Bauer, B., Hennicker, R.: Proving the Correctness of Algebraic Implementations
by the ISAR System.-In: Proc. of the International Symposium on Design
and Implementation of Symbolic Computation Systems 93, Gmunden, Austria,
September 15-17, 1993. Ed. Alfonso Miola. Berlin: Springer, 1993, S. 2-16.
(Lecture Notes in Computer Science; 722)
Bauer, B., Hennicker, R.: Proving the Correctness of Algebraic Implementations
by the ISAR System. Tech. Report. München: Ludwig-Maximilians-Universität,
Inst. f. Informatik, 1993, 16 S. (Bericht 9315)
Bauer, B.: An Interactive System for Algebraic Implementation Proofs: The
ISAR System from the User's Point of View. Tech. Report. München:
Ludwig-Maximilians-Universität, Inst. f. Informatik, 1993, 65 S. (Bericht
9313)
C. Pleier: The Distributed C Development Environment; Technische
Universität München, Institut für Informatik, Bericht TUM-I9324,
September, 1993.
C. Pleier: Dreisprung: Massiv-paralleler Supercomputer T3D von Cray;
IX-Multiuser-Multitasking-Magazin, 10/93, S. 144-151, Heise, Oktober, 1993.
A. Poetzsch-Heffter: Programming Language Specification and Prototyping
Using the MAX System. In M. Bruynooghe, J. Penjam (Eds.): Programming Language
Implementation and Logic Programming, 1993, pp. 137-150. (LNCS 714)
W.Schreiber: Prosaische Logik für Dichter und Denker: Textverarbeitung
massgeschneidert. In: Forschung für Bayern, Heft 6, Technische Universität
München, 1993.
1992
Bauer, B., Hennicker, R.: ISAR: An Interactive System for Algebraic Implementation
Proofs.-In: Proc. of the International Conference on Logic Programming
and Automated Reasoning 92, St. Petersburg, Russia, July 15-20, 1992. Ed.:
A. Voronkov. Berlin: Springer, 1992, S. 451-453. (Lecture Notes in Computer
Science; 624)
C. Pleier: Evaluierung, Weiterentwicklung und Leistungsanalyse eines
Compilers für die verteilte Parallelprogrammierung; Technische
Universität München, Institut für Informatik, Diplomarbeit,
Mai, 1992.
A. Poetzsch-Heffter: Implementing High-Level Identification Specifications.
In U. Kastens, P. Pfahler (Eds.): Compiler Construction, 1992, pp. 59-65.
(LNCS 641)
Bauer, B.: ISAR: An Interactive System for Algebraic Implementation Proofs,
Vortrag, Eight Workshop on Specification of Abstract Data Types joint with
the Third COMPASS Workshop, Dourdan, France, August 26-30, 1991
Eickel, J.: Strukturerkennung in Graphgrammatiken. In: M. Broy (Hrsg),
Informatik und Mathematik, Springer Verlag 1991
C. Pleier, F. Distler: Entwicklung und Implementierung eines Compilers
für paralleles Programmieren in C mit Verteilung der simultan ablaufenden
Prozesse in einem homogenen Netzwerk; Technische Universität München,
Institut für Informatik, Fortgeschrittenenpraktikum, Februar, 1991.
C. Pleier: C neben C: Distributed C - Paralleles Programmieren in C;
IX-Multiuser-Multitasking-Magazin, 6/91, S. 88-96, Heise, Juni, 1991.
C. Pleier: Wanderndes Inkrement: Zorttechs C++-Compiler Version 2.1;
IX-Multiuser-Multitasking-Magazin, 8/91, S. 52-54, Heise, August, 1991.
A. Poetzsch-Heffter: Logic-Based Specification of Visibility Rules. In
J. Maluszynski and M. Wirsing: Programming Language Implementation and
Logic Programming, 1991, pp. 63-74. (LNCS 528)
1990
Eickel, J.: Logical and layout structures of documents. In: Computer Physics
Communications, Vol. 61, 1990
