ℹ️
🇬🇧
Search
Search for people relevant for "clustering algorithm"
clustering algorithm
Person
Class
Person
Publication
Programmes
Paolo Arcaini Ph.D.
Person without affiliation with CUNI
29 publications
Publications
publication
User Driven Query Framework of Social Networks for Geo-Temporal Analysis of Events of Interest
2016 |
Faculty of Mathematics and Physics
publication
User-driven geo-temporal density-based exploration of periodic and not periodic events reported in social networks
2016 |
Faculty of Mathematics and Physics
publication
Decomposition-Based Approach for Model-Based Test Generation
2019 |
Faculty of Mathematics and Physics
publication
Fault-based test generation for regular expressions by mutation
2019 |
Faculty of Mathematics and Physics
publication
Integrating Formal Methods into Medical Software Development: the ASM approach
2018 |
Faculty of Mathematics and Physics
publication
Geotemporal Querying of Social Networks and Summarization
2018 |
Faculty of Mathematics and Physics
publication
An Evolutionary Process for Product-driven Updates of Feature Models
2018 |
Faculty of Mathematics and Physics
publication
SMT for state-based formal methods: the ASM case study
2018 |
Faculty of Mathematics and Physics
publication
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin
2018 |
Faculty of Mathematics and Physics
publication
Rigorous development process of a safety-critical system: from ASM models to Java code
2017 |
Faculty of Mathematics and Physics
Load more publications (19)
Loading network view...