Publications (286)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/3 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
Förekomsten av toxiska blågrönalger i Åländska insjöar (1988)
Diana Toivola, John Eriksson, Jussi Meriluoto
D4 Published development or research report or study
A Programming Environment for a Transputer-Based Multiprocessor System (1989)
Aspnäs M, Back R
D4 Published development or research report or study
Efficient Implementations of Multi-Process Handshaking on Broadcasting Networks (1989)
M. Aspnäs M, R. J. R Back R, R. Kurki-Suonio
D4 Published development or research report or study
Multiprocessor Applications in the Hathi Project (1989)
M. Aspnäs, R. J. R. Back
D4 Published development or research report or study
The Hathi-2 Multiprocessor System (1989)
M. Aspnäs, R.J.R. Back, T-E. Malén
D4 Published development or research report or study
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 Published development or research report or study
Undersökning av förekomsten av toxiska blågrönalger i Långsjön och Markusbölefjärden (1989)
Diana Toivola, Jussi Meriluoto, John Eriksson
D4 Published development or research report or study
Analysis of Three-Dimensional Nuclear Data on a Transputer-Based Multiprocessor System (1991)
R.J.R. Back, M. Aspnäs, J. Granlund, J. Hattula, R. Julin, A. Lampinen, T. Lonnroth, P. Waxlax,
D4 Published development or research report or study
Millipede - A Programming Environment Providing Graphical Support for Parallel Programming (1991)
M. Aspnäs, R.J.R. Back, T. Långbacka
D4 Published development or research report or study
Oberon Animation System; Users Guide (1995)
Solin U, Aspnäs M
D4 Published development or research report or study
Why some entrepreneurs must rely on angels (1996)
Tom Berglund, Edvard Johansson
D4 Published development or research report or study
Coordination Among Mobile Objects (1998)
Petre L, Sere K
D4 Published development or research report or study
A Topological Approach to Distributed Computing (1999)
Petre L, Sere K, Waldén M
D4 Published development or research report or study
Checking Timing Petri Nets for Linear Duration Properties (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
Digital Sound Recorder: A Case Study On Designing Embedded Systems Using the UML Notation (1999)
Ivan Porres Paltor, Johan Lilius
D4 Published development or research report or study
Distributed Object-Based Control Systems (1999)
Petre L, Qvist M, Sere K
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
Generalizing Action Systems to Hybrid Systems (1999)
Back R, Petre L, Porres Paltor I
D4 Published development or research report or study
Mobile Ambients and P-Systems (1999)
Petre I, Petre L
D4 Published development or research report or study
OB(PN)² : An Object Based Petri Net Programming Notation (1999)
Johan Lilius
D4 Published development or research report or study
The entrepreneur's initial contact with a venture capitalist: why good projects may choose to wait (1999)
Tom Berglund, Edvard Johansson
D4 Published development or research report or study
The Production Cell: An Exercise in the Formal Verification of a UML Model (1999)
Johan Lilius, Ivan Porres Paltor
D4 Published development or research report or study
The Semantics of UML State Machines (1999)
Johan Lilius, Iván Porres Paltor
D4 Published development or research report or study
Timing Analysis of Message Sequence Charts (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
Timing Analysis of UML Sequence Diagrams (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
Verifying Time Petri Nets by Linear Programming (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
vUML: a Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor
D4 Published development or research report or study
An expenditure-based estimation of self-employment income underreporting in Finland (2000)
Edvard Johansson
D4 Published development or research report or study
Checking Compositions of UML Sequence Diagrams for Timing Inconsistency (2000)
Xuandong Li, Johan Lilius
TUCS Publication Series
D4 Published development or research report or study
Components vs. Objects (2000)
Petre L
D4 Published development or research report or study
Mobile Components as Topological Action Systems (2000)
Petre L, Waldén M
D4 Published development or research report or study
A Methodology for Co-design Based on a Healthcare Case Study (2001)
Petre L, Rönkkö M, Troubitsyna E, Waldén M, Jansson M
D4 Published development or research report or study
A Methodology for integration of formal methods in a healthcare case study (2001)
Luigia Petre, Elena Troubitsyna, Marina Waldén, Pontus Boström, Niklas Engblom, Micaela Jansson
D4 Published development or research report or study
Employer of Last Resort?: Who Makes the Transition from Unemployment to Self-Employment? (2001)
Edvard Johansson
D4 Published development or research report or study
Developing Control Systems: A Method and a Case Study (2002)
Petre L
D4 Published development or research report or study
Globalization and the human rights of women (2002)
Katarina Frostell
D4 Published development or research report or study
Who Is Responsible for Corporate Human Rights Violations? (2002)
Viljam Engström
D4 Published development or research report or study
A Healthcare Case Study: Fillwell (2003)
Pontus Boström, Micaela Jansson, Marina Waldén
D4 Published development or research report or study
A MOF-Based Metamodel for SA/RT (2003)
Joakim Isaksson, Dragos Truscan, Johan Lilius
D4 Published development or research report or study
An Implementation of Escape Analysis for Java (2003)
Jonas Munsin, Johan Lilius
D4 Published development or research report or study
A note on the impact of hours worked on mortality in the OECD (2003)
Edvard Johansson
D4 Published development or research report or study
Elevvården på andra stadiet: en utredning av elevvården och tryggheten i studiemiljön (2003)
Carola Bryggman, Susanne Sperring
D4 Published development or research report or study
Memory Usage Estimation of Java Programs (2003)
Henrik Enqvist, Johan Lilius
D4 Published development or research report or study
Realizing a Model Driven Engineering Process (2003)
Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan
D4 Published development or research report or study
Region Based Allocation in Java (2003)
Henrik Enqvist, Johan Lilius
D4 Published development or research report or study
Rethinking Software Updating; Concepts for Improved Updatability (2003)
Dan Österberg, Johan Lilius
D4 Published development or research report or study
TACO IPv6 Router - a Case Study in Protocol Processor Design (2003)
Seppo Virtanen, Dragos Truscan, Johan Lilius
D4 Published development or research report or study
The Uva Virtual Machine (2003)
Dan Österberg, Johan Lilius
D4 Published development or research report or study
Tool Support for DFD to UML Model-Based Transformations (2003)
Dragos Truscan, João Miguel Fernandes, Johan Lilius
D4 Published development or research report or study
UML-driven TTA-based protocol processor design (2003)
Johan Lilius, Dragos Truscan
D4 Published development or research report or study
Job satisfaction in Finland: Some results from the European Community household panel 1996-2001 (2004)
Edvard Johansson
D4 Published development or research report or study
Alcohol mortality, drinking behaviour, and business cycles: are slumps really dry seasons? (2005)
Johansson Edvard, Böckerman Petri, Prättälä Ritva, Uutela Antti
D4 Published development or research report or study
Development of Fault Tolerant Grid Applications Using Distributed B (2005)
Pontus Boström, Marina Waldén
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
Optimisation-based black-box testing of assertions in Simulink models (2005)
Pontus Boström, Jerker Björkqvist
D4 Published development or research report or study
Simulations of human cannabinoid receptor model and bovine rhodopsin (2005)
Käsnänen H, Salo OM, Lahtela-Kakkonen M, Poso A
D4 Published development or research report or study
A Language for Modeling Network Availability (2006)
Petre L, Sere K, Walden M
D4 Published development or research report or study
Are the Healthier Wealthier or the Wealthier Healthier? The European Evidence (2006)
Skalli Ali, Johansson Edvard, Theodossiou Ioannis
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
Human rights of women (2006)
Katarina Frostell
D4 Published development or research report or study
Mode-Automata in Simulink/Stateflow (2006)
Boström P, Morel L
D4 Published development or research report or study
Rialto 2.0: A Language for Heterogenous Computing (2006)
Lilius J, Morel L
Turku Centre for Computer Science
D4 Published development or research report or study
Alcohol consumption and sickness absence: Evidence from panel data (2007)
Johansson Edvard, Böckerman Petri, Uutela Antti
D4 Published development or research report or study
A System for Measuring Application Level Quality of Service in a DVB-H Network (2007)
Jerker Björkqvist, Janne Kempe, Kristian Nybom, Michael Stormbom, Raoul Sundsten
D4 Published development or research report or study
Economic inequality and health: looking beyond aggregate indicators (2007)
Petri Böckerman, Edvard Johansson, Satu Helakorpi, Antti Uutela
D4 Published development or research report or study
Eliten è liten, men växer : förändrade perspektiv på elitidrott (2007)
Mikael Lindfelt
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
Kielikylpyperheet valokeilassa. Taustat ja odotukset. (2007)
Mari Bergroth
D4 Published development or research report or study
Quality Comparison and Evaluation of Digital Hydraulic Control Systems (2007)
Marta Pląska, Marina Waldén
D4 Published development or research report or study
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 Published development or research report or study
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 Published development or research report or study
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 Published development or research report or study
Towards a Formal Definition of Model Driven Development (2007)
Johan Lilius, Ian Oliver
D4 Published development or research report or study
Two Cases of Data Overflow in the Protein Sequencing Program BLASTPGP (2007)
Kristoffer Osowski, Jan Westerholm, Mats Aspnäs
D4 Published development or research report or study
A Content Scheduling Algorithm for Multimedia Interactive Mobile Games (2008)
M. Mohsin Saleemi, Kristian Nybom, Jerker Björkqvist, Johan Lilius
D4 Published development or research report or study
Does Finland suffer from brain drain? (2008)
Edvard Johansson
D4 Published development or research report or study
Från opinion till deliberation (2008)
Marina Lindell
D4 Published development or research report or study
Generating Test Cases from Scenario-Based Formal Development (2008)
Qaisar A. Malik, Johan Lilius,Linas Laibinis
D4 Published development or research report or study
NoTA (Sub)System Specification Guidelines (2008)
Karlå M, Lilius J, Lindqvist J, Porres I, Truscan D, Eriksson T, Latva-Aho A, Rakkola J
D4 Published development or research report or study
Online Testing of the ÅBOT Game Server Using the Qtronic Tool (2008)
Liu X, Truscan D, Lilius J
D4 Published development or research report or study
The Canals Language and its Compiler (2008)
Dahlin A, Ersfolk J, Habli GYH, Lilius J
D4 Published development or research report or study
Työolot ja tuottavuus: Työpaikkavirtojen nosteessa vai puristuksessa? (2008)
Pekka Ilmakunnas, Edvard Johansson, Mika Maliranta
D4 Published development or research report or study
A Semantic Transformation from UML Models to Input for the Qtronic Test Design Tool (2009)
Fredrik Abbors, Tuomas Pääjärvi, Risto Teittinen, Dragos Truscan, Johan Lilius
D4 Published development or research report or study
A Software Based Implementation of the DVB-T2 Bit Interleaved Coding and Modulation Transmission Chain (2009)
Kristian Nybom, Jens Sandqvist, Thomas Soininen, Jerker Björkqvist, Johan Lilius
D4 Published development or research report or study
Creating Sequential Programs from Event-B Models (2009)
Pontus Boström
D4 Published development or research report or study
Creative destruction and employee well-being (2009)
Böckerman Petri, Ilmakunnas Pekka, Johansson Edvard
D4 Published development or research report or study
Does education shield against common mental disorders? (2009)
Johansson Edvard, Böckerman Petri, Martelin Tuija, Pirkola Sami, Poikolainen Kari
D4 Published development or research report or study
Ensuring Correctness of Network Services with MIDAS (2009)
Petre L, Sere K, Waldén M
D4 Published development or research report or study
Innovative work practices and sickness absence: what does a nationally representative employee survey tell? (2009)
Petri Böckerman, Edvard Johansson, Antti Kauhanen
D4 Published development or research report or study
Olympic OWA Operators for Modeling Group Decisions (2009)
Matteo Brunelli, Robert Fullér, József Mezei
D4 Published development or research report or study
Thematic Study on Child Trafficking: National Study on Finland (2009)
Krista Orama, Maija Mustaniemi-Laakso, Martin Scheinin
D4 Published development or research report or study
An Approach to Contract-Based Verification of Simulink Models (2010)
Pontus Boström, Richard Grönblom, Tatu Huotari, Jonatan Wiik
D4 Published development or research report or study
A Tool for Efficient Combination and Evaluation of Reusable Design Assets (2010)
Johan Ersfolk, Johan Lilius, Torbjörn Lundkvist, Ivan Porres
D4 Published development or research report or study
Does physical capacity explain the height premium? (2010)
Böckerman Petri, Johansson Edvard, Kiiskinen Urpo, Heliövaara Markku
D4 Published development or research report or study
Esi- ja perusopetuksen opetussuunnitelmajärjestelmän toimivuus (2010)
Katriina Sulonen, Ria Heilä-Ylikallio, Niina Junttila, Pia Kola-Torvinen, Tuula Laine, Eero Ropo, Markku Suortamo, Gunnel Knubb-Manninen, Esko Korkeakoski
D4 Published development or research report or study
Evaluation of the Energy Efficiency of ARM Based Processors for Cloud Infrastructure (2010)
Olle Svanfeldt-Winter, Sébastien Lafond, Johan Lilius
D4 Published development or research report or study
Integrating FMEA into Event-B Development of Safety-Critical Control Systems (2010)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
10 | 25 | 50 | 100 
Previous page Previous page1/3 Next page Last page
Share link Export