Publications (20)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/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
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
Fast Algorithms for Fragmentable Items Bin Packing (2017)
Benjamin Byholm, Ivan Porres
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
Formal Library of Visual Components (2015)
Sergey Ostroumov, Marina Waldén
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
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
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
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
10 | 25 | 50 | 100 
Previous page Previous page1/2 Next page Last page
Share link Export

Share link