Publications (17)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/2 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
Cancerpatienter och användningen av journal via nätet (2015)
Hanife!Rexhepi, Åsa!Cajander, Rose>Mharie!Åhlfeldt, Isto!Huvila
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
Checking Timing Petri Nets for Linear Duration Properties (1999)
Xuandong Li, Johan Lilius
D4 Published development or research report or study
Combining Visual Customer Segmentation and Response Modeling (2011)
Yao Zhiyuan, Sarlin Peter, Eklund Tomas, Back Barbro
D4 Published development or research report or study
Complete Characterization for the Fit-Preserving Data Refinement of Mass-Action Reaction Networks (2015)
Cristian Gratie, Ion Petre
D4 Published development or research report or study
Complexity of Model Checking for Reaction Systems (2014)
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, Antonio E. Porreca
D4 Published development or research report or study
Components vs. Objects (2000)
Petre L
D4 Published development or research report or study
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code (2014)
Jonatan Wiik, Pontus Boström
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
Cost-Efficient Dynamically Scalable Video Transcoding in Cloud Computing (2013)
Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius
10 | 25 | 50 | 100 
Previous page Previous page1/2 Next page Last page
Share link Export