Edit Profile (opens in new tab) Codescu, Mihai Co-Author Distance Author ID: codescu.mihai Published as: Codescu, Mihai External Links: MGP Documents Indexed: 12 Publications since 2008 1 Contribution as Editor Co-Authors: 13 Co-Authors with 10 Joint Publications 239 Co-Co-Authors all top 5 Co-Authors 3 single-authored 8 Mossakowski, Till 5 Rabe, Florian 4 Horozal, Fulya 3 Kohlhase, Michael 1 Diaconescu, Răzvan 1 Gaĭnă, Daniel 1 Jakubauskas, Aivaras 1 Kutz, Oliver 1 Maeder, Christian 1 Neuhaus, Fabian 1 Riesco, Adrián 1 Sojakova, Kristina 1 Ţuţu, Ionuţ Serials 1 Lecture Notes in Computer Science 1 Logica Universalis Fields 12 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 Category theory; homological algebra (18-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 11 Publications have been cited 52 times in 41 Documents Cited by ▼ Year ▼ Project abstract: logic atlas and integrator (LATIN). Zbl 1278.68285 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian 18 2011 Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina 8 2012 The distributed ontology, modeling and specification language – DOL. Zbl 1409.68284 Mossakowski, Till; Codescu, Mihai; Neuhaus, Fabian; Kutz, Oliver 8 2015 Birkhoff completeness in institutions. Zbl 1179.03069 Codescu, Mihai; Găină, Daniel 6 2008 Generalized theoroidal institution comorphisms. Zbl 1253.68226 Codescu, Mihai 4 2009 Hybridisation of institutions in HETS (tool paper). Zbl 07649900 Codescu, Mihai 3 2019 Integrating Maude into Hets. Zbl 1308.68075 Codescu, Mihai; Mossakowski, Till; Riesco, Adrián; Maeder, Christian 1 2011 A proof theoretic interpretation of model theoretic hiding. Zbl 1278.68202 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian 1 2012 Recent trends in algebraic development techniques. 22nd international workshop, WADT 2014, Sinaia, Romania, September 4–7, 2014. Revised selected papers. Zbl 1327.68013 1 2015 Canonical selection of colimits. Zbl 1496.68203 Mossakowski, Till; Rabe, Florian; Codescu, Mihai 1 2017 Compiling logics. Zbl 1394.68071 Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian 1 2013 Hybridisation of institutions in HETS (tool paper). Zbl 07649900 Codescu, Mihai 3 2019 Canonical selection of colimits. Zbl 1496.68203 Mossakowski, Till; Rabe, Florian; Codescu, Mihai 1 2017 The distributed ontology, modeling and specification language – DOL. Zbl 1409.68284 Mossakowski, Till; Codescu, Mihai; Neuhaus, Fabian; Kutz, Oliver 8 2015 Recent trends in algebraic development techniques. 22nd international workshop, WADT 2014, Sinaia, Romania, September 4–7, 2014. Revised selected papers. Zbl 1327.68013 1 2015 Compiling logics. Zbl 1394.68071 Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian 1 2013 Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina 8 2012 A proof theoretic interpretation of model theoretic hiding. Zbl 1278.68202 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian 1 2012 Project abstract: logic atlas and integrator (LATIN). Zbl 1278.68285 Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian 18 2011 Integrating Maude into Hets. Zbl 1308.68075 Codescu, Mihai; Mossakowski, Till; Riesco, Adrián; Maeder, Christian 1 2011 Generalized theoroidal institution comorphisms. Zbl 1253.68226 Codescu, Mihai 4 2009 Birkhoff completeness in institutions. Zbl 1179.03069 Codescu, Mihai; Găină, Daniel 6 2008 all cited Publications top 5 cited Publications all top 5 Cited by 52 Authors 15 Rabe, Florian 11 Kohlhase, Michael 9 Mossakowski, Till 4 Diaconescu, Răzvan 4 Gaĭnă, Daniel 3 Codescu, Mihai 3 Horozal, Fulya 3 Iancu, Mihnea 3 Kutz, Oliver 3 Tarlecki, Andrzej 2 Confalonieri, Roberto 2 Futatsugi, Kokichi 2 Müller, Dennis 2 Ogata, Kazuhiro 2 Sannella, Donald T. 1 Aiguier, Marc 1 Ait-Ameur, Yamine 1 Autexier, Serge 1 Badia, Guillermo 1 Baumeister, Hubert 1 Bettaz, Mohamed 1 Bloch, Isabelle 1 Calegari, Daniel 1 Eppe, Manfred 1 Gauthier, Thibault 1 Haveraaen, Magne 1 Hutter, Dieter 1 Ibañez, Yazmin Angelica 1 Jucovschi, Constantin 1 Kaliszyk, Cezary 1 Kowalski, Tomasz 1 Krieg-Brückner, Bernd 1 Kühnberger, Kai-Uwe 1 Laleau, Régine 1 Maclean, Ewen 1 Maouche, Mourad 1 Méry, Dominique 1 Mosteghanemi, M’hamed 1 Neuhaus, Fabian 1 Pawłowski, Wiesław 1 Petria, Marius 1 Plaza, Enric 1 Riesco, Adrián 1 Roggenbach, Markus 1 Roux, Navid 1 Sacerdoti Coen, Claudio 1 Schaefer, Jan Frederik 1 Schorlemmer, Marco 1 Singh, Neeraj Kumar 1 Szasz, Nora 1 Urban, Josef 1 Wiesing, Tom all top 5 Cited in 15 Serials 4 Logica Universalis 2 Theoretical Computer Science 2 Journal of Automated Reasoning 2 Formal Aspects of Computing 1 Artificial Intelligence 1 Information Processing Letters 1 Fuzzy Sets and Systems 1 Annals of Pure and Applied Logic 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Archive for Mathematical Logic 1 Annals of Mathematics and Artificial Intelligence 1 ACM Transactions on Computational Logic 1 Mathematics in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Cited in 3 Fields 32 Computer science (68-XX) 17 Mathematical logic and foundations (03-XX) 2 Category theory; homological algebra (18-XX) Citations by Year