Translation UML diagrams into Verilog G Bazydlo, M Adamski, Ł Stefanowicz 2014 7th International Conference on Human System Interactions (HSI), 267-271, 2014 | 25 | 2014 |
Theoretical aspects of Petri nets decomposition based on invariants and hypergraphs R Wiśniewski, Ł Stefanowicz, A Bukowiec, J Lipiński Multimedia and ubiquitous engineering, 371-376, 2014 | 25 | 2014 |
Application of hypergraphs to SMCs selection Ł Stefanowicz, M Adamski, R Wiśniewski, J Lipiński Technological Innovation for Collective Awareness Systems: 5th IFIP WG 5.5 …, 2014 | 21 | 2014 |
Application of an exact transversal hypergraph in selection of SM-components Ł Stefanowicz, M Adamski, R Wisniewski Technological Innovation for the Internet of Things: 4th IFIP WG 5.5 …, 2013 | 19 | 2013 |
Application of hypergraphs to the reduction of the memory size in the microprogrammed controllers with address converter M Adamski, M Wiśniewska, R Wiśniewski, Ł Stefanowicz Przegld Elektrotechniczny, 134-136, 2012 | 16 | 2012 |
Aspects of selection of SM components with the application of the theory of hypergraphs Ł Stefanowicz, M Adamski 2014 7th International Conference on Human System Interactions (HSI), 221-226, 2014 | 9 | 2014 |
Safety analysis of Petri nets based on the SM-cover computed with the linear algebra technique R Wisniewski, M Wojnakowski, Ł Stefanowicz AIP Conference Proceedings 2040 (1), 080008, 2018 | 8 | 2018 |
Exact cover of states in the discrete state-space system R Wiśniewski, Ł Stefanowicz, M Wiśniewska, D Kur AIP Conference Proceedings 1702 (1), 2015 | 6 | 2015 |
Partial reconfiguration of concurrent logic controllers implemented in FPGA devices R Wiśniewski, I Grobelna, Ł Stefanowicz AIP Conference Proceedings 1790 (1), 2016 | 4 | 2016 |
State machine components selection based on minimal transversals Ł Stefanowicz, P Mróz AIP Conference Proceedings 1702 (1), 100008, 2015 | 3 | 2015 |
A rule-based approach to model checking of UML state machines I Grobelna, M Grobelny, Ł Stefanowicz AIP Conference Proceedings 1790 (1), 2016 | 2 | 2016 |
Conception of discrete systems decomposition algorithm using p-invariants and hypergraphs Ł Stefanowicz Photonics Applications in Astronomy, Communications, Industry, and High …, 2016 | 1 | 2016 |
Application of Hypergraphs in the Prime Implicants Selection Process R Wiśniewski, G Bazydło, M Węgrzyn IFAC-PapersOnLine 48 (4), 302-305, 2015 | 1 | 2015 |
Zastosowanie hipergrafów w procesie selekcji implikantów prostych R Wiśniewski, Ł Stefanowicz Pomiary Automatyka Kontrola 59 (11), 1195-1197, 2013 | 1 | 2013 |
Zastosowanie układów reprogramowalnych FPGA w projekcie" Inteligentny Dom" Ł Stefanowicz, R Wiśniewski, M Węgrzyn Pomiary Automatyka Kontrola 58, 614-616, 2012 | 1 | 2012 |
Akceleracja obliczeń komputerowych za pomocą układów graficznych z wykorzystaniem technologii CUDA R Wiśniewski, M Wiśniewska Pomiary Automatyka Kontrola 57 (8), 954-956, 2011 | 1 | 2011 |
Selection of state machine components for a Petri net based on the computation of an exact transversal Ł Stefanowicz, R Wiśniewski, A Karatkevich AIP Conference Proceedings 2040 (1), 2018 | | 2018 |
Application of modified Martinez-Silva algorithm in determination of net cover Ł Stefanowicz, I Grobelna AIP Conference Proceedings 1790 (1), 2016 | | 2016 |
Wykorzystanie pseudostanów historii do modelowania sytuacji awaryjnych w maszynie stanów UML G Bazydło, M Adamski, Ł Stefanowicz Pomiary Automatyka Kontrola 60 (7), 513-515, 2014 | | 2014 |
Algorytm selekcji wykorzystujący teorię hipergrafów R Wiśniewski, M Adamski Pomiary Automatyka Kontrola 60 (7), 516--518, 2014 | | 2014 |