International Symposium on Mathematical Foundations of Computer Science (MFCS)

View Statistics Email Alert RSS Feed

Description

Event name
International Symposium on Mathematical Foundations of Computer Science (MFCS)
 
Event type
Event for scientific audience
 
Start date
26-08-2013
End date
30-08-2013
 
Location
Klosterneuburg, Austria
Klosterneuburg, Austria
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-11 of 11 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiben, Eduard ; Ganian, Robert ; Kwon, O-Joung A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex DeletionKonferenzbeitrag Inproceedings 2016
2Ganian, Robert ; Kim, Eun Jung ; Szeider, Stefan Algorithmic Applications of Tree-Cut WidthKonferenzbeitrag Inproceedings 2015
3Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Klute, Fabian ; Nöllenburg, Martin Extending Nearly Complete 1-Planar Drawings in Polynomial TimeKonferenzbeitrag Inproceedings 2020
4Biedl, Therese ; Chaplick, Steven ; Kaufmann, Michael ; Montecchiani, Fabrizio ; Nöllenburg, Martin ; Raftopoulou, Chrysanthi Layered Fan-Planar Graph DrawingsKonferenzbeitrag Inproceedings 2020
5Ganian, Robert ; Slivovsky, Friedrich ; Szeider, Stefan Meta-kernelization with Structural ParametersKonferenzbeitrag Inproceedings 2013
6Ganian, Robert ; de Haan, Ronald ; Kanj, Iyad ; Szeider, Stefan On Existential MSO and its Relation to ETHKonferenzbeitrag Inproceedings 2016
7Ganian, Robert ; Narayanaswamy, N. S. ; Ordyniak, Sebastian ; Rahul, C. S. ; Ramanujan, M. Sridharan On the Complexity Landscape of Connected f-Factor Problems*Konferenzbeitrag Inproceedings 2016
8Kovásznai, Gergely ; Veith, Helmut ; Fröhlich, Andreas ; Biere, Armin On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector LogicKonferenzbeitrag Inproceedings 2014
9Gajarsky, Jakub ; Lampis, Michael ; Makino, Kazuhisa ; Mitsou, Valia ; Ordyniak, Sebastian Parameterized Algorithms for Parity GamesKonferenzbeitrag Inproceedings 2015
10Müller, Moritz ; Szeider, Stefan Revisiting Space in Proof Complexity: Treewidth and PathwidthKonferenzbeitrag Inproceedings 2013
11Colcombet, Thomas ; Daviaud, Laure ; Zuleger, Florian Size-Change Abstraction and Max-Plus AutomataKonferenzbeitrag Inproceedings 2014