PERS - System Informacji o Pracownikach

1. Prototyping of Concurrent Control Systems Implemented in FPGA devices, 2017, Remigiusz Wiśniewski , Berlin - Heidelberg: Springer International Publishing (#), s. 181, (Advances in Industrial Control), ISBN: 9783319458106, bibliogr. rys. summ.
Kod: MON-W1 BibTeX (pkt. 80) DOI: 10.1007/978-3-319-45811-3

2. Synthesis of compositional microprogram control units for programmable devices, 2009, Remigiusz Wiśniewski , Zielona Góra: University of Zielona Góra Press, s. 153, (Lecture Notes in Control and Computer Science, Vol. 14), ISBN: 9788374812931, bibliogr. rys. tab. summ.
Kod: MON-ANG BibTeX (pkt. 25)

1. Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets, 2024, Maxim Maliński , Marcin Wojnakowski , Remigiusz Wiśniewski , Andrzej Obuchowicz , W: Technological Innovation for Human-Centric Systems: 15th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2024, Caparica, Portugal, July 3-5, 2024, Proceedings, 2024 , (Red.) L. M. Camarinha-Matos, F. Ferrada , Cham: Springer Link (#), (IFIP Advances in Information and Communication Technology, 716), s. 269--279, ISBN: 9783031638510 https://link.springer.com/chapter/10.1007/978-3-031-63851-0_19
Kod: MOR-W1 BibTeX (pkt. 20)

2. 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

3. 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

4. Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems, 2021, Marcin Wojnakowski , Remigiusz Wiśniewski , W: Technological Innovation for Applied AI Systems: 12th IFIP WG 5.5 / SOCOLNET Advanced Doctoral AI Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021 : conference proceedings, 2021 / ed. L. M. Camarinha-Matos, P. Ferreira, G. Brito, Cham: Springer International Publishing (#), (IFIP Advances in Information and Communication Technology, 626), s. 83--91, ISBN: 978303078287
Kod: MOR-W1 BibTeX (pkt. 20) DOI: 10.1007/978-3-030-78288-7

5. Effective partial reconfiguration of logic controllers implemented in FPGA devices, 2016, Remigiusz Wiśniewski , Monika Wiśniewska , Marian Adamski , W: Design of reconfigurable logic controllers, 2016 / eds. A. Karatkevich, A. Bukowiec, M. Doligalski, J. Tkacz, Cham Heidelberg: Springer International Publishing Switzerland, (Studies in Systems, Decision and Control, 45), s. 45--55, ISBN: 9783319267234
Kod: MOR-ANG BibTeX (pkt. 5) DOI: 10.1007/978-3-319-26725-8_4

6. Aplikacje internetowe w obliczu ataków sieciowych na przykładzie Codelgniter Framework, 2015, Łukasz Stefanowicz , Grzegorz Bazydło , Remigiusz Wiśniewski , W: Zdalne odczyty : kryptologia a biznes - bezpieczeństwo stosowane, 2015 / red. M. Węgrzyn, J. Jabłoński, M. Nowakowski, Legionowo: Wydaw. BTC, s. 133--140, ISBN: 9788364702051
Kod: MOR-NANG BibTeX (pkt. 5)

7. Ataki na strony internetowe oraz metody zabezpieczeń, 2014, Piotr Broniszewski , Daniel Kur , Remigiusz Wiśniewski , Marek Węgrzyn , Łukasz Stefanowicz , W: Transakcje i monety internetowe: kryptologia a biznes - bezpieczeństwo stosowane, 2014 / red. M. Węgrzyn, J. Jabłoński, M. Nowakowski, Legionowo: Wydaw. BTC, s. 171--178, ISBN: 9788360233986
Kod: MOR-NANG BibTeX (pkt. 5)

8. Metody zabezpieczeń programów i aplikacji komputerowych, 2014, Michał Pietras , Remigiusz Wiśniewski , W: Transakcje i monety internetowe: kryptologia a biznes - bezpieczeństwo stosowane, 2014 / red. M. Węgrzyn, J. Jabłoński, M. Nowakowski, Legionowo: Wydaw. BTC, s. 157--170, ISBN: 9788360233986
Kod: MOR-NANG BibTeX (pkt. 5)

9. Możliwości zastosowania waluty kryptograficznej Bitcoin, 2014, Łukasz Stefanowicz , Remigiusz Wiśniewski , Grzegorz Bazydło , W: Transakcje i monety internetowe: kryptologia a biznes - bezpieczeństwo stosowane, 2014 / red. M. Węgrzyn, J. Jabłoński, M. Nowakowski, Legionowo: Wydaw. BTC, s. 79--86, ISBN: 9788360233986
Kod: MOR-NANG BibTeX (pkt. 5)

10. On state machine decomposition of Petri Nets, 2014, Andrei Karatkevich , Remigiusz Wiśniewski , W: Recent Progress in the Boolean Domain, 2014 / ed. by B. Steinbach, Newcastle upon Tyne: Cambridge Scholars Publishing, s. 288--301, ISBN: 9781443856386
Kod: MOR-ANG BibTeX (pkt. 5)

1. Applying additive manufacturing technologies into supply chain: a Petri net-based decision model, 2024, Justyna Patalas-Maliszewska , Remigiusz Wiśniewski , Mengchu Zhou , Marcin Topczak , Marcin Wojnakowski , International Journal of Applied Mathematics and Computer Science, Vol. 34, no. 3, -, ISSN: 1641-876X, bibliogr. summ. https://www.amcs.uz.zgora.pl/ - [accepted]
Kod: CZR-N-WYKAZ BibTeX (pkt. 100)

2. Design and Optimization of a Petri Net-Based Concurrent Control System Toward Reduction of the Resources in an FPGA, 2024, Remigiusz Wiśniewski , Adam Opara , Marcin Wojnakowski , Applied Sciences (Switzerland), Vol. 14, iss. 12, art. 5212, 1--36, eISSN: 2076-3417, bibliogr. il. rys. tab. wykr. summ.
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.3390/app14125212

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

3. 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

4. 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

5. 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

6. 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

7. 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

8. 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

9. 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

10. 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

11. 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

12. 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, ISSN: 0140-3664, bibliogr. rys. tab. wykr. summ. - [Editorial]
Kod: ROZ-3 BibTeX (pkt. 0) DOI: 10.1016/j.comcom.2021.11.020

13. 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

14. 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

15. Analysis of Safeness in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems, 2021, Marcin Wojnakowski , Remigiusz Wiśniewski , Grzegorz Bazydło , Mateusz Popławski , International Journal of Applied Mathematics and Computer Science, Vol. 31, no.4, 647--657, ISSN: 1641-876X, bibliogr. summ.
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.34768/amcs-2021-0045

Open Access: Licence: CC-BY-NC-ND, Article mode: OPEN_JOURNAL, Release time: AT_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 27-12-2021

16. Design of Petri net-based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays, 2021, Remigiusz Wiśniewski , Energies, Vol. 14, iss. 21, 1--25, ISSN: 1996-1073, bibliogr. rys. tab. summ.
Słowa kluczowe: FPGA, Petri net, Verilog HDL, control part of cyber-physical systems
Kod: CZR-N-WYKAZ BibTeX (pkt. 140) DOI: 10.3390/en14217054

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

17. A Polynomial-Time Algorithm to Obtain State Machine Cover of Live and Safe Petri Nets, 2020, Andrei Karatkevich , Remigiusz Wiśniewski , IEEE Transactions on Systems, Man, and Cybernetics: Systems, Vol. 50, iss. 10, 3592--3597, ISSN: 2168-2216, bibliogr. summ.
Słowa kluczowe: Approximation algorithms, Computational complexity, Concurrent computing, Integrated circuit modeling, Mathematical model, Petri nets, System recovery
Kod: CZR-N-WYKAZ BibTeX (pkt. 200) DOI: 10.1109/TSMC.2019.2894778

18. Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets, 2020, Remigiusz Wiśniewski , Iwona Grobelna , Andrei Karatkevich , Sensors, Vol. 20, iss. 19, 1--22, ISSN: 1424-8220, eISSN: 1424-3210, bibliogr. rys. summ.
Słowa kluczowe: Petri nets, control logic, control systems, cyber-physical systems, determinism
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.3390/s20195565

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

19. Guest Editorial Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems, 2020, Remigiusz Wiśniewski , Mengchu Zhou , Luis Gomes , Maria Pia Fanti , Ratnesh Kumar , IEEE Transactions on Systems, Man, and Cybernetics: Systems, Vol. 50, iss. 1, 3484--3487, ISSN: 2168-2216, bibliogr. summ.
Kod: CZR-N-WYKAZ-0 BibTeX (pkt. 0) DOI: 10.1109/TSMC.2020.3020588

20. C-exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets, 2019, Remigiusz Wiśniewski , Monika Wiśniewska , Marcin Jarnut , IEEE Access, Vol. 7, iss. 1, 13510--13522, ISSN: 2169-3536, bibliogr. rys. tab. summ.
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.1109/ACCESS.2019.2893284

Open Access: Licence: CC-BY-NC-ND, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 08-02-2019

21. Decomposition of Distributed Edge Systems Based on the Petri Nets and Linear Algebra Technique, 2019, Remigiusz Wiśniewski , Andrei Karatkevich , Łukasz Stefanowicz , Marcin Wojnakowski , Journal of Systems Architecture, Vol. 96, 20--31, ISSN: 1383-7621, bibliogr. rys. tab. summ.
Słowa kluczowe: Decomposition, Distributed system, Edge computing, Petri net
Kod: CZR-N-WYKAZ BibTeX (pkt. 70) DOI: 10.1016/j.sysarc.2019.01.015

22. Design and Verification of Cyber-Physical Systems Specified by Petri Nets-A Case Study of a Direct Matrix Converter, 2019, Remigiusz Wiśniewski , Grzegorz Bazydło , Paweł Szcześniak , Iwona Grobelna , Marcin Wojnakowski , Mathematics, Vol. 7, 1--24, eISSN: 2227-7390, bibliogr. rys. tab. summ.
Słowa kluczowe: Petri net, SVM, cyber-physical system, design, direct matrix converter, verification
Kod: CZR-N-WYKAZ BibTeX (pkt. 20) DOI: 10.3390/math7090812

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

23. IEEE Access Special Section: Cyber-Physical Systems, 2019, Remigiusz Wiśniewski , Grzegorz Benysek , Luis Gomes , Dariusz Kania , Theodore Simos , Mengchu Zhou , IEEE Access, Vol. 7, 157688--157692, ISSN: 2169-3536, bibliogr. summ.
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.1109/ACCESS.2019.2949898

Open Access: Licence: CC-BY-NC-ND, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 05-11-2019

24. Low-Cost FPGA Hardware Implementation of Matrix Converter Switch Control, 2019, Remigiusz Wiśniewski , Grzegorz Bazydło , Paweł Szcześniak , IEEE Transactions on Circuits and Systems II: Express Briefs: Express Briefs, Vol. 66, iss. 7, 1177--1181, ISSN: 1549-7747, eISSN: 1558-3791, bibliogr. tab. summ.
Kod: CZR-N-WYKAZ BibTeX (pkt. 140) DOI: 10.1109/TCSII.2018.2875589

25. Petri net-based specification of cyber-physical systems oriented to control direct matrix converters with space vector modulation, 2019, Remigiusz Wiśniewski , Grzegorz Bazydło , Paweł Szcześniak , Marcin Wojnakowski , IEEE Access, Vol. 7, 23407--23420, ISSN: 2169-3536, bibliogr. rys. tab. summ.
Słowa kluczowe: FPGA, Petri net, SVM, Verilog, concurrency, cyber-physical system, matrix converter
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.1109/ACCESS.2019.2899316

Open Access: Licence: CC-BY-NC-ND, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 15-02-2019

26. SVM Algorithm Oriented for Implementation in a Low-Cost Xilinx FPGA, 2019, Remigiusz Wiśniewski , Grzegorz Bazydło , Paweł Szcześniak , Integration, the VLSI Journal, Vol. 64, 163--172, ISSN: 0167-9260, bibliogr. rys. tab. wykr. summ.
Słowa kluczowe: FPGA, Matrix converter, SiC transistor, Space vector modulation, Verilog
Kod: CZR-N-WYKAZ BibTeX (pkt. 70) DOI: 10.1016/j.vlsi.2018.10.002

27. Design of multi-context reconfigurable logic controllers implemented in FPGA devices oriented for further partial reconfiguration, 2018, Remigiusz Wiśniewski , Iwona Grobelna , Journal of Circuits, Systems and Computers, Vol. 27, iss. 6, 1--25, ISSN: 0218-1266, bibliogr. summ.
Słowa kluczowe: FPGA, Petri net, decomposition, formal verification, model checking, partial reconfiguration, reconfigurable logic controllers
Kod: CZR-JCR BibTeX (pkt. 15) DOI: 10.1142/S021812661850086X

28. Dynamic partial reconfiguration of concurrent control systems specified by Petri nets and implemented in Xilinx FPGA devices, 2018, Remigiusz Wiśniewski , IEEE Access, Vol. 6, 3276--32391, ISSN: 2169-3536, bibliogr. rys. tab. summ.
Słowa kluczowe: FPGA, Petri nets, concurrent controllers, decomposition, dynamic partial reconfiguration
Kod: CZR-JCR BibTeX (pkt. 25) DOI: 10.1109/ACCESS.2018.2836858

Open Access: Licence: CC-BY-NC-ND, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 15-05-2018

29. Prototyping of Concurrent Control Systems with Application of Petri Nets and Comparability Graphs, 2018, Remigiusz Wiśniewski , Andrei Karatkevich , Marian Adamski , Anico Costa , Luis Gomes , IEEE Transactions on Control Systems Technology, Vol. 26, iss. 2, 575--586, ISSN: 1063-6536,
Słowa kluczowe: Comparability graphs, Petri nets, concurrent control systems, field-programmable gate array (FPGA)
Kod: CZR-JCR BibTeX (pkt. 40) DOI: 10.1109/TCST.2017.2692204

30. Design and verification of real-life processes with application of Petri nets, 2017, Iwona Grobelna , Remigiusz Wiśniewski , Michał Grobelny , Monika Wiśniewska , IEEE Transactions on Systems, Man, and Cybernetics: Systems, Vol. 47, iss. 11, 2856--2869, ISSN: 2168-2216,
Kod: CZR-JCR BibTeX (pkt. 35) DOI: 10.1109/TSMC.2016.2531673

31. Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices, 2017, Remigiusz Wiśniewski , Grzegorz Bazydło , Luis Gomes , Anico Costa , IEEE Transactions on Industrial Informatics, Vol. 13, iss. 4, 1734--1741, ISSN: 1551-3203,
Kod: CZR-JCR BibTeX (pkt. 50) DOI: 10.1109/TII.2017.2702564

32. Algorytm selekcji wykorzystujący teorię hipergrafów, 2014, Łukasz Stefanowicz , Remigiusz Wiśniewski , Marian Adamski , Pomiary, Automatyka, Kontrola, Vol. 60, nr 7, 516--518, ISSN: 0032-4110, bibliogr. rys. tab. summ.
Słowa kluczowe: State Machine Components (SMCs), exact transversal, hipergraf, hipergraf transweral dokładnych, hypergraph, implikanty proste, podsieci automatowe, prime implicants, selection, selekcja, transversal, transwersala, transwersala dokładna
Kod: CZR-WYKAZ BibTeX (pkt. [?])

33. Reduction of the Memory Size in the Microprogrammed Controllers, 2013, Marian Adamski , Oleksandr Barkalov , Remigiusz Wiśniewski , Jakub Lipiński , Przegląd Elektrotechniczny, nr 11, 114--117, ISSN: 0033-2097, bibliogr. rys. tab. summ.
Słowa kluczowe: hipergrafy, hypergraphs, konwerter adresów, memory, microinstruction decoder, microprogrammed controllers, pamięć, reduction, redukcja, sterowniki mikroprogramowane
Kod: CZR-WYKAZ BibTeX (pkt. 14)

34. Zastosowanie hipergrafów w procesie selekcji implikantów prostych, 2013, Remigiusz Wiśniewski , Łukasz Stefanowicz , Pomiary, Automatyka, Kontrola, Vol. 59, nr 11, 1195--1197, ISSN: 0032-4110, bibliogr. rys. tab. summ.
Słowa kluczowe: exact transversal, hipergraf, hypergraph, minimalizacja funkcji logicznych, minimization of Boolean functions, selection of prime implicants, selekcja implikantów prostych, transwersala dokładna
Kod: CZR-WYKAZ BibTeX (pkt. [?])

35. Application of hypergraphs to the reduction of the memory size in the Microprogrammed Controllers with Address Converter, 2012, Marian Adamski , Monika Wiśniewska , Remigiusz Wiśniewski , Łukasz Stefanowicz , Przegląd Elektrotechniczny, nr 8, 134--136, ISSN: 0033-2097, bibliogr. rys. tab. summ.
Słowa kluczowe: address converter, hipergrafy, hypergraphs, konwerter adresów, memory, microprogrammed controllers, pamięćredukcja, reduction, sterowniki mikroprogramowane
Kod: CZR-JCR BibTeX (pkt. 15)

36. Wielomianowy algorytm wyznaczania hipergrafu współbieżności w sieciach Petriego swobodnego wyboru, 2012, Remigiusz Wiśniewski , Monika Wiśniewska , Marian Adamski , Pomiary, Automatyka, Kontrola, Vol. 58, nr 7, 650--652, ISSN: 0032-4110, bibliogr. rys. tab. summ.
Słowa kluczowe: Petri net, cpncurrency hypergraph, decomposition, dekompozycja, hipergraf współbieżności, sieć Petriego
Kod: CZR-WYKAZ BibTeX (pkt. 7)

37. Wyznaczanie pokrycia sieci Petriego przez SM-komponenty z wykorzystaniem przeszukiwania grafów, 2012, Andrei Karatkevich , Remigiusz Wiśniewski , Przegląd Elektrotechniczny, nr 8, 141--144, ISSN: 0033-2097, bibliogr. rys. tab. summ.
Słowa kluczowe: Petri nets, SM-components, concurrency, decomposition, dekompozycja sieci Petriego, sieci Petriego, składowe automatowe, współbieżność
Kod: CZR-JCR BibTeX (pkt. 15)

38. Zastosowanie układów reprogramowalnych FPGA w projekcie "Inteligentny Dom", 2012, Łukasz Stefanowicz , Remigiusz Wiśniewski , Marek Węgrzyn , Pomiary, Automatyka, Kontrola, Vol. 58, nr 7, 614--616, ISSN: 0032-4110, bibliogr. rys. summ.
Słowa kluczowe: Android, FPGA, Windows Mobile, control system, inteligenny dom, intelligent house, remote control, reprogrammable devices, sterowanie zdalne, system sterowania, układy reprogramowalne
Kod: CZR-WYKAZ BibTeX (pkt. 7)

39. Akceleracja obliczeń komputerowych za pomocą układów graficznych z wykorzystaniem technologii CUDA, 2011, Łukasz Stefanowicz , Remigiusz Wiśniewski , Monika Wiśniewska , Pomiary, Automatyka, Kontrola, Vol. 57, nr 8, 948--950, ISSN: 0032-4110, bibliogr. rys. summ.
Słowa kluczowe: CPU, CUDA, GPU, compute, iteracja, iteration, multimedia, multithreading, obliczenia, parallel, procesor, processor, równoległość, wielowątkowość
Kod: CZR-WYKAZ BibTeX (pkt. 7)

40. Dekompozycja sterowników współbieżnych z zastosowaniem transwersal dokładnych hipergrafu, 2011, Monika Wiśniewska , Marian Adamski , Remigiusz Wiśniewski , Pomiary, Automatyka, Kontrola, Vol. 57, nr 8, 851--853, ISSN: 0032-4110, bibliogr. rys. summ.
Słowa kluczowe: Petri Net, decomposition of a Petri Net into concurrent subnets automata, dekompozycja sieci Petriego na podsieci współbieżne typu automatowego, exact transversal, hipergraf, hypergraph, sieć Petriego, transwersala dokładna
Kod: CZR-WYKAZ BibTeX (pkt. 7)

41. Design of microprogrammed controllers to be implemented in FPGAs, 2011, Remigiusz Wiśniewski , Oleksandr Barkalov , Larysa Titarenko , Wolfgang A. Halang , International Journal of Applied Mathematics and Computer Science, Vol. 21, no 2, 401--412, ISSN: 1641-876X, bibliogr. rys. tab. summ.
Słowa kluczowe: control unit, field programmable gate array, microprogrammed controller
Kod: CZR-JCR BibTeX (pkt. 20) DOI: 10.2478/v10006-011-0030-1

42. Selekcja klas kompatybilności z zastosowaniem teorii hipergrafów, 2011, Monika Wiśniewska , Marian Adamski , Remigiusz Wiśniewski , Pomiary, Automatyka, Kontrola, Vol. 57, nr 6, 675--678, ISSN: 0032-4110, bibliogr. rys. tab. summ.
Słowa kluczowe: hipergraf, hypergraph, memory size reduction, microoperation, mikrooperacja, redukcja pojemności pamięci, selection of compatibility classes, selekcja klas kompatybilności, transversals (hitting set), transwersale (pokrycie wierzchołkowe) hipergrafu
Kod: CZR-WYKAZ BibTeX (pkt. 7)

43. Zastosowanie kolorowania hipergrafów w procesie dekompozycji równoległej automatów współbieżnych, 2010, Monika Wiśniewska , Remigiusz Wiśniewski , Metody Informatyki Stosowanej, nr 2, 151--157, ISSN: 1898-5297, bibliogr. rys. tab. summ.
Słowa kluczowe: PetriNet decomposition, concurrent automata, hypergraph, hypergraph colloring
Kod: CZR-WYKAZ BibTeX (pkt. 6)

44. Zastosowanie transwersali hipergrafów w minimalizacji pojemności pamięci systemów dyskretnych, 2010, Monika Wiśniewska , Remigiusz Wiśniewski , Marian Adamski , Pomiary, Automatyka, Kontrola, Vol. 56, nr 7, 777--779, ISSN: 0032-4110, bibliogr. rys. tab. summ.
Kod: CZR-WYKAZ BibTeX (pkt. 9)

45. Projektowanie sterowników mikroprogramowanych z wykorzystaniem bloków pamięci układów programowalnych, 2009, Remigiusz Wiśniewski , Oleksandr Barkalov , Wolfgang A. Halang , Pomiary, Automatyka, Kontrola, nr 8, 569--571, ISSN: 0032-4110, bibliogr. rys. summ.
Słowa kluczowe: field-programmable Gate Arrays (FPGAs), microprogrammed controller (compositional microprogram control unit), programowalny układ FPGA, sterownik mikroprogramowany (mikroprogramowany układ sterujący)
Kod: CZR-WYKAZ BibTeX (pkt. 6)

46. Reduction of the microinstruction lenght in the designing process of microprogrammed controllers, 2009, Monika Wiśniewska , Remigiusz Wiśniewski , Marian Adamski , Przegląd Elektrotechniczny, R. 85, nr 7, 203--206, ISSN: 0033-2097, bibliogr. rys. tab. summ.
Słowa kluczowe: hipergraf, klasa kompatybilności, mikroinstrukcja, mikrooperacja, redukcja rozmiaru pamięci, sterownik mikroprogramowany
Kod: CZR-JCR BibTeX (pkt. 6)

47. Structural decomposition of microprogrammed controllers, 2009, Remigiusz Wiśniewski , Oleksandr Barkalov , Electronics and Telecommunications Quarterly, Vol. 55, no 2, 215--241, bibliogr. rys. summ.
Słowa kluczowe: compositional microprogram control units, control units, field programmable gate arrays, microprogramed controllers, programmable devices
Kod: CZR-WYKAZ BibTeX (pkt. 6)

48. Methods of designing of compositional microprogram control units with mutual memory, 2008, Remigiusz Wiśniewski , Oleksandr Barkalov , Anna Janiak , Pomiary, Automatyka, Kontrola, Vol. 54, nr 8, 493--495, ISSN: 0032-4110, bibliogr. rys. tab. summ.
Słowa kluczowe: Compositional Microprogram Control Unit (CMCU), Field-Programmable Gate Arrays (FPGAs), mikroprogramowany układ sterujący, programowalny układ FPGA
Kod: CZR-WYKAZ BibTeX (pkt. [?])

49. Neokonserwatywny naród : USA wobec problemu wojny, 2008, Anna Janiak , Remigiusz Wiśniewski , Geopolityka: Biuletyn Naukowo - Analityczny Instytutu Geopolityki, nr 1, 34--49,
Kod: CZR-INNE3 BibTeX (pkt. 0)

50. Synteza mikroprogramowanych układów sterujących z dekoderem funkcji, 2008, Remigiusz Wiśniewski , Oleksandr Barkalov , Przegląd Telekomunikacyjny - Wiadomości Telekomunikacyjne, nr 6, 863--865 [CD-ROM], ISSN: 1230-3496, eISSN: 2449-7487, bibliogr. rys. summ.
Słowa kluczowe: Compositional Microprogram Control Unit, Field-Programmable Gate Arrays (FPGAs), Function Decoder, dekoder funkcji, mikroprogramowane układy sterujące, programowalne matryce FPGA
Kod: CZR-WYKAZ BibTeX (pkt. [?])

51. Synteza mikroprogramowanych układów sterujących z identyfikacją wyjść oraz dekoderem funkcji, 2008, Remigiusz Wiśniewski , Oleksandr Barkalov , Pomiary, Automatyka, Kontrola, Vol. 54, nr 8, 585--587, ISSN: 0032-4110, bibliogr. rys. tab. summ.
Słowa kluczowe: Compositional Microprogram Control Unit (CMCU), Field-Programmable Gate Arrays (FPGAs), dekoder funkcji, function decoder, mikroprogramowany układ sterujący, programowalny układ FPGA
Kod: CZR-WYKAZ BibTeX (pkt. [?])

52. Dekompozycja systemów dyskretnych z wykorzystaniem hipergrafów, 2007, Monika Wiśniewska , Remigiusz Wiśniewski , Marian Adamski , Pomiary, Automatyka, Kontrola, nr 5, 129--131, ISSN: 0032-4110, bibliogr. rys. tab. summ.
Słowa kluczowe: decomposition, dekompozycja, discrete-system, hipergraf, hypergraph, system dyskretny
Kod: CZR-WYKAZ BibTeX (pkt. [?])

53. Synthesis of compositional microprogram control units with function decoder for telecommunication systems, 2007, Oleksandr Barkalov , Larysa Titarenko , Remigiusz Wiśniewski , Radiotehnika: Charkivskij nacionalnij universitet radioelektroniki ; Charkiv(Seria: Problemy Telekommunikacij), nr 151, 106--111, bibliogr. rys. tab.
Kod: CZR-INNE3 BibTeX (pkt. 0)

54. Usage of hypergraph theory in decomposition of concurrent automata, 2007, Monika Wiśniewska , Remigiusz Wiśniewski , Marian Adamski , Pomiary, Automatyka, Kontrola, nr 7, 66--68, ISSN: 0032-4110, bibliogr. rys. summ.
Słowa kluczowe: Petri nets, hipergraf, hypergraph, local states of automata, sieć Petriego, stany lokalne automatu, transversals, transwersala
Kod: CZR-WYKAZ BibTeX (pkt. [?])

55. Optimizaciâ shemy adresacii kompozicionnogo ustrojstva upravleniâ, 2006, Oleksandr Barkalov , K. H. Efimenko , Remigiusz Wiśniewski , Naukovi Praci Donec'kogo Nacional'nogo Tehničnogo Universitetu: Donec'kij Nacional'nyj Tehničnij Universitet ; Doneck(Seria: Problemi Modeljuvannâ ta Avtomatizacii Proektuvannâ Dinamičnih Sistem), nr 5, 156--161, ISSN: 1996-1588, bibliogr. rys. summ.
Kod: CZR-INNE3 BibTeX (pkt. 0)

56. Synteza mikroprogramowanych układów sterujących ze współdzieleniem kodów z wykorzystaniem dekodera adresów, 2006, Remigiusz Wiśniewski , Pomiary, Automatyka, Kontrola, nr 6, wyd. spec., 38--40, ISSN: 0032-4110, bibliogr. rys. tab. summ.
Słowa kluczowe: address decoder (adress transformer), compositional microprogram control unit, dekoder adresów, programowane układy sterujące, sharing codes, współdzielenie kodów
Kod: CZR-WYKAZ-0 BibTeX (pkt. 0)

57. Synteza mikroprogramowanych układów sterujących ze współdzieleniem kodów z wykorzystaniem konwertera adresów, 2006, Remigiusz Wiśniewski , Oleksandr Barkalov , Larysa Titarenko , Pomiary, Automatyka, Kontrola, nr 7, wyd. spec., 121--123, ISSN: 0032-4110, bibliogr. rys. tab. summ.
Kod: CZR-WYKAZ-0 BibTeX (pkt. 0)

58. Hardware acceleration and verification of systems designed with hardware description languages (HDL), 2005, Remigiusz Wiśniewski , Marek Węgrzyn , Proceedings of SPIE, Vol. 5775, 365--376, ISSN: 0277-786X, bibliogr. rys. tab. summ.
Słowa kluczowe: hardware accelerators, hardware description languages, simulation, synthesis, verification
Kod: CZR-WYKAZ BibTeX (pkt. [?])

59. Optimization of compositional microprogram control units implemented on system-on-chip, 2005, Oleksandr Barkalov , Remigiusz Wiśniewski , Informatyka Teoretyczna i Stosowana, R. 5, nr 9, 7--22, ISSN: 1643-2355, bibliogr. rys. tab. summ.
Słowa kluczowe: compositional microprogram control unit, finite-state-machine, flow-chart, operational linear chains, programmable logic devices
Kod: CZR-INNE3 BibTeX (pkt. 0)

60. Realizacija kompozicionnogo mikroprogramnogo ustrojstva upravlenija na FPGA, 2005, Oleksandr Barkalov , Remigiusz Wiśniewski , K. H. Efimenko , Radio Electronics Computer Science Control, no 2, 127--131, ISSN: 1607-3274, eISSN: 2313-688X, bibliogr. rys. tab. summ.
Kod: CZR-INNE BibTeX (pkt. 0)

61. Sintez kompozicionnogo mikroprogrammnogo ustrojstva upravlenija s optimal'nym kodirovaniem elementarnych operatornych linejnych cepej, 2005, Oleksandr Barkalov , Remigiusz Wiśniewski , Informatika, no 1, 95--102, bibliogr. rys. tab. summ.
Kod: CZR-INNE BibTeX (pkt. 0)

62. Sintez mikroprogrammnogo avtomata s predstavleniem termov funkcij vozbuzdenija kak par mikrokomand, 2005, Oleksandr Barkalov , Arkadiusz Bukowiec , Remigiusz Wiśniewski , Radiotehnika: Charkivs'kij nacional'nij universitet radioelektroniki ; Carkiv, nr 142, 92--96, bibliogr. rys. wykr.
Kod: CZR-INNE3 BibTeX (pkt. 0)

63. Design of compositional microprogram control units with maximal encoding of inputs, 2004, Oleksandr Barkalov , Remigiusz Wiśniewski , Radioelektronika i Informatika, no 3, 79--81, bibliogr. rys. tab. summ.
Kod: CZR-INNE BibTeX (pkt. 0)

64. Design of control units with transformation of the number of transaction, 2004, Oleksandr Barkalov , Remigiusz Wiśniewski , Radiotehnika: Charkivskij nacionalnij universitet radioelektroniki ; Charkiv, nr 138, 110--113, bibliogr. rys. tab.
Kod: CZR-INNE3 BibTeX (pkt. 0)

65. Optimizacija kompozicionnogo mikroprogramnogo ustrojstva upravlenija s elementarnymi operatornymi linejnymi celjami, 2004, Oleksandr Barkalov , Remigiusz Wiśniewski , Roman Babakov , Naukovi Praci Donec'kogo Nacional'nogo Tehničnogo Universitetu: Doneckij nacional'nyj technicnyj universitet ; Doneck(Seria: Občisljuval'na Tehnika ta Avtomatizacijâ), nr 77, 210--216, ISSN: 1996-1588, bibliogr. rys. tab. summ.
Kod: CZR-INNE3 BibTeX (pkt. 0)

66. Optimization of compositional microprogram control unit with elementary operational linear chains, 2004, Oleksandr Barkalov , Remigiusz Wiśniewski , Upravlâuscie Sistemy i Mašiny, no 5, 25--29, ISSN: 0130-5395, bibliogr. rys. tab. summ.
Kod: CZR-INNE BibTeX (pkt. 0)

1. 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, Cham: Springer Nature Switzerland, 2024, s. 277--283, ISBN: 9783031488030, https://2023.euro-par.org/ - Lecture Notes in Computer Sience, Vol. 14352 part.II ; Euro-Par 2023: Parallel Processing Workshops
Kod: KON-ANG BibTeX (pkt. 140) DOI: 10.1007/978-3-031-48803-0_32

2. Bounded and place invariant-covered Petri nets for cyber-physical systems specification, 2022, Marcin Wojnakowski , Remigiusz Wiśniewski , Mateusz Popławski , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2022, Heraklion, Grecja, -, 2024, AIP Conference Procedings, VOL. 3030, s. 060001-1--4, - (ISSN 0094-243X)
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1063/5.0193168

3. 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 (#), Honolulu, USA, New York: IEEE Xplore, 2024, s. 3316--3322, 10.1109/SMC53992.2023.10394156
Kod: KON-ANG BibTeX (pkt. 70)

4. Initial verification of liveness property in the control part of cyber-physical systems modelled by Petri nets,, 2022, Mateusz Popławski , Marcin Wojnakowski , Remigiusz Wiśniewski , Grzegorz Bazydło , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2022, Heraklion, Grecja, -, 2024, AIP Conference Procedings, VOL. 3030, s. 1--5, - (ISSN 0094-243X)
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1063/5.0193168

5. 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

6. 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

7. 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

8. Interpreted Petri Nets in Modelling and Analysis of Physical Resilient Manufacturing Systems, 2022, Remigiusz Wiśniewski , Justyna Patalas-Maliszewska , Marcin Wojnakowski , Marcin Topczak , W: International Conference on Systems, Man, and Cybernetics - IEEE SMC 2022 (#), Prague, Czechy, New York: IEEE Xplore, 2022, s. 1096--1102, ISBN: 9781665452588,
Kod: KON-ANG BibTeX (pkt. 70) DOI: 10.1109/SMC53654.2022.9945341

9. Modelling of the effectiveness of integrating additive manufacturing technologies into Petri net-based manufacturing systems, 2022, Justyna Patalas-Maliszewska , Remigiusz Wiśniewski , Marcin Topczak , Marcin Wojnakowski , W: 2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (#), Padova, Włochy, --: IEEE, 2022, s. 1--9, ISBN: 9781665467100,
Słowa kluczowe: AM Technologies, Manufacturing Systems, Petri Nets, effectiveness, linear algebra
Kod: KON-ANG BibTeX (pkt. 140) DOI: 10.1109/FUZZ-IEEE55066.2022.9882766

10. Reachability Tree in Liveness Analysis of Petri Net-based Cyber-Physical Systems, 2021, Mateusz Popławski , Marcin Wojnakowski , Grzegorz Bazydło , Remigiusz Wiśniewski , W: International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021, Heraklion, Grecja, Melville, New York: AIP Publishing, 2022, AIP Conference Proceedings, Vol. 2611, iss.1, s. 0700071--0700074,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1063/5.0119328

11. Safeness Analysis of Petri net-based Cyber-Physical Systems Based on the Linear Algebra and Parallel Reductions, 2021, Marcin Wojnakowski , Mateusz Popławski , Remigiusz Wiśniewski , Grzegorz Bazydło , W: International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021, Heraklion, Grecja, Melville, New York: AIP Publishing, 2022, AIP Conference Proceedings, Vol. 2611, iss.1, s. 0700061--700064,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1063/5.0119327

12. Trusted and Secure E-service Based on the Durable Medium and Blockchain Technology, 2021, Kamil Kozdrój , Grzegorz Bazydło , Remigiusz Wiśniewski , Jacek Starościc , W: International Conference of Computational Methods in Sciences and Engineering - 17th ICCMSE 2021, Heraklion, Grecja, New York: AIP Publishing, 2022, AIP Conference Proceedings, Vol. 2611, iss. 1, s. 0700051--0700054,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1063/5.0120190

13. Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools, 2019, Remigiusz Wiśniewski , Grzegorz Bazydło , Luis Gomes , Anico Costa , Marcin Wojnakowski , W: 45th Annual Conference of the IEEE Industrial Electronics Society - IECON 2019, Lisbon, Portugalia, New York: IEEE Xplore, 2019, s. 5843--5848, ISBN: 9781728148786,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1109/IECON.2019.8926692

14. Specification of Cyber-Physical Systems with the Application of Interpreted Nets, 2019, Iwona Grobelna , Remigiusz Wiśniewski , Marcin Wojnakowski , W: 45th Annual Conference of the IEEE Industrial Electronics Society - IECON 2019, Lisbon, Portugalia, New York: IEEE Xplore, 2019, s. 5887--5891, ISBN: 9781728148786,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1109/IECON.2019.8926908

15. A Preface for Symposium No 12 "Logic Synthesis and Control Systems", 2018, Robert Czerwiński , Dariusz Kania , Józef Kulisz , Remigiusz Wiśniewski , Grzegorz Bazydło , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2018, Thessaloniki, Grecja, New York: AIP Publishing, 2018, AIP Conference Proceedings, Vol. 2040, s. 1--4,
Kod: ROZ-5 BibTeX (pkt. 0) DOI: 10.1063/1.5079135

16. Representation of Primes in the Form p = 6 " x=1 and its Application to the RSA Prime Factorization, 2018, Remigiusz Wiśniewski , Ryszard Wiśniewski , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2018, Thessaloniki, Grecja, New York: AIP Publishing, 2018, AIP Conference Proceedings, Vol. 2040, s. 1--5,
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.5079140

17. Safety Analysis of Petri Nets Based on the SM-Cover Computed with the Linear Algebra Technique, 2018, Remigiusz Wiśniewski , Marcin Wojnakowski , Łukasz Stefanowicz , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2018, Thessaloniki, Grecja, New York: AIP Publishing, 2018, AIP Conference Proceedings, Vol. 2040, s. 1--5,
Słowa kluczowe: Safeness of Petri nets, linear algebra, place invariants, state machine components cover
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.5079142

18. Security Analysis of One-Time Pad Secure Algorithm Based on the Double Memory Technique, 2018, Mateusz Kowalski , Remigiusz Wiśniewski , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2018, Thessaloniki, Grecja, New York: AIP Publishing, 2018, AIP Conference Proceedings, Vol. 2040, s. 1--5,
Słowa kluczowe: SHA-1, double memory technique, one-time pad algorithm, pseudo-random number generator
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.5079139

19. Selection of state machine components for a Petri net based on the computation of an exact transversal, 2018, Łukasz Stefanowicz , Remigiusz Wiśniewski , Andrei Karatkevich , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2018, Thessaloniki, Grecja, New York: AIP Publishing, 2018, AIP Conference Proceedings, Vol. 2040, s. 1--5,
Słowa kluczowe: Petri Nets, SM-cover, State Machine Components, exact transversal, hypergraph, selection
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.5079141

20. The Use of UML and Petri Net for Graphic Specification of the Reconfigurable Logic Controllers, 2018, Grzegorz Bazydło , Marcin Wojnakowski , Remigiusz Wiśniewski , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2018, Thessaloniki, Grecja, New York: AIP Publishing, 2018, AIP Conference Proceedings, Vol. 2040, s. 1--5,
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.5079138

21. A Preface for Symposium No 29 "Logic Synthesis and Control Systems", 2017, Dariusz Kania , Józef Kulisz , Remigiusz Wiśniewski , Grzegorz Bazydło , W: Proceedings of the International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2017, Thessaloniki, Grecja, New York: AIP Publishing, 2017, AIP Conference Proceedings, Vol. 1906, s. 1--3,
Kod: KON-ANG BibTeX (pkt. 0) DOI: 10.1063/1.5012393

22. Hardware realization of an SVM algorithm implemented in FPGAs, 2017, Remigiusz Wiśniewski , Grzegorz Bazydło , Paweł Szcześniak , W: Photonics Applications in Astronomy, Communications, Industry and Hight Energy Physics Experiments 2017, Wilga, Polska, Bellingham: Society of Photo-Optical Instrumentation Engineers. SPIE, 2017, Proceedings of SPIE, Vol 10445, s. 1--11, ISBN: 9781510613546,
Słowa kluczowe: field programmable gate arrays
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1117/12.2280447

23. IoT Security with One-Time Pad Secure Algorithm Based on the Double Memory Technique, 2017, Remigiusz Wiśniewski , Michał Grobelny , Iwona Grobelna , Grzegorz Bazydło , W: Proceedings of the International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2017, Thessaloniki, Grecja, New York: AIP Publishing, 2017, AIP Conference Proceedings, Vol. 1906, s. 1--5, ISBN: 9780735415966,
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.5012401

24. Dynamic partial reconfiguration of logic controllers implemented in FPGAs, 2016, Grzegorz Bazydło , Remigiusz Wiśniewski , W: Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2016, Wilga, Polska, Bellingham: SPIE, 2016, Proceedings of SPIE, Vol. 10031, s. 1, ISBN: 9781510604858,
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1117/12.2249405

25. Partial reconfiguration of concurrent logic controllers implemented in FPGA devices, 2016, Remigiusz Wiśniewski , Iwona Grobelna , Łukasz Stefanowicz , W: 12th International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2016, Athens, Grecja, Melville: American Institute of Physics, 2016, AIP Conference Proceedings, Vol. 1790, s. 1--5, ISBN: 9780735414549,
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.4968656

26. Preface to the Symposium No. 2 "Logic Synthesis and Control Systems", 2016, Remigiusz Wiśniewski , Iwona Grobelna , Józef Kulisz , Dariusz Kania , W: 12th International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2016, Athens, Grecja, Melville: American Institute of Physics, 2016, AIP Conference Proceedings, Vol. 1790, s. 1--3, ISBN: 9780735414549,
Kod: ROZ-5 BibTeX (pkt. 0)

27. Application of Hypergraphs in the Prime Implicants Selection Process, 2015, Remigiusz Wiśniewski , Łukasz Stefanowicz , Grzegorz Bazydło , Marek Węgrzyn , W: 13th IFAC and IEEE Conference on Programmable Devices and Embedded Systems, Cracow, Polska, Amsterdam: Elsevier Science Publishers B. V., 2015, IFAC-PapersOnLine, 2015, Vol. 48, no. 4, s. 302--305, ISBN: ISSN: 2405-8963,
Słowa kluczowe: selection of prime implicants, exact transversal, hypergraph, minimization of Boolean functions
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1016/j.ifacol.2015.07.051

28. Aplikacje webowe w obliczu ataków internetowych - na przykłądzie Codelgniter Framework, 2015, Łukasz Stefanowicz , Grzegorz Bazydło , Remigiusz Wiśniewski , W: Kryptologia a biznes - bezpieczeństwo stosowane : zdalne odczyty: II konferencja naukowo-przemysłowa, Zielona Góra - Nowy Kisielin, Polska, [b. m.], 2015, s. 1--21, - [postery]
Kod: ROZ-5 BibTeX (pkt. 0)

29. Design and verification of distributed logic controllers with application of Petri nets, 2015, Remigiusz Wiśniewski , Iwona Grobelna , Michał Grobelny , Monika Wiśniewska , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2015, Athens, Grecja, [B. m.]: AIP Publishing, 2015, AIP Conference Proceedings, Vol. 1702, s. 1--4, ISBN: 9780735413498,
Słowa kluczowe: Petri net, analysis, logic controller, verification
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.4938881

30. Exact cover of states in the discrete state-space system, 2015, Remigiusz Wiśniewski , Łukasz Stefanowicz , Monika Wiśniewska , Daniel Kur , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2015, Athens, Grecja, [B. m.]: AIP Publishing, 2015, AIP Conference Proceedings, Vol. 1702, s. 1--4, ISBN: 9780735413498,
Słowa kluczowe: cover, discrete system, hypergraph, selection
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.4938884

31. Preface of the "Symposium on design and analysis of control systems (DACS 2015), 2015, Remigiusz Wiśniewski , Marek Węgrzyn , Marian Adamski , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2015, Athens, Grecja, [B. m.]: AIP Publishing, 2015, AIP Conference Proceedings, Vol. 1702, s. 1, ISBN: 9780735413498,
Kod: ROZ-5 BibTeX (pkt. 0) DOI: 10.1063/1.4938878

32. Relation between SM-covers and SM-decompositions of Petri nets, 2015, Andrei Karatkevich , Remigiusz Wiśniewski , W: International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2015, Athens, Grecja, [B. m.]: AIP Publishing, 2015, AIP Conference Proceedings, Vol. 1702, s. 1--4, ISBN: 9780735413498,
Słowa kluczowe: Petri net, SM-components, cover, decomposition
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1063/1.4938889

33. Application of comparability graphs in decomposition of Petri nets, 2014, Remigiusz Wiśniewski , Andrei Karatkevich , Marian Adamski , Daniel Kur , W: 7th International Conference on Human System Interactions - HSI 2014: USB proceedings, Lisbon, Portugalia, New York: IEEE, 2014, s. 216--220, ISBN: 9781479947140,
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1109/HSI.2014.6860478

34. Application of hypergraphs to SMCs selection, 2014, Łukasz Stefanowicz , Marian Adamski , Remigiusz Wiśniewski , Jakub Lipiński , W: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems - D0CEIS, Costa de Caparica, Portugalia, Berlin: Springer, 2014, s. 249--256, ISBN: 9783642547331,
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1007/978-3-642-54734-8

35. Decomposition, validation and documentation of control process specification in form of a Petri net, 2014, Iwona Grobelna , Monika Wiśniewska , Remigiusz Wiśniewski , Michał Grobelny , Piotr Mróz , W: 7th International Conference on Human System Interactions - HSI 2014: USB proceedings, Lisbon, Portugalia, New York: IEEE, 2014, s. 232--237, ISBN: 9781479947140,
Słowa kluczowe: UML activity diagram, decomposition, hypergraph, interpreted Petri net, model checking
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1109/HSI.2014.6860481

36. Dual synthesis of Petri net based dependable logic controllers for safety critical systems, 2014, Arkadiusz Bukowiec , Jacek Tkacz , Marian Adamski , Remigiusz Wiśniewski , W: 7th International Conference on Human System Interactions - HSI 2014: USB proceedings, Lisbon, Portugalia, New York: IEEE, 2014, s. 243--248, ISBN: 9781479947140,
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1109/HSI.2014.6860483

37. Theoretical aspects of Petri nets decomposition based on invariants and hypergraphs, 2014, Remigiusz Wiśniewski , Łukasz Stefanowicz , Arkadiusz Bukowiec , Jakub Lipiński , W: Multimedia and Ubiquitous Engineering (MUE): 8th International Conference, Zhangjiajie, Chiny, [B. m.]: [brak wydawcy], 2014, Lecture Notes in Electrical Engineering. Vol. 308, s. 371--376, ISBN: 9783642549007,
Kod: KON-WoS BibTeX (pkt. 15)

38. Application of an exact transversal hypergraph in selection of SM-components, 2013, Łukasz Stefanowicz , Marian Adamski , Remigiusz Wiśniewski , W: Technological innovation for the internet of things: 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, Costa de Caparica, Portugalia, Heidelberg - Dordrecht: Springer, 2013, s. 250--257, ISBN: 9783642372902,
Słowa kluczowe: Petri nets, SM-Components, concurrency hypergraphs, exact transversal, extract cover, graphs, hypergraph, hypergraphs, transversal
Kod: KON-WoS BibTeX (pkt. 15) DOI: 10.1007/978-3-642-37291-9

39. Reduction of the memory size in the microprogrammed controllers, 2013, Marian Adamski , Oleksandr Barkalov , Remigiusz Wiśniewski , Jakub Lipiński , W: Informatyka - sztuka czy rzemiosło - KNWS '13: X konferencja naukowa oraz warsztaty szkoleniowe : materiały konferencyjne, Łagów, Polska, Zielona Góra: [brak wydawcy], 2013, s. 1--2, - [CD-ROM ; 2 str. nlb.]
Słowa kluczowe: hypergraphs, memory, microinstruction decoder, microprogrammed controllers, reduction
Kod: KON-NANG BibTeX (pkt. 0)

40. Zastosowanie hipergrafów w procesie selekcji implikantów prostych, 2013, Remigiusz Wiśniewski , Łukasz Stefanowicz , W: Informatyka - sztuka czy rzemiosło - KNWS '13: X konferencja naukowa oraz warsztaty szkoleniowe : materiały konferencyjne, Łagów, Polska, Zielona Góra: [brak wydawcy], 2013, s. 1--2, - [CD-ROM ; 2 str. nlb.]
Słowa kluczowe: hipergraf, minimalizacja funkcji logicznych, selekcja implikantów prostych, transwersala dokładna
Kod: KON-NANG BibTeX (pkt. 0)

41. Application of hypergraphs to the reduction of the memory size in the Microprogrammed Controllers with Address Converte, 2012, Marian Adamski , Monika Wiśniewska , Remigiusz Wiśniewski , Łukasz Stefanowicz , W: Informatyka - sztuka czy rzemiosło - KNWS '12 : warsztaty szkoleniowe Instytutu Informatyki i Elektroniki: 9 konferencja naukowa, Przylep k. Zielonej Góry, Polska, [Zielona Góra]: [brak wydawcy], 2012, s. [2] CD-ROM,
Słowa kluczowe: address converter, hipergrafy, hypergraphs, konwerter adresów, memory, microprogrammed controllers, pamięć, reduction, redukcja, sterowniki mikroprogramowane
Kod: KON-ANG BibTeX (pkt. 0)

42. Wyznaczanie pokrycia sieci Petriego przez SM-komponenty z wykorzystaniem przeszukiwania grafów, 2012, Andrei Karatkevich , Remigiusz Wiśniewski , W: Informatyka - sztuka czy rzemiosło - KNWS '12 : warsztaty szkoleniowe Instytutu Informatyki i Elektroniki: 9 konferencja naukowa, Przylep k. Zielonej Góry, Polska, [Zielona Góra]: [brak wydawcy], 2012, s. [1] CD-ROM,
Słowa kluczowe: Petri nets, SM-components, decomposition, dekompozycja sieci Petriego, sieci Petriego, składowe automatowe
Kod: KON-NANG BibTeX (pkt. 0)

43. Design of microprogrammed controllers with address converter implemented on programmable systems with embedded memories, 2011, Remigiusz Wiśniewski , Monika Wiśniewska , Marek Węgrzyn , Norian Marranghello , W: Proceedings of IEEE East-West Design & Test Symposium - EWDTS 2011, Sevastopol, Ukraina, Kharkov: [brak wydawcy], 2011, s. 123--126,
Kod: KON-ANG BibTeX (pkt. 0)

44. Reduction of the memory size in the microprogrammed controllers, 2011, Monika Wiśniewska , Remigiusz Wiśniewski , Marek Węgrzyn , Norian Marranghello , W: Proceedings of IEEE East-West Design & Test Symposium - EWDTS 2011, Sevastopol, Ukraina, Kharkov: [brak wydawcy], 2011, s. 127--130,
Kod: KON-ANG BibTeX (pkt. 0)

45. Selekcja klas kompatybilności z zastosowaniem teorii hipergrafów, 2011, Monika Wiśniewska , Marian Adamski , Remigiusz Wiśniewski , W: Informatyka - sztuka czy rzemiosło - KNWS' 11: materiały 8. konferencji naukowej, Karpacz, Polska, [B. m.]: [brak wydawcy], 2011, s. 11--15,
Kod: KON-NANG BibTeX (pkt. 0)

46. Zastosowanie kolorowania hipergrafów w procesie dekompozycji równoległej automatów współbieżnych, 2010, Monika Wiśniewska , Remigiusz Wiśniewski , W: Informatyka - sztuka czy rzemiosło - KNWS' 2010: materiały 7. konferencji naukowej, Świnoujście, Polska, [B. m.]: [brak wydawcy], 2010, s. 253--256,
Kod: KON-NANG BibTeX (pkt. 0)

47. Application of hypergraphs in microcode lenght reduction of microprogrammed controllers, 2009, Monika Wiśniewska , Remigiusz Wiśniewski , Marian Adamski , Wolfgang A. Halang , W: Second International Workshop on Nonlinear Dynamics and Sychronization - INDS '09, Klagenfurt, Austria, Aachen: Shaker Verlag, 2009, Smart System Technologies, Bd. 4, s. 106--109, ISBN: 9783832279431,
Słowa kluczowe: graphs, hypergraphs, microinstruction length reduction, microprogrammed controllers
Kod: KON-WoS BibTeX (pkt. 15)

48. Reduction of the microinstruction lenght in the designing process of microprogrammed controllers, 2009, Monika Wiśniewska , Remigiusz Wiśniewski , Marian Adamski , W: Informatyka - sztuka czy rzemiosło - KNWS' 09: materiały 6. konferencji naukowej : preprint, Rydzyna, Polska, [B. m.]: [brak wydawcy], 2009, s. 155--158,
Słowa kluczowe: compatibility class, hypergraph, microinstruction, microoperation, microprogrammed controller (control unit), reduction of the microinstruction lenght
Kod: KON-NANG BibTeX (pkt. 0)

49. Partial reconfiguration of compositional microprogram control units implemented on an FPGA, 2008, Remigiusz Wiśniewski , Oleksandr Barkalov , Larysa Titarenko , W: Proceedings of IEEE East-West Design & Test Symposium - EWDTS' 08, Lviv, Ukraina, Lviv: The Institute of Electrical and Electronics Engineers, Inc., 2008, s. 80--83,
Kod: KON-ANG BibTeX (pkt. 0)

50. Samorządność, 2008, Agnieszka Suchocka , Remigiusz Wiśniewski , W: Model funkcjonowania studiów doktoranckich w Polsce a możliwości jego realizacji w istniejącym stanie prawnym, Warszawa, Polska, Warszawa: Wydaw. Akademickie i Profesjonalne Spółka z o.o., 2008, s. 85--86, ISBN: 9788361408246,
Kod: ROZ-5 BibTeX (pkt. 0)

51. Optimization of the circuit of compositional microprogram control unit with mutual memory, 2007, Oleksandr Barkalov , Larysa Titarenko , Remigiusz Wiśniewski , W: The experience of designing and application of CAD systems in microelectronics: proceedings of the IXth International Conference CADSM 2007, Lviv - Polyana, Ukraina, Lviv: Publishing House of Lviv Polytechnic National University, 2007, s. 251--255, ISBN: 9789665535874,
Słowa kluczowe: circuits, compositional control unit, programmable logic devices
Kod: KON-WoS BibTeX (pkt. 15)

52. Synthesis of compositional microprogram control units with function decoder, 2007, Remigiusz Wiśniewski , Oleksandr Barkalov , W: International Workshop Control and Information Technology - IWCIT 2007, Ostrava, Czechy, Ostrava: VSB - Technical University of Ostrava, 2007, s. 229--232, ISBN: 9788024815671,
Kod: KON-ANG BibTeX (pkt. 0)

53. Synthesis of compositional microprogram control units with OLC output identification, 2007, Remigiusz Wiśniewski , Oleksandr Barkalov , Larysa Titarenko , W: Computer-Aided Design of Discrete Devices - CAD DD '07: proceedings of the Sixth International Conference, Minsk, Białoruś, Minsk: [brak wydawcy], 2007, T. 2, s. 81--86, ISBN: 9789856744344,
Kod: KON-NANG BibTeX (pkt. 0)

54. Design of Compositional Microprogram Control Units with Elementary Operational Linear Chains, 2006, Remigiusz Wiśniewski , W: Discrete-Event System Design - DESDes '06: a proceedings volume from the 3rd IFAC Workshop, Rydzyna, Polska, Zielona Góra: International Federation of Automatic Control by University of Zielona Góra Press, 2006, s. 191--194, ISBN: 8374810351,
Słowa kluczowe: Compositional Microprogram Control Unit, Elementary Operational Linear Chain, Field Programmable Gate Arrays, Logic Devices
Kod: KON-ANG BibTeX (pkt. 0)

55. Optimizaciâ čisla LUT-elementov v ustrojstve upravleniâ sistemy na kristalle, 2006, Oleksandr Barkalov , Remigiusz Wiśniewski , S. A. Kovalyov , K. H. Efimenko , W: Mašinostroenie i tehnosfera XXI veka: sbornik trudov XIII meždunarodnoj naučno-tehničeskoj konferencii, Sevastopol, Ukraina, Doneck: DonNTU, 2006, T. 1, s. 75--80, ISBN: 9667907201,
Kod: KON-ANG BibTeX (pkt. 0)

56. Optimization of address circuit of compositional microprogram unit, 2006, Remigiusz Wiśniewski , Oleksandr Barkalov , Larysa Titarenko , W: Proceedings of IEEE East-West Design & Test Workshop - EWDTW '06, Sochi, Rosja, Kharkov: [brak wydawcy], 2006, s. 167--170, ISBN: 9666591243,
Kod: KON-ANG BibTeX (pkt. 0)

57. Optimization of LUT-elements amount in cotrol unit of system-on-chip, 2006, Oleksandr Barkalov , Marek Węgrzyn , Remigiusz Wiśniewski , W: Discrete-Event System Design - DESDes '06: a proceedings volume from the 3rd IFAC Workshop, Rydzyna, Polska, Zielona Góra: International Federation of Automatic Control by University of Zielona Góra Press, 2006, s. 143--146, ISBN: 8374810351,
Słowa kluczowe: compositional microprogram control units, field programmable gate arrays, operational linear chains, system-on-chip
Kod: KON-ANG BibTeX (pkt. 0)

58. Partial reconfiguration of compositional microprogram control units implemented on FPGAS, 2006, Oleksandr Barkalov , Marek Węgrzyn , Remigiusz Wiśniewski , W: Programmable Devices and Embedded Systems - PDeS 2006: proceedings of IFAC workshop, Brno, Czechy, Brno: [brak wydawcy], 2006, s. 116--119, ISBN: 802143130X,
Słowa kluczowe: Field Programmable Gate Arrays (FPGA), compositional microprogram control unit (CMCU), logic devices
Kod: KON-ANG BibTeX (pkt. 0)

59. Synthesis of compositional microprogram control units with sharing codes and address decoder, 2006, Remigiusz Wiśniewski , Oleksandr Barkalov , Larysa Titarenko , W: Mixed Design of Integrated Circuits and Systems - MIXDES 2006: proceedings of the international conference, Gdynia, Polska, Łódź: Technical University of Lodz, 2006, s. 397--400, ISBN: 8392263219,
Słowa kluczowe: compositional microprogram control unit, control unit, operational linear chains, sharing codes
Kod: KON-WoS BibTeX (pkt. 15)

60. Synthesis of microprogram control units for telecommunication systems, 2006, Marian Adamski , Larysa Titarenko , Remigiusz Wiśniewski , W: Modern Problems of Radio Engineering, Telecommunications and Computer Science - TCSET 2006: Proceedings of the International Conference, Lviv-Slavsko, Ukraina, Lviv: Publishing House of Lviv Polytechnic, 2006, s. 488--489, ISBN: 9665535072,
Słowa kluczowe: flow-chart, microprogram control unit, programmable logic devices
Kod: KON-WoS BibTeX (pkt. 15)

61. Usage of hypergraphs in decomposition of concurrent automata, 2006, Monika Wiśniewska , Remigiusz Wiśniewski , Marian Adamski , W: 1st. International Conference for Young Researchers in Computer Science, Control, Electrical Engineering and Telecommunications - ICYR: abstracts, Zielona Góra, Polska, Zielona Góra: [brak wydawcy], 2006, s. 58--59,
Słowa kluczowe: Petri nets, hypergraph, local states of automata, transversals
Kod: ROZ-5 BibTeX (pkt. 0)

62. Częściowa rekonfiguracja mikroprogramowanych układów sterujących implementowanych z wykorzystaniem struktur FPGA, 2005, Remigiusz Wiśniewski , W: VII Międzynarodowe Warsztaty Doktoranckie - OWD 2005, Wisła, Polska, Gliwice: [brak wydawcy], 2005, Archiwum Konferencji PTETIS, Vol.21, s. 239--242, ISBN: 8392224205,
Kod: KON-NANG BibTeX (pkt. 0)

63. Implementation of Compositional Microprogram Control Unit on FPGAs, 2005, Oleksandr Barkalov , Remigiusz Wiśniewski , W: Proceedings of IEEE East-West Design & Test Workshop - EWDTW '05, Odessa, Ukraina, Odessa: IEEE EWDTW, 2005, s. 80--83, ISBN: 9666591138,
Kod: KON-ANG BibTeX (pkt. 0)

64. Optimization of the amount of lut-elements in Compositional Microprogram Control Unit with mutual memory, 2005, Oleksandr Barkalov , Larysa Titarenko , Remigiusz Wiśniewski , W: Proceedings of IEEE East-West Design & Test Workshop - EWDTW '05, Odessa, Ukraina, Odessa: IEEE EWDTW, 2005, s. 75--79, ISBN: 9666591138,
Słowa kluczowe: Compositional Microprogram Control Unit, logic circuits, programmable logic devices
Kod: KON-ANG BibTeX (pkt. 0)

65. Projektowanie układów mikroprogramowanych z wykorzystaniem wbudowanych bloków pamięci w matrycach programowalnych, 2005, Remigiusz Wiśniewski , W: Informatyka - sztuka czy rzemiosło - KNWS' 05: materiały II konferencji naukowej, Złotniki Lubańskie, Polska, Zielona Góra: Oficyna Wydaw. Uniwersytetu Zielonogórskiego, 2005, s. 33--38, ISBN: 8389712628,
Kod: KON-NANG BibTeX (pkt. 0)

66. Synteza układów mikroprogramowanych w strukturach FPGA, 2005, Oleksandr Barkalov , Remigiusz Wiśniewski , Edward Greczko , W: Reprogramowalne Układy Cyfrowe - RUC 2005: materiały VIII krajowej konferencji naukowej, Szczecin, Polska, Szczecin: Politechnika Szczecińska, 2005, s. 17--23, ISBN: 8387362697,
Kod: KON-NANG BibTeX (pkt. 0)

67. Synthesis of CMCU with encoding of outputs of operational linear chains, 2005, Marian Adamski , Oleksandr Barkalov , R. Malcheva , Remigiusz Wiśniewski , W: Masinostroenie i technosfera XXI veka: sbornik trudov XII mezdunarodnoj naucno-techniceskoj konferencii, Sevastopol, Ukraina, Doneck: DonNTU, 2005, T. 4, s. 279--282, ISBN: 9667907198,
Kod: KON-ANG BibTeX (pkt. 0)

68. Synthesis of comositional microprogram control unit on FPGA, 2005, Oleksandr Barkalov , Remigiusz Wiśniewski , Larysa Titarenko , W: Mixed Design of Integrated Circuits and Systems - MIXDES 2005: proceedings of the 12th International Conference, Kraków, Polska, Kraków: [brak wydawcy], 2005, Vol. 1, s. 205--208, ISBN: 8391928993,
Słowa kluczowe: control unit, conversion, operational linear chains, programmable logic devices
Kod: KON-ANG BibTeX (pkt. 0)

69. Synthesis of compositional microprogram control units with transformation of the numbers of inputs, 2005, Oleksandr Barkalov , Larysa Titarenko , Remigiusz Wiśniewski , W: The experience of designing and application of CAD systems in microelectronics: proceedings of the VIIIth International Conference CADSM 2005, Lviv - Polyana, Ukraina, Lviv: Publishing House of Lviv Polytechnic National University, 2005, s. 181--184, ISBN: 9665534319,
Słowa kluczowe: compositional microprogram control unit, control unit, design, operational linear chain, programmable logic devices
Kod: KON-ANG BibTeX (pkt. 0)

70. Wykorzystanie hipergrafów do optymalizacji rozmiaru mikrooperacji w układach mikroprogramowanych, 2005, Monika Wiśniewska , Remigiusz Wiśniewski , Marian Adamski , W: Reprogramowalne Układy Cyfrowe - RUC 2005: materiały VIII krajowej konferencji naukowej, Szczecin, Polska, Szczecin: Politechnika Szczecińska, 2005, s. 33--40, ISBN: 8387362697,
Słowa kluczowe: hipergraf, klasy kompatybilności, mikroinstrukcja, mikrooperacja, minimalizacja rozmiaru pamięci, układ mikroprogramowany
Kod: KON-NANG BibTeX (pkt. 0)

71. Zastosowanie transwersali hipergrafów do minimalizacji rozmiaru pamięci jednostek sterujących, 2005, Monika Wiśniewska , Remigiusz Wiśniewski , W: Informatyka - sztuka czy rzemiosło - KNWS' 05: materiały II konferencji naukowej, Złotniki Lubańskie, Polska, Zielona Góra: Oficyna Wydaw. Uniwersytetu Zielonogórskiego, 2005, s. 23--32, ISBN: 8389712628,
Kod: KON-NANG BibTeX (pkt. 0)

72. Design of compositional microprogram control units with sharing of the codes, 2004, Remigiusz Wiśniewski , W: VI Międzynarodowe Warsztaty Doktoranckie - OWD 2004, Wisła, Polska, Gliwice: [brak wydawcy], 2004, Archiwum Konferencji PTETiS, Vol. 19, z. 4, s. 217--220, ISBN: 8391599183,
Słowa kluczowe: control unit, operational linear chain, optimization, programmable logic devices
Kod: KON-NANG BibTeX (pkt. 0)

73. Design of compositional microprogram control units with transformation of the number of transactions, 2004, Oleksandr Barkalov , Remigiusz Wiśniewski , W: Mixed Design of Integrated Circuits and Systems - MIXDES 2004: Proceedings of the 11th International Conference, Szczecin, Polska, Łódź: [brak wydawcy], 2004, s. 172--175, ISBN: 8391928977,
Słowa kluczowe: control unit, conversion, operational linear chains, programmable logic devices
Kod: KON-ANG BibTeX (pkt. 0)

74. Optimization of compositional microprogram control units with sharing of codes, 2004, Oleksandr Barkalov , Remigiusz Wiśniewski , W: Avtomatizacija proektirovanija diskretnych sistem: materialy pjatoj mezdunarodnoj konferencii, Minsk, Białoruś, Minsk: [brak wydawcy], 2004, T. 1, s. 16--22, ISBN: 9856744067,
Słowa kluczowe: control unit, operational linear chain, optimization, progammable logic devices
Kod: KON-ANG BibTeX (pkt. 0)

75. Synthesis of compositional microprogram control units with transformation of the numbers of inputs, 2004, Oleksandr Barkalov , Remigiusz Wiśniewski , W: Discrete-Event System Design - DESDes '04: Proceedings of the International Workshop, Dychów, Polska, Zielona Góra: University of Zielona Góra Press, 2004, s. 145--148, ISBN: 8389712156,
Słowa kluczowe: control unit, flow-chart, operational linear chains, programmable logic devices
Kod: KON-ANG BibTeX (pkt. 0)

76. Benefits of hardware accelerated simulation, 2001, Remigiusz Wiśniewski , Arkadiusz Bukowiec , Marek Węgrzyn , W: Discrete-Event System Design - DESDes '01: Proceedings of the International Workshop, Przytok k/Zielonej Góry, Polska, Zielona Góra: Oficyna Wydaw. PZ, 2001, s. 229--234,
Słowa kluczowe: HDL, PLI, design verification, hardware acceleration, simulation
Kod: KON-ANG BibTeX (pkt. 0)

77. Sprzętowa akceleracja symulacji modeli zaprojektowanych z wykorzystaniem języków opisu sprzętu, 2000, Remigiusz Wiśniewski , Arkadiusz Bukowiec , Agnieszka Węgrzyn , W: Materiały XVI Sympozjum Koła Zainteresowań Cybernetycznych, Warszawa, Polska, Warszawa: [brak wydawcy], 2000, s. 119--124,
Kod: KON-NANG BibTeX (pkt. 0)

78. Zastosowanie algorytmów efektywnej kompresji danych na przykładzie aplikacji multimedialnej, 2000, Roman Drożdżyński , Remigiusz Wiśniewski , Adam Kołopieńczyk , W: Materiały XVI Sympozjum Koła Zainteresowań Cybernetycznych, Warszawa, Polska, Warszawa: [brak wydawcy], 2000, s. 26--32,
Kod: KON-NANG BibTeX (pkt. 0)