Aarhus University Seal / Aarhus Universitets segl

Tomas Kulik

  1. 2020
  2. Journal of Information Security and Applications (Tidsskrift)

    Tomas Kulik (Fagfællebedømmer)

    7 maj 2020

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterFormidling

  3. HUBCAP

    Carl Peter Leslie Schultz (Deltager), Hugo Daniel Macedo (Deltager), Jalil Boudjadar (Deltager), Lene Birksø Bødskov (Arrangør), Lukas Esterle (Deltager), Niklas Braarud Jordal (Arrangør), Peter Gorm Larsen (Arrangør) & Tomas Kulik (Deltager)

    21 jan. 202023 jan. 2020

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typerDeltagelse i eller organisering af konference

  4. 2019 IEEE Symposium Series on Computational Intelligence (Begivenhed)

    Tomas Kulik (Fagfællebedømmer)

    2020

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterFormidling

  5. 46th International Conference on Current Trends in Theory and Practice of Computer Science (Begivenhed)

    Tomas Kulik (Fagfællebedømmer)

    2020

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterFormidling

  6. Spring/Summer Young Researchers’ Colloquium on Software Engineering (Begivenhed)

    Tomas Kulik (Fagfællebedømmer)

    2020

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterFormidling

  7. 2019
  8. 7th International Conference on Formal Methods in Software Engineering (Begivenhed)

    Tomas Kulik (Fagfællebedømmer)

    2019

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterFormidling

  9. 2018
  10. Dynamic Access Control: Modelling and Verification with Event-B (Begivenhed)

    Tomas Kulik (Fagfællebedømmer)

    31 mar. 2018

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterFormidling

  11. CAPVerDE -- An Integrated Tool Environment for Privacy Verification in Software Architectures (Begivenhed)

    Tomas Kulik (Fagfællebedømmer)

    8 feb. 2018

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterFormidling

  12. 23rd International Conference on Formal Methods for Industrial Critical Systems (Begivenhed)

    Tomas Kulik (Fagfællebedømmer)

    2018

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterFormidling