Informationsteknologi

Forskningsresultat

Publikationer per år 1988 2011 2013 2014 2015 2016 2017 2018 2020 2024

• 8397 Citeringar
• 39 h-index
• 549 Konferensbidrag
• 230 Artikel
• 148 Beställd rapport
• 56 Kapitel
• 86 Mer
  • 27 Doktorsavhandling
  • 25 Antologi/redigerad tidskrift
  • 17 Övriga bidrag
  • 4 Översiktsartikel
  • 3 Sammanfattning
  • 2 Magisteruppsats
  • 1 Förord/efterord
  • 1 Poster
  • 1 Kommentar/debatt
  • 1 Konferensartikel
  • 1 Ledare
  • 1 Komposition
  • 1 Licentiatuppsats
  • 1 Arbetsdokument

Publikationer per år

Publikationer per år

Sökresultat

• 2023

  CyberSecurity in a DevOps Environment: From Requirements to Monitoring

  Sadovykh, A. (Redaktör), Truscan, D. (Redaktör), Mallouli, W. (Redaktör), Cavalli, A. R. (Redaktör), Seceleanu, C. (Redaktör) & Bagnto, A., dec. 2023, Springer. 324 s.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

  • Cybersecurity 100%
  • Security Incidents 50%
  • Continuous Monitoring 50%
  • Industrial System 50%
  • Design Specification 25%
• 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. (Redaktör), Petre, L. (Redaktör) & Smith, G. (Redaktör), 2019, Springer Verlag.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

• NWPT 2017 - Special issue

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

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

  Öppen tillgång

  Fil
  20 Nedladdningar (Pure)
• 2017

  A Magician in Science: Liber Amicorum Grzegorz Rozenberg

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

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Allmänheten

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

  Paun, G. (Redaktör), Petre, I. (Redaktör), Rozenberg, G. (Redaktör) & Salomaa, A. (Redaktör), 2017, Elsevier.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

• Computability in Europe 2017

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

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

• Proceedings of the 29th Nordic Workshop on Programming Theory

  Walden, M. (Redaktör), 2017, Turku Centre for Computer Science.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

• Unveiling Dynamics and Complexity

  Kari, J. (Redaktör), Manea, F. (Redaktör) & Petre, I. (Redaktör), 2017, Springer.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
• 2016

  From Action Systems to Distributed Systems - The Refinement Approach

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

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

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

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

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
• 2015

  From Computer Science to Biology and Back

  Merelli, E. (Redaktör) & Petre, I. (Redaktör), 2015, Elsevier.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

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

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

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
• 2013

  Developing Cloud Software: Algorithms, Applications, and Tools

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

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › 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)

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

  Öppen tillgång

• Proceedings of the 4th Rodin User and Developer Workshop

  Butler, M. (Redaktör), Hallerstede, S. (Redaktör) & Walden, M. (Redaktör), 2013, Turku: Turku Center for Computer Science (TUCS). (TUCS Lecture Notes; nr. 18)

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
• 2012

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

  Walden, M. (Redaktör) & Petre, L. (Redaktör), 2012, Elsevier. (The Journal of Logic and Algebraic Programming; vol. 81, nr. 3)

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

  Öppen tillgång
• 2011

  Dependability and Computer Engineering: Concepts for Software-Intensive Systems

  Petre, L. (Redaktör), Sere, K. (Redaktör) & Troubitsyna, E. (Redaktör), 2011, IGI Global.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
  4 Citeringar (Scopus)

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

  Schieferdecker, I. (Redaktör), Willcock, C. (Redaktör) & Truscan, D. (Redaktör), 2011, IGI Global.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
• 2010

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

  Walden, M. (Redaktör) & Petre, L. (Redaktör), 2010, Turku Centre for Computer Science (TUCS). (TUCS General Publication; nr. 57)

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
• 2007

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

  Petre, L. (Redaktör), Sere, K. (Redaktör), Troubitsyna, E. (Redaktör) & Johnsen, E. (Redaktör), 2007, Åbo Akademi University.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
• 2005

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

  Lilius, J. (Redaktör), Truscan, D. (Redaktör), Machado, R. J. (Redaktör) & Miguel Fernandes, J. (Redaktör), maj 2005, Finland: Turku Centre for Computer Science. 134 s. (TUCS General Publication; nr. 39)

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

  Öppen tillgång

  Fil

  • Model-driven Development 100%
  • Model-based Methodology 100%
  • International Workshop 100%
  • Embedded Software 100%
  • model-driven development 100%
  28 Nedladdningar (Pure)

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

  Lilius, J. (Redaktör), Machado, R. (Redaktör), Truscan, D. (Redaktör), Fernandes, J. (Redaktör) & Porres Paltor, I. (Redaktör), 2005, Nordic Journal of Computing.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review
• 2004

  Special issue of the 15th Nordic Workshop on Programming Theory

  Sere, K. (Redaktör) & Walden, M. (Redaktör), 2004, 2 red. Turku, Finland: Nordic Journal of Computing.

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

  • Programming Theory 100%
• 2003

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

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

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

  • Programming Theory 100%
  • Turku 50%

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

  Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › Peer review

  • Third International 100%
  • Formal Specification 100%
  • Computerized System 50%