Mihai Codescu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2008–2019
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | CALCO | Hybridisation of Institutions in HETS (Tool Paper). | Mihai Codescu |
| 2015 | IJCAI | Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending. | Manfred Eppe, Roberto Confalonieri, Ewen Maclean, Maximos Kaliakatsos-Papakostas, Emilios Cambouropoulos, W. Marco Schorlemmer, Mihai Codescu, Kai-Uwe Khnberger |
| 2014 | CADE | Proof Support for Common Logic. | Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grninger |
| 2014 | FOIS | Towards Ontological Support for Principle Solutions in Mechanical Engineering. | Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schrder, Sandro Wartzack |
| 2014 | FOIS | Towards Ontological Support for Principle Solutions in Mechanical Engineering. | Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schrder, Sandro Wartzack |
| 2013 | CALCO | Checking Conservativity with Hets. | Mihai Codescu, Till Mossakowski, Christian Maeder |
| 2011 | CALCO | Refinement Trees: Calculi, Tools, and Applications. | Mihai Codescu, Till Mossakowski |
| 2009 | ICFEM | The VSE Refinement Method in Hets. | Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski |
| 2008 | ICST | Heterogeneous colimits. | Mihai Codescu, Till Mossakowski |