The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michal Grabowski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.052secs, Finished in 0.053secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002