Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

7 projects found matching your search criteria :

  1. New automated verification methods of open real-time multi-agent systems

    Call: OPUS 29 , Panel: ST6

    Principal investigator: dr hab. Bożena Woźna-Szcześniak

    Akademia im. Jana Długosza w Częstochowie

  2. Structure and algorithms for graph classes defined by transduction-closed properties

    Call: SONATA 18 , Panel: ST6

    Principal investigator: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  3. Selected SMT-based model checking methods

    Call: PRELUDIUM 8 , Panel: ST6

    Principal investigator: Agnieszka Małgorzata Zbrzezny

    Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

  4. Weighted automata for quantitative properties

    Call: SONATA 8 , Panel: ST6

    Principal investigator: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  5. New methods in parametric model checking

    Call: PRELUDIUM 4 , Panel: ST6

    Principal investigator: Michał Józef Knapik

    Instytut Podstaw Informatyki PAN

  6. Simulation and bisimulation for context-free and pushdown systems

    Call: PRELUDIUM 3 , Panel: ST6

    Principal investigator: dr Piotr Hofman

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  7. Development and implementation of model checking methods for real-time and multi-agent systems

    Call: OPUS 1 , Panel: ST6

    Principal investigator: dr hab. Bożena Woźna-Szcześniak

    Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy