Edit Profile (opens in new tab) Gotzhein, Reinhard Compute Distance To: Compute Author ID: gotzhein.reinhard Published as: Gotzhein, Reinhard; Gotzhein, R. Documents Indexed: 12 Publications since 1992, including 1 Book 1 Contribution as Editor Co-Authors: 16 Co-Authors with 10 Joint Publications 227 Co-Co-Authors all top 5 Co-Authors 3 single-authored 3 Schaible, Philipp 2 Geppert, Birgit 2 Glässer, Uwe 2 Khendek, Ferhat 2 Prinz, Andreas 2 Rößler, Frank 1 Allgower, Frank 1 Blind, Rainer 1 Chamaken, A. 1 Eschbach, Robert 1 Grammes, Rüdiger 1 Litz, Lothar 1 Mahr, Christian 1 Müller, Paul F. X. 1 Schleiffer, Helmut 1 Schmitt, Jens Burkhard Serials 2 Computer Networks and ISDN Systems 1 Computer Networks Fields 12 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 4 Publications have been cited 10 times in 9 Documents Cited by ▼ Year ▼ Temporal logic and applications - a tutorial. Zbl 0767.68042Gotzhein, Reinhard 4 1992 The formal semantics of SDL-2000: Status and perspectives. Zbl 1045.68087Glässer, U.; Gotzhein, R.; Prinz, A. 3 2003 Formal definition and representation of interaction points. Zbl 0789.68093Gotzhein, Reinhard 2 1992 Collaboration-based design of SDL systems. Zbl 0982.68590Roessler, Frank; Geppert, Birgit; Gotzhein, Reinhard 1 2001 The formal semantics of SDL-2000: Status and perspectives. Zbl 1045.68087Glässer, U.; Gotzhein, R.; Prinz, A. 3 2003 Collaboration-based design of SDL systems. Zbl 0982.68590Roessler, Frank; Geppert, Birgit; Gotzhein, Reinhard 1 2001 Temporal logic and applications - a tutorial. Zbl 0767.68042Gotzhein, Reinhard 4 1992 Formal definition and representation of interaction points. Zbl 0789.68093Gotzhein, Reinhard 2 1992 all cited Publications top 5 cited Publications all top 5 Cited by 19 Authors 1 Börger, Egon 1 Bræk, Rolv 1 Brunekreef, Jacob 1 Castejón, Humberto Nicolás 1 Corporaal, Henk 1 Huang, Jinfeng 1 Hubaux, Jean-Pierre 1 Karimadini, Mohammad 1 Katoen, Joost-Pieter 1 Koymans, Ron 1 Ladkin, Peter B. 1 Leue, Stefan 1 Li, Yongming 1 Lin, Hai 1 Logean, X. 1 Mauw, Sjouke 1 Prinz, Andreas 1 Shi, Huixian 1 Voeten, Jeroen P. M. all top 5 Cited in 6 Serials 2 Formal Aspects of Computing 1 Automatica 1 Real-Time Systems 1 Distributed Computing 1 Concurrency and Computation: Practice & Experience 1 Journal of Intelligent and Fuzzy Systems Cited in 3 Fields 7 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 Systems theory; control (93-XX) Citations by Year