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. (Member)
    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. (Consultant)
    14 Oct 2010

    Activity: Public and private sector consultancyPublic sector consultancy

  6. Korean Advanced Institute of Science and Technology (KAIST)

    Stassen, F. (Visiting researcher)
    11 Oct 201015 Oct 2010

    Activity: Visiting an external institutionVisiting another research institution

  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. (Consultant)
    1 Sep 2010

    Activity: Public and private sector consultancyPublic sector consultancy

  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. (Consultant)
    25 Jun 2010

    Activity: Public and private sector consultancyPublic sector consultancy

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