Michal Grabowski

	2005
11		Michal Grabowski, Andrzej Szalas: A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies. AWIC 2005: 183-189
	2003
10		Patrick 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
2		Michal Grabowski, Antoni Kreczmar: Dynamic Theories of Real and Complex Numbers. MFCS 1978: 239-249
	1976
1		Michal Grabowski: A Remark on Equivalence of Mazurkiewicz's Finite-Control Algorithms over Nets. MFCS 1976: 311-316

Coauthor Index

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

Colors in the list of coauthors