Michal Grabowski

According to our database, Michal Grabowski authored at least 20 papers between 1976 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Improving prediction of computational job execution times with machine learning.

Bartosz Balis, Tomasz Lelek, Jakub Bodera, Michal Grabowski, Costin Grigoras

Concurr. Comput. Pract. Exp., 2024

2022

Evaluation of Machine Learning Techniques for Predicting Run Times of Scientific Workflow Jobs.

Bartosz Balis, Michal Grabowski

Proceedings of the Parallel Processing and Applied Mathematics, 2022

2019

Support for High-Level Quantum Bayesian Inference.

Marcin Przewiezlikowski, Michal Grabowski, Dariusz Kurzyk, Katarzyna Rycerz

Proceedings of the Computational Science - ICCS 2019, 2019

New Heuristics for TCP Retransmission Timers.

Robert Janowski, Michal Grabowski, Piotr Arabas

Proceedings of the Progress in Computer Recognition Systems, 2019

2018

Embedding of the Hamming space into a sphere with weighted quadrance metric and c-means clustering of nominal-continuous data.

Aleksander Denisiuk, Michal Grabowski

Intell. Data Anal., 2018

2017

Low Distortion Embedding of the Hamming Space into a Sphere with Quadrance Metric and k-means Clustering of Nominal-continuous Data.

Aleksander Denisiuk, Michal Grabowski

Fundam. Informaticae, 2017

2015

A Variant of the K-Means Clustering Algorithm for Continuous-Nominal Data.

Aleksander Denisiuk, Michal Grabowski

Proceedings of the 9th International Conference on Computer Recognition Systems CORES 2015, 2015

2005

A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies.

Michal Grabowski, Andrzej Szalas

Proceedings of the Advances in Web Intelligence Third International Atlantic Web IntelligenceConference, 2005

2003

Towards a Framework for Approximate Ontologies.

Patrick Doherty, Michal Grabowski, Witold Lukaszewicz, Andrzej Szalas

Fundam. Informaticae, 2003

1993

On the Status of Proving Program Properties in Effective Interpretations.

Michal Grabowski

Theor. Comput. Sci., 1993

1989

Open Problems Related to Axiomatic Descriptions of Programs.

Michal Grabowski

J. Inf. Process. Cybern., 1989

1988

Arithmetical completeness versus relative completeness.

Michal Grabowski

Stud Logica, 1988

On the Existence of Effective Hoare Logics

Michal Grabowski, Hardi Hungar

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

1985

On Relative Completeness of Hoare Logics

Michal Grabowski

Inf. Control., 1985

On the Relative Incompleteness of Logics for Total Correctness.

Michal Grabowski

Proceedings of the Logics of Programs, 1985

1984

Non-uniformity of dynamic logic - Extended abstract.

Michal Grabowski

Proceedings of the Computation Theory, 1984

On Relative Completeness of Programming Logics.

Michal Grabowski

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

1980

Some model-theoretical properties of logic for programs with random control.

Michal Grabowski

Proceedings of the Logics of Programs and Their Applications, 1980

1978

Dynamic Theories of Real and Complex Numbers.

Michal Grabowski, Antoni Kreczmar

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1976

A Remark on Equivalence of Mazurkiewicz's Finite-Control Algorithms over Nets.

Michal Grabowski

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976