Publikationer (287)

Sortera efter: Datum |
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/6 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
Lehrstücke und Lehrstücktheorie Bertolt Brechts: Ein Unterrichtsversuch für die pädagogische Prüfung für das Lehramt an Gymnasien (1976)
Gerhard Schildberg-Schroth
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
A Programming Environment for a Transputer-Based Multiprocessor System (1989)
Aspnäs M, Back R
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Efficient Implementations of Multi-Process Handshaking on Broadcasting Networks (1989)
M. Aspnäs M, R. J. R Back R, R. Kurki-Suonio
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Multiprocessor Applications in the Hathi Project (1989)
M. Aspnäs, R. J. R. Back
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
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 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
Millipede - A Programming Environment Providing Graphical Support for Parallel Programming (1991)
M. Aspnäs, R.J.R. Back, T. Långbacka
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Oberon Animation System; Users Guide (1995)
Solin U, Aspnäs M
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Why some entrepreneurs must rely on angels (1996)
Tom Berglund, Edvard Johansson
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Coordination Among Mobile Objects (1998)
Petre L, Sere K
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Topological Approach to Distributed Computing (1999)
Petre L, Sere K, Waldén M
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Checking Timing Petri Nets for Linear Duration Properties (1999)
Xuandong Li, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Digital Sound Recorder: A Case Study On Designing Embedded Systems Using the UML Notation (1999)
Ivan Porres Paltor, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Distributed Object-Based Control Systems (1999)
Petre L, Qvist M, Sere K
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
Generalizing Action Systems to Hybrid Systems (1999)
Back R, Petre L, Porres Paltor I
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Mobile Ambients and P-Systems (1999)
Petre I, Petre L
D4 Publicerad utvecklings- eller forskningsrapport eller studie
OB(PN)² : An Object Based Petri Net Programming Notation (1999)
Johan Lilius
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 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 Semantics of UML State Machines (1999)
Johan Lilius, Iván Porres Paltor
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
Verifying Time Petri Nets by Linear Programming (1999)
Xuandong Li, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
vUML: a Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor
D4 Publicerad utvecklings- eller forskningsrapport eller studie
An expenditure-based estimation of self-employment income underreporting in Finland (2000)
Edvard Johansson
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Checking Compositions of UML Sequence Diagrams for Timing Inconsistency (2000)
Xuandong Li, Johan Lilius
TUCS Publication Series
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Components vs. Objects (2000)
Petre L
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Mobile Components as Topological Action Systems (2000)
Petre L, Waldén M
D4 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
Employer of Last Resort?: Who Makes the Transition from Unemployment to Self-Employment? (2001)
Edvard Johansson
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Developing Control Systems: A Method and a Case Study (2002)
Petre L
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Globalization and the human rights of women (2002)
Katarina Frostell
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Who Is Responsible for Corporate Human Rights Violations? (2002)
Viljam Engström
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Healthcare Case Study: Fillwell (2003)
Pontus Boström, Micaela Jansson, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A MOF-Based Metamodel for SA/RT (2003)
Joakim Isaksson, Dragos Truscan, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
An Implementation of Escape Analysis for Java (2003)
Jonas Munsin, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A note on the impact of hours worked on mortality in the OECD (2003)
Edvard Johansson
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Elevvården på andra stadiet: en utredning av elevvården och tryggheten i studiemiljön (2003)
Carola Bryggman, Susanne Sperring
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Memory Usage Estimation of Java Programs (2003)
Henrik Enqvist, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Realizing a Model Driven Engineering Process (2003)
Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Region Based Allocation in Java (2003)
Henrik Enqvist, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Rethinking Software Updating; Concepts for Improved Updatability (2003)
Dan Österberg, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
TACO IPv6 Router - a Case Study in Protocol Processor Design (2003)
Seppo Virtanen, Dragos Truscan, Johan Lilius
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/6 Nästa sida Sista sidan
Dela länk