Aarhus University Seal / Aarhus Universitets segl

Stefan Hallerstede

  1. 2019
  2. Science of Computer Programming (Tidsskrift)

    Stefan Hallerstede (Fagfællebedømmer)
    2019

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

  3. 2018
  4. Information and Software Technology (Tidsskrift)

    Stefan Hallerstede (Redaktør)
    2018

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

  5. Information and Software Technology (Tidsskrift)

    Stefan Hallerstede (Fagfællebedømmer)
    2018

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

  6. Journal of Systems and Software (Tidsskrift)

    Stefan Hallerstede (Fagfællebedømmer)
    2018

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

  7. Software and Systems Modeling (Tidsskrift)

    Stefan Hallerstede (Redaktør)
    2018

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

  8. 2017
  9. Software and Systems Modeling (Tidsskrift)

    Stefan Hallerstede (Redaktør)
    maj 2017

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

  10. Science of Computer Programming (Tidsskrift)

    Stefan Hallerstede (Redaktør)
    apr. 2017

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

  11. Science of Computer Programming (Tidsskrift)

    Stefan Hallerstede (Redaktør)
    mar. 2017

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

  12. 2016
  13. Science of Computer Programming (Tidsskrift)

    Stefan Hallerstede (Fagfællebedømmer)
    2016

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

  14. 2015
  15. International Journal on Software Tools for Technology Transfer (Tidsskrift)

    Stefan Hallerstede (Fagfællebedømmer)
    aug. 2015

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

  16. Acta Informatica (Tidsskrift)

    Stefan Hallerstede (Fagfællebedømmer)
    feb. 2015

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

  17. Science of Computer Programming (Tidsskrift)

    Stefan Hallerstede (Fagfællebedømmer)
    2015

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

  18. Software Tools for Technology Transfer (Tidsskrift)

    Stefan Hallerstede (Fagfællebedømmer)
    2015

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

  19. 2014
  20. 5th Rodin User and Developer Workshop

    Stefan Hallerstede (Arrangør)
    jun. 2014

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

  21. Formal Aspects of Computing (Tidsskrift)

    Stefan Hallerstede (Fagfællebedømmer)
    maj 2014

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

  22. IEEE Transactions on Software Engineering (Tidsskrift)

    Stefan Hallerstede (Fagfællebedømmer)
    jan. 2014

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

  23. 5th Rodin User and Developer Workshop

    Stefan Hallerstede (Arrangør)
    2014

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

  24. ABZ 2014

    Stefan Hallerstede (Arrangør)
    2014

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

  25. ABZ 2014

    Stefan Hallerstede (Arrangør)
    2014

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

  26. 2013
  27. Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Tidsskrift)

    Stefan Hallerstede (Fagfællebedømmer)
    sep. 2013

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerRedaktør af tidsskriftForskning

  28. Journal of Automated Reasoning (Tidsskrift)

    Stefan Hallerstede (Fagfællebedømmer)
    jun. 2013

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

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

    Stefan Hallerstede (Redaktør)
    jun. 2013

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerRedaktør af tidsskriftForskning

  30. Formal Aspects of Computing (Tidsskrift)

    Stefan Hallerstede (Fagfællebedømmer)
    2013

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

  31. Integration of Tools for Rigorous Software Construction and Analysis

    Stefan Hallerstede (Arrangør)
    2013

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

  32. Rodin User and Developer Workshop

    Stefan Hallerstede (Arrangør)
    2013

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

  33. Science of Computer Programming (Tidsskrift)

    Stefan Hallerstede (Fagfællebedømmer)
    2013

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

  34. 2012
  35. Rodin User & Developer Workshop 2012

    Stefan Hallerstede (Arrangør)
    27 feb. 201229 feb. 2012

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

  36. Rodin User & Developer Workshop Proceedings (Tidsskrift)

    Stefan Hallerstede (Redaktør)
    27 feb. 201228 feb. 2100

    Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerRedaktør af tidsskriftForskning

  37. Rodin User and Developer Workshop

    Stefan Hallerstede (Arrangør)
    2012

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

  38. iFM & ABZ 2012

    Stefan Hallerstede (Arrangør)
    2012

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

  39. 2010
  40. FMCO 2010

    Stefan Hallerstede (Arrangør)
    2010

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

  41. Rodin User and Developer Workshop

    Stefan Hallerstede (Arrangør)
    2010

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

  42. 2009
  43. FMCO 2009

    Stefan Hallerstede (Arrangør)
    2009

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

  44. IFM 2009

    Stefan Hallerstede (Arrangør)
    2009

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

  45. Rodin User and Developer Workshop

    Stefan Hallerstede (Arrangør)
    2009

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

  46. 2007
  47. ICTAC 2007

    Stefan Hallerstede (Arrangør)
    2007

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

  48. 2004
  49. FDL 2004

    Stefan Hallerstede (Deltager)
    2004

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

  50. 2003
  51. FDL 2003

    Stefan Hallerstede (Arrangør)
    2003

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