|
Search the dblp DataBase
Marek A. Bednarczyk:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
Recursive Definitions Revisited. [Citation Graph (0, 0)][DBLP] VDM Europe, 1990, pp:452-476 [Conf]
- 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]
- 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]
- Marek A. Bednarczyk, Andrzej M. Borzyszkowski
General Morphisms of Petri Nets (Extended Abstract). [Citation Graph (0, 0)][DBLP] ICALP, 1999, pp:190-199 [Conf]
- Marek A. Bednarczyk
A Non-monotone Logic for Reasoning about Action. [Citation Graph (0, 0)][DBLP] Intelligent Information Systems, 2002, pp:287-300 [Conf]
- 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]
- Marek A. Bednarczyk
Logic of Predicates with Explicit Substitutions. [Citation Graph (0, 0)][DBLP] MFCS, 1996, pp:192-205 [Conf]
- 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]
- Marek A. Bednarczyk
On Minimal Finite Automata. [Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1988, v:36, n:, pp:113-115 [Journal]
- Marek A. Bednarczyk
On minimal finite automata - corrigenda. [Citation Graph (0, 0)][DBLP] Bulletin of the EATCS, 1989, v:38, n:, pp:135- [Journal]
- 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]
- 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]
- Marek A. Bednarczyk
Limits of Modularity. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2006, v:74, n:2-3, pp:167-187 [Journal]
- 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.002secs
|