Open positions

Tenure-Track Assistant Professor / Associate Professor in Bioinformatics at Aarhus University, Denmark

Events

No upcoming events.

New publications

Mailund, T. & Westergaard, M. (2004). Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004) (pp. 177-191)

Kristensen, L. M. & Mailund (2003). Efficient Path Finding with the Sweep-Line Method using External Storage. In Proceedings of International Conference on Formal Engineering Methods (ICFEM 2003) (pp. 319-337)

Mailund & Kristensen, L. M. (2002). A Compositional Sweep-Line State Space Exploration Method. In Proceedings of Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE 2002) (pp. 327-343)

Displaying results 1378 to 1380 out of 1392

460

Contact

BiRC - Section for Bioinformatics and Computational Biology
Aarhus University
Universitetsbyen 81, building 1872, 3rd floor
DK-8000 Aarhus C
Denmark
Email: admin@birc.au.dk

Address for mail and parcels:
Universitetsbyen 83, DK-8000 Aarhus C

Head of BiRC:
Christian Storm Pedersen
Email: cstorm@birc.au.dk
Tel: +45 2778 2810

Administration:
Ellen Noer
Email: elno@birc.au.dk
Tel: +45 60811406

How to find us (map)

Getting to Aarhus and Aarhus University

Getting around in Aarhus

Staff pages

Revised 10.03.2026

Ellen Bernadette Noer