![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Reinhard Gotzhein
Person information
- affiliation: Kaiserslautern University of Technology, Germany
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2020
- [b3]Reinhard Gotzhein:
Real-time Communication Protocols for Multi-hop Ad-hoc Networks - Wireless Networking in Production and Control Systems. Computer Communications and Networks, Springer 2020, ISBN 978-3-030-33318-8, pp. 1-272 - 1993
- [b2]Reinhard Gotzhein:
Open distributed systems - on concepts, methods, and design from a logical point of view. Vieweg advanced studies in computer science, Vieweg 1993, ISBN 978-3-528-05358-1, pp. I-XVII, 1-227 - 1985
- [b1]Reinhard Gotzhein:
Modellierung und Spezifikation von Diensten und Verhalten in verteilten Systemen. University of Erlangen-Nuremberg, Germany, 1985, pp. 1-280
Journal Articles
- 2014
- [j21]Dennis Christmann, Reinhard Gotzhein, Stefan Siegmund, Fabian Wirth
:
Realization of Try-Once-Discard in Wireless Multihop Networks. IEEE Trans. Ind. Informatics 10(1): 17-26 (2014) - 2013
- [j20]Dennis Christmann, Reinhard Gotzhein, Marc Krämer, Martin Winkler:
Flexible and energy-efficient duty cycling in wireless networks with MacZ. Concurr. Comput. Pract. Exp. 25(2): 218-233 (2013) - 2011
- [j19]Reinhard Gotzhein, Thomas Kuhn:
Black Burst Synchronization (BBS) - A protocol for deterministic tick and time synchronization in wireless networks. Comput. Networks 55(13): 3015-3031 (2011) - 2009
- [j18]Dennis Christmann, Reinhard Gotzhein, Thomas Kuhn:
Multi-hop Clock Synchronization in Wireless Ad-Hoc Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 17 (2009) - 2008
- [j17]Philipp Becker, Reinhard Gotzhein, Thomas Kuhn:
Model-driven Performance Simulation of Self-organizing Systems with PartsSim. Prax. Inf.verarb. Kommun. 31(1): 45-50 (2008) - 2005
- [j16]Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Thomas Kuhn, Christian Webel:
Developing safety-critical real-time systems with SDL design patterns and components. Comput. Networks 49(5): 689-706 (2005) - 2003
- [j15]Uwe Glässer, Reinhard Gotzhein, Andreas Prinz:
The formal semantics of SDL-2000: Status and perspectives. Comput. Networks 42(3): 343-358 (2003) - [j14]Reinhard Gotzhein:
Consolidating and applying the SDL-pattern approach: a detailed case study. Inf. Softw. Technol. 45(11): 727-741 (2003) - 2002
- [j13]Philipp Schaible, Reinhard Gotzhein:
View-based animation of communication protocols in design and in operation. Comput. Networks 40(5): 621-638 (2002) - 2001
- [j12]Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, Andreas Prinz:
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models. J. Univers. Comput. Sci. 7(11): 1024-1049 (2001) - 2000
- [j11]Egon Börger, Reinhard Gotzhein:
Requirements Engineering - The Light Control Case Study. J. Univers. Comput. Sci. 6(7): 580-581 (2000) - [j10]Egon Börger, Reinhard Gotzhein:
The Light Control Case Study: A Synopsis. J. Univers. Comput. Sci. 6(7): 582-585 (2000) - 1999
- [j9]Reinhard Gotzhein, Philipp Schaible:
Pattern-based development of communication systems. Ann. des Télécommunications 54(11-12): 508-525 (1999) - 1998
- [j8]Reinhard Gotzhein, Jan Bredereke:
Trends in Formal Description Techniques. Comput. Networks 30(9-10): 863-864 (1998) - [j7]Jürgen Avenhaus, Reinhard Gotzhein, Theo Härder, Lothar Litz, Klaus Madlener, Jürgen Nehmer, Michael M. Richter, Norbert Ritter, H. Dieter Rombach, Bernd Schürmann, Gerhard Zimmermann:
Entwicklung großer Systeme mit generischen Methoden - Eine Übersicht über den Sonderforschungsbereich 501. Inform. Forsch. Entwickl. 13(4): 227-234 (1998) - 1996
- [j6]Reinhard Gotzhein, Jan Bredereke, Wolfgang Effelsberg, Stephan Fischer, Thomas Held, Hartmut König:
Improving the efficiency of automated protocol implementation using Estelle. Comput. Commun. 19(14): 1226-1235 (1996) - 1995
- [j5]Reinhard Gotzhein:
Towards a Basic Reference Model of Open Distributed Processing. Comput. Networks ISDN Syst. 27(8): 1287-1304 (1995) - 1993
- [j4]Hartmut König, Wolfgang Effelsberg, Reinhard Gotzhein:
Ableitung parallel ausführbarer Protokollimplementierungen. Prax. Inf.verarb. Kommun. 16(4): 193-202 (1993) - 1992
- [j3]Reinhard Gotzhein:
Temporal Logic and Applications-A Tutorial. Comput. Networks ISDN Syst. 24(3): 203-218 (1992) - [j2]Reinhard Gotzhein:
Formal Definition and Representation of Interaction Points. Comput. Networks ISDN Syst. 25(1): 3-22 (1992) - 1990
- [j1]Reinhard Gotzhein, Gregor von Bochmann:
Deriving Protocol Specifications from Service Specifications Including Parameters. ACM Trans. Comput. Syst. 8(4): 255-283 (1990)
Conference and Workshop Papers
- 2022
- [c87]Christopher Kohlstruck, Reinhard Gotzhein:
dRmin - Routing - A Decentralized Algorithm for Reliability-constrained Routing in Wireless Ad-hoc Networks. IWCMC 2022: 1386-1393 - 2021
- [c86]Paulo Fernando Aragao Alves Junior, Reinhard Gotzhein, Lucas Sonntag Hagen:
Volatility-Aware Channel Sensing with Commodity 802.11 Hardware. GLOBECOM 2021: 1-7 - [c85]Christopher Kohlstruck, Reinhard Gotzhein:
cTEx - A Configurable Topology Explorer for Wireless Ad-hoc Networks. ICCCN 2021: 1-9 - [c84]Reinhard Gotzhein:
On the Conception of Executable Design Languages for Distributed Real-time Systems. MoDELS (Companion) 2021: 732-740 - [c83]Kiran Mathews, Reinhard Gotzhein:
OB-EWMA: A Link Metric for Reliability-constrained Routing in Wireless Networks. WCNC 2021: 1-7 - 2020
- [c82]Paulo Aragao, Reinhard Gotzhein:
Constructing Balanced, Conflict-Minimal, Overlap-Fair Channel Sensing Schedules. AINA 2020: 804-816 - 2019
- [c81]Christopher Kramer, Kiran Mathews, Reinhard Gotzhein:
Cooperative Fair Bandwidth Scaling in Contention-based Wireless Networks using Time Token Bucket. IPCCC 2019: 1-9 - [c80]Christopher Kohlstruck, Kiran Mathews, Reinhard Gotzhein:
rmin -Routing - Discovery and Operation of Routes in Wireless Ad-hoc Networks with Specified Statistical Minimum Reliabilities. LCN 2019: 430-437 - 2018
- [c79]Paulo Fernando Aragao Alves Junior, Markus Engel, Reinhard Gotzhein:
A Three-Dimensional Stabilization Protocol for Time-Slotted Multi-hop Cognitive Radio Networks with Channel Hopping. AINA 2018: 32-39 - [c78]Markus Engel, Reinhard Gotzhein:
Dynamic computation and adjustment of channel hopping sequences for cognitive radio networks based on quality metrics. EWSN 2018: 79-89 - [c77]Christopher Kohlstruck, Markus Engel, Reinhard Gotzhein:
The Selective Clustering Energy Detector for Cognitive Radio Networks - Conceptual Design and Experimental Assessment. IWCMC 2018: 1036-1042 - [c76]Hamed Sefati, Reinhard Gotzhein, Christopher Kramer, Stephan Schloesser, Martin Weiss:
Dynamic overlay line topology establishment and repair in wireless networks. WCNC 2018: 1-6 - 2017
- [c75]Markus Engel, Christopher Kramer, Tobias Braun, Dennis Christmann, Reinhard Gotzhein:
BiPS - A Real-Time-Capable Protocol Framework for Wireless Networked Control Systems and Its Application. ICETE (Selected Papers) 2017: 313-336 - [c74]Kiran Mathews, Christopher Kramer, Reinhard Gotzhein:
Token bucket based traffic shaping and monitoring for WLAN-based control systems. PIMRC 2017: 1-7 - 2016
- [c73]Dennis Christmann, Tobias Braun, Markus Engel, Reinhard Gotzhein:
BiPS - A Real-time-capable Protocol Framework for Wireless Sensor Networks. PECCS 2016: 17-27 - [c72]Christopher Kramer, Dennis Christmann, Reinhard Gotzhein:
A clustering algorithm for distributed service registries in heterogeneous wireless networks. Wireless Days 2016: 1-7 - 2015
- [c71]Luu Hoang Duc, Dennis Christmann, Reinhard Gotzhein, Stefan Siegmund, Fabian R. Wirth
:
The stability of Try-Once-Discard for stochastic communication channels: Theory and validation. CDC 2015: 4170-4175 - [c70]Dennis Christmann, Andreas Schmidt, Christian Giehl, Max Reichardt, Moritz Ohmer, Markus Berg, Karsten Berns, Reinhard Gotzhein, Thorsten Herfet:
Vertical Integration and Adaptive Services in Networked Production Environments. ERP Future 2015: 147-162 - [c69]Johann Gebhardt, Reinhard Gotzhein, Anuschka Igel, Christopher Kramer:
QoS Multicast Routing in Partially Mobile Wireless TDMA Networks. GLOBECOM 2015: 1-7 - [c68]Christopher Kramer, Dennis Christmann, Reinhard Gotzhein:
Automatic topology discovery in TDMA-based ad hoc networks. IWCMC 2015: 634-639 - 2014
- [c67]Markus Engel, Dennis Christmann, Reinhard Gotzhein:
Implementation and Experimental Validation of Timing Constraints of BBS. EWSN 2014: 84-99 - [c66]Tobias Braun, Dennis Christmann, Reinhard Gotzhein, Alexander Mater:
SDL Implementations for Wireless Sensor Networks - Incorporation of PragmaDev's RTDS into the Deterministic Protocol Stack BiPS. SAM 2014: 271-286 - 2013
- [c65]Thomas Kuhn, Thomas Forster, Tobias Braun, Reinhard Gotzhein:
FERAL - Framework for simulator coupling on requirements and architecture level. MEMOCODE 2013: 11-22 - [c64]Dennis Christmann, Tobias Braun, Reinhard Gotzhein:
SDL Real-Time Tasks - Concept, Implementation, and Evaluation. SDL Forum 2013: 239-257 - 2012
- [c63]Dennis Christmann, Reinhard Gotzhein, Stephan Rohr:
The Arbitrating Value Transfer Protocol (AVTP) - Deterministic Binary Countdown in Wireless Multi-Hop Networks. ICCCN 2012: 1-9 - [c62]Dennis Christmann, Reinhard Gotzhein:
Real-Time Tasks in SDL. SAM 2012: 53-71 - [c61]Tobias Braun, Dennis Christmann, Reinhard Gotzhein, Anuschka Igel:
Model-driven Engineering of Networked Ambient Systems with SDL-MDD. ANT/MobiWIS 2012: 490-498 - 2011
- [c60]Philipp Becker, Martin Birtel, Dennis Christmann, Reinhard Gotzhein:
Black-Burst-Based Quality-of-Service Routing (BBQR) for Wireless Ad-Hoc Networks. NOTERE 2011: 1-8 - [c59]Marc Krämer, Tobias Braun, Dennis Christmann, Reinhard Gotzhein:
Real-Time Signaling in SDL. SDL Forum 2011: 186-201 - [c58]Dennis Christmann, Philipp Becker, Reinhard Gotzhein:
Priority Scheduling in SDL. SDL Forum 2011: 202-217 - 2010
- [c57]Dennis Christmann, Reinhard Gotzhein, Marc Krämer, Martin Winkler:
Flexible and energy-efficient duty cycling in wireless networks with MacZ. NOTERE 2010: 121-128 - [c56]Tobias Braun, Reinhard Gotzhein, Matthias Wiebel:
Integration of FlexRay into the SDL-Model-Driven Development Approach. SAM 2010: 56-71 - 2009
- [c55]Alain Chamaken, Lothar Litz, Marc Krämer, Reinhard Gotzhein:
Cross-layer design of wireless networked control systems with energy limitations. ECC 2009: 2325-2330 - [c54]Mattias Nissler, Reinhard Gotzhein:
Performance evaluation of multi-path routing in reservation-based wireless networks. MSWiM 2009: 268-273 - [c53]Reinhard Gotzhein, Marc Krämer, Lothar Litz, Alain Chamaken:
Energy-Aware System Design with SDL. SDL Forum 2009: 19-33 - [c52]Philipp Becker, Dennis Christmann, Reinhard Gotzhein:
Model-Driven Development of Time-Critical Protocols with SDL-MDD. SDL Forum 2009: 34-52 - 2008
- [c51]Thomas Kuhn, Reinhard Gotzhein:
Model-Driven Platform-Specific Testing through Configurable Simulations. ECMDA-FA 2008: 278-293 - [c50]Christian Webel, Reinhard Gotzhein, Joachim Nicolay:
NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements. FORTE 2008: 218-233 - [c49]Reinhard Gotzhein, Thomas Kuhn:
Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks Using Black Bursts. SECON 2008: 422-431 - 2007
- [c48]Rüdiger Grammes, Reinhard Gotzhein:
SDL Profiles - Formal Semantics and Tool Support. FASE 2007: 200-214 - [c47]Christian Webel, Reinhard Gotzhein:
Formalization of Network Quality-of-Service Requirements. FORTE 2007: 309-324 - [c46]Philipp Becker, Reinhard Gotzhein, Thomas Kuhn:
MacZ - A Quality-of-Service MAC Layer for Ad-hoc Networks. HIS 2007: 277-282 - [c45]Reinhard Gotzhein, Rüdiger Grammes, Thomas Kuhn:
Specifying Input Port Bounds in SDL. SDL Forum 2007: 101-116 - [c44]Ingmar Fliege, Reinhard Gotzhein:
Automated Generation of Micro Protocol Descriptions from SDL Design Specifications. SDL Forum 2007: 150-165 - 2006
- [c43]Thomas Kuhn, Reinhard Gotzhein, Christian Webel:
Model-Driven Development with SDL - Process, Tools, and Experiences. MoDELS 2006: 83-97 - [c42]Reinhard Gotzhein, Ferhat Khendek
:
Compositional Testing of Communication Systems. TestCom 2006: 227-244 - 2005
- [c41]Thomas Kuhn, Alexander Geraldy, Reinhard Gotzhein, Florian Rothländer:
ns+SDL - The Network Simulator for SDL Systems. SDL Forum 2005: 103-116 - 2004
- [c40]Rüdiger Grammes, Reinhard Gotzhein:
Towards the Harmonisation of UML and SDL. FORTE 2004: 61-78 - [c39]Jörg Dorsch, Anders Ek, Reinhard Gotzhein:
SPT - The SDL Pattern Tool. SAM 2004: 50-64 - [c38]Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Philipp Schaible:
A Flexible Micro Protocol Framework. SAM 2004: 224-236 - 2003
- [c37]Reinhard Gotzhein:
Vertical Reuse in the Development of Distributed Systems with FDTs. FORTE 2003: 31-47 - [c36]Alexander Geraldy, Reinhard Gotzhein:
µPROS - Micro Protocol Based Development of Mobile Ad Hoc Networks. PWC 2003: 188-191 - [c35]Reinhard Gotzhein, Christian Peper, Philipp Schaible, Joachim Thees:
Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie. KiVS 2003: 131-141 - [c34]Rüdiger Grammes, Reinhard Gotzhein, Christian Mahr, Philipp Schaible, Helmut Schleiffer:
Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development - Experience and Quantitative Assessment. SDL Forum 2003: 102-116 - [c33]Philipp Schaible, Reinhard Gotzhein:
Development of Distributed Systems with SDL by Means of Formalized APIs. SDL Forum 2003: 317-334 - 2002
- [c32]Reinhard Gotzhein:
Musterbasierte Systementwicklung. Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen 2002: 155-332 - [c31]Reinhard Gotzhein, Philipp Schaible:
Entwicklung von Gebäudeautomationssystemen mit generischen Methoden. Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen 2002: 365-366 - [c30]Frank Rößler, Birgit Geppert, Reinhard Gotzhein:
CoSDL: An Experimental Language for Collaboration Specification. SAM 2002: 1-20 - [c29]Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible:
Micro Protocol Design: The SNMP Case Study. SAM 2002: 61-73 - 2001
- [c28]Frank Rößler, Birgit Geppert, Reinhard Gotzhein:
Collaboration-Based Design of SDL Systems. SDL Forum 2001: 72-89 - 2000
- [c27]Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz:
On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. Abstract State Machines 2000: 242-265 - [c26]Philipp Schaible, Reinhard Gotzhein:
Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware. FBT 2000: 165-174 - [c25]Andreas Prinz, Robert Eschbach, Reinhard Gotzhein:
A Executable Formal Semantics for SDL-2000. SAM 2000: 249-261 - 1999
- [c24]Birgit Geppert, Frank Rößler, Reinhard Gotzhein:
Pattern Application vs. Inheritance in SDL. FMOODS 1999 - [c23]Uwe Glässer, Reinhard Gotzhein, Andreas Prinz:
Towards a new formal SDL semantics - outline of an abstract state machines. SDL Forum 1999: 171-192 - 1998
- [c22]Joachim Thees, Reinhard Gotzhein:
The experimental Estelle Compiler: automatic generation of implementations from formal specifications. FMSP 1998: 54-61 - [c21]Joachim Thees, Reinhard Gotzhein:
Open Estelle - An FDT for Open Distributed Systems. FORTE 1998: 19-36 - [c20]Reinhard Gotzhein, Martin Kronenburg, Christian Peper:
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern. FTRTFT 1998: 65-74 - 1997
- [c19]Christian Peper, Reinhard Gotzhein, Martin Kronenburg:
A Generic Approach to the Formal Specification of Requirements. ICFEM 1997: 252-262 - [c18]Joachim Thees, Reinhard Gotzhein:
Leistungsbewertung automatisch generierter Protokollimplementierungen. MMB (Kurzbeiträge) 1997: 26-33 - [c17]Birgit Geppert, Reinhard Gotzhein, Frank Rößler:
Configuring communication protocols using SDL patterns. SDL Forum 1997: 523-538 - 1994
- [c16]Reinhard Gotzhein:
Applying a Temporal Logic to the RPC-Memory Specification Problem. Formal Systems Specification 1994: 253-273 - [c15]Jan Bredereke, Reinhard Gotzhein:
Specification, detection and resolution of IN feature interactions with Estelle. FORTE 1994: 376-378 - [c14]Reinhard Gotzhein, Gregor von Bochmann:
Specialization in Estelle. PSTV 1994: 21-36 - 1993
- [c13]Jan Bredereke, Reinhard Gotzhein:
Increasing the Concurrency in Estelle. FORTE 1993: 125-139 - [c12]Caroline Andrae, Reinhard Gotzhein, Simone Sédillot:
An Evolutionary Approach to the Development of Complex Protocol Standards. PSTV 1993: 207-222 - 1992
- [c11]Detlef Kreuz, Reinhard Gotzhein:
A Compiler for the Parallel Execution of Estelle Specification. FBT 1992: 161-178 - [c10]Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt:
Design of a formal Estelle semantics for verification. FORTE 1992: 153-168 - [c9]Reinhard Gotzhein:
On Conformance in the Context of Open Systems. ICDCS 1992: 236-243 - 1991
- [c8]Caroline Andrae, Jan Bredereke, C. Hille, D. Peter, T. Reimer, U. Schüler, Reinhard Gotzhein, Friedrich H. Vogt:
Praktischer Einsatz und Weiterentwicklung von Estelle. GI Jahrestagung 1991: 265-275 - [c7]Reinhard Gotzhein, Friedrich H. Vogt:
The Design of a Temporal Logic for Open Distributed Systems. Open Distributed Processing 1991: 229-240 - 1990
- [c6]Reinhard Gotzhein:
Specifying Open Distributed Systems with Z. VDM Europe 1990: 319-339 - [c5]Reinhard Gotzhein:
Specifying communication services with temporal logic. PSTV 1990: 295-309 - 1989
- [c4]Reinhard Gotzhein:
The Formal Definition of the Architectural Concept "Interaction Point". FORTE 1989: 67-81 - 1986
- [c3]Gregor von Bochmann, Reinhard Gotzhein:
Deriving protocol specifications from service specifications. SIGCOMM 1986: 148-156 - 1985
- [c2]Reinhard Gotzhein, Lothar Horbach:
Specification and Realization of Protection Problems as Applied to the Erlangen Cancer Registry. Datenschutz und Datensicherung 1985: 142-155 - 1982
- [c1]Reinhard Gotzhein, S. Keramidis, Manfred Reitenspieß:
A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication. Fachtagung über Programmiersprachen 1982: 105-116
Editorship
- 2018
- [e7]Ferhat Khendek, Reinhard Gotzhein:
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering - 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings. Lecture Notes in Computer Science 11150, Springer 2018, ISBN 978-3-030-01041-6 [contents] - 2013
- [e6]Øystein Haugen, Rick Reed, Reinhard Gotzhein:
System Analysis and Modeling: Theory and Practice - 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7744, Springer 2013, ISBN 978-3-642-36756-4 [contents] - 2009
- [e5]Rick Reed, Attila Bilgic, Reinhard Gotzhein:
SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings. Lecture Notes in Computer Science 5719, Springer 2009, ISBN 978-3-642-04553-0 [contents] - 2006
- [e4]Reinhard Gotzhein, Rick Reed:
System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4320, Springer 2006, ISBN 3-540-68371-2 [contents] - 2005
- [e3]Paul Müller, Reinhard Gotzhein, Jens B. Schmitt:
Kommunikation in Verteilten Systemen (KiVS), 14. ITG/GI-Fachtagung Kommunikation in Verteilten Systemen (KiVS 2005) Kaiserslautern, 28. Februar - 3. März 2005. Informatik Aktuell, Springer 2005, ISBN 3-540-24473-5 [contents] - [e2]Paul Müller, Reinhard Gotzhein, Jens B. Schmitt:
Kommunikation in Verteilten Systemen (KiVS), Kurzbeiträge und Workshop der 14. GI/ITG-Fachtagung Kommunikation in Verteilten Systemen (KiVS 2005) Kaiserslautern, 28. Februar - 3. März 2005. LNI P-61, GI 2005, ISBN 3-88579-390-3 [contents] - 1996
- [e1]Reinhard Gotzhein, Jan Bredereke:
Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996. IFIP Conference Proceedings 69, Chapman & Hall 1996, ISBN 0-412-79490-X [contents]
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint