Oechsle, Rainer; Becker, R.
Das Projekt Vivaldi (Visualisierung von ausgewählten Lehrinhalten der Informatik)C. Cap, W. Erhard, W. Koch (Hrsg). "Architektur von Rechensystemen - Systemarchitektur auf dem Weg ins 3. Jahrtausend: Neue Strukturen, Konzepte, Verfahren und Bewertungsmethoden - Vorträge der 15. GI/ITG-Fachtagung ARCS '99 und der APS '99 vom 4. bis 7. Oktober 1999 in Jena". VDE-Verlag 1999 S. 263 - 270
Rock, Georg; Stephan, Werner; Wolpers, Andreas
Modeling Dynamic Processes in TLA.FBT. 1999 S. 185 - 192
Schneider, Georg
Virtual Team Assistant: intelligente Assistenzsysteme für die automatisierte Vorgangsbearbeitung.Deutscher Universitäts-Verlag 1999
Rock, Georg; Stephan, Werner; Wolpers, Andreas
Assumption-Commitment Specifications and Safety-Critical Systems.FBT. 1998 S. 125 - 135
Rock, Georg; Stephan, Werner; Wolpers, Andreas
Modular reasoning about structured TLA specifications.Tool Support for System Specification, Development and Verification. 1998 S. 217 - 229
Nonnengart, Andreas; Rock, Georg; Weidenbach, Christoph
On Generating Small Clause Normal Forms.CADE. 1998 S. 397 - 411
von Teutul, Ruppert; Schneider, Georg; Schweitzer, Jean
Team Finder: Ein intelligenter Assistent zur zielgerichteten Ressourcenselektion für workflow-integrierte multimediale Audio- / Video-Desktopkonferenzen.ISI. 1998 S. 404 - 412
Wagner, Dirk; Schneider, Georg; Schweitzer, Jean
TeamInformer - ein System zum automatischen Briefing und DeBriefing von Konferenzteilnehmern für in Workflows integrierte multimediale Audio/Video Desktopkonferenzen.D-CSCW. 1998 S. 251 - 263
Hoechst, Patric; Schneider, Georg; Merschjan, Karsten et al.
Telearbeit auf der Grundlage einer neuen Kommunikations-technologie.ISI. 1998 S. 80 - 87