Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 5 projektów spełniających kryteria wyszukiwania:
-
Weryfikacja formalna w modelach obliczeń rozszerzonych o dane
Konkurs: OPUS 28 , panel: ST6
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski
-
Na granicy niemożliwego w klasycznej teorii automatów
Konkurs: OPUS 28 , panel: ST6
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski
-
Modele obliczeń rozszerzone o dane
Konkurs: OPUS 18 , panel: ST6
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
Konkurs: OPUS 11 , panel: ST6
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Konkurs: OPUS 5 , panel: ST6
Kierownik: dr hab. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki