Marek A. Bednarczyk Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk, Piotr Józwiak, Wieslaw Pawlowski: A Class of Hypernets with Token Creation and Decidable Reachability Problem. CS&P 2012: 37-48
2011
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tadeusz Puzniakowski, Marek A. Bednarczyk: Towards an OpenCL Implementation of Genetic Algorithms on GPUs. SIIS 2011: 190-203
2008
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Bernardinello, Lucia Pomello, Tomasz Borzyszkowski: A Multi-facet Approach to Dynamic Agent Systems. Fundam. Inform. 85(1-4): 19-33 (2008)
2007
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau: Concurrent Secrets. Discrete Event Dynamic Systems 17(4): 425-446 (2007)
2006
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk, Wojciech Jamroga, Wieslaw Pawlowski: Expressing and Verifying Temporal and Structural Properties of Mobile Agents. Fundam. Inform. 72(1-3): 51-63 (2006)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk: Limits of Modularity. Fundam. Inform. 74(2-3): 167-187 (2006)
2004
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello: Modelling Mobility with Petri Hypernets. WADT 2004: 28-44
2003
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello: Modular System Development with Pullbacks. ICATPN 2003: 140-160
2002
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk: A Non-monotone Logic for Reasoning about Action. Intelligent Information Systems 2002: 287-300
2001
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau: Generalized Automata and Their Net Representations. Unifying Petri Nets 2001: 304-345
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk, Andrzej M. Borzyszkowski: On Concurrent Realization of Reactive Systems and Their Morphisms. Unifying Petri Nets 2001: 346-379
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski, Andrzej Wasowski: Bayesian Network Mining System. Intelligent Information Systems 2001: 179-193
2000
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla: Finite Completeness of Categories of Petri Nets. Fundam. Inform. 43(1-4): 21-48 (2000)
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. FQAS 2000: 560-569
1999
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk, Andrzej M. Borzyszkowski: Concurrent Realizations of Reactive Systems. Electr. Notes Theor. Comput. Sci. 29: 2-20 (1999)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk, Andrzej M. Borzyszkowski: General Morphisms of Petri Nets (Extended Abstract). ICALP 1999: 190-199
1996
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk: Logic of Predicates with Explicit Substitutions. MFCS 1996: 192-205
1991
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk, Andrzej M. Borzyszkowski: CPO's do not form a CPO, and yet Recursion Works. VDM Europe (1) 1991: 268-278
1990
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski: Recursive Definitions Revisited. VDM Europe 1990: 452-476
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski: Towards the Semantics of the Definitional Language of MetaSoft. VDM Europe 1990: 471-503
1989
j2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk: On minimal finite automata - corrigenda. Bulletin of the EATCS 38: 135 (1989)
1988
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marek A. Bednarczyk: On Minimal Finite Automata. Bulletin of the EATCS 36: 113-115 (1988)

Coauthor Index

1Eric Badouel
[j7] [c9]
2Luca Bernardinello
[j8] [c12] [c11]
3Andrzej M. Borzyszkowski
[j7] [c8] [j4] [j3] [c5] [c3] [c2] [c1]
4Tomasz Borzyszkowski
[j8]
5Benoît Caillaud
[j7] [c11]
6Philippe Darondeau
[j7] [c9]
7Wojciech Jamroga (Wojtek Jamroga)
[j6]
8Andrzej Jodlowski
[c6]
9Piotr Józwiak
[c14]
10Mieczyslaw A. Klopotek
[c7] [c6]
11Maciej Michalewicz
[c7] [c6]
12Wieslaw Pawlowski
[c14] [j8] [j6] [c12] [c11] [c7] [c6] [c2] [c1]
13Lucia Pomello
[j8] [c12] [c11]
14Tadeusz Puzniakowski
[c13]
15Krzysztof Skowronski
[c6]
16Rafal Somla
[j4]
17Andrzej Wasowski
[c7]
18Slawomir T. Wierzchon
[c7] [c6]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 18:34:23 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page