dblp.uni-trier.dewww.uni-trier.de

Michal Grabowski Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
11EEMichal Grabowski, Andrzej Szalas: A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies. AWIC 2005: 183-189
2003
10EEPatrick Doherty, Michal Grabowski, Witold Lukaszewicz, Andrzej Szalas: Towards a Framework for Approximate Ontologies. Fundam. Inform. 57(2-4): 147-165 (2003)
1993
9 Michal Grabowski: On the Status of Proving Program Properties in Effective Interpretations. Theor. Comput. Sci. 120(1): 69-81 (1993)
1989
8 Michal Grabowski: Open Problems Related to Axiomatic Descriptions of Programs. Elektronische Informationsverarbeitung und Kybernetik 25(11/12): 619-624 (1989)
1988
7 Michal Grabowski, Hardi Hungar: On the Existence of Effective Hoare Logics LICS 1988: 428-435
1985
6 Michal Grabowski: On the Relative Incompleteness of Logics for Total Correctness. Logic of Programs 1985: 118-127
5 Michal Grabowski: On Relative Completeness of Hoare Logics Information and Control 66(1/2): 29-44 (1985)
1984
4 Michal Grabowski: On Relative Completeness of Programming Logics. POPL 1984: 258-261
1980
3 Michal Grabowski: Some model-theoretical properties of logic for programs with random control. Logic of Programs 1980: 148-155
1978
2EEMichal Grabowski, Antoni Kreczmar: Dynamic Theories of Real and Complex Numbers. MFCS 1978: 239-249
1976
1EEMichal Grabowski: A Remark on Equivalence of Mazurkiewicz's Finite-Control Algorithms over Nets. MFCS 1976: 311-316

Coauthor Index

1Patrick Doherty [10]
2Hardi Hungar [7]
3Antoni Kreczmar [2]
4Witold Lukaszewicz [10]
5Andrzej Szalas [10] [11]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)