Information Technology

Julkaisut

Julkaisuja vuodessa 1988 2011 2013 2014 2015 2016 2017 2018 2023

• 7219 Viittaukset
• 37 h-index
• 533 Konferenssiartikkeli
• 222 Artikkeli
• 148 Tutkimusraportti
• 53 Luku
• 79 Lisää
  • 25 Antologia/toimitettu lehti
  • 25 Tohtorinväitöskirja
  • 13 Muu myötävaikuttaminen
  • 5 Tiivistelmä
  • 4 Katsausartikkeli
  • 1 Ilmoitus
  • 1 Keskustelupuheenvuoro
  • 1 Pääkirjoitus
  • 1 Sävellysteos
  • 1 Lisensiaatin tutkielma
  • 1 Pro gradu
  • 1 Työpaperi

Julkaisuja vuodessa

Julkaisuja vuodessa

Hakutulokset

• 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

• 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
  7 Lataukset (Pure)
• 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

• 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

• 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

  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

• 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
• 2015

  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
• 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

• 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

  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%
  7 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%

• 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