Faculty of Science and Engineering

Julkaisut

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

• 291147 Viittaukset
• 208 h-index
• 6851 Artikkeli
• 1105 Konferenssiartikkeli
• 355 Katsausartikkeli
• 294 Luku
• 912 Lisää
  • 245 Tohtorinväitöskirja
  • 218 Tutkimusraportti
  • 97 Muu myötävaikuttaminen
  • 52 Pro gradu
  • 50 Antologia/toimitettu lehti
  • 44 Keskustelupuheenvuoro
  • 37 Tutkielma
  • 24 Ilmoitus
  • 23 Kirja
  • 20 Tiivistelmä
  • 19 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

• Towards Component-Based Reuse for Event-B

  Edmunds, A., Snook, C. & Walden, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; Vuosikerta 1140)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Tiedosto

  • Events 100%
  • Simulation Mode 75%
  • Scalability 50%
  • Component Interface 25%
  • Partitioning 25%
  10 Lataukset (Pure)

• Towards Rigorous Construction of Safety Cases

  Prokhorova, I., Laibinis, L. & Troubitsyna, E., 2014, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces

  Iqbal, J., Truscan, D., Vain, J. & Porres Paltor, I., 2015, Turku Centre for Computer Science.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto

  • Testing 100%
  • Benchmark 50%
  • Test Generation 50%
  • Timed Automaton 50%
  • Interference 50%
  17 Lataukset (Pure)

• Turku Centre for Computer Science, Annual Report 2012

  Laine, I., Lilius, J., Mäntylä, T., Petre, I., Tuohi, O. & Tuominen, I., 2013, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Turku Centre for Computer Science, Annual Report 2013

  Laine, I., Lilius, J., Mäntylä, T., Petre, I., Tuohi, O. & Tuominen, I., 2014, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Two Cases of Data Overflow in the Protein Sequencing Program BLASTPGP

  Osowski, K., Westerholm, J. & Aspnäs, M., 2007, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• UML-driven TTA-based protocol processor design

  Lilius, J. & Truscan, D., 2003, Turku Centre for Computer Science (TUCS). 36 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto
  15 Lataukset (Pure)

• Undersökning av förekomsten av toxiska blågrönalger i Långsjön och Markusbölefjärden

  Toivola, D., Meriluoto, J. & Eriksson, J., 1989, Åbo Akademi, Husö biologiska station.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Uppaal vs Event-B for Modelling Optimised Link State Routing

  Kamali, M. & Petre, L., 2016, Turku Centre for Computer Science (TUCS).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Uppföljningsstudie av gösens (Sander lucioperca (L.)) och de allmänna fiskbeståndens förekomst i Ålands inre skärgård

  Österlund, J. & Cederberg, T. (toim.), 2022, Åbo Akademi, Husö biologiska station. (Forskningsrapporter från Husö biologiska station; nro 164)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto
  14 Lataukset (Pure)

• Vattenvegetationen i grunda havsvikar, ett återbesök till havsvikar karterade 2002

  Ikonen, A. & Cederberg, T. (toim.), 2023, Åbo Akademi, Husö biologiska station. (Forskningsrapporter från Husö biologiska station)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

• Vedenalaisten Natura-luontotyyppien mallinnus Suomen merialueella

  Rinne, H. & Kaskela, A., 2018, Geologian tutkimuskeskus.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Tiedosto
  71 Lataukset (Pure)

• VELMU hiekkasärkkä- ja riuttamallien toimivuus Suomen merialueilla

  Rinne, H., Boström, M. & Björklund, C., 2019, VELMU.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Verification of a Distributed Algorithm due to Chu

  Sere, K. & Walden, M., 1994, Åbo Akademi University. (Reports on Computer Science and Mathematics, Series A94 - 156)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto

  • Distributed Algorithm 100%
  4 Lataukset (Pure)

• Verifying Time Petri Nets by Linear Programming

  Xuandong, L. & Lilius, J., 1999, Turku Centre for Computer Science (TUCS). 14 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• vUML: a Tool for Verifying UML Models

  Lilius, J. & Porres Paltor, I., 1999, Turku Centre for Computer Science (TUCS). 14 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Åbo Akademi Process Chemistry Centre : Annual report 2013-2014

  Lindqvist, H., Brink, A., Latonen, R-M., Mäki-Arvela, P. & Sundberg, A., 2014, Åbo Akademi University.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Återhämtning av vattenmiljön efter avvecklandet av fiskodling: uppföljning av återhämtningsstatus vid Andersö och Järsö samt vid en ny lokal, Bergö

  Saarinen, A., 2017, Åbo Akademi, Forskningsrapporter från Husö biologiska station.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen