Get started
Author

Bert Lisser

Observed names: B. Lisser, BERT LISSER, Bert Lisser Yaroslav S. Usenko, Lisser, B Bert, Lisser, B. (Bert), Lisser, Bert
OpenAlex ID: A5020458103
µCRL: A Toolset for Analysing Algebraic Specifications
2001 · Stefan Blom, Wan Fokkink, et al. · Lecture notes in computer science · 151
PDF
Lie : a package for Lie group computations
1992 · Marc A. A. van Leeuwen, Arjeh M. Cohen, et al. · 149
Numerical Continuation of Equilibria of Physiologically Structured Population Models I: Theory
2001 · MARKUS A. KIRKILIONIS, ODO DIEKMANN, et al. · Mathematical Models and Methods in Applied Sciences · 40
PDF
Modular language implementation in Rascal – experience report
2015 · Bas Basten, Jeroen van den Bos, et al. · Science of Computer Programming · 39
PDF
Computer assisted manipulation of algebraic process specifications
2002 · Jan Friso Groote, Bert Lisser · ACM SIGPLAN Notices · 32
PDF
A Database Approach to Distributed State-Space Generation
2009 · S. Blom, B. Lisser, et al. · Journal of Logic and Computation · 27
Distributed Analysis with μCRL: A Compendium of Case Studies
2007 · Stefan Blom, Jens R. Calamé, et al. · Lecture notes in computer science · 23
PDF
The groupL(2 61) embeds in t h e Lie group of typeE8
1993 · Arjeh M Cohen, Robert L Griess, et al. · Communications in Algebra · 21
PDF
A Database Approach to Distributed State Space Generation
2008 · Stefan Blom, Bert Lisser, et al. · Electronic Notes in Theoretical Computer Science · 20
PDF
Distributed Extended Beam Search for Quantitative Model Checking
2007 · A. J. Wijs, B. Lisser · Lecture notes in computer science · 13
Compressed and Distributed File Formats for Labeled Transition Systems
2003 · Stefan Blom, Izak van Langevelde, et al. · Electronic Notes in Theoretical Computer Science · 13
PDF
New developments around the μCRL tool set1 1http://www.cwi.nl/~mcrl
2003 · Stefan Blom, Jan Friso Groote, et al. · Electronic Notes in Theoretical Computer Science · 10
PDF
Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software
2012 · Paul Klint, Bert Lisser, et al. · Lecture notes in computer science · 6
PDF
Distributed Partial Order Reduction for Security Protocols
2008 · M. Torabi Dashti, A. Wijs, et al. · Electronic Notes in Theoretical Computer Science · 5
PDF
Numerical continuation of equilibria of physiologically structured population models. I : Theory
1997 · Kirkilionis, Odo Diekmann, et al. · Report - Modelling, Analysis and Simulation · 5
Towards Formal Verification of ToolBus Scripts
2008 · Wan Fokkink, Paul Klint, et al. · Lecture notes in computer science · 4
LiE manual draft:describing LiE version 2.0
1991 · van Maa Marc Leeuwen, AM Arjeh Cohen, et al. · TU/e Research Portal · 4
Coordination of a Parallel Proposition Solver
1999 · C. T. H. Everaars, B. Lisser · Lecture notes in computer science · 3
PDF
Specification of components in a proposition solver
1997 · Bert Lisser, Jos J. Wamel · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 2
PDF
Rascal 0.7.0
2014 · Abdolkarim Afroozeh, Bas Basten, et al.
Rascal 0.7.1
2014 · Abdolkarim Afroozeh, Bas Basten, et al.
Rascal 0.7.0
2014 · Afroozeh, A. (Ali), Basten, H.J.S. (Bas), et al. · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
Rascal 0.7.1
2014 · Afroozeh, A. (Ali), Basten, H.J.S. (Bas), et al. · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
Rascal - Release 0.6.2
2013 · Paul Klint, Davy Landman, et al. · Data Archiving and Networked Services (DANS)
Rascal - Release 0.6.1
2013 · Klint, Paul, Landman, Davy, et al. · Data Archiving and Networked Services (DANS)
Works count: 53
Citation count: 567
H-index: 11
I10-index: 12
Year
Topic
Type