Edit Profile (opens in new tab) Boronat, Artur Co-Author Distance Author ID: boronat.artur Published as: Boronat, Artur External Links: ORCID Documents Indexed: 5 Publications since 2009 Co-Authors: 10 Co-Authors with 5 Joint Publications 304 Co-Co-Authors all top 5 Co-Authors 0 single-authored 2 Meseguer Guaita, José 2 Mylonakis, Nikos 2 Orejas, Fernando 1 de Lara, Juan 1 Golas, Ulrike 1 Guerra, Esther 1 Heckel, Reiko 1 Knapp, Alexander 1 Torrini, Paolo 1 Wirsing, Martin Serials 1 Formal Aspects of Computing Fields 5 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2 Publications have been cited 20 times in 19 Documents Cited by ▼ Year ▼ What is a multi-modeling language? Zbl 1253.68225 Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin 13 2009 An algebraic semantics for MOF. Zbl 1213.68358 Boronat, Artur; Meseguer, José 7 2010 An algebraic semantics for MOF. Zbl 1213.68358 Boronat, Artur; Meseguer, José 7 2010 What is a multi-modeling language? Zbl 1253.68225 Boronat, Artur; Knapp, Alexander; Meseguer, José; Wirsing, Martin 13 2009 all cited Publications top 5 cited Publications all top 5 Cited by 39 Authors 6 Meseguer Guaita, José 4 Wirsing, Martin 3 Knapp, Alexander 2 Boronat, Artur 2 Hennicker, Rolf 2 Lamo, Yngve 2 Mossakowski, Till 2 Roşu, Grigore 2 Rutle, Adrian 1 Baumeister, Hubert 1 Belzner, Lenz 1 Bettaz, Mohamed 1 Cengarle, María Victoria 1 Clavel, Manuel 1 De Nicola, Rocco 1 Durán, Francisco 1 Eker, Steven 1 Escobar, Santiago 1 Ibañez, Yazmin Angelica 1 Jackson, Ethan K. 1 Klarl, Annabelle 1 König, Harald 1 Kreowski, Hans-Jörg 1 Kuske, Sabine 1 Lincoln, Patrick D. 1 Lucas, Salvador 1 Maouche, Mourad 1 Martí-Oliet, Narciso 1 Mosteghanemi, M’hamed 1 Neubert, Stefanie 1 Orejas, Fernando 1 Roggenbach, Markus 1 Rossini, Alessandro 1 Sannella, Donald T. 1 Stünkel, Patrick 1 Talcott, Carolyn L. 1 Tarlecki, Andrzej 1 von Totth, Caroline 1 Wolter, Uwe E. Cited in 4 Serials 2 Formal Aspects of Computing 2 The Journal of Logic and Algebraic Programming 1 Information and Computation 1 Theory and Practice of Logic Programming Cited in 4 Fields 19 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 2 History and biography (01-XX) 1 Category theory; homological algebra (18-XX) Citations by Year