Faculty of Science and Engineering

Publications

Research output per year 1961 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024

• 291515 Citations
• 208 h-index
• 6853 Article
• 1070 Conference contribution
• 355 Review Article or Literature Review
• 294 Chapter
• 948 More
  • 245 Doctoral Thesis
  • 218 Commissioned report
  • 97 Other contribution
  • 52 Master's thesis
  • 50 Edited Book/Edited Journal
  • 44 Comment/debate
  • 37 Paper (not published)
  • 36 Conference article
  • 24 Poster
  • 23 Book
  • 20 Abstract
  • 19 Editorial
  • 17 Meeting Abstract
  • 13 Book/Film/Article review
  • 8 Blog article
  • 7 Granted patents owned by ÅAU
  • 6 Performance
  • 6 Working paper
  • 5 Letter
  • 4 Bachelor's thesis
  • 4 Licenciate's thesis
  • 3 Foreword/postscript
  • 3 Exhibition
  • 2 Composition
  • 1 Entry for encyclopedia/dictionary
  • 1 Short survey
  • 1 Special issue
  • 1 Granted patents owned by external organisations
  • 1 Preprint

Research output per year

Research output per year

Search results

• A Magician in Science: Liber Amicorum Grzegorz Rozenberg

  Azimi Rashti, S. (ed.), Jan Hoogeboom, H. (ed.), Kleijn, J. (ed.), van der Nat, M. (ed.), Petre, I. (ed.) & Salomaa, A. (ed.), 2017, Turku Centre for Computer Science.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › General public

• At the Intersection of Computer Science with Biology, Chemistry and Physics: In Memory of Solomon Marcus

  Paun, G. (ed.), Petre, I. (ed.), Rozenberg, G. (ed.) & Salomaa, A. (ed.), 2017, Elsevier.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Bioactive glasses – Fundamentals, Technology and Applications

  R Boccaccini, A. (ed.), S Brauer, D. (ed.) & Hupa, L. (ed.), 2017, Royal Society of Chemistry.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Biomass sugars for non-fuel applications

  Murzin, D. (ed.) & Simakova, O. (ed.), 2016, Royal Society of Chemistry.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Computability in Europe 2017

  Azimi Rashti, S. (ed.), Jalonen, J. (ed.), Kari, J. (ed.) & Petre, I. (ed.), 2017, Turku Centre for Computer Science.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• CyberSecurity in a DevOps Environment: From Requirements to Monitoring

  Sadovykh, A. (ed.), Truscan, D. (ed.), Mallouli, W. (ed.), Cavalli, A. R. (ed.), Seceleanu, C. (ed.) & Bagnto, A., Dec 2023, Springer. 324 p.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  • Continuous Monitoring 100%
  • Software Security 50%
  • Security Specification 50%
  • Security Engineering 50%
  • Security Analysis 50%

• Dependability and Computer Engineering: Concepts for Software-Intensive Systems

  Petre, L. (ed.), Sere, K. (ed.) & Troubitsyna, E. (ed.), 2011, IGI Global.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review
  4 Citations (Scopus)

• Developing Cloud Software: Algorithms, Applications, and Tools

  Porres Paltor, I. (ed.), Mikkonen, T. (ed.) & Ashraf, A. (ed.), 2013, TUCS general publications.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Electrochemical processes in biological systems

  Lewenstam, A. (ed.) & Gorton, L. (ed.), 2015, John Wiley & Sons.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  4 Citations (Scopus)

• Energy

  Stevanovic, V. (ed.) & Zevenhoven, R. (ed.), 2015, Pergamon Press.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Energy Technology 2017: Carbon Dioxide Management and Other Technologies

  Zhang, L. (ed.), Drelich, J. W. (ed.), Neelameggham, N. R. (ed.), Post Guillen, D. (ed.), Haque, N. (ed.), Zhu, J. (ed.), Sun, Z. (ed.), Wang, T. (ed.), Howarter, J. A. (ed.), Tesfaye, F. (ed.), Ikhmayies, S. (ed.), Olivetti, E. (ed.) & William Kennedy, M. (ed.), 2017, Springer.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Energy Technology 2023

  Alam, S. (ed.), Post Guillen, D. (ed.), Tesfaye, F. (ed.), Zhang, L. (ed.), Hockaday, S. A. C. (ed.), Neelameggham, N. R. (ed.), Peng, H. (ed.), Haque, N. (ed.) & Liu, Y. (ed.), 2023, 1 ed. Switzerland: Springer Cham. 230 p. (The Minerals, Metals & Materials Series)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  • Energy 100%
  • Procedure 57%
  • Material 57%
  • Energy Efficiency 42%
  • Engineering Process 42%

• Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

  Dongol, B. (ed.), Petre, L. (ed.) & Smith, G. (ed.), 2019, Springer Verlag.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• From Action Systems to Distributed Systems - The Refinement Approach

  Petre, L. & Sekerinski, E., 2016, Chapman and Hall/CRC.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• From Computer Science to Biology and Back

  Merelli, E. (ed.) & Petre, I. (ed.), 2015, Elsevier.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Handbook of Cyanobacterial Monitoring and Cyanotoxin Analysis

  Meriluoto, J. (ed.), Spoof, L. (ed.) & Codd, G. A. (ed.), 2017, John Wiley & Sons.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Impacts of Fuel Quality on Power Production and Environment

  Hupa, M. (ed.), Frandsen, F. (ed.), Gupta, R. (ed.), Harding, S. (ed.), Mueller, C. (ed.), Wall, T. (ed.), Wigley, F. (ed.) & Zevenhoven, M. (ed.), 2013, Elsevier.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Integrated Formal Methods, 10th International Conference, {IFM} 2013, Turku, Finland, June 10-14, 2013. Proceedings

  Broch Johnsen, E. & Petre, L., 2013, Springer. (Lecture Notes in Computer Science; vol. 7940)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  Open Access

• Integrated Formal Methods, Third International Conference, {IFM} 2002, Turku, Finland, May 15-18, 2002, Proceedings

  Butler, M., Petre, L. & Sere, K., 2002, Springer. (Lecture Notes in Computer Science; vol. 2335)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  Open Access

• Materials Processing Fundamentals 2020

  Lee, J. (ed.), Wagstaff, S. R. (ed.), Lambotte, G. (ed.), Allanore, A. (ed.) & Tesfaye, F. (ed.), 2020, Springer. (The Minerals, Metals & Materials Series)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  • Material Processing 100%
  • Thermodynamic Property 50%
  • Model 50%
  • Volume 50%
  • Metal 50%

• Materials Processing Fundamentals 2021

  Lee, J. (ed.), Wagstaff, S. (ed.), Anderson, A. (ed.), Tesfaye, F. (ed.), Lambotte, G. (ed.) & Allanore, A. (ed.), 16 Feb 2021, 1 ed. Springer. 200 p. (The Minerals, Metals & Materials Series)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  • Metal 100%
  • Procedure 75%
  • Thermodynamics 50%
  • Nucleation 50%
  • Material Processing 50%

• Microfluidics for Pharmaceutical Applications: From Nano/Micro Systems Fabrication to Controlled Drug Delivery

  Santos, HA. (ed.), Liu, D. (ed.) & Zhang, H. (ed.), 2019, Elsevier.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review
  1 Citation (Scopus)

• Model-Based Testing for Embedded and Real-Time Communication Systems (MBT4ERTCS)

  Schieferdecker, I. (ed.), Willcock, C. (ed.) & Truscan, D. (ed.), 2011, IGI Global.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Multidisciplinary Creativity : homage to Gheorghe Pӑun on his 65th birthday

  Gheorghe, M. (ed.), Petre, I. (ed.), Pérez-Jiménez, M. J. (ed.), Rozenberg, G. (ed.) & Salomaa, A. (ed.), 2015, Spandugino.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Ni-Co 2021: The 5th International Symposium on Nickel and Cobalt

  Anderson, C. (ed.), Goodall, G. (ed.), Gostu, S. (ed.), Gregurek, D. (ed.), Lundström, M. (ed.), Meskers, C. (ed.), Nicol, S. (ed.), Peuraniemi, E. (ed.), Tesfaye, F. (ed.), Tripathy, P. (ed.), Wang, S. (ed.) & Zhang, Y. (ed.), 16 Feb 2021, 1 ed. Switzerland: Springer. 190 p. (The Minerals, Metals & Materials Series)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  • Cobalt 100%
  • Nickel 100%
  • Platinum-Group Element 66%
  • Metal 33%
  • Engineering Process 33%

• NODES 07: Nordic workshop and doctoral symposium on dependability and security, Oslo, Norway, October 2007: abstracts

  Petre, L. (ed.), Sere, K. (ed.), Troubitsyna, E. (ed.) & Johnsen, EB. (ed.), 2007, Åbo Akademi University.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• NWPT 2017 - Special issue

  Walden, M. (ed.), 2019, Elsevier. (Journal of logical and algebraic methods in programming; vol. 105)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  Open Access

  File
  17 Downloads (Pure)

• Poltto ja palaminen

  Raiko, R. (ed.), Saastamoinen, J. (ed.), Hupa, M. (ed.) & Kurki-Suonio, I. (ed.), 2002, International Flame Research Foundation (IFRF), Suomen kansallinen osasto.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Practices for network management : in search of collaborative advantage

  Vesalainen, J. (ed.), Valkokari, K. (ed.) & Hellström, M. (ed.), 2017, Palgrave Macmillan.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review
  2 Citations (Scopus)

• Proceedings of 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'05)

  Lilius, J. (ed.), Truscan, D. (ed.), Machado, R. J. (ed.) & Miguel Fernandes, J. (ed.), May 2005, Finland: TUCS general publications. 134 p.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  Open Access

  File

  • model-driven development 100%
  • Software 100%
  • Embedded Software 100%
  • platform independent model 50%
  • Automatic Code Generation 25%
  15 Downloads (Pure)

• Proceedings of the 15th Nordic Workshop on Programming Theory NWPT’03, 29.-31.10.2003: abstracts

  Sere, K. (ed.) & Walden, M. (ed.), 2003, Turku, Finland: Åbo Akademi University. (Reports on Computer Science and Mathematics, Series B; vol. 03-34)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  • Volume 100%
  • Presentation 100%
  • Congressional Report 100%

• Proceedings of the 22nd Nordic Workshop on Programming Theory – NWPT' 2010

  Walden, M. (ed.) & Petre, L. (ed.), 2010, Turku Centre for Computer Science (TUCS). (TUCS General Publication; no. 57)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Proceedings of the 29th Nordic Workshop on Programming Theory

  Walden, M. (ed.), 2017, Turku Centre for Computer Science.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Proceedings of the 4th Rodin User and Developer Workshop

  Butler, M. (ed.), Hallerstede, S. (ed.) & Walden, M. (ed.), 2013, Turku: Turku Center for Computer Science (TUCS). (TUCS Lecture Notes; no. 18)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Project Perspectives

  Wikström, K. (ed.), Gustafsson, M. (ed.) & Illman, R., 2003, Stiftelsen för projektforskning.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific

• QSCP-XVII : International Workshop on Quantum Systems in Chemistry and Physics : abstracts and program : August 19-25, 2012, Turku, Finland

  Sandberg, T. (ed.) & Smått, J-H. (ed.), 2012, Åbo Akademi University.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• REWAS 2019: Manufacturing the Circular Materials Economy

  Gaustad, G. (ed.), Fleuriault, C. (ed.), Gökelma, M. (ed.), Howarter, J. A. (ed.), Kirchain, R. (ed.), Kaka, M. (ed.), Meskers, C. (ed.), Neelameggham, N. R. (ed.), Olivetti, E. (ed.), Powell, A. C. (ed.), Tesfaye, F. (ed.), Verhulst, D. (ed.) & Zhang, M. (ed.), 2019, Springer.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• REWAS 2022: Energy Technologies and CO2 Management (Volume II)

  Tesfaye, F. (ed.), Zhang, L. (ed.), Guillen, D. P. (ed.), Sun, Z. (ed.), Baba, A. A. (ed.), Neelameggham, N. R. (ed.), Zhang, M. (ed.), Verhulst, D. E. (ed.) & Alam, S. (ed.), 16 Feb 2022, 1 ed. Gewerbestrasse 11, 6330 Cham, Switzerland: Springer International Publishing. 176 p. (The Minerals, Metals & Materials Series)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  File

  • Energy Technology 100%
  • Urban Heat Island Effect 100%
  • Renewable Energy 66%
  • Science and Technology 66%
  • Congressional Report 66%
  8 Downloads (Pure)

• Selected papers from the 27th International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems (ECOS2014), Turku, Finland, June 2014

  Zevenhoven, R. (ed.) & Bojic, M. (ed.), 2016, Elsevier.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Selected Papers of the 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2005)

  Lilius, J. (ed.), Machado, RJ. (ed.), Truscan, D. (ed.), Fernandes, JM. (ed.) & Porres Paltor, I. (ed.), 2005, Nordic Journal of Computing.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Special issue of the 15th Nordic Workshop on Programming Theory

  Sere, K. (ed.) & Walden, M. (ed.), 2004, 2 ed. Turku, Finland: Nordic Journal of Computing.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  • Turku 100%

• Special Issue on Efficiency, Cost, Optimisation, Simulation and Environmental Impact of Energy Systems (ECOS) 2014

  Zevenhoven, R. (ed.), 2016, Pergamon Press.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Strategic change towards future industrial service business

  Martinsuo, M. (ed.), Perminova, O. (ed.) & Turunen, T. (ed.), 2015, Tampere University of Technology.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• The 12th International CDIO Conference: Proceedings - Full Papers

  Björkqvist, J. (ed.), Edström, K. (ed.), Hugo, R. J. (ed.), Kontio, J. (ed.), Roslöf, J. (ed.), Sellens, R. (ed.) & Virtanen, S. (ed.), 2016, Turun ammattikorkeakoulu. (Proceedings of the International CDIO Conference)(Research Reports from Turku University of Applied Sciences)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• The 22nd Nordic Workshop on Programming Theory (NWPT 2010)

  Walden, M. (ed.) & Petre, L. (ed.), 2012, Elsevier.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  Open Access

• TMS 2022 151st Annual Meeting & Exhibition Supplemental Proceedings: Materials Processing Fundamentals

  Wagstaff, S. (ed.), Anderson, A. (ed.), Lee, J. (ed.), Sabau, A. S. (ed.) & Tesfaye, F. (ed.), 1 Mar 2022, Switzerland: Springer, Cham. 117 p. (The Minerals, Metals & Materials Series)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Topics in catalysis. Bridging organic chemistry and heterogeneous catalysis

  Leino, R. (ed.), Murzin, D. (ed.) & Saloranta-Simell, T. (ed.), 2016, Springer.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Understanding Marine Changes: Environmental Knowledge and Methods of Research

  Jetoo, S. (ed.), Jaana, K. (ed.), Laine, S. (ed.), Tynkkynen, N. (ed.) & Törnroos-Remes, A. (ed.), 2023, Cheltenham: Edward Elgar. 277 p.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• Unveiling Dynamics and Complexity

  Kari, J. (ed.), Manea, F. (ed.) & Petre, I. (ed.), 2017, Springer.

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

• ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

  Bert, D. (ed.), Bowen, J. (ed.), King, S. (ed.) & Walden, M. (ed.), 2003, Heidelberg: Springer-Verlag. (LNCS; vol. 2651)

  Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review

  • User 100%
  • Formal Specification 50%
  • Academia 50%
  • Specifications 50%
  • Computer 50%