The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

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.001secs, Finished in 0.002secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002