Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Hierarchy-type Problems for Automata on Infinite Words and Trees

2012/05/N/ST6/03254

Keywords:

automata complexity hierarchy

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms
  • ST1_1: Logic and foundations

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Michał Skrzypczak 

Number of co-investigators in the project: 2

Call: PRELUDIUM 3 - announced on 2012-03-15

Amount awarded: 58 600 PLN

Project start date (Y-m-d): 2013-03-26

Project end date (Y-m-d): 2015-09-25

Project duration:: 30 months (the same as in the proposal)

Project status: Project settled

Equipment purchased [PL]

  1. Komputer stacjonarny (4 000 PLN)

Information in the final report

  • Publication in academic press/journals (3)
  • Articles in post-conference publications (1)
  1. On the Topological Complexity of w-Languages of Non-Deterministic Petri Nets
    Authors:
    Olivier Finkel, Michał Skrzypczak
    Academic press:
    Information Processing Letters (rok: 2014, tom: 114/5, strony: 229-233), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.ipl.2013.12.007 - link to the publication
  2. Topological extension of parity automata
    Authors:
    Michał Skrzypczak
    Academic press:
    Information and Computation (rok: 2013, tom: 228, strony: 16-27), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.ic.2013.06.004 - link to the publication
  3. Index problems for game automata
    Authors:
    Alessandro Facchini, Filip Murlak, Michał Skrzypczak
    Academic press:
    Transactions on Computational Logic (rok: 2016, tom: 17(4), strony: 24:1-24:38), Wydawca: Association for Computing Machinery
    Status:
    Published
    DOI:
    10.1145/2946800 - link to the publication
  1. Rabin-Mostowski index problem: a step beyond deterministic automata
    Authors:
    Alessandro Facchini, Filip Murlak, Michał Skrzypczak
    Conference:
    Logic In Computer Science (rok: 2013, ), Wydawca: IEEE Computer Society
    Data:
    konferencja 25-28 czerwca
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy