Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

Znaleziono 4 projektów spełniających kryteria wyszukiwania:

  1. Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych

    Konkurs: OPUS 5 , panel: ST6

    Kierownik: dr hab. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  2. Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem

    Konkurs: PRELUDIUM 3 , panel: ST6

    Kierownik: dr Piotr Hofman

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  3. Równoległe i dokładne algorytmy dla problemów ścieżkowych w grafach skierowanych

    Konkurs: SONATA 18 , panel: ST6

    Kierownik: dr Adam Karczmarz

    IDEAS NCBR Sp. z o.o.

  4. Granice automatycznej analizy systemów współbieżnych

    Konkurs: OPUS 21 , panel: ST6

    Kierownik: prof. Sławomir Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki