[Buch]
Kuchen, Herbert; Geiler, Günther
Distributed applicative arrays
Aachener Informatik-Berichte 91-5 (1991)

[Buch]
Kuchen, Herbert; Lücking, Friedrich; Stoltze, Holger
The topology description language TDL
Aachener Informatik-Berichte : AIB 91-22 (1991)

[Buch]
Graf, Susanne; Steffen, Bernhard
Compositional minimization of finite state systems
Aachener Informatik-Berichte 91,23 (1991)

[Buch]
Hogen, Guido; Kindler, Andrea; Loogen, Rita
Automatic parallelization of lazy functional programs
Aachener Informatik-Berichte 91,20 (1991)

[Buch]
Knoop, Jens; Steffen, Bernhard
The interprocedural coincidence theorem
Aachener Informatik-Berichte 91-27 (1991)

[Buch]
Margaria, Tiziana
First-order theories for the verification of complex FSMs
Aachener Informatik-Berichte 91,30 (1991)

[Buch]
Steffen, Bernhard
Generating data flow analysis algorithms from modal specifications
Aachener Informatik-Berichte 91-31 (1991)

[Buch]
Ingolfsdottir, Anna; Steffen, Bernhard
Characteristic formulae for processes with divergence
Aachener Informatik-Berichte 91-3 (1991)

[Buch]
Börstler, J.
Integration and reuse in IPSEN
Minutes of ESF ATP Workshop 1 (1991)

[Buch]
Nagl, Manfred
ADA : eine Einführung in die Programmiersprache der Softwaretechnik
(1991)

[Beitrag zu einem Tagungsband]
Steinke, G.
Towards a strategy for achieving security and multi-user integrity in knowledge base systems
Proceedings 2. Int. Workshop on the Deductive Approach to Inform. Syst. and Databases. Aiguablava, Spanien 1991, 128-148 (1991)

[Beitrag zu einem Tagungsband]
Steinke, G.
Mandatory and discretionary security for the object-oriented environment
Proceedings SUUG Nat. Annual Conference 1991, 8-11 (1991)

[Beitrag zu einem Tagungsband]
Chen, S.; Jarke, Matthias
A decision-making model for query evaluation
Proceedings Workshop on Nonstandard Queries and Answers. Toulouse, Frankreich 1991, 161-180 (1991)

[Beitrag zu einem Tagungsband]
Jarke, Matthias
Technology and cooperation
Applications and challenges. Proceedings 2. Int. Workshop on Intelligent and Coop. Inform. Syst. Como, Italien 1991 (1991)

[Beitrag zu einem Tagungsband]
Jarke, Matthias
Deductive object bases. Concept, implementation and applications
Proceedings 2. Int. Workshop on the Deductive Approach to Inform. Syst. and Databases. Aiguablava, Spanien 1991, 204-219 (1991)

[Buchbeitrag, Fachzeitschriftenartikel]
Schümmer, Martine
Prioritätsmechanismen für Kommunikationssysteme in der Prozeßkontrolle
Informatik-Fachberichte, 293 (1991)

[Beitrag zu einem Tagungsband]
Popien, C.
Konformitätstest basierend auf ODP-Architekturen
Proceedings Workshop Entwicklungstendenzen von Rechnernetzen. 1991 (1991)

[Beitrag zu einem Tagungsband]
Jakobs, Kai
Electronic mail and user requirements. Do they go together?
Proceedings Networks 91 (1991)

[Beitrag zu einem Tagungsband]
Jakobs, Kai
Beyond the interface, group communication services supporting CSCW
Proceedings IFIP WG 8.3/8.4 Conference on Support Functionality in the Office Environ. 1991 (1991)

[Beitrag zu einem Tagungsband]
Jakobs, Kai
Looking at electronic mail services as a user. Do they really meet my requirements?
Proceedings Inform. Technology Assess (1991)

[Beitrag zu einem Tagungsband]
Hübner, D.; Jakobs, Kai; Reichert, F.
Taking advantage of the disadvantage: Interference detection for improved decentral radio channel access
Proceedings 41. IEEE Vehicular Technology Soc. Conference 1991 (1991)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Cleaveland, Rance; Steffen, Bernhard
Computing behavioural relations, logically
Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings / J. Leach Albert ... (ed.), 127-138 (1991)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Cleaveland, Rance; Steffen, Bernhard
A linear-time model checking algorithm for the alternation-free modal Mu-calculus
Theoretical aspects of computer software : International Conference TACS '91, Sendai, Japan, September 24 - 27, 1991 ; proceedings / T. Ito ... (ed.), 186-196 (1991)

[Buchbeitrag, Fachzeitschriftenartikel]
Spaniol, Otto
Betriebserfahrungen und Messungen an einem großen FDDI-Netz und sich daraus ergebende Konsequenezen
Informatik-Fachberichte, 293, 22-34 (1991)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Spaniol, Otto
High speed local area networks : What, why, when and how ; Planning, installation and first experiences of a HSLAN in a heterogeneous environment
High capacity local and metropolitan area networks : architecture and performance issues ; [proceedings of the NATO Advanced Research Workshop on Architecture and Performance Issues of High Capacity Local and Metropolitan Area Networks, held in Sophia Antipolis, France, June 25 - 27, 1990], 73-82 (1991)

[Beitrag zu einem Tagungsband]
Spaniol, O.
Hochgeschwindigkeitsnetze: Planung, Installation und erste Erfahrungen in einer Universitätsumgebung
FDDI 90-Kongr., 303-337 (1991)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Maltzahn, Carlos G.; Rose, Thomas
ConceptTalk : Kooperationsunterstützung in Softwareumgebungen
Verteilte Künstliche Intelligenz und kooperatives Arbeiten : München, 23. - 24. Oktober 1991 ; proceedings / 4. Internationaler GI-Kongreß Wissensbasierte Systeme. W. Brauer ... (Hrsg.), 195-206 (1991)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Quernheim, Ulrich; Jacobs, Stephan; Aghadavoodi Jolfaei, Masoud
Performance evaluation of three access protocols for VSAT networks
Proceedings of the Second European Conference on Satellite Communications, ECSC-2 : Palais des Congrès, Liège, Belgium, 22 - 24 October 1991 / European Space Agency. [Ed. Brigitte Kaldeich], 207-212 (1991)

[Beitrag zu einem Tagungsband]
Steinke, G.
Modularization in an object-oriented knowledge base system
Proceedings IEEE Sympos. on Appl. Computing. Kansas City (USA) 1991, 167-174 (1991)
[DOI: 10.1109/SOAC.1991.143869]

[Beitrag zu einem Tagungsband]
Steinke, G.
Task-based security considerations in a knowledge base system
Proceedings Int. Conference on Human Aspects of Computing and Inform. Managem. Stuttgart 1991, 996-1001 (1991)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Knoop, J.; Rüthing, O.; Steffen, B.
Efficient code motion and an adaption to strength reduction
Colloq. on Combining Paradigms for Software Dev. Berlin [u.a.] 1991, 394-415 (1991)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Jakobs, Kai; Kleefeld, Klaus D.
Using public communication services for archaeological applications
Computer applications and quantitative methods in archaeology 1990 / CAA 90. Ed. by Kris Lockyear ... (1991)

[Beitrag zu einem Tagungsband]
Jakobs, Kai; Kaltwasser, J.; Reichert, F.
AC/ID. A decentral media access control with interference detection for mobile radio networks
Proceedings 3. IEE Conference on Telecommun. 1991 (1991)

[Beitrag zu einem Tagungsband]
Jakobs, Kai; Reichert, F.
New applications in mobile communication. The directory
Proceedings 41. IEEE Vehicular Technology Soc. Conference 1991, 485-490 (1991)

[Beitrag zu einem Tagungsband]
Jakobs, Kai; Quernheim, U.
Multicast communication in networks with arbitrary topology
Proceedings 3. IEE Conference on Telecommun. 1991 (1991)

[Beitrag zu einem Tagungsband]
Jakobs, Kai; Quernheim, U.
Link- and network layers tasks for point-to-multipoint communication
Proceedings CompEuro 91 (1991)

[Beitrag zu einem Tagungsband]
Jakobs, Kai; Quernheim, U.
Group communication. The lower layers
Proceedings Silicon Valley Networking Conference 1991 (1991)

[Beitrag zu einem Tagungsband]
Kremer, WE.; Kremer, WO.; Beadle, P.; Chanine, M.; Votsis, G.; Lucazeau, F.; Kemeny, A.
Vehicle-intercommunication: Architecture and perspectives for implementation
DRIVE-Conference: Advandced Telematics in Road Transport. Brüssel, Belgien 1991 (1991)

[Beitrag zu einem Tagungsband]
Kremer, WE.
Realistic simulation of a broadcast protocol for an inter vehicle communication system
Proceedings 41. IEEE Vehicular Technology Soc. Conference 1991, 624-629 (1991)

[Beitrag zu einem Tagungsband]
Kreuer, D.; Quernheim, U.
A modified error correction protocol for CCITT signalling system no. 7 on satellite links
Proceedings ECSC-2. Lüttich, Belgien 1991 (1991)

[Beitrag zu einem Tagungsband]
Meuser, T.
Praxisbericht: FDDI-Performance für den Anwender
Proceedings Exponet. Frankfurt/M. 1991 (1991)

[Beitrag zu einem Tagungsband]
Meuser, T.; Davids, P.
Comparison of FDDI and DQDB under heavy load
Proceedings Networks 91. Birmingham, Großbritannien 1991 (1991)

[Beitrag zu einem Tagungsband]
Meuser, Thomas; Martini, Peter
Real-time traffic in FDDI-II packet switching vs. circuit switching
Proceedings IEEE INFOCOM 91. Miami, Florida (USA) 1991, 1413-1420 (1991)
[DOI: 10.1109/INFCOM.1991.147671]

[Beitrag zu einem Tagungsband]
Eherer, S.; Jarke, Matthias
Knowledge-based support for hypertext co-authoring
Proceedings 2. Int. Conference Database and Expert Syst. Appl. Berlin 1991, 465-470 (1991)

[Beitrag zu einem Tagungsband]
Jarke, Matthias
Cooperation support for information systems processes
Proceedings 1. Int. Workshop on the Dev. of Intelligent Inform. Syst. Niagara-on-the Lake, Kanada 1991, 78-80 (1991)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Loogen, R.
From reduction machines to narrowing machines
Colloq. on Combining Paradigms for Software Dev. Berlin [u.a.] 1991, 438-457 (1991)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Loogen, R.; Winkler, S.
Dynamic detection of determinism in functional logic languages
Proceedings Sympos. on Programming Lang. Implementation and Logic Programming. Berlin [u.a.] 1991, 335-346 (1991)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Steffen, Bernhard
Data flow analysis as model checking
Theoretical aspects of computer software : International Conference TACS '91, Sendai, Japan, September 24 - 27, 1991 ; proceedings / T. Ito ... (ed.), 346-364 (1991)
[DOI: 10.1007/3-540-54415-1_54]

[Beitrag zu einem Tagungsband]
Bacvanski, V.
Object-oriented approach to multiparadigm expert systems
Proceedings Eur. Conference on Object-Oriented Programming. Genua, Italien 1991 (1991)

[Beitrag zu einem Tagungsband]
Bacvanski, V.
Object-oriented modelling of complex artificial intelligence software: The rule-based systems case study
Proceedings Workshop on 'Objects and Artificial Intelligence'. Sydney, Australien 1991 (1991)