×
Author ID: codescu.mihai Recent zbMATH articles by "Codescu, Mihai"
Published as: Codescu, Mihai
External Links: MGP

Publications by Year

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

Citations by Year