Marcus Nilsson
Publications by Year
Research Areas
Formal Methods in Verification, advanced mathematical theories, Mathematical Dynamics and Fractals, Model-Driven Software Engineering Techniques, Software Testing and Debugging Techniques
Most-Cited Works
- → Regular Model Checking(2000)287 cited
- → A Survey of Regular Model Checking(2004)140 cited
- → Transitive Closures of Regular Relations for Verifying Infinite-State Systems(2000)101 cited
- → Handling Global Conditions in Parametrized System Verification(1999)84 cited
- → Algorithmic Improvements in Regular Model Checking(2003)47 cited
- → On the Number of Cycles of p-adic Dynamical Systems(2001)41 cited
- → Regular Model Checking Made Simple and Effcient*(2002)32 cited
- → Regular model checking for LTL(MSO)(2011)30 cited
- → Minimization of Non-deterministic Automata with Large Alphabets(2006)14 cited