Follow
Michał Wypych
Title
Cited by
Cited by
Year
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
412017
Hierarchical communication diagrams
M Szpyrka, P Matyasik, J Biernacki, A Biernacka, M Wypych, L Kotulski
Computing and Informatics 35 (1), 55-83, 2016
192016
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
142017
Alvis language with time dependence
M Szpyrka, P Matyasik, M Wypych
2013 Federated Conference on Computer Science and Information Systems, 1565-1570, 2013
122013
Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation.
M Szpyrka, P Matyasik, M Wypych
CS&P, 409-420, 2013
102013
Discrete-time systems modeling and verification with Alvis language and tools
M Szpyrka, M Wypych, J Biernacki, Ł Podolski
IEEE Access 6, 78766-78779, 2018
92018
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
72017
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
52018
Communication between agents in Alvis language
P Matyasik, M Szpyrka, M Wypych, J Biernacki
2016 MIXDES-23rd International Conference Mixed Design of Integrated …, 2016
52016
Simulation of multi-agent systems with Alvis Toolkit
M Szpyrka, P Matyasik, Ł Podolski, M Wypych
Artificial Intelligence and Soft Computing: 16th International Conference …, 2017
42017
Alvis modelling language
M Szpyrka, P Matyasik, M Wypych, J Biernacki, Ł Podolski
32017
Extension of Alvis compiler front-end
M Wypych, M Szpyrka, P Matyasik
AIP Conference Proceedings 1702 (1), 2015
32015
Generation of Java code from Alvis model
P Matyasik, M Szpyrka, M Wypych
AIP Conference Proceedings 1702 (1), 2015
32015
Priority management in Alvis language
M Szpyrka, A Biernacka, J Biernacki, M Wypych
2016 MIXDES-23rd International Conference Mixed Design of Integrated …, 2016
22016
Methods of Generation of Transition Systems for Alvis Language
M Wypych
12021
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
12017
VizieR Online Data Catalog: OCSVM anomalies (Solarz+, 2017)
A Solarz, M Bilicki, M Gromadzki, A Pollo, A Durkalec, M Wypych
VizieR Online Data Catalog, 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, ...
The system can't perform the operation now. Try again later.
Articles 1–20