Badania i projekty naukowe
- Serwis Hippo (współbieżne systemy sterujące, sieci Petriego, grafy, hipergrafy, projektowanie, analiza, dekompozycja)
- Serwis kryptograficzny (zagadki, zadania, materiały, wizualizacja algorytmów)
Sesje i konferencje naukowe
Wybrane publikacje
- Prototyping of Concurrent Control Systems Implemented in FPGA Devices (book), Springer International Publishing, 2017, BibTeX, DOI
- Design of multi-context reconfigurable logic controllers implemented in FPGA devices oriented for further partial reconfiguration,
Journal of Circuits, Systems, and Computers, 2018, BibTeX, DOI
- Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices,
IEEE Transactions on Industrial Informatics, 2017, BibTeX, DOI
- Design and verification of real-life processes with application of Petri nets,
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017, BibTeX, DOI
- Prototyping of Concurrent Control Systems with Application of Petri Nets and Comparability Graphs,
IEEE Transactions on Control Systems Technology, 2017, BibTeX, DOI
- On state machine decomposition of Petri nets (book chapter), Cambridge Scholar Publishing, 2014, BibTeX
- Theoretical aspects of Petri nets decomposition based on invariants and hypergraphs (book chapter), Springer-Verlag, 2014, BibTeX
- Design of microprogrammed controllers to be implemented in FPGAs,
International Journal of Applied Mathematics and Computer Science, 2011, BibTeX
- Synthesis of compositional microprogram control units for programmable devices (book), UZ Press, 2009, BibTeX
- Benefits of hardware accelerated simulation, Int. Conf. on DESDes, UZ Press, 2001, BibTeX
Pełna lista publikacji