Aarhus University Seal / Aarhus Universitets segl

Stefan Hallerstede

  1. 2014
  2. ABZ 2014

    Stefan Hallerstede (Organizer)

    2014

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

  3. 2013
  4. Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Journal)

    Stefan Hallerstede (Reviewer)

    Sep 2013

    Activity: Publication peer-review and editorial work typesEditor of Research journalResearch

  5. Journal of Automated Reasoning (Journal)

    Stefan Hallerstede (Reviewer)

    Jun 2013

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

  6. Proceedings of the 4th Rodin user and developer workshop. TUCS Lecture Notes No. 18 (Journal)

    Stefan Hallerstede (Editor)

    Jun 2013

    Activity: Publication peer-review and editorial work typesEditor of Research journalResearch

  7. Formal Aspects of Computing (Journal)

    Stefan Hallerstede (Reviewer)

    2013

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

  8. Integration of Tools for Rigorous Software Construction and Analysis

    Stefan Hallerstede (Organizer)

    2013

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

  9. Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2013

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

  10. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2013

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

  11. 2012
  12. Rodin User & Developer Workshop 2012

    Stefan Hallerstede (Organizer)

    27 Feb 201229 Feb 2012

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

  13. Rodin User & Developer Workshop Proceedings (Journal)

    Stefan Hallerstede (Editor)

    27 Feb 201228 Feb 2100

    Activity: Publication peer-review and editorial work typesEditor of Research journalResearch