Michal Grabowski

Publication Activity (10 Years)

Years Active: 1976-2024
Publications (10 Years): 7

Top Topics

Execution Times

Continuous Data

Bayesian Inference

Top Venues

Fundam. Informaticae

Concurr. Comput. Pract. Exp.

Publications

Bartosz Balis, Tomasz Lelek, Jakub Bodera, Michal Grabowski, Costin Grigoras
Improving prediction of computational job execution times with machine learning. Concurr. Comput. Pract. Exp. 36 (2) (2024)
Bartosz Balis, Michal Grabowski
Evaluation of Machine Learning Techniques for Predicting Run Times of Scientific Workflow Jobs. PPAM (1) (2022)
Marcin Przewiezlikowski, Michal Grabowski, Dariusz Kurzyk, Katarzyna Rycerz
Support for High-Level Quantum Bayesian Inference. ICCS (5) (2019)
Robert Janowski, Michal Grabowski, Piotr Arabas
New Heuristics for TCP Retransmission Timers. CORES (2019)
Aleksander Denisiuk, Michal Grabowski
Embedding of the Hamming space into a sphere with weighted quadrance metric and c-means clustering of nominal-continuous data. Intell. Data Anal. 22 (6) (2018)
Aleksander Denisiuk, Michal Grabowski
Low Distortion Embedding of the Hamming Space into a Sphere with Quadrance Metric and k-means Clustering of Nominal-continuous Data. Fundam. Informaticae 153 (3) (2017)
Aleksander Denisiuk, Michal Grabowski
A Variant of the K-Means Clustering Algorithm for Continuous-Nominal Data. CORES (2015)
Michal Grabowski, Andrzej Szalas
A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies. AWIC (2005)
Patrick Doherty, Michal Grabowski, Witold Lukaszewicz, Andrzej Szalas
Towards a Framework for Approximate Ontologies. Fundam. Informaticae 57 (2-4) (2003)
Michal Grabowski
On the Status of Proving Program Properties in Effective Interpretations. Theor. Comput. Sci. 120 (1) (1993)
Michal Grabowski
Open Problems Related to Axiomatic Descriptions of Programs. J. Inf. Process. Cybern. 25 (11/12) (1989)
Michal Grabowski, Hardi Hungar
On the Existence of Effective Hoare Logics LICS (1988)
Michal Grabowski
Arithmetical completeness versus relative completeness. Stud Logica 47 (3) (1988)
Michal Grabowski
On the Relative Incompleteness of Logics for Total Correctness. Logic of Programs (1985)
Michal Grabowski
On Relative Completeness of Hoare Logics Inf. Control. 66 (1/2) (1985)
Michal Grabowski
On Relative Completeness of Programming Logics. POPL (1984)
Michal Grabowski
Non-uniformity of dynamic logic - Extended abstract. Symposium on Computation Theory (1984)
Michal Grabowski
Some model-theoretical properties of logic for programs with random control. Logic of Programs (1980)
Michal Grabowski, Antoni Kreczmar
Dynamic Theories of Real and Complex Numbers. MFCS (1978)
Michal Grabowski
A Remark on Equivalence of Mazurkiewicz's Finite-Control Algorithms over Nets. MFCS (1976)