×

zbMATH — the first resource for mathematics

Lamo, Yngve

Compute Distance To:
Author ID: lamo.yngve Recent zbMATH articles by "Lamo, Yngve"
Published as: Lamo, Yngve
Documents Indexed: 9 Publications since 2001

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 11 times in 9 Documents Cited by Year
A formalisation of the copy-modify-merge approach to version control in MDE. Zbl 1204.68075
Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe
4
2010
A formal approach to the specification and transformation of constraints in MDE. Zbl 1246.68098
Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe
3
2012
Change-preserving model repair. Zbl 1430.68029
Taentzer, Gabriele; Ohrndorf, Manuel; Lamo, Yngve; Rutle, Adrian
1
2017
Co-transformation of graphs and type graphs with application to model co-evolution. Zbl 1367.68154
Taentzer, Gabriele; Mantz, Florian; Lamo, Yngve
1
2012
Quantifier-free logic for nondeterministic theories. Zbl 1088.68113
Lamo, Yngve; Walicki, Michał
1
2006
Composition and refinement of specifications of parameterized data types. Zbl 1270.68087
Lamo, Yngve; Walicki, Michal
1
2002
Change-preserving model repair. Zbl 1430.68029
Taentzer, Gabriele; Ohrndorf, Manuel; Lamo, Yngve; Rutle, Adrian
1
2017
A formal approach to the specification and transformation of constraints in MDE. Zbl 1246.68098
Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe
3
2012
Co-transformation of graphs and type graphs with application to model co-evolution. Zbl 1367.68154
Taentzer, Gabriele; Mantz, Florian; Lamo, Yngve
1
2012
A formalisation of the copy-modify-merge approach to version control in MDE. Zbl 1204.68075
Rossini, Alessandro; Rutle, Adrian; Lamo, Yngve; Wolter, Uwe
4
2010
Quantifier-free logic for nondeterministic theories. Zbl 1088.68113
Lamo, Yngve; Walicki, Michał
1
2006
Composition and refinement of specifications of parameterized data types. Zbl 1270.68087
Lamo, Yngve; Walicki, Michal
1
2002

Citations by Year