 | 2011 |
|---|
| 10 |       | Mihai Codescu,
Till Mossakowski:
Refinement Trees: Calculi, Tools, and Applications.
CALCO 2011: 145-160 |
| 9 | | Mihai Codescu,
Fulya Horozal,
Michael Kohlhase,
Till Mossakowski,
Florian Rabe:
Project Abstract: Logic Atlas and Integrator (LATIN).
Calculemus/MKM 2011: 289-291 |
| 8 | | Mihai Codescu,
Gregor Horsinka,
Oliver Kutz,
Till Mossakowski,
Rafaela Rau:
DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap.
GeoS 2011: 88-107 |
| 2010 |
|---|
| 7 | | Mihai Codescu,
Till Mossakowski,
Adrián Riesco,
Christian Maeder:
Integrating Maude into Hets.
AMAST 2010: 60-75 |
| 6 | | Mihai Codescu,
Fulya Horozal,
Michael Kohlhase,
Till Mossakowski,
Florian Rabe:
A Proof Theoretic Interpretation of Model Theoretic Hiding.
WADT 2010: 118-138 |
| 5 | | Mihai Codescu,
Fulya Horozal,
Michael Kohlhase,
Till Mossakowski,
Florian Rabe,
Kristina Sojakova:
Towards Logical Frameworks in the Heterogeneous Tool Set Hets.
WADT 2010: 139-159 |
| 4 | | Mihai Codescu:
Lambda Expressions in Casl Architectural Specifications.
WADT 2010: 98-117 |
| 2009 |
|---|
| 3 | | Mihai Codescu,
Bruno Langenstein,
Christian Maeder,
Till Mossakowski:
The VSE Refinement Method in Hets.
ICFEM 2009: 660-678 |
| 2008 |
|---|
| 2 | | Mihai Codescu:
Generalized Theoroidal Institution Comorphisms.
WADT 2008: 88-101 |
| 1 | | Oliver Kutz,
Till Mossakowski,
Mihai Codescu:
Shapes of Alignments - Construction, Combination, and Computation.
WoMO 2008 |
Data released under the ODC-BY 1.0 license — See also our legal information page