Search results
5 projects found matching your search criteria:
-
1. Quantitative properties for higher-order recursion schemes
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA BIS 6, Panel: ST6
-
2. Weighted automata for quantitative properties
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA 8, Panel: ST6
-
Principal investigator: dr Monika Dorota Zabłocka
Instytut Oceanologii PAN
Call: OPUS 21, Panel: ST10
-
Principal investigator: Karol Daniel Baran
Politechnika Gdańska
Call: PRELUDIUM 22, Panel: ST5
-
Principal investigator: prof. Jan Czesław Dobrowolski
Instytut Chemii i Techniki Jądrowej
Call: OPUS 5, Panel: ST5