 | 2009 |
|---|
| 11 |       | Adrian Rutle,
Alessandro Rossini,
Yngve Lamo,
Uwe Wolter:
A Category-Theoretical Approach to the Formalisation of Version Control in MDE.
FASE 2009: 64-78 |
| 10 | | Adrian Rutle,
Alessandro Rossini,
Yngve Lamo,
Uwe Wolter:
A Diagrammatic Formalisation of MOF-Based Modelling Languages.
TOOLS (47) 2009: 37-56 |
| 9 | | Terje Kristensen,
Yngve Lamo,
Kristin Ran Choi Hinna,
Grete Oline Hole:
Dynamic Content Manager - A New Conceptual Model for E-Learning.
WISM 2009: 499-507 |
| 2008 |
|---|
| 8 | | Adrian Rutle,
Uwe Wolter,
Yngve Lamo:
A diagrammatic approach to model transformations.
EATIS 2008 |
| 7 | | Sigvat Eide,
Terje Kristensen,
Yngve Lamo:
A model for dynamic content based e-learning systems.
EATIS 2008 |
| 2006 |
|---|
| 6 | | Yngve Lamo,
Michal Walicki:
Quantifier-free logic for nondeterministic theories.
Theor. Comput. Sci. 355(2): 215-227 (2006) |
| 2003 |
|---|
| 5 | | Yngve Lamo,
Michal Walicki:
Quantifier-free logic for multialgebraic theories.
Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 2002 |
|---|
| 4 | | Yngve Lamo,
Michal Walicki:
Combining Specification Formalisms in the ?General Logic? of Multialgebras.
WADT 2002: 328-342 |
| 3 | | Yngve Lamo,
Michal Walicki:
Composition and refinement of specifications and parameterised data types.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 2001 |
|---|
| 2 |  | Yngve Lamo,
Michal Walicki:
Modeling Partiality by Nondeterminism.
ISAS-SCI (1) 2001: 447-452 |
| 1 | | Yngve Lamo,
Michal Walicki:
Specification of Parametrized Programs - Persistency Revisited.
Nord. J. Comput. 8(3): 298-323 (2001) |
