Aarhus University Seal / Aarhus Universitets segl

Stefan Hallerstede

  1. Editor of Research journal
  2. 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

  3. 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

  4. 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

  5. Peer review of manuscripts
  6. Acta Informatica (Journal)

    Stefan Hallerstede (Reviewer)

    Feb 2015

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

  7. Formal Aspects of Computing (Journal)

    Stefan Hallerstede (Reviewer)

    2013

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

  8. Formal Aspects of Computing (Journal)

    Stefan Hallerstede (Reviewer)

    May 2014

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

  9. IEEE Transactions on Software Engineering (Journal)

    Stefan Hallerstede (Reviewer)

    Jan 2014

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

  10. Information and Software Technology (Journal)

    Stefan Hallerstede (Reviewer)

    2018

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

  11. Information and Software Technology (Journal)

    Stefan Hallerstede (Editor)

    2018

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

  12. International Journal on Software Tools for Technology Transfer (Journal)

    Stefan Hallerstede (Reviewer)

    Aug 2015

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

  13. Journal of Automated Reasoning (Journal)

    Stefan Hallerstede (Reviewer)

    Jun 2013

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

  14. Journal of Systems and Software (Journal)

    Stefan Hallerstede (Reviewer)

    2018

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

  15. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2016

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

  16. Science of Computer Programming (Journal)

    Stefan Hallerstede (Editor)

    Apr 2017

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

  17. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2013

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

  18. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2015

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

  19. Science of Computer Programming (Journal)

    Stefan Hallerstede (Reviewer)

    2019

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

  20. Science of Computer Programming (Journal)

    Stefan Hallerstede (Editor)

    Mar 2017

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

  21. Software Tools for Technology Transfer (Journal)

    Stefan Hallerstede (Reviewer)

    2015

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

  22. Software and Systems Modeling (Journal)

    Stefan Hallerstede (Reviewer)

    2020

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

  23. Software and Systems Modeling (Journal)

    Stefan Hallerstede (Editor)

    2018

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

  24. Software and Systems Modeling (Journal)

    Stefan Hallerstede (Editor)

    May 2017

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

  25. Participation in or organisation af a conference
  26. 5th Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    Jun 2014

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

  27. 5th Rodin User and Developer Workshop

    Stefan Hallerstede (Organizer)

    2014

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

  28. ABZ 2014

    Stefan Hallerstede (Organizer)

    2014

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

Previous 1 2 Next