M. Lang
From MaRDI portal
Person:2324229
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 |
|---|---|---|
| Awaiting for Godot: stateless model checking that avoids executions where nothing happens Formal Methods in System Design | 2025-10-24 | Paper |
| Parallel Graph-Based Stateless Model Checking 1517.68245 | 2022-12-22 | Paper |
| Optimal dynamic partial order reduction with observers | 2019-09-16 | Paper |
| GPU implementations of the Bond fluctuation model Journal of Computational Physics | 2012-05-18 | Paper |
Research outcomes over time
This page was built for person: M. Lang
