Back to search results

Person

Dr. D.J. Bosnacki

Pagina-navigatie:

Update Persondata

Digital Author ID	info:eu-repo/dai/nl/196779979

Active as

Researcher
Organisation	Division Biomedical Imaging and Modeling (TU/e)
Email	d. bosnacki -at- tue. nl
URL	http://w3.bmt.tue.nl/nl/mensenbmt/?script=showemp.php&pid=10...

Publications

Parallel probabilistic model checking on general purpose graphics computers
Model checking software: on some new waves and some evergreens
Enacting declarative languages using LTL: Avoiding errors and improving performance
Single-variable reaction systems: Deterministic and stochastic models
On commutativity based edge lean search

All publications..

Current research

(the most recent research is at the top)
Project leader	Efficient Multi-Core Model Checking
Project leader	Computational Molecular Biology

Go to page top
Go back to contents
Go back to site navigation