5 projects found matching your search criteria :
Call: SONATA 20 , Panel: ST8
Principal investigator: dr Mateusz Sitko
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Call: OPUS 27 , Panel: ST8
Principal investigator: dr Konrad Perzyński
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Call: OPUS 18 , Panel: ST8
Principal investigator: prof. Łukasz Karol Madej
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Call: SONATA 11 , Panel: ST8
Principal investigator: dr Łukasz Rafał Łach
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Weighted automata for quantitative properties
Call: SONATA 8 , Panel: ST6
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki