Publications (290)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/6 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
10 | 25 | 50 | 100 
Previous page Previous page1/6 Next page Last page
Share link Export