# Michal Grabowski

According to our database

^{1}, Michal Grabowski## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

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

Fundam. Inform., 2017

2015

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

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.

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

2003

Towards a Framework for Approximate Ontologies.

Fundam. Inform., 2003

1993

On the Status of Proving Program Properties in Effective Interpretations.

Theor. Comput. Sci., 1993

1989

Open Problems Related to Axiomatic Descriptions of Programs.

Elektronische Informationsverarbeitung und Kybernetik, 1989

1988

Arithmetical completeness versus relative completeness.

Studia Logica, 1988

On the Existence of Effective Hoare Logics

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

1985

On Relative Completeness of Hoare Logics

Information and Control, 1985

On the Relative Incompleteness of Logics for Total Correctness.

Proceedings of the Logics of Programs, 1985

1984

Non-uniformity of dynamic logic - Extended abstract.

Proceedings of the Computation Theory, 1984

On Relative Completeness of Programming Logics.

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.

Proceedings of the Logics of Programs and Their Applications, 1980

1978

Dynamic Theories of Real and Complex Numbers.

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1976

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

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976