Bert Lisser

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A database approach to distributed state space generation Electronic Notes in Theoretical Computer Science	2013-12-13	Paper
Distributed Extended Beam Search for Quantitative Model Checking Model Checking and Artificial Intelligence	2007-11-01	Paper
NUMERICAL CONTINUATION OF EQUILIBRIA OF PHYSIOLOGICALLY STRUCTURED POPULATION MODELS I: THEORY M\(^3\)AS. Mathematical Models & Methods in Applied Sciences	2003-03-16	Paper
scientific article; zbMATH DE number 1796138 (Why is no real title available?)	2002-09-04	Paper
The group<i>L</i>(2 61) embeds in t h e Lie group of type<i>E</i><sub>8</sub> Communications in Algebra	1993-06-29	Paper

Research outcomes over time

This page was built for person: Bert Lisser