Where academic tradition
meets the exciting future

TUCS Newsletter 4.3.2013

Content of the newsletter

TUCS activities

  1. TUCS Distinguished Lecture Series
  2. TUCS study report round
  3. TUCS GP doctoral defence

New courses

  1. New course: A Practical Approach to Zero-Defect Programming
  2. Courses on transferable skills at University of Turku


  1. Conference announcement: WORDS 2013, Turku, 16-20 September 2013
  2. Open jobs at University of Turku and Åbo Akademi University
  3. Turku ICT Week 2013
  4. Academy of Finland’s Apropos magazine - latest issue
  5. TUCS GP travel reports

Latest publications at TUCS

TUCS activities

TUCS Distinguished Lecture Series

TUCS Distinguished Lecture Series continued last Tuesday with a lecture by Kaj Arnö. The lecture drew a large audience and was also live-broadcast on the internet via Bambuser.

Tuesday, February 26, 2013 at 15.00

ICT Building, Auditorium Alpha

Coffee served from 14.30


Kaj Arnö, SkySQL AB: " World class IT from Finland: Lessons from MySQL AB "

Host: Jerker Björkvist, Åbo Akademi University.

Abstract: Why does Linux, MySQL, IRC, ssh and other world-class Open Source software originate from Finland? Is there something special about Finnish IT know-how, attitudes, values -- and if so, what? Does Finland have a specific academic atmosphere that forms the background to Finnish IT successes? In his presentation, Kaj shares some lessons from the MySQL AB saga, including his views on the role of social media in technology development. What is the take-away of MySQL AB for today's students, when planning for the future?

Biography:  Kaj Arnö is a serial entrepreneur and was part of the core team behind MySQL AB, the Scandinavian IT company which was sold for a billion dollars to Sun Microsystems in 2008. Kaj joined the management team in 2001, and served as VP of Services, VP of Engineering and VP of Community Relations. Kaj stayed with Sun as MySQL Ambassador and when Oracle bought Sun, he co-founded SkySQL Ab, leading Marketing and Engineering as Executive VP Products. Beyond IT, Kaj has held speeches and blogged in over a dozen languages and pioneered a number of Social Media communities in Finland. He is a business publication columnist, photographer, climber, kayaker, mountain biker and seven time marathon runner, spreading his running philosophy as "Runnism, the religion of running". Kaj has been based in Munich, Germany since 2006.

The video of the lecture can be seen here:


You can read/listen to an interview with Kaj Arnö on YLE here:


About the lecture on University of Turku website:


About the lecture on Åbo Akademi University website:


About the lecture on Turku Science Park website:


Forthcoming lectures in the TUCS Distinguished Lecture series: Jan van Leeuwen (University of Utrecht), Christos Papadimitriou (University of California at Berkeley).

TUCS study report round 1.2.-28.2.2013

The annual TUCS Study Report round will take place 1.2-28.2.2013. TUCS doctoral students have the obligation to report the progress of their studies once a year. This duty concerns all students with TUCS status (part-time as well as full-time students, students getting a salary/grant from TUCS, a department or a project, as well as students who do not get any financing from TUCS or the departments).

The study report will be done electronically at: https://www.tucs.fi/studyreport/ . The system will open 1 February 2013. Please note that the system closes late on 28th of February after which it is not possible to fill in the report anymore. The reporting period is 1.1.2012-31.12.2012.

TUCS GP doctoral defence

On Friday, February 15th, TUCS GP student Muhammad Mohsin Saleemi presented his Doctoral thesis "Towards Combining Interactive Mobile TV and Smart Spaces: Architectures, Tools and Application Development" for public criticism. The opponent of M.Sc. Saleemi was Adjunct professor Jouni Smed from University of Turku. Professor Johan Lilius acted as the custos at this public defence.

Time: 12 noon
Place: Auditorium Gamma, The ICT Building

New courses

New course: A Practical Approach to Zero-Defect Programming

A Practical Approach to Zero-Defect Programming

Advanced course in CS (5 cu)


  1. Ralph-Johan Back
  2. Viorel Preoteasa

Course description:

In this course we address the challenge of building correct programs. We will

use the technique of Invariant Based Programming for constructing correct

programs. Invariants specify what is true about the variables of the program at

different points in the execution flow. In the course we will use the Socos tool for

building invariant-based programs. Socos supports a diagrammatic notation for

programs, and it generates a number of verification conditions that ensures the

correctness of the program.

The course, upon completion, awards 5 ECTS credits.

Target audience:

  1. This is an advanced course in Computer Science. M.Sc. students in Computer Science and Computer engineering, at both Åbo Akademi and University of Turku, are all eligible to take the course.
  2. Additionally the course is suitable for Ph.D. students from both universities working in these same areas.


  1. Introductory knowledge of programming in an imperative programming language (e.g. Java, Python, ...)
  2. Basics of mathematical logic or introductory formal methods are strongly encouraged. General knowledge of Mathematics and mathematical proofs are also useful.

Working methods:

  1. There will be 8 two-hour lectures, and 8 two-hour exercises sessions. There will be 8 assignments of increasing difficulty to be solved outside of classroom and submitted for grading before a deadline. Students are expected to install the software needed.
  2. The course will have also a final project. To pass the course the at least 60% from the assignments and the project should be completed.

Time and place:

  1. Lectures: Tuesdays 15 – 17, in Fortran, starting 19.03.2013
  2. Exercises sessions: Mondays 13 – 15, in Algol, starting 25.03.2013


No formal registration is required, just show up when the course start. Course

information will be provided during the course and on the course web page:


Courses on transferable skills at University of Turku



Conference: WORDS 2013, Turku, 16-20 September 2013

The central topic of the conference is combinatorics on words: the study of finite and

infinite sequences of symbols from varying points of view, including their

combinatorial, algebraic and algorithmic aspects, as well as their applications.

The conference is organized by FUNDIM and Department of Mathematics and Statistics at University of Turku.

Link: http://www.math.utu.fi/projects/words/

Open jobs at University of Turku and Åbo Akademi University

  1. University of Turku: http://www.utu.fi/fi/Yliopisto/yliopisto-tyonantajana/avoimet-tehtavat/Sivut/home.aspx
  2. Åbo Akademi University: https://www.abo.fi/personal/rekrytering

Turku ICT Week 2013

Turku ICT Week is the result of combined efforts of people working in the ICT sector of Turku. During the week, you can form new partnerships and networks and learn from internationally acclaimed experts. Turku ICT Week will take place 4.3.-8.3.2013.

More information and the week’s programme can be found (in Finnish) here:http://turkuictweek.fi/

Academy of Finland’s Apropos magazine

The latest issue of the magazine can be read (in Finnish) at http://www.aka.fi/fi/Apropos/.

TUCS GP travel reports

TUCS GP travel report: SOFSEM 2013 by Mikhail Barash

Full name of the event: 39th International Conference on Current Trends in Theory and Practice of Computer Science – SOFSEM 2013

Place and date: Czech Republic, Špindlerův Mlýn, January 26-31, 2013

Type of event: Conference and Student Research Forum

My article:

  1. Title of paper: Recursive descent parsing for grammars with contexts
  2. Author: Mikhail Barash
  3. Award: Best Poster Award

The scientific profile of the event: The conference is an annual event held for almost forty years already and is devoted to the theory and practice of computer science. The conference had four tracks: “Foundations of Computer Science”, “Software & Web Engineering”, “Data, Information and Knowledge Engineering” and “Social Computing and Human Factors”.

Opinion on the best paper and its topic: One of the most interesting regular papers presented at the Foundations of Computer Science track were given by Matteo Pradella (“Logic Characterization of Invisibly Structured Languages: the Case of Floyd Languages:) and David Janin (“On Languages of One-dimensional Overlapping Tiles”). SOFSEM has formerly been a winter school for Ph.D. students and following the tradition the conference had ten invited talks. One of the most vivid talks was given by Arnold Smeulders (“Searching things in Large Sets of Images”).

Number of participants: 37 regular papers; 10 invited talks; 10 papers in Student Research Forum

Social events and touristic impressions: The conference was held at the Hotel Bedřichov in the famous mountain resort of the Czech Republic. During one of the conference days there have been some winter outdoor activities followed by the dinner in the restaurant serving traditional Czech food.

Photos from the conference: available at http://www.sofsem.cz/sofsem13/index.php?page=gallery

Latest publications at TUCS

Edited proceedings (4):

  1. Mihai Constantinescu, Ertan Onur, Harry Bouwman, Mark de Reuver, Yunus Durmus (Eds.), Cooperative Networks: The Mobile Tethering Game, ACM, 2012.
  2. Mark de Reuver, Harry Bouwman (Eds.), Smartphone Measurement: Do People Use Mobile Applications Like They Think They Do?, AIS electronic library, 2012.
  3. Jacco Schoonewille, Harry Bouwman (Eds.), Contextual Aspects in Enterprise Integration, IEEE, 2012.
  4. Sam Soalaimani, Harry Bouwman (Eds.), Stakeholder Analysis enriched with Analysis of Inter-Organizational Interactions and Interdependencies, AIS Electronic Library (AISeL), 2012.

Articles in journals (20):

  1. Harry Bouwman, Mark de Reuver, Nico Heerschap, Hannu Verkasalo, Opportunities and problems with automated data collection via smartphones. Mobile Media & Communication 1(1), 63–68, 2013.
  2. Soebhaash Dihal, Harry Bouwman, Mark de Reuver, Martijn Warnier, Christer Carlsson, Mobile Cloud Computing: State of the Art and Outlook. Info 15(1), 4–16, 2013.
  3. Martti Forsell, Ville Leppänen, An Extended PRAM-NUMA Model of Computation for TCF Programming. International Journal of Networking and Computing 3(1), 98–115, 2013.
  4. Tina George Karippacherila, Fatemeh Nikayinb, Mark de Reuver, Harry Bouwman, Serving the Poor: Multisided Mobile Service Platforms, Openness, Competition, Collaboration and the Struggle for Leadership.TELECOMMUNICATIONS POLICY 37(1), 24–34, 2013.
  5. Albert Plugge, Harry Bouwman, Fit Between Sourcing Capabilities and Organizational Structure on IT Outsourcing Performance. Production Planning & Control. The Management 24(4-5), 375–387, 2013.
  6. Amir-Mohammad Rahmani, Pasi Liljeberg, Juha Plosila, Hannu Tenhunen, Developing a Power-Efficient and Low-Cost 3D NoC Using Smart GALS-Based Vertical Channels. Journal of Computer and System Sciences 79(4), 440–456, 2013.
  7. Mark de Reuver, Guido Ongena, Harry Bouwman, Should Mobile Internet be an Extension to the Fixed Web? A Consumer Survey on Fixed-Mobile . Telematics and Informatics 30(2), 111–120, 2013.
  8. Peter Sarlin, On Policymakers’ Loss Functions and the Evaluation of Early Warning Systems. Economics Letters119(1), 1–7, 2013.
  9. Harry Bouwman, Christer Carlsson, Carolina López-Nicolás, Bob McKenna, Francisco Molina-Castillo, Tuure Tuunanen, Pirkko Walden, Mobile Travel Services - The Effect of Moderating Context Factors. Journal of Information Technology and Tourism 13(2), 57–74 , 2012.
  10. Harry Bouwman, Mark De Reuver, Timber Haaker, Some Reflections on the High Expectations as Formulated in the Internet Bubble Era. FUTURES 44, 420–430 , 2012.
  11. Harry Bouwman, Carolina López-Nicolás, Francisco Molina-Castillo, Pascal van Hattum, Consumer Lifestyle: Alternative Adoptions Patterns for Advanced Mobile Services. International Journal of Communication 10(2), 169–189 , 2012.
  12. Olli I. Heimo, Antti Hakkala, Kai K. Kimppa, How to Abuse Biometric Recognition Systems. Journal of Information, Communication & Ethics in Society 10(2), 68–81, 2012.
  13. Eeva Heiro, Matti Mäntymäki, Managing Medication Information with Electronic Patient Records – A Finnish Clinicians’ Perspective. Heath and Technology 2(2), 113–122, 2012.
  14. Mari Huova, Juhani Karhumäki, Aleksi Saarela, Problems in Between Words and Abelian Words: k-Abelian Avoidability. Theoretical Computer Science 454, 172–177, 2012.
  15. Shahrokh Nikou, Harry Bouwman, Mark de Reuver, The Potential of Converged Mobile Telecommunication Services: A Conjoint Analysis. Info 15(5), 21–35 , 2012.
  16. Guido Ongena, Harry Bouwman, Hugo Gillebaard, Displacement and Supplemental Effects of the Mobile Internet on Fixed Internet Use. Journal of Media Management 14(4), 279–299, 2012.
  17. Mark de Reuver, Harry Bouwman, Governing Mobile Service Innovation in Converging Value Networks. Journal of Business Research 65, 347–354, 2012.
  18. Robert D. Scott, Jukka Heikkonen, Estimating Age at First Maturity in Fish from Change-Points in Growth Rate.Marine Ecology-Progress Series 450, 147–157, 2012.
  19. Anna Sell, Mark de Reuver, Pirkko Walden, Christer Carlsson, Context, Gender and Intended Use of Mobile Messaging, Entertainment and Social Media Services. International Journal of Systems and Service-Oriented Engineering (IJSSOE) 3(1), 1–15, 2012.
  20. Sam Solamani, Harry Bouwman, A Framework for the Alignment of Business Model and Business Processes: A Generic Model for Trans-Sector Innovation. Business Process Management Journal 18(4), 655–679, 2012.

Articles in proceedings (39):

  1. Mikhail Barash, Recursive Descent Parsing for Grammars with Contexts. In: Peter van Emde Boas, Frans C.A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack (Eds.), SOFSEM 2013: Theory and Practice of Computer Science, II, 10–21, Institute of Computer Science AS CR, 2013.
  2. Liang Guang, Syed Jafri, Bo Yang, Juha Plosila, Hannu Tenhunen, Hierarchical Supporting Structure for Dynamic Organization in Many-Core Computing Systems. In: César Benavente-Peces, Joaquim Filipe (Eds.), Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems, 252–261, SCITEPRESS – Science and Technology Publications, 2013.
  3. Pierre Guillon, Charalampos Zinoviadis, Densities and Entropies in Cellular Automata. In: S. Barry Cooper, Anuj Dawar, Benedict Löwe (Eds.), How the world computes, 253–263, Springer, 2013.
  4. Fareed Ahmed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius, Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing. In: Peter Kilpatrick, Peter Milligan, Rainer Stotzka (Eds.), Proceedings of the 21st International Euromicro Conference on Parallel, Distributed and Network-based Processing, Belfast, UK 27 February - 1 March 2013, 254 – 261, IEEE Computer society, 2013.
  5. Marko Niemimaa, Elina Laaksonen, Dan Harnesk, Interpreting Information Security Policy Outcomes: A Frames of Reference Perspective. In: 46th Hawaii International Conference on System Sciences, 4541–4550, IEEE Computer & Society, 2013.
  6. Sebastian Okser, Antti Airola, Tapio Salakoski, Tero Aittokallio, Tapio Pahikkala, Parallel Feature Selection for Regularized Least-Squares. In: Pekka Manninen, Per Öster (Eds.), Applied Parallel and Scientific Computing, Lecture Notes in Computer Science 7782, 280–294, Springer, 2013.
  7. Ville Salo, Ilkka Törmä, Topology Inspired Problems for Cellular Automata, and a Counterexample in Topology . In: Enrico Formenti (Ed.), Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, 53–68 , Open Publishing Association, 2013.
  8. Jari Tissari, Tero Hurnanen, Jussi Poikonen, Adaptive Algorithm and Parameter Optimization for Distributed Beamforming in OFDM Systems. In: Jari Tissari, Tero Hurnanen, Jussi Poikonen (Eds.), Wireless Communication Systems (ISWCS), 2012 International Symposium on , 1–5, IEEE, 2013.
  9. Elena Troubitsyna, Towards Formal Specification of Autonomic Control Systems. In: Dini Petre, Elena Troubitsyna (Eds.), The Fourth International Conference on Adaptive and Self-Adaptive Systems and Applications, 109–114, IEEE Computer Press, 2013.
  10. Elena Troubitsyna, Safety Analysis for Architecting Safety-Critical Systems. In: Dave West (Ed.), Proceedings of 30th International System Safety Conference, 250–261, System Safety Society, 2013.
  11. Jari Björne, Sofie van Landeghem, Sampo Pyysalo, Tomoko Ohta, Filip Ginter, Yves van de Peer, Sophia Ananiadou, Tapio Salakoski, PubMed-Scale Event Extraction for Post-Translational Modifications, Epigenetics and Protein Structural Relations. In: Kevin Bretonnel Cohen, Dina Demner-Fushman, Sophia Ananiadou, John Pestian (Eds.),Proceedings of the 2012 Workshop on Biomedical Natural Language Processing (BioNLP 2012), 82–90, Association for Computational Linguistics, 2012.
  12. Toni Ernvall, Roope Vehkalahti, Construction of MIMO MAC Codes Achieving the Pigeon Hole Bound. In: Pramod Viswanath (Ed.), 2012 IEEE International Symposium on Information Theory Proceedings, 21–25, IEEE, 2012.
  13. Kai Hakala, Sofie van Landeghem, Suwisa Kaewphan, Tapio Salakoski, Yves van de Peer, Filip Ginter, CyEVEX: Literature-Scale Network Integration and Visualization Through Cytoscape. In: Sophia Ananiadou, Sampo Pyysalo, Dietrich Rebholz-Schuhmann, Fabio Rinaldi, Tapio Salakoski (Eds.), Proceedings of the 5th International Symposium on Semantic Mining in Biomedicine, 91–96, ACM Press, 2012.
  14. Juho Heimonen, Tapio Salakoski, Sanna Salanterä, An Ontology to Improve Accessibility and Quality of Patient Instructions. In: Pamela Forner, Jussi Karlgren, Christa Womser-Hacker (Eds.), Proceedings of CLEF 2012 Evaluation Labs and Workshop, 137, Fondazione Bruno Kessler Press, 2012.
  15. Mari Huova, Juhani Karhumäki, On k-Abelian Avoidability. In: Juhani Karhumäki, Yuri Matiyasevich (Eds.),Combinatorics and graph theory. Part IV, 402, 170–182 , POMI, 2012.
  16. Sami Hyrynsalmi, Arho Suominen, Tuomas Mäkilä, Antero Järvi, Analyzing Developers' Challenges in Mobile Application Marketplaces. In: Peter Buxmann, Slinger Jansen, Thomas Kude, Karl Michael Popp, Martin Przewloka (Eds.), Proceedings of the European Workshop on Software Ecosystems 2012, 32–37, Synomic Academy, 2012.
  17. Kashif Javed, Elena Troubitsyna, Modelling a Fault-Tolerant Distributed Satellite System. In: Lasse Berntzen, Katya Toneva, Abdulrahman Yarali (Eds.), The Second International Conference on Advanced Collaborative Networks, Systems and Applications, 35 to 41, IEEE Computer Press, 2012.
  18. Kashif Javed, Elena Troubitsyna, A Case Study in Modeling a Fault-tolerant Satellite System Through Implementation of Dynamic Reconfiguration via Handshake. In: Mannaert,Herwig , Luigi Lavazza, Roy Oberhauser, Elena Troubitsyna, Michael Gebhar, Osamu Takaki (Eds.), The Seventh International Conference on Software Engineering Advances, 44 to 49, IEEE Computer Press, 2012.
  19. Suwisa Kaewphan, Sanna Kreula, Sofie Van Landeghem, Yves Van de Peer, Patrik R. Jones, Filip Ginter, Integrating Large-Scale Text Mining and Co-Expression Networks: Targeting NADP(H) Metabolism in E. coli with Event Extraction. In: Sophia Ananiadou, Kevin Cohen, Dina Demner-Fushman, Paul Thompson (Eds.), Third Workshop on Building and Evaluating Resources for Biomedical Text Mining, 8–15, European Language Resources Association (ELRA), 2012.
  20. Jongyun Moon, Marianna Kemell, Jarmo Kukkola, Risto Punkkinen, Hannu-Pekka Hedman, Arho Suominen, Ermei Mäkilä, Mikko Tenho, Aulis Tuominen, Hong Kim, Gas Sensor Using Anodic TiO2 Thin Film for Monitoring Hydrogen. In: Rafal Walczak, Jan Dziuban (Eds.), Procedia Engineering, 47, 791–794, Elsevier, 2012.
  21. shahrokh Nikou, Harry Bouwman, Mobile Service Platform Competition. In: James Alleman, Loretta Anania (Eds.),ITS Biennial Conference, Moving forward with future technologies: a platform for all, 1–11, Edward Elgar publishing, 2012.
  22. Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B. In: Fuyuki Ishikawa, Alexander Romanovsky (Eds.), Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, 1–7, ACM CoRR, 2012.
  23. Neeraj Sachdeva, Socio-Psychological Barriers in Assistive Technology Adoption for Totally Blind People. In: Neeraj Sachdeva, Honxiu Li (Eds.), Well-Being in the Information Society, 145–158, Springer, 2012.
  24. M. Mohsin Saleemi, Natalia Díaz Rodríguez, Johan Lilius, Towards Ontology-Driven Development of Ubiquitous and Intelligent interactive TV Applications. In: Stephen S. Yau, Witold Pedrycz, Vincenzo Piuri (Eds.), The 10th IEEE International Conference on Pervasive, Intelligence and Computing (PiCom 2012), 1–8, IEEE, 2012.
  25. Turo Sallinen, Function Transformations with Automata. In: Yuri Matiyasevich, Juhani Karhumäki (Eds.),Combinatorics and graph theory. Part IV, 148–169, POMI, St. Petersburg, 2012.
  26. Ville Salo, On Nilpotency and Asymptotic Nilpotency of Cellular Automata. In: Enrico Formenti (Ed.), Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, 86–96, Open Publishing Association, 2012.
  1. Ville Salo, Ilkka Törmä, On Derivatives and Subpattern Orders of Countable Subshifts . In: Enrico Formenti (Ed.),Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, 23–36 , Open Publishing Association, 2012.
  2. Ville Salo, Ilkka Törmä, Playing with Subshifts. In: Vesa Halava, Juhani Karhumäki, Yuri Matiyasevich (Eds.),Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics, TUCS Lecture Notes 17, 162–169, Juvenes Print, 2012.
  3. Ville Salo, Ilkka Törmä, Computational Aspects of Cellular Automata on Countable Sofic Shifts . In: Branislav Rovan, Vladimiro Sassone, Peter Vidmayer (Eds.), Mathematical Foundations of Computer Science 2012, 777–788 , Springer, 2012.
  4. Ville Salo, Ilkka Törmä, Geometry and Dynamics of the Besicovitch and Weyl Spaces . In: Hsu-Chun Yen, Oscar Ibarra (Eds.), Developments in Language Theory, 465–470 , Springer, 2012.
  5. Anna Sell, Pirkko Walden, Christer Carlsson, I am a Smart Phone User - Key Insights from the Finnish Market. In: Harry Bouwman, Virpi Tuunainen (Eds.), Proceedings of the ICMB 2012, 265–276, IEEE Computer Society, 2012.
  6. Olli Sjöblom, Juho Heimonen, Lotta Kauhanen, Veronika Laippala, Heljä Lundgrén-Laine, Laura-Maria Murtola, Tapio Salakoski, Sanna Salanterä, Avoiding Hazards - What Can Health Care Learn from Aviation?. In: Kristina Eriksson-Backa, Annika Luoma, Erica Krook (Eds.), Exploring the Abyss of Inequalities - Proceedings of the 4th International Conference on Well-Being in the Information Society, Communications in Computer and Information Science 313, 119–127, Springer, 2012.
  7. Jose Teixeira, Steering an Open-Source Platform-Based Strategy in a Hybrid Corporation. Enhancing R&D or Organizational Conflicts?. In: D. Bazylevych, O. Lutyi, O. Starostina, N. Butenko (Eds.), Proceedings of Shevchenkivska Vesna 2012: Economics, 98–104, Taras Shevchenko National University of Kyiv, 2012.
  8. Elena Troubitsyna, Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements. In: Fuyuki Ishikawa, Alexander Romanovsky (Eds.), Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, 1–7, ACM CoRR, 2012.
  9. Rami Vainio, Hannu-Pekka Hedman, E. Hæggström, Juhani Peltonen, Risto Punkkinen, Tero Säntti, Eino Valtonen, Anssi Ilmanen, Misganaw Mera, Juha Pentikäinen, Jarmo Perälä, J. Sandhu, Timo Soukka, RADMON – Radiation Monitor for Aalto-1 Nanosatellite. In: Seppo Honkanen, Goery Genty, Jukka Jurvelin, Jukka Maalampi, Jari Turunen, Jarkko J. Saarinen, Ritva Serimaa, Heli Jantunen, Tuija Pulkkinen (Eds.), Physics Days 2012,The 46th annual meeting of the Finnish Physical Society, 200, Suomen Fyysikkoseura, 2012.
  10. Mathias Cyamukungu, Sylvie Benck, Juan Cabrera, Ghislain Grégoire, Sabrina Bonnewijn, Jeroen Maes, Emiel Van Ransbeck, Glenn Creve, Jurgen De Saedeleer, Christophe Semaille, Eino Valtonen, Risto a Punkkinen, Perspectives for Provision of High Quality Space Radiation Environment Data Using the Energetic Particle Telescope (EPT). In: Jim Schwank (Ed.), RADECS 2011, 569–572, Institute of Electrical and Electronics Engineers, 2011.
  11. Vladimir Gromov, Tuomas Poikela, Martin van Beuzekom, Ruud Kluit, Francesco Zappon, Vladimir Zivkovic, Michael Campbell, Xavi Llopart, Christoph Brezina, Klaus Desch, Xiaochao Fang, Andre Kruth, Development and Applications of the Timepix3 Readout Chip . In: Proceedings of Science, 1–8, SISSA, 2011.
  12. Muhammad Mustafa Hassan, Luigia Petre, On the Influence of Poor Design and Arbitrary Growth on Switched LAN Efficiency. In: Saeed Mahfooz, Waheed ur Rehman (Eds.), Proceedings of the International Conference on Computer Networks and Information Technology (ICCNIT), IEEE Xplore, 131–136, IEEE Conference Publications, 2011.
  13. Teemu Rajala, Erkki Kaila, Johannes Holvitie, Haavisto Riku, Mikko-Jussi Laakso, Tapio Salakoski, Comparing the Collaborative and Independent Viewing of Program Visualization. In: Frontiers in Education Conference. 2011. (FIE 2011), F3G–1 – F3G–7 , Institute of Electrical and Electronics Engineers (IEEE) , 2011.

Chapters in edited books (3):

  1. David Gomez-Barquero, Peter Unger, Karim Nasr, Jussi Poikonen, Kristian Nybom, Hybrid Cellular and Broadcasting Networks. In: Roberto Verdone, Alberto Zanella (Eds.), Pervasive Mobile and Ambient Wireless Communications, 547–576, Springer, 2012.
  2. Jukka Heikkonen, Domenico Perrotta, Marco Riani, Francesca Torti, Issues on Clustering and Data Gridding. In: Antonio Giusti, Gunter Ritter, Vichi Maurizio (Eds.), Classification and Data Mining, Studies in classification, Data analysis and knowledge organization, 37–44, Springer, 2012.
  3. Mari Huova, Juhani Karhumäki, Equations in the Partial Semigroup of Words with Overlapping Products. In: Henning Bordihn, Martin Kutrib, Bianca Truthe (Eds.), Languages Alive, Lecture Notes in Computer Science 7300, 99–110, Springer Berlin Heidelberg, 2012.

TUCS Lecture Notes (1):

  1. Studies on Inequalities in Information Society – Proceedings of the Conference, Well-Being in the Information Society. WIS 2012, TUCS Lecture Notes, TUCS, 2012.

Ph.D. thesis (1):

  1. Guang Liang, Hierarchical Agent-Based Adaptation for Self-Aware Embedded Computing Systems. AI osa 452. University of Turku, 2012.

Technical reports (4):

  1. Sepinoud Azimi, Diana-Elena Gratie, Bogdan Iancu, Ion Petre, Three Approaches to Quantitative Model Refinement with Applications to the Heat Shock Response. TUCS Technical Reports 1067, 2013.
  2. Hongyan Liu, Jüri Vain, An Agent-Based Modeling for Price-Responsive Demand Simulation. TUCS Technical Reports 1065, ISBN 978-952-12-2843-8, 2013.
  3. Yury Nikulin, Quality of Solutions in Combinatorial Optimization Models Involving Substitutions. TUCS Technical Reports 1064, TUCS, 2013.
  4. Anna Frid, Svetlana Puzynina, Luca Q. Zamboni, On Minimal Factorizations of Words as Products of Palindromes. TUCS Technical Reports 1063, TUCS, 2012.