Informaatioteknologian ja viestinnän tiedekunta

Aktiviteetit

Aktiviteetteja vuodessa 1982 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025

• 5971 Tieteellisen lehden refereenä toimiminen
• 4240 Konferenssiesitelmä
• 1715 Konferenssiartikkeleiden refereenä toimiminen
• 798 Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
• 5417 Lisää
  • 706 Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen
  • 610 Esiintyminen mediassa
  • 520 Kutsuttu esitelmä
  • 409 Toimituskunnan jäsenyys
  • 354 Workshopin tai sessionin puheenjohtajana toimiminen
  • 337 Maisteriopiskelijoiden ohjaaminen
  • 297 Konferenssin tai seminaarin järjestelytoimikunnan jäsenyys
  • 280 Vierailu ulkomaille
  • 238 Julkinen esitelmä
  • 205 Jäsenyys seurassa tai verkostossa
  • 171 Rahoitushakemusten arviointitehtävä
  • 149 Nimitetty asiantuntija- tai luottamustehtävä akateemisessa yhteisössä
  • 137 Työpajan, paneelin, session tai tutoriaalin järjestäminen
  • 122 Professorin tehtäväntäytön arviointitehtävä
  • 116 Kandidaattivaiheen opiskelijan ohjaaminen
  • 85 Toiminnan arviointitehtävä
  • 73 Dosentuurin hakijan arviointitehtävä
  • 62 Konferenssiin, työryhmään, paneeliin, sessioon tai tutoriaaliin osallistuminen
  • 60 Väitöskirjatutkijan ohjaaja
  • 53 Nimitetty yhteiskunnallinen asiantuntija- tai luottamustehtävä
  • 49 Akateeminen pätevyys (esim. dosentin arvo)
  • 43 Muun tehtäväntäytön arviointitehtävä
  • 42 Muun käsikirjoituksen arviointi
  • 41 Konsultointi
  • 41 Kokoomateoksen tai lehden erikoisnumeron toimittajuus
  • 33 Vierailun isännöinti
  • 33 Nimitetty asiantuntija- tai luottamustehtävä rahoittajaorganisaatioissa
  • 30 Tieteellisen ohjelman tai projektin johtaminen
  • 30 Muu asiantuntijatehtävä tai ansio
  • 26 Palkintolautakunnan jäsenyys
  • 19 Nimitetty yksityisen sektorin asiantuntija- tai luottamustehtävä
  • 13 Myönnetty tutkimusrahoitus
  • 10 Sosiaalisen median aktiviteetti
  • 10 Opinnot ulkomailla
  • 6 Juryn jäsenyys
  • 3 Tapahtuman kuratoiminen tai produktion tuottaminen
  • 3 Nimitetty asiantuntija- tai luottamustehtävä seurassa tai verkostossa
  • 1 Jatko-opiskelijoiden mentorointi

Aktiviteetteja vuodessa

Hakutulokset

• Reviewer: Kaivola, R., Equivalences, Preorders and Compositional Verification for Linear Time Temporal Logic and Concurrent Systems, Ph.D.

  Valmari, A. (Examiner)

  1996

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

• Reviewer: Arkko, J., Conformance Test Generation from Non-deterministic Specifications, Lic.Tech.

  Valmari, A. (Examiner)

  1995

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

• Opponent for doctoral thesis

  Gabbouj, M. (Examiner)

  1995

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

• Opponent/Committee member: Codefroid, P., Partial-Order Methods of the Verification of Concurrent Systems, An Approach to the State Explosion Problem

  Valmari, A. (Examiner)

  1994

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

• Opponent/Committee member: Eloranta, J., Minimal Transition Systems with Respect to Divergence-Preserving Bahavioural Equivalences

  Valmari, A. (Examiner)

  1994

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

• Opponent/Committee member: Christoff, L., Specification and Verification Methods for Probabilistic Processes

  Valmari, A. (Examiner)

  1993

  Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen