Trusted Third Party Application in Durable Medium e-Service, 2024, Grzegorz Bazydło , Kamil Kozdrój , Remigiusz Wiśniewski , Aniruddha Bhattacharjya , Applied Sciences (Switzerland), Vol. 14, iss. 1, 1--22, eISSN: 2076-3417, bibliogr. rys. tab. summ.
Słowa kluczowe: Rivest?Shamir-Adleman algorithm (RSA), blockchain, durable medium, e-service, interplanetary file system (IPFS), secure hash algorithms (SHA), trusted third party (TTP)
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.3390/app14010191

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 25-12-2023

Optimal Sensor Selection for Diagnosability Enforcement in Labeled Petri Nets, 2024, Shaopeng Hu , Zhiwu Li , Remigiusz Wiśniewski , IEEE Transactions on Systems, Man, and Cybernetics: Systems, Vol. 54, iss. 5, 2965--2977, ISSN: 2168-2216, bibliogr. summ.
Kod: CZR-N-WYKAZ BibTeX (pkt. 200) DOI: 10.1109/TSMC.2024.3351740

Perioperative and Oncological Outcomes of Percutaneous Radiofrequency Ablation versus Partial Nephrectomy for cT1a Renal Cancers: A Retrospective Study on Groups with Similar Clinical Characteristics, 2024, Miłosz Jasiński , Przemysław Wiśniewski , Marta Bielińska , Jerzy Siekiera , Krzysztof Kamecki , Maciej Salagierski , Cancers, 16(8), 1--10, ISSN: 2072-6694, bibliogr. summ.
Słowa kluczowe: kidney cancer, partial nephrectomy, radiofrequency ablation, ultrasound
Kod: CZR-N-WYKAZ BibTeX (pkt. 200) DOI: 10.3390/cancers16081528

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AT_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 17-04-2024

Initial verification of liveness property in the control part of cyber-physical systems modelled by Petri nets, 2024, Mateusz Popławski , Marcin Wojnakowski , Remigiusz Wiśniewski , Grzegorz Bazydło , AIP Conference Proceedings: International Conference of Computational Methods in Sciences and Engineering ICCMSE 2022, Vol. 3030, iss. 1, no. 060002, 1--5, ISSN: 0094-243X, eISSN: 1551-7616, bibliogr. rys. tab. summ.
Kod: CZR-INNE-5 BibTeX (pkt. 5) DOI: 10.1063/5.0193339

Bounded and place invariant-covered Petri nets for cyber-physical systems specification, 2024, Marcin Wojnakowski , Remigiusz Wiśniewski , Mateusz Popławski , AIP Conference Proceedings: International Conference of Computational Methods in Sciences and Engineering ICCMSE 2022, Vol. 3030, iss. 1, no. 060001, 1--4, ISSN: 0094-243X, eISSN: 1551-7616, bibliogr. rys. summ.
Kod: CZR-INNE-5 BibTeX (pkt. 5) DOI: 10.1063/5.0193168

Materiały do poznania ważek (Odonata) Pojezierza Litewskiego (Polska północno-wschodnia), ze szczególnym uwzględnieniem Suwalskiego Parku Krajobrazowego, zebrane przy okazji XIX Sympozjum Sekcji Odonatologicznej Polskiego Towarzystwa Entomologicznego w 2023 r., 2024, Agnieszka Tańczuk , Adam Tarkowski , Anna Rychła , Paweł Buczyński , Paweł Bojar , Jarosław Borejszo , Paweł Czechowski , Alicja Dubicka-Czechowska , Jacek Dumański , Małgorzata Goc , Maria J. Gołąb , Nikola Góral , Alicja Harcińska , Grzegorz Jędro , Magdalena Jędro , Karolina Lewoń , Radosław Lewoń , Magdalena Marzec , Piotr Mikołajczuk , Krystian Ołdak , Stanislav Ožana , Jacek Słupek , Szymon Śniegula , Grzegorz Tończyk , Konrad Wiśniewski , ODONATRIX, T. 20, nr 3, 1--24, ISSN: 1733-8239, bibliogr. rys. tab. summ. https://odonata.pl/odonatrix/odonatrix_20.html
Słowa kluczowe: biodiversity, conservation, faunistics, geographic distribution, habitat, north-eastern Poland, threats
Kod: CZR-INNE-5 BibTeX (pkt. 5)

Fast Verification of Petri Net-based Model of Industrial Decision-making Systems: A Case Study, 2023, Remigiusz Wiśniewski , Justyna Patalas-Maliszewska , Marcin Wojnakowski , Marcin Topczak , Mengchu Zhou , W: IEEE International Conference on Systems, Man, and Cybernetics - IEEE SMC 2023 (#), Hawaii, USA, New York: IEEE Xplore, 2023, s. 1--1, https://ieeesmc2023.org/
Kod: KON-ANG BibTeX (pkt. 70)

Optymalizacja procesu produkcji przy wykorzystaniu mapowania strumienia wartości, 2023, Aleksander Wiśniewski , Dariusz Michalski , Monika Michalska , W: Innovative economy and industry, 2023 , (Red.) Daniel Medyński, Krzysztof Kolbusz, Justyna Lewandowska-Bratek, Magdalena Dąbrowska , Poznań: Polskie Towarzystwo Ekonomiczne Oddział w Poznaniu (#), s. 288--304, ISBN: 9788396679987 https://katalogi.bn.org.pl/permalink/48OMNIS_NLOP/1aot9i7/alma991053103274705066
Kod: MOR-W1 BibTeX (pkt. 20)

Modelling and Analysis of a Petri net-based System Supporting Implementation of Additive Manufacturing Technologies, 2023, Remigiusz Wiśniewski , Justyna Patalas-Maliszewska , Marcin Wojnakowski , Marcin Topczak , IEEE Transactions on Automation Science and Engineering, 1--11, ISSN: 1545-5955, bibliogr. summ. - [Early Access]
Słowa kluczowe: Analytical models, Biological system modeling, Decision making, Manufacturing, Pandemics, Petri nets, Production
Kod: CZR-N-WYKAZ BibTeX (pkt. 140) DOI: 10.1109/TASE.2023.3301304

Nutritional Behavior in European Countries during COVID-19 Pandemic - A Review, 2023, Oskar Wojciech Wiśniewski , Bartłomiej J. Czyżniewski , Wioletta Żukiewicz-Sobczak , Magdalena Gibas-Dorna , Nutrients, Vol. 15, 15, 1--22, ISSN: 2072-6643, bibliogr. summ.
Słowa kluczowe: COVID-19, SARS-CoV-2, diet, eating behavior, eating habits, nutrition, physical activity
Kod: CZR-N-WYKAZ BibTeX (pkt. 140) DOI: 10.3390/nu15153451

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AT_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 04-08-2023

Decomposition of a Petri net-based Cyber-Physical System Toward Implementation as an Integrated System within FPGA, 2023, Remigiusz Wiśniewski , Anico Costa , Marcin Wojnakowski , Maxim Maliński , Applied Sciences (Switzerland), Vol. 13, iss. 12, 1--15, eISSN: 2076-3417, bibliogr. rys. tab. summ.
Słowa kluczowe: FPGA, Petri nets, cyber-physical system, decomposition, integrated system
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.3390/app13127137

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 14-06-2023

Design and Verification of Petri Net-Based Cyber-Physical Systems Oriented Toward Implementation in Field Programmable Gate Arrays - a Case Study Example, 2023, Remigiusz Wiśniewski , Marcin Wojnakowski , Zhiwu Li , Energies, Vol. 16, iss. 1, 1--19, ISSN: 1996-1073, bibliogr. rys. tab. summ.
Słowa kluczowe: FPGA, boundedness, error detection, modelling, real-life CPS, verification
Kod: CZR-N-WYKAZ BibTeX (pkt. 140) DOI: 10.3390/en16010067

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 21-12-2022

Supremal and Robust Control against Actuator Jamming Attacks in Cyber-Physical Systems, 2023, Wenli Duo , Shouguang Wang , Mengchu Zhou , Dan You , Remigiusz Wiśniewski , Grzegorz Bazydło , Aiiad Albeshri , IEEE Transactions on Intelligent Vehicles, 1--13, ISSN: 2379-8858, eISSN: 2379-8904, bibliogr. summ. - [Early Access]
Kod: CZR-N-WYKAZ BibTeX (pkt. 20) DOI: 10.1109/TIV.2023.3339668

Supervisory Control of Cyber-Physical Systems Subject to Actuator Jamming Attacks, 2023, Wenli Duo , Shouguang Wang , Mengchu Zhou , Dan You , Remigiusz Wiśniewski , Grzegorz Bazydło , W: ICNSC 2023 : 20th IEEE International conference on Networking, Sensing and Control, Marsylia, Francja, -: IEEE Xplore, 2023, s. 1--6, ISBN: 9798-3503-6950-2,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1109/ICNSC58704.2023.10318985

Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems, 2023, Remigiusz Wiśniewski , Grzegorz Bazydło , Marcin Wojnakowski , Mateusz Popławski , W: 44th International Conference On Application And Theory of Petri Nets and Concurrency - Petri Nets 2023 (#), Lisbon, Portugalia, Cham: Springer Nature Switzerland, 2023, Lecture Notes in Computer Science, 13929, s. 191--204, ISBN: 9783031336195,
Słowa kluczowe: Analysis, Boundedness, Cyber-physical system, Invariants, Liveness, Petri net, Reachability tree, Safety, Verification
Kod: KON-ANG BibTeX (pkt. 70) DOI: 10.1007/978-3-031-33620-1_10

Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net, 2023, Mateusz Popławski , Remigiusz Wiśniewski , Grzegorz Bazydło , Maxim Maliński , W: Technological Innovation for Connected Cyber Physical Spaces: 14th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2023, 2023 , (Red.) Luis M. Camarinha-Matos, Filipa Ferrada / eds. L. M. Camarinha-Matos, F. Ferrada, Cham: Springer Nature Switzerland (#), (IFIP Advances in Information and Communication Technology, 678), s. 205--215, ISBN: 9783031360060
Kod: MOR-W1 BibTeX (pkt. 20) DOI: 10.1007/978-3-031-36007-7_15

A polynomial-time algorithm for detecting potentially unbounded places in a Petri net-based concurrent system, 2023, Marcin Wojnakowski , Remigiusz Wiśniewski , Mateusz Popławski , W: 29th International European Conference on Parallel and Distributed Computing - Euro-Par, Limassol, Cypr, --, 2023, s. 1--1, https://2023.euro-par.org/
Kod: KON-ANG BibTeX (pkt. 140)

Preface : Special section on Recent Advances in Modelling, Analysis and Implementation of Cyber-Physical Systems, 2022, Remigiusz Wiśniewski , Luis Gomes , Shaohua Wan , International Journal of Applied Mathematics and Computer Science, Vol. 32, no. 3, 1--2, ISSN: 1641-876X, bibliogr. rys. tab. wykr. summ. https://www.amcs.uz.zgora.pl/
Kod: ROZ-3 BibTeX (pkt. 0)

Open Access: Licence: CC-BY-NC-ND, Article mode: OPEN_JOURNAL, Release time: AT_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 30-09-2022

Special Issue on Optimization of Cross-layer Collaborative Resource Allocation for Mobile Edge Computing, Caching and Communication, 2022, Shaohua Wan , Remigiusz Wiśniewski , George Alexandropoulos , Zonghua Gu , Pierluigi Siano , Computer Communications, Vol. 181, 472--473, bibliogr. rys. tab. wykr. summ. - [Editorial]
Kod: ROZ-3 BibTeX (pkt. 0) DOI: 10.1016/j.comcom.2021.11.020

Trusted and Secure Blockchain-Based Durable Medium Electronic Service, 2022, Grzegorz Bazydło , Remigiusz Wiśniewski , Kamil Kozdrój , Cryptography, Vol. 6, iss. 1, 1--12, eISSN: 2410-387X, bibliogr. rys. tab. summ.
Słowa kluczowe: blockchain, durable medium, e-service, trusted third party (TTP)
Kod: CZR-N-WYKAZ BibTeX (pkt. 20) DOI: 10.3390/cryptography6010010

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 21-02-2022

Trusted and Secure Blockchain-Based Architecture for Internet-of-Medical-Things, 2022, Aniruddha Bhattacharjya , Kamil Kozdrój , Grzegorz Bazydło , Remigiusz Wiśniewski , Electronics (Switzerland), Vol. 11, iss. 16, art. 2560, 1--19, eISSN: 2079-9292, bibliogr. rys. tab. summ.
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.3390/electronics11162560

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 16-08-2022

Design Optimization of the Petri Net-based Production Process Supported by Additive Manufacturing Technologies, 2022, Justyna Patalas-Maliszewska , Remigiusz Wiśniewski , Marcin Topczak , Marcin Wojnakowski , Bulletin of the Polish Academy of Sciences: Technical Sciences, Vol. 70, no. 2, art. e140693, 1--10, ISSN: 0239-7528, eISSN: 2300-1917, bibliogr. rys. tab. summ.
Słowa kluczowe: Petri nets, additive manufacturing technology , manufacturing processes, optimization, process modelling, validation, verification
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.24425/bpasts.2022.140693

Holistic Research on Blockchain's Consensus Protocol Mechanisms with Security and Concurrency Analysis Aspects of CPS, 2022, Aniruddha Bhattacharjya , Remigiusz Wiśniewski , Venkatram Nidumolu , Electronics (Switzerland), Vol. 11, iss. 17, art. no. 27, 1--17, eISSN: 2079-9292, bibliogr. rys. tab. summ.
Słowa kluczowe: ECDSA, Petri nets, Proof of Stake (PoS), Proof of Work (PoW), consensus protocols, cyber-physical systems (CPS), elliptic curve cryptography (ECC), elliptic curve discrete logarithm problem (ECDLP), security, vECDSA
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.3390/electronics11172760

Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 01-09-2022

Analysis of Control Part of Cyber-Physical Systems Specified by Interpreted Petri Nets, 2022, Marcin Wojnakowski , Mateusz Popławski , Grzegorz Bazydło , Remigiusz Wiśniewski , W: International Conference on Systems, Man, and Cybernetics - IEEE SMC 2022 (#), Prague, Czechy, New York: IEEE Xplore, 2022, s. 1090--1095, ISBN: 9781665452588,
Kod: KON-ANG BibTeX (pkt. 70) DOI: 10.1109/SMC53654.2022.9945425

Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems, 2022, Marcin Wojnakowski , Mateusz Popławski , Remigiusz Wiśniewski , Grzegorz Bazydło , W: Technological Innovation for Digitalization and Virtualization: 13th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2022, 2022 , (Red.) Luis M. Camarinha-Matos / ed.L. M. Camarinha-Matos, Cham: Springer Nature Switzerland (#), (IFIP Advances in Information and Communication Technology, 649), s. 74--82, ISBN: 9783031075209
Kod: MOR-W1 BibTeX (pkt. 20) DOI: 10.1007/978-3-031-07520-9_7