The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andrzej M. Borzyszkowski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marek A. Bednarczyk, Andrzej M. Borzyszkowski
    On Concurrent Realization of Reactive Systems and Their Morphisms. [Citation Graph (0, 0)][DBLP]
    Unifying Petri Nets, 2001, pp:346-379 [Conf]
  2. Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski
    A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1988, pp:267-298 [Conf]
  3. Andrzej M. Borzyszkowski, Stefan Sokolowski
    Understanding an informal Description: Office Documents Architecture, an ISO Standard. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1988, pp:48-63 [Conf]
  4. Marek A. Bednarczyk, Andrzej M. Borzyszkowski
    CPO's do not form a CPO, and yet Recursion Works. [Citation Graph (0, 0)][DBLP]
    VDM Europe (1), 1991, pp:268-278 [Conf]
  5. Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
    Recursive Definitions Revisited. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:452-476 [Conf]
  6. Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
    Towards the Semantics of the Definitional Language of MetaSoft. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:471-503 [Conf]
  7. Marek A. Bednarczyk, Andrzej M. Borzyszkowski
    General Morphisms of Petri Nets (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1999, pp:190-199 [Conf]
  8. Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla
    Finite Completeness of Categories of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:21-48 [Journal]
  9. Marek A. Bednarczyk, Andrzej M. Borzyszkowski
    Concurrent Realizations of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  10. Andrzej M. Borzyszkowski, Philippe Darondeau
    Transition systems without transitions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:1-16 [Journal]

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