Department of Informatics and Mathematical Modeling

  1. 2011
  2. A Model-based Tool Set for Simulation and Verification of Relay Interlocking Systems

    Anne Elisabeth Haxthausen (Speaker), 27 Sep 2011

    Activity: Participation in conference/workshop/course/seminarParticipation in workshop, seminar, course

  3. An Introduction to Formal Methods for Software Development

    Anne Elisabeth Haxthausen (Invited speaker), Banedanmark, Copenhagen, 7 Oct 2011

    Activity: Other research and communication activitiesExternal teaching and subject coordination

  4. Workshop Integrale Abflusssteuerung DWA-AG ES-2.4

    Roland Löwe (Speaker), 14 Nov 2011

    Activity: Participation in conference/workshop/course/seminarParticipation in workshop, seminar, course

  5. Population Ecology

    Gilles Guillot (Reviewer), 20112012

    Activity: Ongoing editorial workEditor of Research journal

  6. 2010
  7. Associate Editor Population Ecology

    Gilles Guillot (Reviewer), 1 Jan 2010 → …

    Activity: Participation in council, board, committee and networkMembership in committee, council, board

  8. Associate Editor, the Open Statistics and Probability Journal

    Gilles Guillot (Reviewer), 1 Jan 2010 → …

    Activity: Participation in council, board, committee and networkMembership in committee, council, board

  9. NordSecMob Network meeting

    Flemming Stassen (Representative), Aalto University, Espoo, Finland, 18 Jan 201019 Jan 2010

    Activity: Other research and communication activitiesPeriod visiting other institutions

  10. JAIST Advanced School on Formal Specification and Systems Verification 2010 ( JAIST-FSSV2010)

    Anne Elisabeth Haxthausen (Participant), 1 Mar 20105 Mar 2010

    Activity: Participation in conference/workshop/course/seminarOrganisation of and participation in conference

  11. NordSecMob Network meeting

    Flemming Stassen (Representative), 6 May 2010

    Activity: Other research and communication activitiesPeriod visiting other institutions

Download list:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word