Michal Grabowski

According to our database1, Michal Grabowski
  • authored at least 15 papers between 1976 and 2017.
  • has a "Dijkstra number"2 of four.

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


  Loading...