Michal Grabowski

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