Department of Informatics and Mathematical Modeling

  1. 2011
  2. 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

  3. 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

  4. 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

  5. Towards a Semantics for VDM Core

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

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

  6. Multi-spectral Image Analysis for Astaxanthin Coating Classification

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

    Activity: Talks and presentationsConference presentations

  7. MicroSoft Research Software Summit

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

    Activity: Participating in or organising an eventParticipating in or organising a conference

  8. 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

  9. Effective Development and Verification of Railway Control Software

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

    Activity: Talks and presentationsConference presentations

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

    Guillot, G. (Member)
    2010 → …

    Activity: MembershipMembership in committee, council, board

  12. Population Ecology (Journal)

    Guillot, G. (Editor)
    2010 → …

    Activity: ResearchEditor of Research journal

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