Papers & reports available online

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, A. Jodlowski , M. Klopotek, M. Michalewicz , K. Skowronski , S. Wierzchon)
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