Publikationer (39)

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
TACO IPv6 Router - a Case Study in Protocol Processor Design (2003)
Seppo Virtanen, Dragos Truscan, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Taking excavation to a virtual world: importing archaeological spatial data to Second Life and OpenSim (2018)
Huvila Isto, Uotila Kari
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Target Controllability of Linear Networks (2016)
Eugen Czeizler, Cristian Gratie, Kai Chiu Wu, Krishna Kanhaiya, Ion Petre
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Teini-ikäisten tyttöjen liminaaliset tilat Turussa = Teenaged Girls and Liminal Spaces in Turku (2016)
Ann-Charlotte Palmgren
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Testable specifications of NoTA-based modular embedded systems (2007)
Johan Lilius, Johan Lindqvist, Ivan Porres, Dragos Truscan, Timo Eriksson, Antti Latva-Aho, Juha Rakkola
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Canals Language and its Compiler (2008)
Dahlin A, Ersfolk J, Habli GYH, Lilius J
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Crisis Management System – A Case Study in Aspect-Oriented Modeling Using UPPAAL. (2016)
Iqbal Junaid, Tsiopoulos Leonidas, Truscan Dragos, Vain Jüri, Porres Ivan
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The effect of obesity on wages and employment: The difference between having a high BMI and being fat (2007)
Edvard Johansson, Petri Böckerman, Urpo Kiiskinen, Markku Heliövaara
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The entrepreneur's initial contact with a venture capitalist: why good projects may choose to wait (1999)
Tom Berglund, Edvard Johansson
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Hathi-2 Multiprocessor System (1989)
M. Aspnäs, R.J.R. Back, T-E. Malén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Hathi Project - A Research Project on Parallel Programming Technology 1986 - 88 (Final Report) (1989)
M. Aspnäs, R.J.R. Back, K. Sere
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Thematic Study on Child Trafficking: National Study on Finland (2009)
Krista Orama, Maija Mustaniemi-Laakso, Martin Scheinin
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Organisation of Services of General Interest in Finland (2015)
Johan Willner, Sonja Grönblom
CIRIEC
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The physical strenuousness of work is slightly associated with an upward trend in the body mass index (2007)
Petri Böckerman, Edvard Johansson, Pekka Jousilahti, Antti Uutela
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Political Economy of Austerity and Human Rights Law (2016)
Viljam Engström
Institute for Human Rights Working Paper Series
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Production Cell: An Exercise in the Formal Verification of a UML Model (1999)
Johan Lilius, Ivan Porres Paltor
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Protection of Vulnerable Individuals in the Context of EU Policies on Border Checks, Asylum and Immigration: FRAME Research Report (2016)
Maija Mustaniemi-Laakso, Mikaela Heikkilä, Eleonora Del Gaudio, Sotiris Konstantis, Maria Nagore Casas, Dolores Morondo, Venkatachala G. Hegde, Graham Finlay
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The right to freedom of religion or belief in Turkey: monitoring report January-June 2013 (2014)
Mine Yildirim
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Semantics of UML State Machines (1999)
Johan Lilius, Iván Porres Paltor
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Uva Virtual Machine (2003)
Dan Österberg, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Timing Analysis of Message Sequence Charts (1999)
Xuandong Li, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Timing Analysis of UML Sequence Diagrams (1999)
Xuandong Li, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Timing in the Presence of Directional Predictability: Optimal Stopping of Skew Brownian Motion (2016)
Luis H. R. Alvarez E., Paavo Salminen
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Toimivat mielenterveys- ja päihdepalvelut (2018)
Kristian Wahlbeck, Outi Hietala, Lauri Kuosmanen, David McDaid, Juha Mikkonen, Johannes Parkkonen, Kaarina Reini, Samuel Salovuori, Jouni Tourunen
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Toisen aallon vapaakunta- ja normipurkukokeilut Tanskassa ja Norjassa. (2014)
Siv Sandberg
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Tool Support for Automated Workload Model Creation from Web Server Logs (2014)
Ferdrik Abbors, Dragos Truscan, Tanwir Ahmad
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Tool Support for DFD to UML Model-Based Transformations (2003)
Dragos Truscan, João Miguel Fernandes, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Tool Support for Transforming UML-Based Specifications to UPPAAL Timed Automata (2013)
Mehdi Nobakht, Dragos Truscan
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Towards a Formal Definition of Model Driven Development (2007)
Johan Lilius, Ian Oliver
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Towards a Multi-Objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud (2015)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Towards Component-Based Reuse for Event-B (2015)
Andrew Edmunds, Colin Snook, Marina Walden
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Towards Rigorous Construction of Safety Cases (2014)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
D4 Publicerad utvecklings- eller forskningsrapport eller studie
TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces (2015)
Iqbal J, Truscan D, Vain J, Porres I
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Turku Centre for Computer Science, Annual Report 2012 (2013)
Irmeli Laine, Johan Lilius, Tomi Mäntylä, Ion Petre, Outi Tuohi, Ilona Tuominen
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Turku Centre for Computer Science, Annual Report 2013 (2014)
Irmeli Laine, Johan Lilius, Tomi Mäntylä, Ion Petre, Outi Tuohi, Ilona Tuominen
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Two Cases of Data Overflow in the Protein Sequencing Program BLASTPGP (2007)
Kristoffer Osowski, Jan Westerholm, Mats Aspnäs
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Two Images of the Human Rights Committee and the "problem" of expertization (2012)
Viljam Engström
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Två förvaltningsspråk (2012)
Linnéa Henriksson
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Työolot ja tuottavuus: Työpaikkavirtojen nosteessa vai puristuksessa? (2008)
Pekka Ilmakunnas, Edvard Johansson, Mika Maliranta
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/1 Nästa sida Sista sidan
Dela länk

Dela länk