Bert Lisser
Centrum Wiskunde & Informatica(NL)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Model-Driven Software Engineering Techniques, Advanced Software Engineering Methodologies, Distributed systems and fault tolerance
Most-Cited Works
- → µCRL: A Toolset for Analysing Algebraic Specifications(2001)151 cited
- Lie : a package for Lie group computations(1992)
- → NUMERICAL CONTINUATION OF EQUILIBRIA OF PHYSIOLOGICALLY STRUCTURED POPULATION MODELS I: THEORY(2001)42 cited
- → Modular language implementation in Rascal – experience report(2015)31 cited
- → A Database Approach to Distributed State-Space Generation(2009)27 cited
- → Distributed Analysis with μCRL: A Compendium of Case Studies(2007)22 cited
- → The groupL(2 61) embeds in t h e Lie group of typeE8(1993)20 cited
- → A Database Approach to Distributed State Space Generation(2008)18 cited
- → Distributed Extended Beam Search for Quantitative Model Checking(2007)13 cited
- → Compressed and Distributed File Formats for Labeled Transition Systems(2003)12 cited