International Colloquium on Automata, Languages and Programming (ICALP)

View Statistics Email Alert RSS Feed

Description

Event name
International Colloquium on Automata, Languages and Programming (ICALP)
 
Event type
Event for scientific audience
 
Start date
09-07-2012
End date
13-07-2012
 
Location
Warwick, UK
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Gaspers, Serge ; Szeider, Stefan Backdoors to Acyclic SATKonferenzbeitrag Inproceedings 2012
2Eiben, Eduard ; Ganian, Robert ; Hamm, Thekla ; Klute, Fabian ; Nöllenburg, Martin Extending Partial 1-Planar DrawingsKonferenzbeitrag Inproceedings 2020
3Charron-Bost, Bernadette ; Függer, Matthias ; Nowak, Thomas Fast, Robust, Quantizable Approximate ConsensusKonferenzbeitrag Inproceedings 2016
4Ganian, Robert ; Hlinený, Petr ; Král, Daniel ; Obdrálek, Jan ; Schwartz, Jarett ; Teska, Jakub FO Model Checking of Interval GraphsKonferenzbeitrag Inproceedings 2013
5Aminof, Benjamin ; Rubin, Sasha ; Spegni, Francesco ; Zuleger, Florian Liveness of Parameterized Timed NetworksKonferenzbeitrag Inproceedings 2015