International Colloquium on Automata, Languages and Programming (ICALP)
Event name
International Colloquium on Automata, Languages and Programming (ICALP)
Start date
09-07-2012
End date
13-07-2012
Location
Warwick, UK
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-6 of 6 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gaspers, Serge ; Szeider, Stefan | Backdoors to Acyclic SAT | Konferenzbeitrag Inproceedings  | 2012 | |
| 2 | Ganian, Robert ; Hamm, Thekla ; Klute, Fabian ; Parada, Irene ; Vogtenhuber, Birgit | Crossing-Optimal Extension of Simple Drawings | Konferenzbeitrag Inproceedings | 2021 | |
| 3 | Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Klute, Fabian ; Nöllenburg, Martin | Extending Partial 1-Planar Drawings | Konferenzbeitrag Inproceedings | 2020 | |
| 4 | Charron-Bost, Bernadette ; Függer, Matthias ; Nowak, Thomas | Fast, Robust, Quantizable Approximate Consensus | Konferenzbeitrag Inproceedings | 2016 | |
| 5 | Ganian, Robert ; Hlinený, Petr ; Král, Daniel ; Obdrálek, Jan ; Schwartz, Jarett ; Teska, Jakub | FO Model Checking of Interval Graphs | Konferenzbeitrag Inproceedings | 2013 | |
| 6 | Aminof, Benjamin ; Rubin, Sasha ; Spegni, Francesco ; Zuleger, Florian | Liveness of Parameterized Timed Networks | Konferenzbeitrag Inproceedings | 2015 |