Faculty of Science and Engineering

Julkaisut

Julkaisuja vuodessa 1961 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024

• 294059 Viittaukset
• 210 h-index
• 6859 Artikkeli
• 1107 Konferenssiartikkeli
• 356 Katsausartikkeli
• 294 Luku
• 916 Lisää
  • 246 Tohtorinväitöskirja
  • 218 Tutkimusraportti
  • 97 Muu myötävaikuttaminen
  • 52 Pro gradu
  • 51 Antologia/toimitettu lehti
  • 44 Keskustelupuheenvuoro
  • 38 Tutkielma
  • 24 Ilmoitus
  • 23 Kirja
  • 20 Tiivistelmä
  • 20 Pääkirjoitus
  • 17 Tapaamisen yhteenveto
  • 13 Kirjan/elokuvan/artikkelin arvostelu
  • 8 Blogikirjoitus
  • 7 ÅA:n omistamat myönnetyt patentit
  • 6 Esitys
  • 6 Työpaperi
  • 5 Katsaus
  • 4 Kandidaatin tutkielma
  • 4 Lisensiaatin tutkielma
  • 3 Esipuhe/jälkisanat
  • 3 Näyttely
  • 2 Sävellysteos
  • 1 Ensyklopedia-artikkeli
  • 1 Lyhyt tutkimus
  • 1 Lehden erikoisnumero
  • 1 Muiden organisaatioiden omistamat myönnetyt patentit
  • 1 Esipainos

Julkaisuja vuodessa

Julkaisuja vuodessa

Hakutulokset

• 2024

  Abstracts of the 2nd GeoDays, 12th–14th March 2024, Turku, Finland

  Heinonen, J. S. (toim.), maalisk. 2024, Helsinki: Geological Society of Finland. 115 Sivumäärä (Proceedings of the Geological Society of Finland; Vuosikerta 4)

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen

  Open access

  Tiedosto
  7 Lataukset (Pure)
• 2023

  CyberSecurity in a DevOps Environment: From Requirements to Monitoring

  Sadovykh, A. (toim.), Truscan, D. (toim.), Mallouli, W. (toim.), Cavalli, A. R. (toim.), Seceleanu, C. (toim.) & Bagnto, A., jouluk. 2023, Springer. 324 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

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

• Energy Technology 2023

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

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

• Understanding Marine Changes: Environmental Knowledge and Methods of Research

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
• 2022

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

  Tiedosto

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

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

  Wagstaff, S. (toim.), Anderson, A. (toim.), Lee, J. (toim.), Sabau, A. S. (toim.) & Tesfaye, F. (toim.), 1 maalisk. 2022, Switzerland: Springer, Cham. 117 Sivumäärä (The Minerals, Metals & Materials Series)

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
• 2021

  Materials Processing Fundamentals 2021

  Lee, J. (toim.), Wagstaff, S. (toim.), Anderson, A. (toim.), Tesfaye, F. (toim.), Lambotte, G. (toim.) & Allanore, A. (toim.), 16 helmik. 2021, 1 toim. Springer. 200 Sivumäärä (The Minerals, Metals & Materials Series)

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

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

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

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

  Materials Processing Fundamentals 2020

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

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

  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. (toim.), Petre, L. (toim.) & Smith, G. (toim.), 2019, Springer Verlag.

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
  1 Sitaatiot (Scopus)

• NWPT 2017 - Special issue

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto
  17 Lataukset (Pure)

• REWAS 2019: Manufacturing the Circular Materials Economy

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
• 2017

  A Magician in Science: Liber Amicorum Grzegorz Rozenberg

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Yleistajuinen

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

• Bioactive glasses – Fundamentals, Technology and Applications

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

• Computability in Europe 2017

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

• Energy Technology 2017: Carbon Dioxide Management and Other Technologies

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

• Handbook of Cyanobacterial Monitoring and Cyanotoxin Analysis

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

• Practices for network management : in search of collaborative advantage

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
  2 Sitaatiot (Scopus)

• Proceedings of the 29th Nordic Workshop on Programming Theory

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

• Unveiling Dynamics and Complexity

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
• 2016

  Biomass sugars for non-fuel applications

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

• From Action Systems to Distributed Systems - The Refinement Approach

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

• 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. (toim.) & Bojic, M. (toim.), 2016, Elsevier.

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

• Topics in catalysis. Bridging organic chemistry and heterogeneous catalysis

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
• 2015

  Electrochemical processes in biological systems

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

  4 Sitaatiot (Scopus)

• Energy

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

• From Computer Science to Biology and Back

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

• Strategic change towards future industrial service business

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
• 2013

  Developing Cloud Software: Algorithms, Applications, and Tools

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

• Impacts of Fuel Quality on Power Production and Environment

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

• 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; Vuosikerta 7940)

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

  Open access

• Proceedings of the 4th Rodin User and Developer Workshop

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
• 2012

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

  Open access
• 2011

  Dependability and Computer Engineering: Concepts for Software-Intensive Systems

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
  4 Sitaatiot (Scopus)

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
• 2010

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
• 2007

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
• 2005

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

  Lilius, J. (toim.), Truscan, D. (toim.), Machado, R. J. (toim.) & Miguel Fernandes, J. (toim.), toukok. 2005, Finland: TUCS general publications. 134 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

  Open access

  Tiedosto

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

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu
• 2004

  Special issue of the 15th Nordic Workshop on Programming Theory

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

  • Turku 100%
• 2003

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

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

• Project Perspectives

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

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen

• 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. (toim.), Bowen, J. (toim.), King, S. (toim.) & Walden, M. (toim.), 2003, Heidelberg: Springer-Verlag. (LNCS; Vuosikerta 2651)

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

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

  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; Vuosikerta 2335)

  Tutkimustuotos: Kirja/lehti/raportti › Antologia/toimitettu lehti › Tieteellinen › vertaisarvioitu

  Open access