Edit Profile (opens in new tab) von Bochmann, Gregor Co-Author Distance Author ID: von-bochmann.gregor Published as: Bochmann, Gregor V.; von Bochmann, Gregor; Bochmann, Gregor v. more...less Documents Indexed: 34 Publications since 1974, including 2 Books 2 Contributions as Editor Co-Authors: 36 Co-Authors with 27 Joint Publications 297 Co-Co-Authors all top 5 Co-Authors 9 single-authored 5 El-Fakih, Khaled 4 Higashino, Teruo 3 Yamaguchi, Hirozumi 3 Yevtushenko, Nina 2 Barbeau, Michel 2 Buffalov, Sergey 2 Wu, Cheng 1 Chan, Ken Y. 1 Daou, Bassel 1 Das, Anindya Bijoy 1 Dssouli, Rachida 1 El-Khatib, Khalil 1 Fournier, Reine 1 Gecsei, Jan 1 Kant, Christian 1 Kerhervé, Brigitte 1 Khoumsi, Ahmed 1 Lecarme, Olivier 1 Ledgard, Henry F. 1 Luo, Gang 1 Lutfiyya, Hanan L. 1 Marcotty, Michael 1 Merlin, Philip M. 1 Probst, David K. 1 Prokopenko, Svetlana 1 Qiao, Ying 1 Rayner, Dave 1 Salem, Mohamed-Vall M. 1 Sarikaya, Behcet 1 Savoie, Michel 1 West, Colin H. 1 Wu, Jing 1 Yao, Ming Yu 1 Ye, Haiwei 1 Zhang, James Yiming 1 Zhong, Yu all top 5 Serials 2 Theoretical Computer Science 2 Distributed Computing 2 Computer Networks 2 Lecture Notes in Computer Science 1 Information Processing Letters 1 Computing 1 IEEE Transactions on Computers 1 International Journal of Computer & Information Sciences 1 ACM Transactions on Programming Languages and Systems 1 COMPEL 1 Discrete Event Dynamic Systems 1 Communications of the ACM 1 Computing Surveys 1 IEEE Transactions on Software Engineering all top 5 Fields 34 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 2 Systems theory; control (93-XX) 2 Information and communication theory, circuits (94-XX) 1 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Optics, electromagnetic theory (78-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 18 Publications have been cited 76 times in 65 Documents Cited by ▼ Year ▼ Semantic evaluation from left to right. Zbl 0317.68020 Bochmann, Gregor V. 19 1976 On the construction of submodule specifications and communication protocols. Zbl 0498.68009 Merlin, Philip; Bochmann, Gregor V. 10 1983 Hardware specification with temporal logic: an example. Zbl 0477.94036 Bochmann, Gregor V. 9 1982 Progressive solutions to a parallel automata equation. Zbl 1279.68135 Buffalov, Sergey; El-Fakih, Khaled; Yevtushenko, Nina; von Bochmann, Gregor 7 2003 A sampler of formal definitions. Zbl 0352.68095 Marcotty, Michael; Ledgard, Henry F.; Bochmann, Gregor V. 6 1976 A (truly) usable and portable compiler writing system. Zbl 0308.68033 Lecarme, Olivier; Bochmann, Gregor V. 5 1974 A unified method for the specification and verification of protocols. Zbl 0363.68015 Bochmann, Gregor V.; Gecsei, Jan 3 1977 Submodule construction and supervisory control: A generalization. Zbl 1015.68115 von Bochmann, Gregor 3 2002 Concepts for distributed systems design. Zbl 0514.68001 von Bochmann, Gregor 2 1983 Load balancing in peer-to-peer systems using a diffusive approach. Zbl 1255.68288 Qiao, Ying; von Bochmann, Gregor 2 2012 Deriving protocol specifications from service specifications written as Predicate/Transition-nets. Zbl 1118.68028 Yamaguchi, Hirozumi; El-Fakih, Khaled; Bochmann, Gregor V.; Higashino, Teruo 2 2007 Submodule construction for specifications with input assumptions and output guarantees. Zbl 1037.68551 Bochmann, Gregor v. 2 2002 Extension of the Karp and Miller procedure to Lotos specifications. Zbl 0797.68106 Barbeau, Michel; Bochmann, Gregor V. 1 1991 Submodule construction for extended state machine models. Zbl 1169.68463 Daou, Bassel; Bochmann, Gregor V. 1 2005 Progressive solutions to a parallel automata equation. Zbl 1100.68047 El-Fakih, Khaled; Yevtushenko, Nina; Buffalov, Sergey; Bochmann, Gregor V. 1 2006 The equivalence in the DCP model. Zbl 0737.68031 Fournier, Reine; von Bochmann, Gregor 1 1991 Computer aided verification. 4th international workshop, CAV ’92, Montreal, Canada, June 29 – July 1, 1992. Proceedings. Zbl 0825.00106 1 1993 Using logic to solve the submodule construction problem. Zbl 1266.93095 Bochmann, Gregor v. 1 2013 Using logic to solve the submodule construction problem. Zbl 1266.93095 Bochmann, Gregor v. 1 2013 Load balancing in peer-to-peer systems using a diffusive approach. Zbl 1255.68288 Qiao, Ying; von Bochmann, Gregor 2 2012 Deriving protocol specifications from service specifications written as Predicate/Transition-nets. Zbl 1118.68028 Yamaguchi, Hirozumi; El-Fakih, Khaled; Bochmann, Gregor V.; Higashino, Teruo 2 2007 Progressive solutions to a parallel automata equation. Zbl 1100.68047 El-Fakih, Khaled; Yevtushenko, Nina; Buffalov, Sergey; Bochmann, Gregor V. 1 2006 Submodule construction for extended state machine models. Zbl 1169.68463 Daou, Bassel; Bochmann, Gregor V. 1 2005 Progressive solutions to a parallel automata equation. Zbl 1279.68135 Buffalov, Sergey; El-Fakih, Khaled; Yevtushenko, Nina; von Bochmann, Gregor 7 2003 Submodule construction and supervisory control: A generalization. Zbl 1015.68115 von Bochmann, Gregor 3 2002 Submodule construction for specifications with input assumptions and output guarantees. Zbl 1037.68551 Bochmann, Gregor v. 2 2002 Computer aided verification. 4th international workshop, CAV ’92, Montreal, Canada, June 29 – July 1, 1992. Proceedings. Zbl 0825.00106 1 1993 Extension of the Karp and Miller procedure to Lotos specifications. Zbl 0797.68106 Barbeau, Michel; Bochmann, Gregor V. 1 1991 The equivalence in the DCP model. Zbl 0737.68031 Fournier, Reine; von Bochmann, Gregor 1 1991 On the construction of submodule specifications and communication protocols. Zbl 0498.68009 Merlin, Philip; Bochmann, Gregor V. 10 1983 Concepts for distributed systems design. Zbl 0514.68001 von Bochmann, Gregor 2 1983 Hardware specification with temporal logic: an example. Zbl 0477.94036 Bochmann, Gregor V. 9 1982 A unified method for the specification and verification of protocols. Zbl 0363.68015 Bochmann, Gregor V.; Gecsei, Jan 3 1977 Semantic evaluation from left to right. Zbl 0317.68020 Bochmann, Gregor V. 19 1976 A sampler of formal definitions. Zbl 0352.68095 Marcotty, Michael; Ledgard, Henry F.; Bochmann, Gregor V. 6 1976 A (truly) usable and portable compiler writing system. Zbl 0308.68033 Lecarme, Olivier; Bochmann, Gregor V. 5 1974 all cited Publications top 5 cited Publications all top 5 Cited by 111 Authors 6 von Bochmann, Gregor 4 Engelfriet, Joost 3 Chebotarev, Anatoli N. 3 El-Fakih, Khaled 3 Yevtushenko, Nina 2 Buffalov, Sergey 2 Clarke, Edmund Melson jun. 2 Filé, Gilberto 2 Giegerich, Robert 2 Lin, Feng 2 Łukaszewicz, Leon 2 Sangiovanni-Vincentelli, Alberto L. 2 Villa, Tiziano 2 Wonham, W. Murray 1 Ali, Khayri A. M. 1 Bartoletti, Massimo 1 Bellia, Marco 1 Bhaduri, Purandar 1 Bocchi, Laura 1 Boyer, Marc 1 Brayton, Robert K. 1 Bushkov, V. G. 1 Chadwick, Bryan 1 Chakrabarti, Indrajit 1 Chen, Yueguo 1 Cherkaoui, Omar 1 Chirica, Laurian M. 1 Correa, Nelson 1 Courtiat, Jean-Pierre 1 Dallal, Jehad Al 1 De Saqui-Sannes, Pierre 1 de Vlaminck, Karel 1 Deca, Rudy 1 Desjardins, Pierre 1 Du, Xiaoyong 1 Erdogmus, Hakan 1 Evtushenko, N. V. 1 Fülöp, Zoltán 1 Fusaoka, Akira 1 Gau, Chuen-Hau 1 Giannakopoulou, Dimitra 1 Hallé, Sylvain 1 Hamaguchi, Kiyoharu 1 Haridi, Seif 1 Herrmann, Frank 1 Heyker, Linda 1 Higashino, Teruo 1 Hiraishi, Hiromi 1 Hsiung, Pao-Ann 1 Hua, Qingyi 1 Huens, J. 1 Huybrechts, M. 1 Joshi, Aravind K. 1 Kasami, Tadao 1 Kastens, Uwe 1 Koskimies, Kai 1 Krogdahl, Stein 1 Kühnemann, Armin 1 Kurivchak, O. I. 1 Larsen, Kim Guldstrand 1 Lecarme, Olivier 1 Levy, Leon S. 1 Lewi, Johan 1 Lieberherr, Karl J. 1 Lundy, G. M. 1 Majumdar, Arun K. 1 Maneth, Sebastian 1 Mangeruca, Leonardo 1 Martin, David F. 1 Mendler, Michael 1 Miller, Raymond E. 1 Mishra, Bud 1 Motohashi, Yoichi 1 Murgia, Maurizio 1 Namjoshi, Kedar S. 1 Nepeĭvoda, Nikolaĭ Nikolaevich 1 Pan, Guoqiang 1 Papakonstantinou, George K. 1 Parrow, Joachim 1 Păsăreanu, Corina S. 1 Pen’yam, Ya. Eh. 1 Petrenko, Alex 1 Qi, Jianzhong 1 Qiao, Ying 1 Qin, Huajun 1 Rampersad, Narad 1 Ravikumar, Bala 1 Riis, Hanne 1 Romeo, Íñigo X. Íncer 1 Sadani, Tarek 1 Saleh, Kassem A. 1 Santean, Nicolae 1 Sattler, Ulrike 1 Seki, Hirohisa 1 Shallit, Jeffrey Outlaw 1 Skyum, Sven 1 Sonnenschein, Michael 1 Stroup, Terry 1 Sun, Yu 1 Suzuki, Ichiro ...and 11 more Authors all top 5 Cited in 28 Serials 11 Theoretical Computer Science 7 Acta Informatica 4 Information Processing Letters 2 Computing 2 Information Sciences 2 Mathematical Systems Theory 2 Journal of Computer Science and Technology 2 Formal Aspects of Computing 2 Discrete Event Dynamic Systems 2 Distributed Computing 2 Cybernetics and Systems Analysis 2 Prikladnaya Diskretnaya Matematika 1 BIT 1 Calcolo 1 International Journal of Computer & Information Sciences 1 Journal of Computer and System Sciences 1 Journal of Soviet Mathematics 1 Software. Practice & Experience 1 Cybernetics 1 New Generation Computing 1 International Journal of Parallel Programming 1 Information and Computation 1 Journal of Automated Reasoning 1 Formal Methods in System Design 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Higher-Order and Symbolic Computation 1 BIT. Nordisk Tidskrift for Informationsbehandling Cited in 5 Fields 61 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 6 Information and communication theory, circuits (94-XX) 4 Systems theory; control (93-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year