Papers & reports available online

Dimensions of Semantic Similarity (DOI)
(with Paweł Szmeja, Maria Ganzha, Marcin Paprzycki)
In Adam E. Gawęda, Janusz Kacprzyk, Leszek Rutkowski, Gary G. Yen, editors, Advances in Data Analysis with Computational Intelligence Methods - Dedicated to Professor Jacek Żurada, Studies in Computational Intelligence, vol. 738, pages 87-125, © Springer, 2018.

Towards semantic interoperability between Internet of Things platforms (DOI)
(with Maria Ganzha, Marcin Paprzycki, Paweł Szmeja, Katarzyna Wasielewska)
In Raffaele Gravina, Carlos E. Palau, Marco Manso, Antonio Liotta, Giancarlo Fortino, editors, Integration, Interconnection, and Interoperability of IoT Systems, ITTCC Series, pages 103-127, © Springer, 2018.

Streaming semantic translations (DOI)
(with Maria Ganzha, Marcin Paprzycki, Paweł Szmeja, Katarzyna Wasielewska)
In 21st International Conference on System Theory, Control and Computing (ICSTCC), 19-21 Oct. 2017, Sinaia, Romania, Proceedings, pages 1-8, IEEE, 2017.

Towards Common Vocabulary for IoT Ecosystems – Preliminary Considerations (DOI)
(with Maria Ganzha, Marcin Paprzycki, Paweł Szmeja, Katarzyna Wasielewska)
In Intelligent Information and Database Systems, 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part I, LNCS vol. 10191, pages 35-45, © Springer, 2017.

Semantic interoperability in the Internet of Things: an overview from the INTER-IoT perspective (DOI)
(with Maria Ganzha, Marcin Paprzycki, Paweł Szmeja, Katarzyna Wasielewska)
Journal of Network and Computer Applications, Volume 81, pp. 111–124, Elsevier, March 2017.

From implicit semantics towards ontologies – practical considerations from the INTER-IoT perspective (DOI)
(with Maria Ganzha, Marcin Paprzycki, Paweł Szmeja, Katarzyna Wasielewska, Carlos E. Palau)
In 2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC), January 8-11, 2017, Las Vegas, USA

Tools for ontology matching – practical considerations from INTER-IoT perspective
(with Maria Ganzha, Marcin Paprzycki, Paweł Szmeja, Katarzyna Wasielewska, Giancarlo Fortino)
Internet and Distributed Computing Systems 9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016, Proceedings, LNCS, vol. 9864, pages 296-307, © Springer, 2016.

Semantic technologies for the IoT – an INTER-IoT perspective (DOI)
(with Maria Ganzha, Marcin Paprzycki, Paweł Szmeja, Katarzyna Wasielewska)
In 2016 IEEE 1st International Conference on Internet-of-Things Design and Implementation (IoTDI), Berlin, Germany, pages 271-276, IEEE 2016.

Dimensions of ontological similarity (DOI)
(with Paweł Szmeja, Maria Ganzha, Marcin Paprzycki)
In 2016 IEEE 10th International Conference on Semantic Computing (ICSC), Los Alamitos, CA, pages 246-249, IEEE 2016.

Parchments for CafeOBJ Logics
(with Till Mossakowski, Donald Sannella, Andrzej Tarlecki)
In Shusaku Iida, José Meseguer, Kazuhiro Ogata, editors, Specification, Algebra, and Software, Essays Dedicated to Kokichi Futatsugi, LNCS, vol. 8373, pages 66-91, © Springer-Verlag, 2014.

A Class of Hypernets with Token Creation and Decidable Reachability Problem
(with Marek A. Bednarczyk, Piotr Jóźwiak)
In Proceedings of the 21st International Workshop on Concurrency, Specification and Programming, Sptember 26-28, 2012, Berlin, Germany, CEUR Workshop Proceedings 928, CEUR-WS.org 2012.

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 Proceedings of NATO Advanced Study Institute on Mining Massive Data Sets for Security, MMDSS'07, September 10-21, 2007, Villa Cagnola - Gazzada, Italy.

From Petri hypernets to 1-safe nets
(with Marek A. Bednarczyk, Luca Bernardinello, Lucia Pomello)
Submitted for publication, 2006.

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.

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 Mieczysław A. Kłopotek, Maciej Michalewicz, Marek A. Bednarczyk and Sławomir T. Wierzchoń)
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 Mieczysław A. Kłopotek, Maciej Michalewicz, Marek A. Bednarczyk and Sławomir T. Wierzchoń)
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 Paweł Pączkowski and Stefan Sokołowski)
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 Paweł Pączkowski and Stefan Sokołowski)
Technical Report, December 1994, revised version, December 1995.

Specifying and Verifying Parametric Processes
(with Paweł Pączkowski and Stefan Sokołowski)
Proc. 6th Nordic Workshop on Programming Theory, Aarhus 1994.

A non-Mixed-Term Inference System for Olderog Process Calculus
(with Paweł Pączkowski)
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

e-mail w.pawlowski@inf.ug.edu.pl