Aarhus University Seal / Aarhus Universitets segl

Tomas Kulik

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

    Tomas Kulik (Reviewer)

    7 May 2020

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsCommunication

  3. HUBCAP

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

    21 Jan 202023 Jan 2020

    Activity: Participating in or organising an event typesParticipation in or organisation af a conference

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

    Tomas Kulik (Reviewer)

    2020

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsCommunication

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

    Tomas Kulik (Reviewer)

    2020

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsCommunication

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

    Tomas Kulik (Reviewer)

    2020

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsCommunication

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

    Tomas Kulik (Reviewer)

    2019

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsCommunication

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

    Tomas Kulik (Reviewer)

    31 Mar 2018

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsCommunication

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

    Tomas Kulik (Reviewer)

    8 Feb 2018

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsCommunication

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

    Tomas Kulik (Reviewer)

    2018

    Activity: Publication peer-review and editorial work typesPeer review of manuscriptsCommunication