Publications
Main content
2011
Workshops
- Alessandro Rossini, Adrian Rutle, Khalid A. Mughal, Yngve Lamo and Uwe Wolter. . In : 5th International Workshop on Harnessing Theories for Tool Support in Software, pages 65鈥�76, September 2011.
2010
Journals
- Alessandro Rossini, Adrian Rutle, Yngve Lamo and Uwe Wolter. . Journal of Logic and Algebraic Programming, 79(7): 636-658. Elsevier, 2010.
- Marc Bezem, Robert Nieuwenhuis and Enric Rodr铆guez-Carbonell. . Information Processing Letters, 110(4): 133-138. Elsevier, 2010.
Conferences
- Dag Hovland. . In Adrian Horia Dediu, Henning Fernau and Carlos Mart铆n-Vide, editor, , volume 6031 of LNCS, pages 309-320. Springer, 2010.
- Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter. . In David Rosenblum and Gabriele Taentzer, editors, , 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 , pages 67-70. IIIS, 2010.
- Federico Mancini, Dag Hovland and Khalid A. Mughal. . In , pages 513-518. IEEE Computer Society, 2010.
- Federico Mancini, Dag Hovland and Khalid A. Mughal. . In , pages 122-128. IEEE Computer Society, 2010.
Workshops
- Alessandro Rossini, Adrian Rutle, Florian Mantz, Yngve Lamo and Uwe Wolter. . In , pages 31鈥�33, November 2010.
- Florian Mantz, Alessandro Rossini, Adrian Rutle, Yngve Lamo and Uwe Wolter. . In , pages 52鈥�54, November 2010.
2009
Books
- Khalid A. Mughal and Rolf W. Rasmussen. . Addison-Wesley, 2009. ISBN: 0321556054.
- Khalid A. Mughal, Torill Hamre and Rolf W. Rasmussen. . Cengage Learning, 2008. ISBN: 1844809331.
Journals
- Eva Burrows and Magne Haveraaen. . Journal of Logic and Algebraic Programming, 78(7): 519-538. Elsevier, 2009.
- John Fisher, Marc Bezem. . Fundamenta Informaticae, 91(1): 79-103. IOS Press, 2009.
- Magne Haveraaen and Helmer Andr茅 Friis. . International Journal of Computational Science and Engineering, 4:223-230. Inderscience Publishers, 2009.
- Michal Walicki. . Synthese, 171(1): 195-226. Springer, 2009.
- Michal Walicki, Marc Bezem and Wojtek Szajnkenig. . 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. . In Manuel Oriol and Bertrand Meyer, editors, , volume 33 of LNBIP, pages 37-56. Springer, 2009.
- Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter. . In Marsha Chechik and Martin Wirsing, editors, , volume 5503 of LNCS, pages 64-78. Springer, 2009.
- Anya Helene Bagge and Magne Haveraaen. . In Jurgen J. Vinju and Adrian Johnstone, editors, , volume 238 of ENTCS, pages 17-33. Elsevier, 2009.
- Anya Helene Bagge, Valentin David and Magne Haveraaen. . In , pages 15-24. ACM, 2009.
- Anya Helene Bagge. . In Mark van den Brand, Dragan Gasevic and Jeff Gray, editors, , pages 123-132. Springer, 2010.
- Dag Hovland. . In Martin Leucker and Carroll Morgan, editors, , volume 5684 of LNCS, pages 231-245. Springer, 2009.
- Dag Hovland. . In Stefano Berardi, Ferruccio Damiani and Ugo de'Liguoro, editors, , volume 5497 of LNCS, pages 186-202. Springer, 2009.
- Michal Walicki and Paul Simon Svanberg. Finite, reasoning and interacting agents. In , pages 225-230. IADIS Press, 2009.
- Valentin David and Magne Haveraaen. . In , pages 147-156. IEEE Computer Society, 2009.
Workshops
- Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter. . In , pages 89鈥�91, 2009.
- Alessandro Rossini, Adrian Rutle, Federico Mancini, Dag Hovland, Khalid A. Mughal, Yngve Lamo and Uwe Wolter. . In , pages 86鈥�88, 2009.
- Eva Burrows and Magne Haveraaen. Dependency-driven parallel programming. In , 2009.
08.12.2009