Publications

Workshops

• Alessandro Rossini, Adrian Rutle, Khalid A. Mughal, Yngve Lamo and Uwe Wolter. A Formal Approach to Data Validation Constraints in MDE. In TTSS 2011: 5th International Workshop on Harnessing Theories for Tool Support in Software, pages 65–76, September 2011.

Journals

• Alessandro Rossini, Adrian Rutle, Yngve Lamo and Uwe Wolter. A Formalisation of the Copy-Modify-Merge Approach to Version Control in MDE. Journal of Logic and Algebraic Programming, 79(7): 636-658. Elsevier, 2010.
• Marc Bezem, Robert Nieuwenhuis and Enric Rodríguez-Carbonell. Hard problems in max-algebra, control theory, hypergraphs and other areas. Information Processing Letters, 110(4): 133-138. Elsevier, 2010.

Conferences

• Dag Hovland. The Inclusion Problem for Regular Expressions. In Adrian Horia Dediu, Henning Fernau and Carlos Martín-Vide, editor, LATA 2010, volume 6031 of LNCS, pages 309-320. Springer, 2010.
• Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter. A Formalisation of Constraint-Aware Model Transformations. In David Rosenblum and Gabriele Taentzer, editors, FASE 2010, volume 6013 of LNCS, pages 13–28, Springer, 2010.
• Alessandro Rossini and Adrian Rutle. Computer Science and Society: Is a New Social Contract Possible?. In ICSIT 2010, pages 67-70. IIIS, 2010.
• Federico Mancini, Dag Hovland and Khalid A. Mughal. Investigating the Limitations of Java Annotations for Input Validation. In ARES 2010, pages 513-518. IEEE Computer Society, 2010.
• Federico Mancini, Dag Hovland and Khalid A. Mughal. The SHIP Validator: An Annotation-based Content-Validation Framework for Java Applications. In ICIW 2010, pages 122-128. IEEE Computer Society, 2010.

Workshops

• Alessandro Rossini, Adrian Rutle, Florian Mantz, Yngve Lamo and Uwe Wolter. Constraint-Aware Model Merging. In NWPT 2010, pages 31–33, November 2010.
• Florian Mantz, Alessandro Rossini, Adrian Rutle, Yngve Lamo and Uwe Wolter. Towards a Formal Approach to Metamodel Evolution. In NWPT 2010, pages 52–54, November 2010.

Books

• Khalid A. Mughal and Rolf W. Rasmussen. A Programmer's Guide to Java SCJP Certification: A Comprehensive Primer (3rd Edition). Addison-Wesley, 2009. ISBN: 0321556054.
• Khalid A. Mughal, Torill Hamre and Rolf W. Rasmussen. Java Actually: A Comprehensive Primer in Java Programming. Cengage Learning, 2008. ISBN: 1844809331.

Journals

• Eva Burrows and Magne Haveraaen. A hardware independent parallel programming model. Journal of Logic and Algebraic Programming, 78(7): 519-538. Elsevier, 2009.
• John Fisher, Marc Bezem. Skolem Machines. Fundamenta Informaticae, 91(1): 79-103. IOS Press, 2009.
• Magne Haveraaen and Helmer André Friis. Coordinate-free numerics: all your variation points for free?. International Journal of Computational Science and Engineering, 4:223-230. Inderscience Publishers, 2009.
• Michal Walicki. Reference, paradoxes and truth. Synthese, 171(1): 195-226. Springer, 2009.
• Michal Walicki, Marc Bezem and Wojtek Szajnkenig. Developing Bounded Reasoning. Journal of Logic, Language and Information, 18:97-129. Springer, 2009.

Book chapters

• Michal Walicki and Uwe Wolter. Universal multialgebra. In Oleg N. Terikhovsky and William N. Burton, editors, New Topics in Theoretical Computer Science, pages 27-93. Nova Science Publishers, 2009.

Conferences

• Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter. A Diagrammatic Formalisation of MOF-Based Modelling Languages. In Manuel Oriol and Bertrand Meyer, editors, TOOLS Europe 2009, volume 33 of LNBIP, pages 37-56. Springer, 2009.
• Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter. A Category-Theoretical Approach to the Formalisation of Version Control in MDE. In Marsha Chechik and Martin Wirsing, editors, FASE 2009, volume 5503 of LNCS, pages 64-78. Springer, 2009.
• Anya Helene Bagge and Magne Haveraaen. Axiom-based transformations: Optimisation and testing. In Jurgen J. Vinju and Adrian Johnstone, editors, LDTA 2008, volume 238 of ENTCS, pages 17-33. Elsevier, 2009.
• Anya Helene Bagge, Valentin David and Magne Haveraaen. The axioms strike back: Testing with concepts and axioms in C++. In GPCE 2009, pages 15-24. ACM, 2009.
• Anya Helene Bagge. Yet Another Language Extension Scheme. In Mark van den Brand, Dragan Gasevic and Jeff Gray, editors, SLE 2009, pages 123-132. Springer, 2010.
• Dag Hovland. Regular expressions with numerical constraints and automata with counters. In Martin Leucker and Carroll Morgan, editors, ICTAC 2009, volume 5684 of LNCS, pages 231-245. Springer, 2009.
• Dag Hovland. A type system for usage of software components. In Stefano Berardi, Ferruccio Damiani and Ugo de'Liguoro, editors, TYPES 2008, volume 5497 of LNCS, pages 186-202. Springer, 2009.
• Michal Walicki and Paul Simon Svanberg. Finite, reasoning and interacting agents. In Intelligent Systems and Agents 2010, pages 225-230. IADIS Press, 2009.
• Valentin David and Magne Haveraaen. Concepts as syntactic sugar. In SCAM 2009, pages 147-156. IEEE Computer Society, 2009.

Workshops

• Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter. Constraint-Aware Model Transformations. In NWPT 2009, pages 89–91, 2009.
• Alessandro Rossini, Adrian Rutle, Federico Mancini, Dag Hovland, Khalid A. Mughal, Yngve Lamo and Uwe Wolter. Data Validation Constraints in MDE. In NWPT 2009, pages 86–88, 2009.
• Eva Burrows and Magne Haveraaen. Dependency-driven parallel programming. In NIK 2009, 2009.