Michal Grabowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1976–2022
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | PPAM | Evaluation of Machine Learning Techniques for Predicting Run Times of Scientific Workflow Jobs. | Bartosz Balis, Michal Grabowski |
| 2019 | ICCS | Support for High-Level Quantum Bayesian Inference. | Marcin Przewiezlikowski, Michal Grabowski, Dariusz Kurzyk, Katarzyna Rycerz |
| 1988 | LICS | On the Existence of Effective Hoare Logics | Michal Grabowski, Hardi Hungar |
| 1984 | POPL | On Relative Completeness of Programming Logics. | Michal Grabowski |
| 1978 | MFCS | Dynamic Theories of Real and Complex Numbers. | Michal Grabowski, Antoni Kreczmar |
| 1976 | MFCS | A Remark on Equivalence of Mazurkiewicz's Finite-Control Algorithms over Nets. | Michal Grabowski |