10 projects found matching your search criteria :
Call: SONATA 5 , Panel: HS5
Principal investigator: dr Anna Błachnio-Parzych
Instytut Nauk Prawnych PAN
New methods of comprehensive analysis of concurrent computing systems
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Łukasz Mikulski
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Eventually consistent replication: Algorithms and methods
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Paweł Wojciechowski
Politechnika Poznańska, Wydział Informatyki
Concurrency control and fault tolerance for distributed software transactional memory
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Paweł Wojciechowski
Politechnika Poznańska, Wydział Informatyki
Call: PRELUDIUM 21 , Panel: HS5
Principal investigator: Michał Rachalski
Uniwersytet Jagielloński, Wydział Prawa i Administracji
Frontiers of automatic analysis of concurrent systems
Call: OPUS 21 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 18 , Panel: ST6
Principal investigator: dr hab. Remigiusz Wiśniewski
Uniwersytet Zielonogórski
Call: SHENG 1 , Panel: ST5
Principal investigator: dr hab. Dominika Wawrzyńczyk
Politechnika Wrocławska
Automatic analysis of concurrent systems
Call: OPUS 14 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Scalable reasoning about concurrent imperative programs
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki