Projects funded by the NCN

The rules of exclusion of multiplicity of evaluations as interpretive and applicative methods of solving the problem of ...

Call: PRELUDIUM 21 , Panel: HS5

Principal investigator: Michał Andrzej Rachalski

Uniwersytet Jagielloński, Wydział Prawa i Administracji

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 Grzegorz Wiśniewski

Uniwersytet Zielonogórski

Scalable reasoning about concurrent imperative programs

Call: SONATA 12 , Panel: ST6

Principal investigator: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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ł Tomasz 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ł Tomasz Wojciechowski

Politechnika Poznańska, Wydział Informatyki