You are here: TUCS > EDUCATION > TUCS Graduate Programme > Supervisors > Ralph-Johan Back
Ralph-Johan Back
TUCS GP Supervisor at Åbo Akademi University, Department of Information Technologies
TUCS Research Unit: Software Construction Laboratorium, Learning and Reasoning Lab
e-mail: backrj@abo.fi
Current homepage: http://www.abo.fi/~backrj/
Current TUCS GP Students:
Mikolaj Wladyslaw Olszewski (Åbo Akademi University, Department of Information Technologies)
Charmi Panchal (Åbo Akademi University, Department of Information Technologies)
Alumni:
Marcus Alanen (Åbo Akademi University, Department of Information Technologies)
- Co-supervisor: Ivan Porres
Mats Aspnäs (Åbo Akademi University, Department of Information Technologies)
Martin Büchi (Åbo Akademi University, Department of Information Technologies)
Johannes Eriksson (Åbo Akademi University, Department of Information Technologies)
Jukkapekka Hekanaho (Åbo Akademi University, Department of Information Technologies)
Thomas Långbacka (Åbo Akademi University, Department of Information Technologies)
Linda Mannila (Åbo Akademi University, Department of Information Technologies)
Leonid Mikhajlov (Åbo Akademi University, Department of Information Technologies)
- Co-supervisor: Joakim von Wright
Anna Mikhajlova (Åbo Akademi University, Department of Information Technologies)
- Co-supervisor: Joakim von Wright
Luka Milovanov (Åbo Akademi University, Department of Information Technologies)
Luigia Petre (Åbo Akademi University, Department of Information Technologies)
- Co-supervisor: Kaisa Sere
Ivan Porres (Åbo Akademi University, Department of Information Technologies)
Viorel Preoteasa (Åbo Akademi University, Department of Information Technologies)
Cristina Seceleanu (Åbo Akademi University, Department of Information Technologies)
Kim Solin (Åbo Akademi University, Department of Information Technologies)
Marina Walden (Åbo Akademi University, Department of Information Technologies)
- Co-supervisor: Kaisa Sere
Latest publications:
Click here to see the full list of publications from the TUCS Publication Database
Eugen Czeizler, Andrzej Mizera, Elena Czeizler, Ralph-Johan Back, John E. Eriksson, Ion Petre, Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentins. IEEE-ACM Transactions on Computational Biology and Bioinformatics 9(3), 885–898, 2012.
Viorel Preoteasa, Ralph-Johan Back, Invariant Diagrams with Data Refinement . Formal Aspects of Computing 24(1), 67-95, 2012.
Mikołaj Olszewski, Ralph-Johan Back, Scrum-Based Agile Development with Stepwise Feature Introduction. TUCS Technical Reports 1045, TUCS, 2012.
Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson, Verification and Code Generation for Invarian Diagrams in Isabelle. TUCS Technical Reports 1058, TUCS, 2012.