Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

parametry modeli skończonych

2012/07/D/ST6/02435

Słowa kluczowe:

teoria modeli skończonych logika algorytmika teoria złożoności parametry grafów spektra obrazy Parikha grafy losowe

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Eryk Kopczyński 

Liczba wykonawców projektu: 1

Konkurs: SONATA 4 - ogłoszony 2012-09-15

Przyznana kwota: 117 150 PLN

Rozpoczęcie projektu: 2013-07-12

Zakończenie projektu: 2016-07-11

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. laptop. Za kwotę 6 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (5)
  • Teksty w publikacjach pokonferencyjnych (1)
  1. Complexity of Problems of Commutative Grammars
    Autorzy:
    Eryk Kopczyński
    Czasopismo:
    Logical Methods in Computer Science (rok: 2015, tom: 11, strony: -), Wydawca: LOGICAL METHODS IN COMPUTER SCIENCE e.V.
    Status:
    Opublikowana
    Doi:
    10.2168/LMCS-11(1:9)2015 - link do publikacji
  2. Bounded Degree and Planar Spectra
    Autorzy:
    Anuj Dawar, Eryk Kopczyński
    Czasopismo:
    Logical Methods of Computer Science (rok: 2017, tom: 0,544444444444444, strony: -), Wydawca: LOGICAL METHODS IN COMPUTER SCIENCE e.V.
    Status:
    Opublikowana
    Doi:
    10.23638/LMCS-13(4:6)2017 - link do publikacji
  3. On the variable hierarchy of first-order spectra
    Autorzy:
    Eryk Kopczyński, Tony Tan
    Czasopismo:
    ACM Transactions on Computational Logic (rok: 2015, tom: 16 (2), strony: 17:1--17:12), Wydawca: Association for Computing Machinery
    Status:
    Opublikowana
    Doi:
    10.1145/2733376 - link do publikacji
  4. Regular Graphs and the Spectra of Two-Variable Logic with Counting
    Autorzy:
    Eryk Kopczyński, Tony Tan
    Czasopismo:
    SIAM Journal on Computing (SICOMP) (rok: 2015, tom: 44 (3), strony: 786–818), Wydawca: Society for Industrial and Applied Mathematics
    Status:
    Opublikowana
    Doi:
    10.1137/130943625 - link do publikacji
  5. Logical properties of random graphs from small addable classes
    Autorzy:
    Anuj Dawar, Eryk Kopczyński
    Czasopismo:
    Logical Methods in Computer Science , Wydawca: LOGICAL METHODS IN COMPUTER SCIENCE e.V.
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  1. Locally Finite Constraint Satisfaction Problems.
    Autorzy:
    Bartek Klin, Eryk Kopczyński, Joanna Ochremiak, Szymon Toruńczyk
    Konferencja:
    30th Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS) (rok: 2015, ), Wydawca: IEEE
    Data:
    konferencja July 6-10, 2015
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy