[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Journal Article]
Spaniol, Otto
Betriebserfahrungen und Messungen an einem großen FDDI-Netz und sich daraus ergebende Konsequenezen
Informatik-Fachberichte, 293, 22-34 (1991)

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a conference proceedings]
Spaniol, O.
Hochgeschwindigkeitsnetze: Planung, Installation und erste Erfahrungen in einer Universitätsumgebung
FDDI 90-Kongr., 303-337 (1991)

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a conference proceedings]
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]

[Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a conference proceedings]
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)

[Contribution to a conference proceedings]
Jakobs, Kai; Reichert, F.
New applications in mobile communication. The directory
Proceedings 41. IEEE Vehicular Technology Soc. Conference 1991, 485-490 (1991)

[Contribution to a conference proceedings]
Jakobs, Kai; Quernheim, U.
Multicast communication in networks with arbitrary topology
Proceedings 3. IEE Conference on Telecommun. 1991 (1991)

[Contribution to a conference proceedings]
Jakobs, Kai; Quernheim, U.
Link- and network layers tasks for point-to-multipoint communication
Proceedings CompEuro 91 (1991)

[Contribution to a conference proceedings]
Jakobs, Kai; Quernheim, U.
Group communication. The lower layers
Proceedings Silicon Valley Networking Conference 1991 (1991)

[Contribution to a conference proceedings]
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)

[Contribution to a conference proceedings]
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)

[Contribution to a conference proceedings]
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)

[Contribution to a conference proceedings]
Meuser, T.
Praxisbericht: FDDI-Performance für den Anwender
Proceedings Exponet. Frankfurt/M. 1991 (1991)

[Contribution to a conference proceedings]
Meuser, T.; Davids, P.
Comparison of FDDI and DQDB under heavy load
Proceedings Networks 91. Birmingham, Großbritannien 1991 (1991)

[Contribution to a conference proceedings]
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]

[Contribution to a conference proceedings]
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)

[Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
Loogen, R.
From reduction machines to narrowing machines
Colloq. on Combining Paradigms for Software Dev. Berlin [u.a.] 1991, 438-457 (1991)

[Contribution to a book, Contribution to a conference proceedings]
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)

[Contribution to a book, Contribution to a conference proceedings]
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]

[Contribution to a conference proceedings]
Bacvanski, V.
Object-oriented approach to multiparadigm expert systems
Proceedings Eur. Conference on Object-Oriented Programming. Genua, Italien 1991 (1991)

[Contribution to a conference proceedings]
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)

[Contribution to a conference proceedings]
Börstler, J.
Integrating reuse into a software development environment
Proceedings 1. Int. Workshop on Software Reusability. Dortmund 1991, 234-238 (1991)

[Contribution to a conference proceedings]
Börstler, J.
Ein Editor für das Programmieren-im-Großen als zentrales CASE-TOOl
Proceedings TOOL 91. Karlsruhe 1991, 341-350 (1991)

[Contribution to a book, Contribution to a conference proceedings]
Hallmann, Matthias; Janning, Thorsten
Method integration principles and problems described by SAI/IM
Software engineering environments volume 3 : [proceedings of the Software Engineering Environments 1991 Conference, held at the University College of Wales, Aberystwyth, UK on 25 - 27 March 1991] / ed.: Fred Long. - 3, 195-217 (1991)

[Contribution to a book, Contribution to a conference proceedings]
Hofestädt, R.; Müller, H.; Wojahn, C.
VARY : the first expert system for genome analysis of variability
Medical informatics Europe 1991 : proceedings, Vienna, Austria, August 19 - 22, 1991 / K.-P. Adlassnig ... (eds.), 1042 (1991)

[Contribution to a conference proceedings]
Nagl, Manfred
Software architectures: Importance, notions, experiences
Online 91 Congr. VI Software Engng. u. Softwarewerkzeuge, VI. Hrsg. K.P. Fähnrich. 1991, 16.2-16.24 (1991)

[Contribution to a book, Contribution to a conference proceedings]
Nagl, Manfred
Modelling of software architecture: Importance, notions, experiences
Software development environments and CASE technology : European symposium, Königswinter, June 17 - 19, 1991 ; proceedings / A. Endres ... (eds.), 211-232 (1991)

[Contribution to a book, Contribution to a conference proceedings]
Nagl, Manfred
Graph grammars which are suitable for applications
Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5 - 9, 1990 ; proceedings / H. Ehrig ... (ed.), 54-56 (1991)

[Contribution to a book, Contribution to a conference proceedings]
Nagl, Manfred; Schürr, Andy
A graph grammar specification environment
Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5 - 9, 1990 ; proceedings / H. Ehrig ... (ed.), 599-609 (1991)

[Contribution to a book, Contribution to a conference proceedings]
Schürr, Andy
PROGRESS: A VHL-language based on graph grammars
Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5 - 9, 1990 ; proceedings / H. Ehrig ... (ed.), 641-659 (1991)

[Contribution to a book, Contribution to a conference proceedings]
Schürr, Andy
PROGRESS-editor: A text-oriented hybrid for programmed graph rewriting systems
Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5 - 9, 1990 ; proceedings / H. Ehrig ... (ed.), 67-67 (1991)

[Contribution to a book, Contribution to a conference proceedings]
Schürr, Andy
IPSEN-environment: An integrated and incremental project support environment
Graph grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5 - 9, 1990 ; proceedings / H. Ehrig ... (ed.), 66 (1991)
[DOI: 10.1007/BFb0017372]

[Contribution to a conference proceedings]
Westfechtel, B.
Structure-oriented merging of revisions of software documents
Proceedings 3. Int. Workshop on Software Conferenceguration Managem. Trondheim, Norwegen 1991, 68-79 (1991)

[Contribution to a conference proceedings]
Achten, Markus; Kremer, W. E.; Lutz, E.; Schäfer, W.
On the applicability of FEC coding on rayleigh fading channels in inter-vehicle communication
Proceedings 21. Eur. Microwave Conference Stuttgart 1991 (1991)

[Contribution to a conference proceedings]
Davids, P.; Meuser, T.
FDDI and DQDB under heavy load
Proceedings EFOC/LAN. London 1991 (1991)

[Contribution to a conference proceedings]
Fasbender, A.; Kremer, WE.; Kremer, WO.
Communication system architecture for real time applications in short range mobile radio networks
Proceedings 41. IEEE Vehicular Technology Soc. Conference 1991, 793-797 (1991)

[Contribution to a conference proceedings]
Hager, R.; Kremer, WO.
Feasibility study of a multiplexing strategy in road transport informatics for SR-MRNs
Proceedings 41. IEEE Vehicular Technology Soc. Conference 1991, 368-373 (1991)

[Contribution to a conference proceedings]
Hager, R.; Kremer, WO.
Priority oriented multiplexing strategy for real-time communication in short-range mobile radio networks
Proceedings ACM Sympos. on Appl. Computing. 1991 (1991)

[Contribution to a conference proceedings]
Heinrichs, B.
Design, specification and parallel implementation of XTP
Workshop on Comput. Networks. Bratislava, Tschechoslowakei 1991 (1991)

[Contribution to a conference proceedings]
Heinrichs, B.; Martini, P.
Telefax-Kommunikation über Lokale Netze
Proceedings GI/ITG-Fachtagung'Kommunikation in verteilten Systemen'. 1991 (1991)

[Contribution to a conference proceedings]
Heinrichs, B.; Rupprecht, M.
High speed communication with standard protocols
Proceedings IEEE Global Telecommun. Conference 1991 (1991)

[Contribution to a book, Contribution to a conference proceedings]
Hermanns, O.; Schümmer, M.
A fiber optics ring-network for process control applications and its performance
Local communication systems, LAN and PBX, II : proceedings of the IFIP TC 6/WG 6.4 Second International Conference on Local Communication Systems, LAN and PBX, Palma, Spain, 26-28 June, 1991 / edited by Guy Pujolle, Ramon Puigjaner (1991)