| |
| 2009 | ||
|---|---|---|
| 7 | EE | Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter: A Category-Theoretical Approach to the Formalisation of Version Control in MDE. FASE 2009: 64-78 |
| 2006 | ||
| 6 | EE | Yngve Lamo, Michal Walicki: Quantifier-free logic for nondeterministic theories. Theor. Comput. Sci. 355(2): 215-227 (2006) |
| 2003 | ||
| 5 | EE | Yngve Lamo, Michal Walicki: Quantifier-free logic for multialgebraic theories. Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 2002 | ||
| 4 | EE | Yngve Lamo, Michal Walicki: Combining Specification Formalisms in the ?General Logic? of Multialgebras. WADT 2002: 328-342 |
| 3 | EE | 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 | EE | Yngve Lamo, Michal Walicki: Specification of Parametrized Programs - Persistency Revisited. Nord. J. Comput. 8(3): 298-323 (2001) |
| 1 | Alessandro Rossini | [7] |
| 2 | Adrian Rutle | [7] |
| 3 | Michal Walicki | [1] [2] [3] [4] [5] [6] |
| 4 | Uwe Wolter | [7] |