Projects funded by the NCN

Development and validation of concurent random cellular automata - finite element (RCAFE) model with virtual microstruct...

Call: SONATA BIS 4 , Panel: ST8

Principal investigator: dr hab. Łukasz Madej

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej

The Concurrence of Regimes of the Repressive Liability. The Models of Solving the Problem of the Accumulation of the Pen...

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

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

Analysis and decomposition of a control part of a cyber-physical system specified by an interpreted Petri net.

Call: OPUS 18 , Panel: ST6

Principal investigator: dr hab. Remigiusz Wiśniewski

Uniwersytet Zielonogórski

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