Department of Informatics and Mathematical Modeling

  1. 2010
  2. Population Ecology (Journal)

    Guillot, G. (Editor)
    2010 → …

    Activity: ResearchJournal editor

  3. The Open Statistics & Probability Journal (Journal)

    Guillot, G. (Editor)
    2010 → …

    Activity: ResearchJournal editor

  4. Member of the review board for a VIP position at Engineering College of Århus (External organisation)

    Haxthausen, A. E. (Reviewer)
    22 Nov 20101 Dec 2010

    Activity: MembershipMembership of commitees, commissions, boards, councils, associations, organisations, or similar

  5. Formal Methods: A Tutorial on Model-oriented Specification

    Haxthausen, A. E. (Course lecturer)
    14 Oct 2010

    Activity: Talks and presentationsConference presentations

  6. Official visit DTU KAIST (Republic of Korea)

    Stassen, F. (Speaker)
    11 Oct 201015 Oct 2010

    Activity: OtherOther (prizes, external teaching and other activities) - Period visiting other institutions

  7. Analysis of Astaxanthin in Fish Feed Pellets

    Ljungqvist, M. G. (Speaker)
    4 Oct 2010

    Activity: Talks and presentationsConference presentations

  8. An Introduction to Formal Methods for the Development of Safety-critical Applications

    Haxthausen, A. E. (Speaker)
    1 Sep 2010

    Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

  9. 73rd Annual Meeting of the Institute of Mathematical Statistics

    Guillot, G. (Chairman)
    9 Aug 201013 Aug 2010

    Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

  10. An Introduction to Formal Methods for Software Development

    Haxthausen, A. E. (Speaker)
    25 Jun 2010

    Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

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