Edit Profile (opens in new tab) Kyas, Marcel Co-Author Distance Author ID: kyas.marcel Published as: Kyas, Marcel Documents Indexed: 8 Publications since 2001 Co-Authors: 12 Co-Authors with 7 Joint Publications 197 Co-Co-Authors all top 5 Co-Authors 1 single-authored 2 de Boer, Frank S. 2 Schönborn, Jens 1 Bjørk, Joakim 1 de Roever, Willem-Paul 1 Fecher, Harald 1 Grabe, Immo 1 Johnsen, Einar Broch 1 Owe, Olaf 1 Prisacariu, Cristian 1 Schneider, Gerardo 1 Steffen, Martin 1 Torjusen, Arild B. Serials Fields 8 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 5 Publications have been cited 12 times in 12 Documents Cited by ▼ Year ▼ Run-time monitoring of electronic contracts. Zbl 1183.68074 Kyas, Marcel; Prisacariu, Cristian; Schneider, Gerardo 7 2008 An object-oriented component model for heterogeneous nets. Zbl 1209.68339 Johnsen, Einar Broch; Owe, Olaf; Bjørk, Joakim; Kyas, Marcel 2 2008 A theory of bounded fair scheduling. Zbl 1161.68583 Schönborn, Jens; Kyas, Marcel 1 2008 Compositional operational semantics of a UML-kernel-model language. Zbl 1273.68205 Fecher, Harald; Kyas, Marcel; de Roever, Willem-Paul; de Boer, Frank S. 1 2006 Refinement patterns for hierarchical UML state machines. Zbl 1274.68165 Schönborn, Jens; Kyas, Marcel 1 2010 Refinement patterns for hierarchical UML state machines. Zbl 1274.68165 Schönborn, Jens; Kyas, Marcel 1 2010 Run-time monitoring of electronic contracts. Zbl 1183.68074 Kyas, Marcel; Prisacariu, Cristian; Schneider, Gerardo 7 2008 An object-oriented component model for heterogeneous nets. Zbl 1209.68339 Johnsen, Einar Broch; Owe, Olaf; Bjørk, Joakim; Kyas, Marcel 2 2008 A theory of bounded fair scheduling. Zbl 1161.68583 Schönborn, Jens; Kyas, Marcel 1 2008 Compositional operational semantics of a UML-kernel-model language. Zbl 1273.68205 Fecher, Harald; Kyas, Marcel; de Roever, Willem-Paul; de Boer, Frank S. 1 2006 all cited Publications top 5 cited Publications all top 5 Cited by 31 Authors 3 Prisacariu, Cristian 3 Schneider, Gerardo 2 Johnsen, Einar Broch 2 Owe, Olaf 1 Aichernig, Bernhard K. 1 Balasingham, Ilangko 1 Dams, Dennis René 1 de Boer, Frank S. 1 Dinesh, Nikhil 1 Fazeldehkordi, Elahe 1 Frappier, Marc 1 Gervais, Frédéric 1 Griesmayer, Andreas 1 Hannemann, Ulrich 1 Hvitved, Tom 1 Joshi, Aravind K. 1 Kazemeyni, Fatemeh 1 Klaedtke, Felix 1 Kyas, Marcel 1 Laleau, Régine 1 Le Métayer, Daniel 1 Lee, Insup 1 Leucker, Martin 1 Mazza, Eduardo 1 Milhau, Jérémy 1 Potet, Marie-Laure 1 Schallhart, Christian 1 Schlatte, Rudolf 1 Sokolsky, Oleg 1 Steffen, Martin 1 Zălinescu, Eugen Cited in 3 Serials 5 The Journal of Logic and Algebraic Programming 1 Formal Aspects of Computing 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 11 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 History and biography (01-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year