Simulation and bisimulation for context-free and pushdown systems
2012/05/N/ST6/03226
Keywords
Descriptors
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
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
Voivodeship: mazowieckie
Principal investigator (from the host institution)
Number of co-investigators in the project: 2
Call
PRELUDIUM 3 – announced on 2012-03-15
- Amount awarded
- 63 900 PLN
- Project start date
- 2013-02-06
- Project end date
- 2014-12-05
- Project duration
- 22 months (the same as in the proposal)
- Project status
- Project settled
Equipment purchased [PL]
- Czytnik e-booków. Cost: 1 650 PLN
- Laptop. Cost: 6 000 PLN
- Tablet.
- Zewnętrzna kamera internetowa. Cost: 350 PLN
Information in the final report
Articles in post-conference publications (3)
-
Decidability of Weak Simulation on One-Counter Nets.
- Authors:
- Piotr Hofman, Richard Mayr, Patrick Totzke
- Conference:
- 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013 (year: 2013, pages: 203-212), Publisher: IEEE Computer Society
- Date:
- conference Czerwiec 25-28, 2013
- Status:
- Published
- DOI:
- link to the publication
-
Infinite-state energy games
- Authors:
- Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke
- Conference:
- Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014 (year: 2014, pages: Article No.: 7), Publisher: ACM
- Date:
- conference 14 - 18 Lipiec 2014
- Status:
- Published
- DOI:
- link to the publication
-
Simulation Over One-counter Nets is PSPACE-Complete
- Authors:
- Piotr Hofman Slawomir Lasota Richard Mayr Patrick Totzke
- Conference:
- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013 (year: 2013, pages: 515-526), Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
- Date:
- conference Grudzień 12-14, 2013
- Status:
- Published
- DOI:
- link to the publication