8
Publications
291
Citations
8
H-Index
1992
Active since
Affiliations
Bert Lisser is an author at Centrum Wiskunde & Informatica specializing in computer science, engineering, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsSystems EngineeringData ManagementParallel ComputingDistributed SystemsComputer EngineeringParallel ProgrammingVerification
Publications per year
1992–2015
8
8
A Database Approach to Distributed State-Space Generation
Stefan Blom, Bert Lisser, Jaco van de Pol et al. · Journal of Logic and Computation · 2009 · 27 citations
Rows per page
1–5 of 8