The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Thomas Ågotnes, Michal Walicki
    A logic of reasoning, communication and cooperation with syntactic knowledge. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:1135-1136 [Conf]
  2. Michal Walicki
    Bireachability and Final Multialgebras. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:408-423 [Conf]
  3. Thomas Ågotnes, Michal Walicki
    Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:57-76 [Conf]
  4. Michal Walicki, Sigurd Meldal
    Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:453-468 [Conf]
  5. Valentinas Kriauciukas, Michal Walicki
    Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:306-321 [Conf]
  6. Valentinas Kriauciukas, Michal Walicki
    Reasoning and Rewriting with Set-Relations I: Ground Completeness. [Citation Graph (0, 0)][DBLP]
    CSL, 1994, pp:264-278 [Conf]
  7. Thomas Ågotnes, Michal Walicki
    Complete Axiomatizations of Finite Syntactic Epistemic States. [Citation Graph (0, 0)][DBLP]
    DALT, 2005, pp:33-50 [Conf]
  8. Michal Walicki, Adis Hodzic, Sigurd Meldal
    Compositional Homomorphisms of Relational Structures. [Citation Graph (0, 0)][DBLP]
    FCT, 2001, pp:359-371 [Conf]
  9. Michal Walicki, Sigurd Meldal
    Nondeterminism vs. Underspecification. [Citation Graph (0, 0)][DBLP]
    ISAS-SCI (1), 2001, pp:551-555 [Conf]
  10. Yngve Lamo, Michal Walicki
    Modeling Partiality by Nondeterminism. [Citation Graph (0, 0)][DBLP]
    ISAS-SCI (1), 2001, pp:447-452 [Conf]
  11. Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal
    On Specialization of Derivations in Axiomatic Equality Theories. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:291-303 [Conf]
  12. Michal Walicki, Sigurd Meldal
    Generated Models and the omega-Rule: The Nondeterministic Case. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:424-438 [Conf]
  13. Yngve Lamo, Michal Walicki
    Combining Specification Formalisms in the ?General Logic? of Multialgebras. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:328-342 [Conf]
  14. Michal Walicki, Marcin Bialasik
    Categories of relational structures. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:418-434 [Conf]
  15. Michal Walicki, Sigurd Meldal
    Algebraic Approaches to Nondeterminism: An Overview. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:29, n:1, pp:30-81 [Journal]
  16. Yngve Lamo, Michal Walicki
    Composition and refinement of specifications and parameterised data types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  17. Yngve Lamo, Michal Walicki
    Quantifier-free logic for multialgebraic theories. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:84, n:, pp:- [Journal]
  18. Michal Walicki, Magne Haveraaen, Sigurd Meldal
    Computation Algebras. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2001, v:11, n:5, pp:597-636 [Journal]
  19. Yngve Lamo, Michal Walicki
    Specification of Parametrized Programs - Persistency Revisited. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2001, v:8, n:3, pp:298-323 [Journal]
  20. Michal Walicki, Manfred Broy
    Structured Specifications and Implementation of Nondeterministic Data Types. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:3, pp:358-395 [Journal]
  21. Michal Walicki, Sigurd Meldal
    Singular and Plural Nondeterministic Parameters. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1997, v:26, n:4, pp:991-1005 [Journal]
  22. Yngve Lamo, Michal Walicki
    Quantifier-free logic for nondeterministic theories. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:355, n:2, pp:215-227 [Journal]
  23. Michal Walicki, Sigurd Meldal
    A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:2, pp:366-393 [Journal]
  24. Marc Bezem, Tore Langholm, Michal Walicki
    Completeness and Decidability in Sequence Logic. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:123-137 [Conf]

Search in 0.002secs, Finished in 0.003secs
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