| |
| 2005 | ||
|---|---|---|
| 11 | EE | Michal Grabowski, Andrzej Szalas: A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies. AWIC 2005: 183-189 |
| 2003 | ||
| 10 | EE | 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 | |
| 1 | Patrick Doherty | [10] |
| 2 | Hardi Hungar | [7] |
| 3 | Antoni Kreczmar | [2] |
| 4 | Witold Lukaszewicz | [10] |
| 5 | Andrzej Szalas | [10] [11] |