Publikationer (21)

Sortera efter: Datum |
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/1 Nästa sida Sista sidan
A Å B C D E F G H I J K L M N O P Q R S T U V W Alla 
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Förekomsten av toxiska blågrönalger i Åländska insjöar (1988)
Diana Toivola, John Eriksson, Jussi Meriluoto
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formalising UML Use Cases in the Refinement Calculus (1999)
Back R, Petre L, Porres I
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Service-Oriented Development of Fault Tolerant Communicating Systems (2006)
Laibinis L, Troubitsyna E, Leppänen S, Lilius J, Malik Q
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Definition of a Mode-Automata Like Architecture in Simulink/Stateflow (2007)
Pontus Boström, Lionel Morel
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Från opinion till deliberation (2008)
Marina Lindell
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Feedback theory extended for proving generation of contraction semigroups (2014)
Mikael Kurula, Hans Zwart
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Fit-Preserving Data Refinement of Mass-Action Reaction Networks (2014)
Cristian Gratie, Ion Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
FormAgi – A Concept for More Flexible Formal Developments (2014)
Marta Olszewska, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Derivation of Distributed MapReduce (2014)
Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formally Analyzing Proactive, Distributed Routing (2014)
Mojgan Kamali, Maryam Kamali, Luigia Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
From Act to Action Implementing Language Legislation in Finland, Ireland and Wales. (2014)
Peadar Ó Flathartar, Siv Sandberg, Colin H.Williams
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Fundamental rights in the institutions and instruments of the Area of Freedom, Security and Justice (2014)
Viljam Engström, Mikaela Heikkilä
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Facilitating Formal Event-B Development by Visual Component-based Design (2015)
Sergey Ostroumov, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Library of Visual Components (2015)
Sergey Ostroumov, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems (2015)
Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Forsknings- & kompetenssatsning inom utbildningsvetenskap vid Umeå universitet 2009-2016. Extern evaluering (2015)
Anders Ahrnqvist, Sven-Erik Hansén, Lena Tibell
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Full Structural Model Refinement as Type Refinement of Colored Petri Nets (2015)
Diana-Elena Gratie, Ion Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Fast Algorithms for Fragmentable Items Bin Packing (2017)
Benjamin Byholm, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Future youth information and counselling: Building on information needs and trends (2018)
Muhaimin Karim, Gunilla Widén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Finland Report: Sustainable Governance Indicators 2019 (2019)
Anckar Carsten, Kuitto Kati, Oberst Christop, Jahn Detlef
Bertelsmann Stiftung
Visa på utgivarens sida
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/1 Nästa sida Sista sidan
Dela länk

Dela länk