PERS - System Informacji o Pracownikach

SKEP - Wyniki wyszukiwania wśród publikacji

Szukanie:
w opisie bibliograficznym
Wprowadzona fraza:
(Wiśniewski)
Opublikowano w latach:
1900 - 2100
Znaleziono:
214 (spośród około 72843)
26.
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
Cytowania wg Scopus: 3 [08-01-2024]
[KONF-23954] [data modyf. 23-08-2023 06:35]
27.
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
Cytowania wg Scopus: 5 [08-01-2024]
[WZCZ-22719] [data modyf. 23-08-2023 06:35]
28.
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
[WZCZ-22231] [data modyf. 04-10-2021 14:25]
29.
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
Cytowania wg Scopus: 0 [08-01-2024]
[KONF-23997] [data modyf. 23-08-2023 06:35]
30.
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
Cytowania wg Scopus: 0 [08-01-2024]
[KONF-23998] [data modyf. 23-08-2023 06:35]
31.
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
Cytowania wg Scopus: 0 [08-01-2024]
[KONF-24154] [data modyf. 28-09-2023 08:30]
32.
Hormones regulating energy homeostasis in breastfeeding versus formula feeding mothers, 2021, Jolanta Nurek , Oskar Wojciech Wiśniewski , Justyna Kupsz , Hanna Krauss , Zuzanna Buchwald , Zuzanna Chęcińska-Maciejewska , Magdalena Gibas-Dorna , Journal of Physiology and Pharmacology, Vol. 72, 5, -, ISSN: 0867-5910, eISSN: 1899-1505, bibliogr. tab. wykr. summ.
Słowa kluczowe: adiponectin, breastfeeding, cortisol, formula feeding mothers, ghrelin, insulin, lactation, leptin, maternal hypothalamic-pituitary-adrenal axis, prolactin
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.26402/jpp.2021.5.08
Cytowania wg Scopus: 1 [08-01-2024]
Cytowania wg WOS: 1 [18-12-2023], JIF: 2.589
[AWCZ-33049] [data modyf. 30-06-2022 11:50]
33.
Diet-Induced Adipocyte Browning, 2021, Oskar Wojciech Wiśniewski , Aleksander Rajczewski , Agnieszka Szumigała , Magdalena Gibas-Dorna , Polish Journal of Food and Nutrition Sciences, Vol. 71, 4, 353--381, ISSN: 1230-0322, bibliogr. summ.
Słowa kluczowe: adipocyte browning, beige adipose tissue, brite adipose tissue, diet, diet therapy, obesity
Kod: CZR-N-WYKAZ BibTeX (pkt. 100) DOI: 10.31883/pjfns/143164
Cytowania wg Scopus: 0 [08-01-2024]
Cytowania wg WOS: 0 [01-01-2024],
Open Access: Licence: CC-BY-NC-ND, Article mode: OPEN_JOURNAL, Release time: AT_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 15-11-2021
[AWCZ-33045] [data modyf. 29-09-2023 08:36]
34.
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
Cytowania wg Scopus: 12 [08-01-2024]
Cytowania wg WOS: 10 [01-01-2024], JIF: 3.252
Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 11-11-2021
[AWCZ-32403] [data modyf. 29-06-2022 09:54]
35.
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
Cytowania wg Scopus: 15 [08-01-2024]
Cytowania wg WOS: 11 [25-12-2023], JIF: 2.157
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
[AWCZ-32194] [data modyf. 23-08-2023 06:35]
36.
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
Cytowania wg Scopus: 12 [08-01-2024]
Cytowania wg WOS: 14 [25-12-2023], JIF: 13.451
[AWCZ-23547] [data modyf. 04-05-2022 09:05]
37.
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
Cytowania wg Scopus: 2 [08-01-2024]
Cytowania wg WOS: 2 [01-01-2024], JIF: 13.451
[AWCZ-25585] [data modyf. 04-05-2022 09:06]
38.
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
Cytowania wg Scopus: 21 [08-01-2024]
Cytowania wg WOS: 19 [01-01-2024], JIF: 3.576
Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 28-09-2020
[AWCZ-25668] [data modyf. 29-04-2022 12:21]
39. Recent Developments in the Theory of Shells, 2019, Holm Altenbach , Jacek Chróścielewski , Victor A. Eremeyev , Krzysztof Wiśniewski , , eds. H. Altenbach, J. Chróścielewski, V. A. Eremeyev, K. Wiśniewski Cham: Springer Nature Switzerland (#), s. 798, (Advanced Structured Materials, Vol. 110), ISBN: 9783030177461,
Kod: MON-W1 BibTeX (pkt. 80)
[WZ-15139] [data modyf. 23-08-2021 14:43]
40. Strategic risk management against hazards for safety of processes in critical infrastructures, 2019, Tadeusz Krupa , Ewa Kulińska , Teresa Ostrowska , Justyna Patalas-Maliszewska , Michał Wiśniewski , Janusz Zawiła-Niedźwiecki , Warszawa: Wydział Zarządzania Politechniki Warszawskiej (#), s. 331, (Management Sciences Series, Vol. 8), ISBN: 9788363370206, bibliogr. rys. tab. wykr. summ. https://www.researchgate.net/publication/335320603_Strategic_risk_management_against_hazards_for_safety_of_processes_in_critical_infrastructures
Kod: MON-W1 BibTeX (pkt. 80)
[WZ-15005] [data modyf. 29-11-2021 10:42]
41.
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
Cytowania wg Scopus: 11 [08-01-2024]
[KONF-23600] [data modyf. 17-01-2023 09:23]
42.
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
Cytowania wg Scopus: 11 [08-01-2024]
[KONF-23599] [data modyf. 17-01-2023 09:23]
43.
An Alternative Approach to the Buckling Resistance Assessment of Steel, Pressurised Spherical Shells, 2019, Paweł Błażejewski , Jakub Marcinowski , W: Recent Developments in the Theory of Shells, 2019 / eds. H. Altenbach, J. Chróścielewski, V. A. Eremeyev, K. Wiśniewski, Cham: Springer Nature Switzerland (#), (Advanced Structured Materials, Vol. 110), s. 109--134, ISBN: 9783030177461
Kod: MOR-W1 BibTeX (pkt. 20) DOI: 10.1007/978-3-030-17747-8_8
Cytowania wg Scopus: 0 [08-01-2024]
[WZCZ-21126] [data modyf. 06-04-2021 14:00]
44.
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
Cytowania wg Scopus: 13 [08-01-2024]
Cytowania wg WOS: 12 [11-12-2023], JIF: 1.214
[AWCZ-23192] [data modyf. 05-07-2022 11:27]
45.
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
Cytowania wg Scopus: 34 [08-01-2024]
Cytowania wg WOS: 26 [01-01-2024], JIF: 3.745
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
[AWCZ-23665] [data modyf. 20-06-2022 14:59]
46.
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
Cytowania wg Scopus: 14 [08-01-2024]
Cytowania wg WOS: 11 [25-12-2023], JIF: 2.552
[AWCZ-23563] [data modyf. 29-06-2022 14:41]
47.
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
Cytowania wg Scopus: 16 [08-01-2024]
Cytowania wg WOS: 11 [01-01-2024], JIF: 2.814
[AWCZ-23194] [data modyf. 05-07-2022 11:29]
48.
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
Cytowania wg Scopus: 12 [08-01-2024]
Cytowania wg WOS: 13 [18-12-2023], JIF: 1.747
Open Access: Licence: CC-BY, Article mode: OPEN_JOURNAL, Release time: AFTER_PUBLICATION, Text version: FINAL_PUBLISHED, Date of publication: 02-09-2019
[AWCZ-24314] [data modyf. 07-07-2022 11:47]
49.
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
Cytowania wg Scopus: 3 [08-01-2024]
Cytowania wg WOS: 3 [25-12-2023], JIF: 3.745
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
[AWCZ-24526] [data modyf. 20-06-2022 14:59]
50.
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
Cytowania wg Scopus: 22 [08-01-2024]
Cytowania wg WOS: 18 [01-01-2024], JIF: 3.745
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
[AWCZ-23493] [data modyf. 20-06-2022 14:59]