Department of Informatics and Mathematical Modeling

  1. 2011
  2. An Introduction to Formal Methods for Software Development

    Haxthausen, A. E. (Speaker)
    7 Oct 2011

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

  3. A Model-based Tool Set for Simulation and Verification of Relay Interlocking Systems

    Haxthausen, A. E. (Speaker)
    27 Sep 2011

    Activity: Talks and presentationsTalks and presentations in private or public companies and organisations

  4. GPU Computing Today and Tomorrow: A high performance GPU-based framework for PDE prototyping

    Glimberg, S. L. (Speaker)
    18 Aug 2011

    Activity: Talks and presentationsConference presentations

  5. Multi-spectral Imaging as a Method for Automatic Quality Control of Fish Fillet and Fish Feed

    Ljungqvist, M. G. (Speaker)
    24 Jun 2011

    Activity: Talks and presentationsConference presentations

  6. Towards a Semantics for VDM Core

    Haxthausen, A. E. (Course lecturer)
    20 Jun 2011

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

  7. Multi-spectral Image Analysis for Astaxanthin Coating Classification

    Ljungqvist, M. G. (Speaker)
    27 May 2011

    Activity: Talks and presentationsConference presentations

  8. MicroSoft Research Software Summit

    Haxthausen, A. E. (Participant)
    13 Apr 201115 Apr 2011

    Activity: Attending an eventParticipating in or organising a conference

  9. NordSecMob Network meeting: 21 Selection meeting

    Stassen, F. (Reviewer)
    26 Jan 201128 Jan 2011

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

  10. Effective Development and Verification of Railway Control Software

    Haxthausen, A. E. (Speaker)
    21 Jan 2011

    Activity: Talks and presentationsConference presentations

  11. 2010
  12. Associate Editor, Population Ecology (External organisation)

    Guillot, G. (Member)
    2010 → …

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

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