Publikationer (306)

Sortera efter: Datum |
10 | 25 | 50 | 100 
Första sidan Föregående sida2/13 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
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örsta sidan Föregående sida2/13 Nästa sida Sista sidan
Dela länk