Publikationer (17)

Sortera efter: Datum |
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/2 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
Coordination Among Mobile Objects (1998)
Petre L, Sere K
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
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
Creating Sequential Programs from Event-B Models (2009)
Pontus Boström
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Creative destruction and employee well-being (2009)
Böckerman Petri, Ilmakunnas Pekka, Johansson Edvard
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Combining Visual Customer Segmentation and Response Modeling (2011)
Yao Zhiyuan, Sarlin Peter, Eklund Tomas, Back Barbro
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Cost-Efficient Dynamically Scalable Video Transcoding in Cloud Computing (2013)
Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Creating opportunities in the mining industry (2013)
Olga Perminova, Mikael von Hertzen, Jenni Junnelius
PBI Research Institute
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Complexity of Model Checking for Reaction Systems (2014)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, Antonio E. Porreca
10 | 25 | 50 | 100 
Föregående sida Föregående sida1/2 Nästa sida Sista sidan
Dela länk