ASSIST-IoT: A Modular Implementation of a Reference Architecture for the Next Generation Internet of Things
(DOI)
(with
Paweł Szmeja,
Alejandro Fornés-Leal,
Ignacio Lacalle,
Carlos E. Palau,
Maria Ganzha,
Marcin Paprzycki,
Johan Schabbink)
Electronics
vol. 12, Issue 4, © MDPI, 2023.
Alignment format for semantic translation
(DOI)
(with
Paweł Szmeja,
Maria Ganzha,
Marcin Paprzycki,
Katarzyna Wasielewska-Michniewska)
LNEE
vol. 939
pages 651-671, © Springer, 2022.
Interoperability of Heterogeneous IoT Platforms – A Layered Approach
(DOI)
(with
Carlos E. Palau,
Giancarlo Fortino,
Miguel Montesinos,
George Exarchakos,
Pablo Giménez,
Garik Markarian,
Valérie Castay,
Flavio Fuart,
Marina Mortara,
Alessandro Bassi,
Frans Gevers,
Gema Ibáñez-Sánchez,
Ignacio Huet), editors
Internet of Things
© Springer, 2021.
Implementing Autonomic Internet of Things Ecosystems – Practical Considerations
(DOI)
(with
Kumar Nalinaksh,
Piotr Lewandowski,
Maria Ganzha,
Marcin Paprzycki,
Katarzyna Wasielewska-Michniewska)
LNCS
vol. 12942
pages 420-433, © Springer, 2021.
Integrating IoT platforms using the INTER-IoT approach: A case study of the CasAware project
(DOI)
(with
Gianfranco E. Modoni,
Enrico G. Caldarola,
Nicola Mincuzzi,
Marco Sacco,
Katarzyna Wasielewska,
Paweł Szmeja,
Maria Ganzha,
Marcin Paprzycki)
Journal of Ambient Intelligence and Smart Environments, 2020, vol. 12, no. 6, pp. 457-474.
Proceedings of First International Conference on Computing, Communications, and Cyber-Security (IC4S 2019)
(DOI)
(co-edited with
Pradeep Kumar Singh,
Sudeep Tanwar,
Neeraj Kumar,
Joel J. P. C. Rodrigues,
Mohammad Salameh Obaidat)
LNNS
vol. 121,
© Springer, 2020.
Integrating the AAL CasAware Platform Within an IoT Ecosystem, Leveraging the INTER-IoT Approach
(DOI)
(with
Gianfranco E. Modoni,
Enrico G. Caldarola,
Marco Sacco,
Katarzyna Wasielewska,
Maria Ganzha,
Marcin Paprzycki,
Paweł Szmeja,
Carlos E. Palau,
Bartłomiej Solarz-Niesłuchowski)
Proceedings of First International Conference on Computing, Communications, and Cyber-Security (IC4S), 2020, Las Vegas, USA,
LLNS, vol. 121, pp. 197-212.
Towards High Throughput Semantic Translation
(DOI)
(with
Maria Ganzha,
Marcin Paprzycki,
Paweł Szmeja,
Katarzyna Wasielewska,
Bartłomiej Solarz-Niesłuchowski,
Jara Suárez de Puga García)
Interoperability, safety and security in IoT: Third International Conference, InterIoT 2017 and Fourth International Conference,
SaSeIot 2017 Valencia, Spain, November 6-7, 2017: Proceedings.
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 242, pp. 67-74.
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
(DOI)
(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)
Proceedings of the Fourth International Workshop on Modelling of Objects, Components and Agents, MOCA'06, Bericht 272, FBI-HH-B-272, pages 23-43, 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
