A multi-facet approach to dynamic agent systems
(with
Marek A. Bednarczyk,
Luca Bernardinello,
Tomasz Borzyszkowski,
Lucia Pomello)
Fundamenta Informaticae, Vol. 85(1), 2008, pp. 19-33.
Modelling and Analysing Systems of Agents by Agent-aware Transition Systems
(with
Marek A. Bednarczyk,
Luca Bernardinello,
Lucia Pomello)
In Jakub Piskorski, Ralf Steinberg, editors,
Mining Massive Data Sets for Security,
NATO Science for Peace and Security Series, Sub-Series D: Information and Communication Security,
Vol. 19, pages 103-112, IO Press, Amsterdam, 2008.
From Petri hypernets to 1-safe nets
(with
Marek A. Bednarczyk,
Luca Bernardinello,
Lucia Pomello)
In Daniel Moldt, editor, Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. MOCA'06,
Report FBI-HH-B-272/06, Department für Informatik, Universität Hamburg, 2006. Submitted for publication.
Expressing and Verifying Temporal and Structural Properties of Mobile Agents
(with
Marek A. Bednarczyk,
Wojciech Jamroga)
Fundamenta Informaticae, Vol. 72(1), 2006, pp. 51-63.
Modelling mobility with Petri Hypernets
(with
Marek A. Bednarczyk,
Luca Bernardinello,
Lucia Pomello)
In José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas, editors,
Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-30, 2004, Revised Selected Papers.
LNCS, vol. 3423, pages 28-44,
© Springer-Verlag, 2005.
Modular System Development with Pullbacks
(with
Marek A. Bednarczyk,
Luca Bernardinello.
Benoît Caillaud
and
Lucia Pomello)
In Will van der Aalst, Eike Best, editors,
24th International Conference on Applications and Theory of Petri Nets, Eindhoven, The Netherlands, June 2003.
LNCS, vol. 2679, pages 140-160,
© Springer-Verlag, 2003.
Presenting and Combining Inference Systems - presentations with inference rules
In Martin Wirsing, Dirk Pattinson, Rolf Hennicker, editors,
Recent Trends in Algebraic Development Techniques -
16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002. Revised Selected Papers.
LNCS, vol. 2755, pages 409-424,
© Springer-Verlag, 2003.
Presentations for Abstract Context Institutions
In Maura Cerioli and Gianna Reggio, editors,
Recent Trends in Algebraic Development Techniques.
15th International Workshop WADT 2001, Joint with the
CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers.
LNCS,
vol. 2267, pages 256-279, © Springer-Verlag, 2001.
An Application of Dynamic AI Metods in the Integration of Computer Credit Scoring Systems
(with
M.A. Bednarczyk,
,
,
,
,
)
In H. Larsen, J. Kasprzyk, S. Zadrozny, T. Andreasen, H. Christiansen, editors,
Flexible Query Answering System. Advances in Soft Computing Series,
pages 560-569, © Physica/Springer-Verlag, 2000.
Contextual logical systems for the foundations of software specification and development
(in Polish)
PhD thesis, Institute of Computer Science, Polish Academy of Sciences, Warsaw 2000.
Generalized Congruences - Epimorphisms in CAT
(with
Marek A. Bednarczyk
and
Andrzej M. Borzyszkowski)
Theory and Applications of Categories,
vol. 5, no. 11, 1999.
Nowy standard i narzedzia do reprezentacji sieci bayesowskich
(in Polish)
(with
Mieczyslaw A. Klopotek,
Maciej Michalewicz,
Marek A. Bednarczyk
and
Slawomir T. Wierzchon)
In J. Tchorzewski, editor,
Sztuczna Inteligencja. Jej nowe oblicze.
Proc. XI Ogolnopolskiego Konwersatorium AI'99, Siedlce 29-30 wrzesnia 1999.
Wyd. Akademia Podlaska, str.: 189-196.
Viewing and updating belief networks via World Wide Web
(with
Mieczyslaw A. Klopotek,
Maciej Michalewicz,
Marek A. Bednarczyk
and
Slawomir T. Wierzchon)
Proc. The Eighth International Workshop on Intelligent Information Systems IIS'99 -
Ustron, June 14-18, 1999,
Publisher IPI PAN, ISBN-83-910948-1-2, pp. 293- 306
Epimorphic functors
(with
Marek A. Bednarczyk
and
Andrzej M. Borzyszkowski)
ICS PAS Report #864, 1998.
Combining and Representing Logical Systems using
Model-theoretic Parchments
(with
Till Mossakowski
and
Andrzej Tarlecki)
In Francesco Parisi Presicce, editor,
Recent Trends in Algebraic Development Techniques.
12th International Workshop WADT'97. Tarquinia, Italy, June 1997.
Selected papers.
LNCS,
vol. 1376, pages 349-364, © Springer-Verlag, 1998.
Context Parchments
In Francesco Parisi Presicce, editor,
Recent Trends in Algebraic Development Techniques.
12th International Workshop WADT'97. Tarquinia, Italy, June 1997.
Selected papers.
LNCS,
vol. 1376, pages 381-401, © Springer-Verlag, 1998.
Combining and Representing Logical Systems
(with
Till Mossakowski
and
Andrzej Tarlecki)
In Eugenio Moggi, editor,
Category Theory and Computer Science, CTCS'97, Santa
Margherita Ligure,
Italy, 1997, Proceedings.
LNCS,
vol. 1290, pages 177-198,
Springer-Verlag, 1997.
Specifying and Verifying Parametric Processes
(with
Pawel Paczkowski
and
Stefan Sokolowski)
In Wojciech Penczek and Andrzej Szalas, editors,
Mathematical Foundations
of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland,
September 1996, Proceedings.
LNCS,
vol. 1113, pages 469-481, Springer-Verlag, 1996.
Context Institutions
In Magne Haveraaen and Olaf Owe and Ole-Johan Dahl, editors,
Recent Trends in Data Type Specifications.
11th Workshop on Specification of Abstract Data Types joint with the 8th
general COMPASS workshop. Oslo, Norway, September 1995. Selected papers.
LNCS,
vol. 1130, pages 436-457, Springer-Verlag, 1996.
The formal semantics of ISO VDM-SL
(with Peter G. Larsen)
Computer Standards and Interfaces, pages 585-601, Vol. 17, 1995.
A Specification System for Parametric Concurrent Processes
(with
Pawel Paczkowski
and
Stefan Sokolowski)
Technical Report, December 1994, revised version, December 1995.
Specifying and Verifying Parametric Processes
(with Pawel Paczkowski
and
Stefan Sokolowski)
Proc. 6th Nordic Workshop on Programming Theory, Aarhus 1994.
A non-Mixed-Term Inference System for
Olderog Process Calculus
(with Pawel Paczkowski)
A contribution to GDM, 1994.
Towards the semantics of the definitional language of MetaSoft, part 2:
Dependent types
(with
Marek A. Bednarczyk
and
Andrzej M. Borzyszkowski)
Unpublished, 1991.
Towards the semantics of the definitional language of MetaSoft
(with
Marek A. Bednarczyk
and
Andrzej M. Borzyszkowski)
In Dines Bjorner, C.A.R. Hoare, and Hans
Laangmack, editors,
VDM&Z: Formal Methods in
Software Development, 3rd VDM-Europe Symposium, Kiel.
LNCS,
vol. 428, pages 477--503, Springer-Verlag, 1990
Recursive Definitions Revisited
(with
Marek A. Bednarczyk
and
Andrzej M. Borzyszkowski)
In Dines Bjorner, C.A.R. Hoare, and Hans Laangmack, editors,
VDM&Z: Formal Methods in
Software Development, 3rd VDM-Europe Symposium, Kiel.
LNCS,
vol. 428, pages 452--476, Springer-Verlag, 1990