Find

Section for Bioinformatics and Computational Biology

Open positions

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

Events

No upcoming events.

New publications

Sort by: Date | Author | Title

Mailund & Kristensen, L. M. (2002). A Generalised Sweep-Line Method for Safety Properties. In Proceedings of Formal Methods Europe (FME 2002) (pp. 549-567)

Mailund (2006). Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method. In Proceedings of International Conference on Application and Theory of Petri Nets (ICATPN 2002) (pp. 314-333)

Christensen, S., Kristensen, L. M. & Mailund (2001). Condensed State Spaces for Timed Petri Nets. In Proceedings of International Conference on Application and Theory of Petri Nets (ICATPN 2001) (pp. 101-120)

Displaying results 1381 to 1383 out of 1392

461

More publications

Contact

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

Revised 10.03.2026

-

Ellen Bernadette Noer