Publications (20)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page2/2 Next page Last page
A Å B C D E F G H I J K L M N O P Q R S T U V W All 
D4 Published development or research report or study
Formal Derivation of Distributed MapReduce (2014)
Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
D4 Published development or research report or study
Formally Analyzing Proactive, Distributed Routing (2014)
Mojgan Kamali, Maryam Kamali, Luigia Petre
D4 Published development or research report or study
From Act to Action Implementing Language Legislation in Finland, Ireland and Wales. (2014)
Peadar Ó Flathartar, Siv Sandberg, Colin H.Williams
D4 Published development or research report or study
Fundamental rights in the institutions and instruments of the Area of Freedom, Security and Justice (2014)
Viljam Engström, Mikaela Heikkilä
D4 Published development or research report or study
Från opinion till deliberation (2008)
Marina Lindell
D4 Published development or research report or study
Formal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow (2007)
Pontus Boström, Lionel Morel
D4 Published development or research report or study
Formal Service-Oriented Development of Fault Tolerant Communicating Systems (2006)
Laibinis L, Troubitsyna E, Leppänen S, Lilius J, Malik Q
D4 Published development or research report or study
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
D4 Published development or research report or study
Formalising UML Use Cases in the Refinement Calculus (1999)
Back R, Petre L, Porres I
D4 Published development or research report or study
Förekomsten av toxiska blågrönalger i Åländska insjöar (1988)
Diana Toivola, John Eriksson, Jussi Meriluoto
10 | 25 | 50 | 100 
First page Previous page2/2 Next page Last page
Share link Export