Aalborg University — Denmark
Computer Science · Physical Sciences
4h-index68citations5works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(4), Petri Nets in System Modeling(4), Model-Driven Software Engineering Techniques(4), Interconnection Networks and Systems(1), DNA and Biological Computing(1)
Publications5 total
Theoretical Computer Science·2013· 6 cited
2013· 5 cited
Lecture notes in computer science·2009· 33 cited
Lecture notes in computer science·2009· 24 cited
Regular Model Checking and Verication of Cellular Automata
2008
Frequent Co-authors
Jiřı́ Srba(4), Kenneth Yrke Jørgensen(3), Morten Jacobsen(1), Lasse Jacobsen(1), Mikael H. Møller(1), Alexandre David(1), Gerd Behrmann(1), Peter Bulychev(1), Thomas Chatain(1), Kim G. Larsen(1), Paul Pettersson(1), Jacob Illum Rasmussen(1), Wang Yi(1), Kenneth Y. Joergensen(1), Didier Lime(1), Morgan Magnin(1), Olivier Roux(1), Louis‐Marie Traonouez(1), Kenneth Yrke Jrgensen(1)