| Formal reasoning in logic design of reconfigurable controllers M Adamski, J Tkacz 11th IFAC/IEEE International Conference on Programmable Devices and Embedded …, 2012 | 24 | 2012 |
| UML modelling in rigorous design methodology for discrete controllers G Łabiak, M Adamski, M Doligalski, J Tkacz, A Bukowiec International Journal of Electronics and Telecommunications, 27-34, 2012 | 18 | 2012 |
| State machine type colouring of Petri net by means of using a symbolic deduction method J Tkacz Measurement Automation and Monitoring 53 (5), 120-122, 2007 | 18 | 2007 |
| Logic design of structured configurable controllers J Tkacz, M Adamski 2012 IEEE 3rd International Conference on Networked Embedded Systems for …, 2012 | 12 | 2012 |
| Implementation of algorithm of Petri nets distributed synthesis into FPGA A Bukowiec, J Tkacz, T Gratkowski, T Gidlewicz International Journal of Electronics and Telecommunications 59 (4), 317-324, 2013 | 10 | 2013 |
| Projektowanie sekwencyjnych układów cyfrowych z wykorzystaniem logiki sekwentów Gentzena J Tkacz, M Adamski KNWS'09, 109-111, 2009 | 8 | 2009 |
| Design of Reconfigurable Logic Controllers A Karatkevich, A Bukowiec, M Doligalski, J Tkacz Springer International Publishing, 2016 | 7 | 2016 |
| Macrostate encoding of reconfigurable digital controllers from topological Petri net structure J Tkacz, M Adamski Przeglad Elektrotechniczny 88 (8), 137-140, 2012 | 7 | 2012 |
| Wyznaczanie SM-pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania J Tkacz, M Adamski KNWS'2011, 223-226, 2011 | 5 | 2011 |
| Role of UML modelling in discrete controller design G Labiak, M Adamski, J Tkacz, M Doligalski, A Bukowiec 2011 21st International Conference on Systems Engineering, 480-481, 2011 | 3 | 2011 |
| Komputerowe wspomaganie przekształceń symbolicznych Gentzena J Tkacz Metody i systemy komputerowe w badaniach naukowych i projektowaniu …, 2003 | 3* | 2003 |
| Wyznaczanie precyzji i dokładności lokalizacji obiektu na przykładzie systemu lokalizacji wewnątrzbudynkowej Dimension firmy Ubisense D Eljasz, J Tkacz, T Gratkowski, M Doligalski Przegląd Elektrotechniczny 12, 56-59, 2018 | 2 | 2018 |
| Dual synthesis of Petri net based application specific logic controllers with increased safety J Tkacz, A Bukowiec, M Adamski Bulletin of the Polish Academy of Sciences. Technical Sciences 64 (3), 467-478, 2016 | 2 | 2016 |
| Unit testing-based approach for reconfigurable logic controllers verification M Doligalski, J Tkacz, A Bukowiec, T Gratkowski Photonics Applications in Astronomy, Communications, Industry, and High …, 2015 | 2 | 2015 |
| Dual synthesis of petri net based dependable logic controllers for safety critical systems A Bukowiec, J Tkacz, M Adamski, R Wiśniewski 2014 7th International Conference on Human System Interactions (HSI), 243-248, 2014 | 2 | 2014 |
| Dual simulation of application specific logic controllers based on petri nets A Bukowiec, J Tkacz Multimedia and Ubiquitous Engineering, 399-404, 2014 | 2 | 2014 |
| Structured mapping of petri net states and events for FPGA implementations J Tkacz, M Adamski International Journal of Electronics and Telecommunications, 2013 | 2 | 2013 |
| Projektowanie układów sterowania binarnego wspomagane automatycznym wnioskowaniem Gentzena J Tkacz Uniwersytet Zielonogórski, 2008 | 2 | 2008 |
| Wykorzystanie komputerowego wnioskowania w projektowaniu kombinacyjnych układów sterowania J Tkacz, M Adamski Przegląd Telekomunikacyjny, 728-730, 2008 | 2 | 2008 |
| Gentzen system calculus implementation for symbolic minimization of complicated logical expressions J Tkacz Discrete-Event System Design 3 (1), 53-56, 2006 | 2 | 2006 |
Arkadiusz BukowiecUniversity of Zielona GóraVerified email at iie.uz.zgora.pl
