You are here: TUCS > PUBLICATIONS > TUCS Publication Series > TUCS Technical Reports
TUCS Technical Reports
TUCS Technical Reports are papers of scientific level, written in English. They are written by TUCS affiliated people (e.g. in TUCS or TUCS Affiliate Department: doctoral students, post-docs, researchers, visiting professors, leaders of the unit, students studying while working).
Each paper has to be approved by the leader of the laboratory or research unit in which the work has been done, or by a professor of a department belonging to TUCS.
ISSN 1239-1891
10 Latest Publications in This Series
- Petter Sandvik, Formal Stepwise Development of an In-House Lighting Control System. TUCS Technical Reports 1079, 2013.
- Mats Neovius, Formal Stepwise Development of an In-House Temperature Control System. TUCS Technical Reports 1078, 2013.
- Vladimir Emelichev, Vladimir Korotkov, Yury Nikulin, Stability Analysis of One Portfolio in Multicriteria Markowitz's Investment Problem with Savage's Risk Criteria Endowed with Hölder Metric. TUCS Technical Reports 1077, TUCS, 2013.
- Inna Pereverzeva, Linas Laibnis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri, Formal Modelling of Resilient Data Storage in the Cloud. TUCS Technical Reports 1076, 978-952-12-2887-2, 2013.
- Sepinoud Azimi, Bogdan Iancu, Ion Petre, Reaction Systems Models for the Heat Shock Response. TUCS Technical Reports 1075, TUCS, 2013.
- Jussi Laasonen, Jouni Smed, Detecting a Colluding Subset in a Simple Two-Dimensional Game. TUCS Technical Reports 1074, TUCS, 2013.
- Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere, Generation of Structural VHDL Code with Library Components from Formal Event-B Models. TUCS Technical Reports 1073, 2013.
- Diana-Elena Gratie, Bogdan Iancu, Ion Petre, ODE Analysis of Biological Systems. TUCS Technical Reports 1072, TUCS, 2013.
- Frank Wickström, Getting Started with Smart-M3 Using Python. TUCS Technical Reports 1071, TUCS, 2013.
- Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilic, Timo Latvala, Formalisation of an Industrial Approach to Monitoring Critical Data. TUCS Technical Reports 1070, TUCS, 2013.