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 |
|---|---|---|
| Parallel model checking for \texttt{LTL}, \texttt{CTL}\(^*\), and \(L^2_{\mu}\) | 2013-08-30 | Paper |
| Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
| Minimum Kolmogorov–Smirnov test statistic parameter estimates Journal of Statistical Computation and Simulation | 2006-05-03 | Paper |
| The Petri net kernel. An infrastructure for building Petri net tools International Journal on Software Tools for Technology Transfer. STTT | 2002-09-29 | Paper |
| scientific article; zbMATH DE number 1705169 (Why is no real title available?) | 2002-03-03 | Paper |
| The SU(2)-lattice gauge theory simulation code on the Intel Paragon supercomputer Parallel Computing | 1997-02-27 | Paper |
Research outcomes over time
This page was built for person: Michael Weber
