The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marek A. Bednarczyk: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau
    Generalized Automata and Their Net Representations. [Citation Graph (0, 0)][DBLP]
    Unifying Petri Nets, 2001, pp:304-345 [Conf]
  2. 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]
  3. Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello
    Modular System Development with Pullbacks. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:140-160 [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. Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Andrzej Jodlowski, Krzysztof Skowronski, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski
    Dynamic AI Methods Applied to Internet-Based Integration of Credit Scoring Systems. [Citation Graph (0, 0)][DBLP]
    FQAS, 2000, pp:560-569 [Conf]
  8. Marek A. Bednarczyk, Andrzej M. Borzyszkowski
    General Morphisms of Petri Nets (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1999, pp:190-199 [Conf]
  9. Marek A. Bednarczyk
    A Non-monotone Logic for Reasoning about Action. [Citation Graph (0, 0)][DBLP]
    Intelligent Information Systems, 2002, pp:287-300 [Conf]
  10. Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski, Andrzej Wasowski
    Bayesian Network Mining System. [Citation Graph (0, 0)][DBLP]
    Intelligent Information Systems, 2001, pp:179-193 [Conf]
  11. Marek A. Bednarczyk
    Logic of Predicates with Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:192-205 [Conf]
  12. Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello
    Modelling Mobility with Petri Hypernets. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:28-44 [Conf]
  13. Marek A. Bednarczyk
    On Minimal Finite Automata. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1988, v:36, n:, pp:113-115 [Journal]
  14. Marek A. Bednarczyk
    On minimal finite automata - corrigenda. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1989, v:38, n:, pp:135- [Journal]
  15. 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]
  16. Marek A. Bednarczyk, Wojciech Jamroga, Wieslaw Pawlowski
    Expressing and Verifying Temporal and Structural Properties of Mobile Agents. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:51-63 [Journal]
  17. Marek A. Bednarczyk
    Limits of Modularity. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:74, n:2-3, pp:167-187 [Journal]
  18. 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]

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