Automated novelty detection in the WISE survey with one-class support vector machines A Solarz, M Bilicki, M Gromadzki, A Pollo, A Durkalec, M Wypych Astronomy & Astrophysics 606, A39, 2017 | 43 | 2017 |
Hierarchical communication diagrams M Szpyrka, P Matyasik, J Biernacki, A Biernacka, M Wypych, L Kotulski Computing and Informatics 35 (1), 55-83, 2016 | 19 | 2016 |
Supporting BPMN process models with UML sequence diagrams for representing time issues and testing models A Suchenia, K Kluza, K Jobczyk, P Wiśniewski, M Wypych, A Ligęza Artificial Intelligence and Soft Computing: 16th International Conference …, 2017 | 14 | 2017 |
Alvis language with time dependence M Szpyrka, P Matyasik, M Wypych 2013 Federated Conference on Computer Science and Information Systems, 1565-1570, 2013 | 12 | 2013 |
Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation. M Szpyrka, P Matyasik, M Wypych CS&P, 409-420, 2013 | 10 | 2013 |
Discrete-time systems modeling and verification with Alvis language and tools M Szpyrka, M Wypych, J Biernacki, Ł Podolski IEEE Access 6, 78766-78779, 2018 | 9 | 2018 |
Heuristic optimization of a sensor network lifetime under coverage constraint K Trojanowski, A Mikitiuk, F Guinand, M Wypych Computational Collective Intelligence: 9th International Conference, ICCCI …, 2017 | 7 | 2017 |
Modelling and verification of real-time systems with Alvis M Szpyrka, Ł Podolski, M Wypych Towards a Synergistic Combination of Research and Practice in Software …, 2018 | 5 | 2018 |
Communication between agents in Alvis language P Matyasik, M Szpyrka, M Wypych, J Biernacki 2016 MIXDES-23rd International Conference Mixed Design of Integrated …, 2016 | 5 | 2016 |
Simulation of multi-agent systems with Alvis Toolkit M Szpyrka, P Matyasik, Ł Podolski, M Wypych Artificial Intelligence and Soft Computing: 16th International Conference …, 2017 | 4 | 2017 |
Alvis modelling language M Szpyrka, P Matyasik, M Wypych, J Biernacki, L Podolski | 3 | 2017 |
Extension of Alvis compiler front-end M Wypych, M Szpyrka, P Matyasik AIP Conference Proceedings 1702 (1), 2015 | 3 | 2015 |
Generation of Java code from Alvis model P Matyasik, M Szpyrka, M Wypych AIP Conference Proceedings 1702 (1), 2015 | 3 | 2015 |
Priority management in Alvis language M Szpyrka, A Biernacka, J Biernacki, M Wypych 2016 MIXDES-23rd International Conference Mixed Design of Integrated …, 2016 | 2 | 2016 |
Methods of Generation of Transition Systems for Alvis Language M Wypych | 1 | 2021 |
A survey of Alvis communication modes M Szpyrka, J Biernacki, P Matyasik, M Wypych International Journal of Microelectronics and Computer Science 8 (1), 1-9, 2017 | 1 | 2017 |
VizieR Online Data Catalog: OCSVM anomalies (Solarz+, 2017) A Solarz, M Bilicki, M Gromadzki, A Pollo, A Durkalec, M Wypych VizieR Online Data Catalog 360, J/A+ A/606/A39, 2017 | | 2017 |
Język modelowania Alvis M Szpyrka, M Wypych, A Karatkevich, K Zaworski | | |
University of Science and Technology in Kraków M Wypych, M Szpyrka | | |
Tematy projektów do wykładu z rozpoznawania i rozumienia obrazów (część opisowa+ prezentacja w PPT) W Bauer, T Marszał, B Pisulak, P Antosz, T Satława, Ł Harazin, ... | | |