Open positions

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

Events

No upcoming events.

New publications

Christensen, S., Kristensen, L. M. & Mailund (2001). A Sweep-Line Method for State Space Exploration. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001) (pp. 450-464)

Gallasch, G. E., Kristensen, L. M. & Mailund (2002). Sweep-Line State Space Exploration for Coloured Petri Nets. In Proceedings of Fourth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools (CPN 2002) (pp. 101-119)

Christensen, S., Jensen, K., Mailund & Kristensen, L. M. (2001). State space methods for coloured Petri nets. In Proceedings of the 2nd international colloquium on Petri net technologies for modelling communication based systems (pp. 14-15)

Displaying results 1384 to 1386 out of 1392

462

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