Publications (20)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/1 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
Facilitating Formal Event-B Development by Visual Component-based Design (2015)
Sergey Ostroumov, Marina Waldén
D4 Published development or research report or study
Fast Algorithms for Fragmentable Items Bin Packing (2017)
Benjamin Byholm, Ivan Porres
D4 Published development or research report or study
Feedback theory extended for proving generation of contraction semigroups (2014)
Mikael Kurula, Hans Zwart
D4 Published development or research report or study
Fit-Preserving Data Refinement of Mass-Action Reaction Networks (2014)
Cristian Gratie, Ion Petre
D4 Published development or research report or study
FormAgi – A Concept for More Flexible Formal Developments (2014)
Marta Olszewska, Marina Waldén
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 Derivation of Distributed MapReduce (2014)
Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
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
Formal Library of Visual Components (2015)
Sergey Ostroumov, Marina Waldén
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
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
Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems (2015)
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
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
Forsknings- & kompetenssatsning inom utbildningsvetenskap vid Umeå universitet 2009-2016. Extern evaluering (2015)
Anders Ahrnqvist, Sven-Erik Hansén, Lena Tibell
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
Från opinion till deliberation (2008)
Marina Lindell
D4 Published development or research report or study
Full Structural Model Refinement as Type Refinement of Colored Petri Nets (2015)
Diana-Elena Gratie, Ion Petre
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
Future youth information and counselling: Building on information needs and trends (2018)
Muhaimin Karim, Gunilla Widén
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 
Previous page Previous page1/1 Next page Last page
Share link Export