Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/icalp/icalp2003.bht:"
download as .bib file
@inproceedings{DBLP:conf/icalp/AgeevYZ03,
author = {Alexander A. Ageev and
Yinyu Ye and
Jiawei Zhang},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Improved Combinatorial Approximation Algorithms for the k-Level Facility
Location Problem},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {145--156},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_13},
doi = {10.1007/3-540-45061-0\_13},
timestamp = {Thu, 12 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/AgeevYZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlbersS03,
author = {Susanne Albers and
Rob van Stee},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {A Study of Integrated Document and Connection Caching},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {653--667},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_52},
doi = {10.1007/3-540-45061-0\_52},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlbersS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlfaroF03,
author = {Luca de Alfaro and
Marco Faella},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Information Flow in Concurrent Games},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1038--1053},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_80},
doi = {10.1007/3-540-45061-0\_80},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlfaroF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlfaroHM03,
author = {Luca de Alfaro and
Thomas A. Henzinger and
Rupak Majumdar},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Discounting the Future in Systems Theory},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1022--1037},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_79},
doi = {10.1007/3-540-45061-0\_79},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlfaroHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AmirACLP03,
author = {Amihood Amir and
Yonatan Aumann and
Richard Cole and
Moshe Lewenstein and
Ely Porat},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Function Matching: Algorithms, Applications, and a Lower Bound},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {929--942},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_72},
doi = {10.1007/3-540-45061-0\_72},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AmirACLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AnconaFMZ03,
author = {Davide Ancona and
Sonia Fagorzi and
Eugenio Moggi and
Elena Zucca},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Mixin Modules and Computational Effects},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {224--238},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_20},
doi = {10.1007/3-540-45061-0\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AnconaFMZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AntunesF03,
author = {Luis Antunes and
Lance Fortnow},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Sophistication Revisited},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {267--277},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_23},
doi = {10.1007/3-540-45061-0\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AntunesF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AriolaH03,
author = {Zena M. Ariola and
Hugo Herbelin},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Minimal Classical Logic and Control Operators},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {871--885},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_68},
doi = {10.1007/3-540-45061-0\_68},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AriolaH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AroraC03,
author = {Sanjeev Arora and
Kevin L. Chang},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Approximation Schemes for Degree-Restricted {MST} and Red-Blue Separation
Problem},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {176--188},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_16},
doi = {10.1007/3-540-45061-0\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AroraC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AwerbuchBS03,
author = {Baruch Awerbuch and
Andr{\'{e}} Brinkmann and
Christian Scheideler},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Anycasting in Adversarial Systems: Routing and Admission Control},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1153--1168},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_88},
doi = {10.1007/3-540-45061-0\_88},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AwerbuchBS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BansalAM03,
author = {Vipul Bansal and
Aseem Agrawal and
Varun S. Malhotra},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Stable Marriages with Multiple Partners: Efficient Search for an Optimal
Solution},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {527--542},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_43},
doi = {10.1007/3-540-45061-0\_43},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BansalAM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BaswanaS03,
author = {Surender Baswana and
Sandeep Sen},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {A Simple Linear Time Algorithm for Computing a (2k-1)-Spanner of O(n\({}^{\mbox{1+1/k}}\))
Size in Weighted Graphs},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {384--296},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_32},
doi = {10.1007/3-540-45061-0\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BaswanaS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BergerBBCR03,
author = {Noam Berger and
B{\'{e}}la Bollob{\'{a}}s and
Christian Borgs and
Jennifer T. Chayes and
Oliver Riordan},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Degree Distribution of the {FKP} Network Model},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {725--738},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_57},
doi = {10.1007/3-540-45061-0\_57},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BergerBBCR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BergstraB03,
author = {Jan A. Bergstra and
Inge Bethke},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Polarized Process Algebra and Program Equivalence},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1--21},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_1},
doi = {10.1007/3-540-45061-0\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BergstraB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BespamyatnikhS03,
author = {Sergei Bespamyatnikh and
Michael Segal},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Dynamic Algorithms for Approximating Interdistances},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1169--1180},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_89},
doi = {10.1007/3-540-45061-0\_89},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BespamyatnikhS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BhatiaCFN03,
author = {Randeep Bhatia and
Julia Chuzhoy and
Ari Freund and
Joseph Naor},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Algorithmic Aspects of Bandwidth Trading},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {751--766},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_59},
doi = {10.1007/3-540-45061-0\_59},
timestamp = {Wed, 03 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BhatiaCFN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Blaser03,
author = {Markus Bl{\"{a}}ser},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {An Improved Approximation Algorithm for the Asymmetric {TSP} with
Strengthened Triangle Inequality},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {157--163},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_14},
doi = {10.1007/3-540-45061-0\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Blaser03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BleichenbacherKY03,
author = {Daniel Bleichenbacher and
Aggelos Kiayias and
Moti Yung},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Decoding of Interleaved Reed Solomon Codes over Noisy Data},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {97--108},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_9},
doi = {10.1007/3-540-45061-0\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BleichenbacherKY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BlomFN03,
author = {Stefan Blom and
Wan J. Fokkink and
Sumit Nain},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {On the Axiomatizability of Ready Traces, Ready Simulation, and Failure
Traces},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {109--118},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_10},
doi = {10.1007/3-540-45061-0\_10},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BlomFN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BlondelD03,
author = {Vincent D. Blondel and
Paul Van Dooren},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Similarity Matrices for Pairs of Graphs},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {739--750},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_58},
doi = {10.1007/3-540-45061-0\_58},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BlondelD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BodirskyGK03,
author = {Manuel Bodirsky and
Clemens Gr{\"{o}}pl and
Mihyun Kang},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Generating Labeled Planar Graphs Uniformly at Random},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1095--1107},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_84},
doi = {10.1007/3-540-45061-0\_84},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BodirskyGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BonisGV03,
author = {Annalisa De Bonis and
Leszek Gasieniec and
Ugo Vaccaro},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Generalized Framework for Selectors with Applications in Optimal Group
Testing},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {81--96},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_8},
doi = {10.1007/3-540-45061-0\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BonisGV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BorosEGKM03,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Leonid Khachiyan and
Kazuhisa Makino},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {An Intersection Inequality for Discrete Distributions and Related
Generation Problems},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {543--555},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_44},
doi = {10.1007/3-540-45061-0\_44},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BorosEGKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BruniM03,
author = {Roberto Bruni and
Jos{\'{e}} Meseguer},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Generalized Rewrite Theories},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {252--266},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_22},
doi = {10.1007/3-540-45061-0\_22},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BruniM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BugliesiCPS03,
author = {Michele Bugliesi and
Silvia Crafa and
Amela Prelic and
Vladimiro Sassone},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Secrecy in Untrusted Networks},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {969--983},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_75},
doi = {10.1007/3-540-45061-0\_75},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BugliesiCPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BusiGZ03,
author = {Nadia Busi and
Maurizio Gabbrielli and
Gianluigi Zavattaro},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Replication vs. Recursive Definitions in Channel Based Calculi},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {133--144},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_12},
doi = {10.1007/3-540-45061-0\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BusiGZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Cachat03,
author = {Thierry Cachat},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and
Parity Games},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {556--569},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_45},
doi = {10.1007/3-540-45061-0\_45},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Cachat03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CarayolC03,
author = {Arnaud Carayol and
Thomas Colcombet},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {On Equivalent Representations of Infinite Structures},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {599--610},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_48},
doi = {10.1007/3-540-45061-0\_48},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CarayolC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChattopadhyayT03,
author = {Arkadev Chattopadhyay and
Denis Th{\'{e}}rien},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Locally Commutative Categories},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {984--995},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_76},
doi = {10.1007/3-540-45061-0\_76},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ChattopadhyayT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChekuriGN03,
author = {Chandra Chekuri and
Sudipto Guha and
Joseph Naor},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Approximating Steiner k-Cuts},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {189--199},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_17},
doi = {10.1007/3-540-45061-0\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ChekuriGN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChekuriMS03,
author = {Chandra Chekuri and
Marcelo Mydlarz and
F. Bruce Shepherd},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Multicommodity Demand Flow in a Tree},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {410--425},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_34},
doi = {10.1007/3-540-45061-0\_34},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ChekuriMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChenKPSX03,
author = {Jianer Chen and
Iyad A. Kanj and
Ljubomir Perkovic and
Eric Sedgwick and
Ge Xia},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Genus Characterizes the Complexity of Graph Problems: Some Tight Results},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {845--856},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_66},
doi = {10.1007/3-540-45061-0\_66},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ChenKPSX03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CieliebakFPS03,
author = {Mark Cieliebak and
Paola Flocchini and
Giuseppe Prencipe and
Nicola Santoro},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Solving the Robots Gathering Problem},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1181--1196},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_90},
doi = {10.1007/3-540-45061-0\_90},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CieliebakFPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Coja-OghlanMS03,
author = {Amin Coja{-}Oghlan and
Cristopher Moore and
Vishal Sanwalani},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {{MAX} k-CUT and Approximating the Chromatic Number of Random Graphs},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {200--211},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_18},
doi = {10.1007/3-540-45061-0\_18},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Coja-OghlanMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Condon03,
author = {Anne Condon},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Problems on {RNA} Secondary Structure Prediction and Design},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {22--32},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_2},
doi = {10.1007/3-540-45061-0\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Condon03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CrescenziGNPU03,
author = {Pierluigi Crescenzi and
Giorgio Gambosi and
Gaia Nicosia and
Paolo Penna and
Walter Unger},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Online Load Balancing Made Simple: Greedy Strikes Back},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1108--1122},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_85},
doi = {10.1007/3-540-45061-0\_85},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/CrescenziGNPU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DeanG03,
author = {Brian C. Dean and
Michel X. Goemans},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Improved Approximation Algorithms for Minimum-Space Advertisement
Scheduling},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1138--1152},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_87},
doi = {10.1007/3-540-45061-0\_87},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DeanG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DemaineFHT03,
author = {Erik D. Demaine and
Fedor V. Fomin and
Mohammad Taghi Hajiaghayi and
Dimitrios M. Thilikos},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Fixed-Parameter Algorithms for the (k, r)-Center in Planar Graphs
and Map Graphs},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {829--844},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_65},
doi = {10.1007/3-540-45061-0\_65},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DemaineFHT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DenisE03,
author = {Fran{\c{c}}ois Denis and
Yann Esposito},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Residual Languages and Probabilistic Automata},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {452--463},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_37},
doi = {10.1007/3-540-45061-0\_37},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DenisE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Doberkat03,
author = {Ernst{-}Erich Doberkat},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Semi-pullbacks and Bisimulations in Categories of Stochastic Relations},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {996--1007},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_77},
doi = {10.1007/3-540-45061-0\_77},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Doberkat03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DrosteK03,
author = {Manfred Droste and
Dietrich Kuske},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Skew and Infinitary Formal Power Series},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {426--438},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_35},
doi = {10.1007/3-540-45061-0\_35},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DrosteK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EisnerFHMC03,
author = {Cindy Eisner and
Dana Fisman and
John Havlicek and
Anthony McIsaac and
David Van Campenhout},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {The Definition of a Temporal Clock Operator},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {857--870},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_67},
doi = {10.1007/3-540-45061-0\_67},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/EisnerFHMC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ElkinK03,
author = {Michael Elkin and
Guy Kortsarz},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Approximation Algorithm for Directed Telephone Multicast Problem},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {212--223},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_19},
doi = {10.1007/3-540-45061-0\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ElkinK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Even-DarKM03,
author = {Eyal Even{-}Dar and
Alexander Kesselman and
Yishay Mansour},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Convergence Time to Nash Equilibria},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {502--513},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_41},
doi = {10.1007/3-540-45061-0\_41},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Even-DarKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FeldmannGLMR03,
author = {Rainer Feldmann and
Martin Gairing and
Thomas L{\"{u}}cking and
Burkhard Monien and
Manuel Rode},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Nashification and the Coordination Ratio for a Selfish Routing Game},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {514--526},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_42},
doi = {10.1007/3-540-45061-0\_42},
timestamp = {Tue, 26 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FeldmannGLMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FialaP03,
author = {Jir{\'{\i}} Fiala and
Dani{\"{e}}l Paulusma},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {The Computational Complexity of the Role Assignment Problem},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {817--828},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_64},
doi = {10.1007/3-540-45061-0\_64},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FialaP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Fiat03,
author = {Amos Fiat},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Some Issues Regarding Search, Censorship, and Anonymity in Peer to
Peer Networks},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {33},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_3},
doi = {10.1007/3-540-45061-0\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Fiat03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Fotakis03,
author = {Dimitris Fotakis},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {On the Competitive Ratio for Online Facility Location},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {637--652},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_51},
doi = {10.1007/3-540-45061-0\_51},
timestamp = {Thu, 24 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Fotakis03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FranceschiniG03,
author = {Gianni Franceschini and
Roberto Grossi},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Optimal Cache-Oblivious Implicit Dictionaries},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {316--331},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_27},
doi = {10.1007/3-540-45061-0\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FranceschiniG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GalM03,
author = {Anna G{\'{a}}l and
Peter Bro Miltersen},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {The Cell Probe Complexity of Succinct Data Structures},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {332--344},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_28},
doi = {10.1007/3-540-45061-0\_28},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GalM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GandhiHKKS03,
author = {Rajiv Gandhi and
Eran Halperin and
Samir Khuller and
Guy Kortsarz and
Aravind Srinivasan},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {An Improved Approximation Algorithm for Vertex Cover with Hard Capacities},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {164--175},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_15},
doi = {10.1007/3-540-45061-0\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GandhiHKKS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GarganoH03,
author = {Luisa Gargano and
Mikael Hammar},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {There Are Spanning Spiders in Dense Graphs (and We Know How to Find
Them)},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {802--816},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_63},
doi = {10.1007/3-540-45061-0\_63},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GarganoH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GorlaP03,
author = {Daniele Gorla and
Rosario Pugliese},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Resource Access and Mobility Control with Dynamic Privileges Acquisition},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {119--132},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_11},
doi = {10.1007/3-540-45061-0\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GorlaP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GutierrezR03,
author = {Francisco Guti{\'{e}}rrez and
Blas C. Ruiz},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Expansion Postponement via Cut Elimination in Sequent Calculi for
Pure Type Systems},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {956--968},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_74},
doi = {10.1007/3-540-45061-0\_74},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GutierrezR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HallHS03,
author = {Alexander Hall and
Steffen Hippler and
Martin Skutella},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Multicommodity Flows over Time: Efficient Algorithms and Complexity},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {397--409},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_33},
doi = {10.1007/3-540-45061-0\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HallHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Hannay03,
author = {Jo Erskine Hannay},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data
Types},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {903--917},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_70},
doi = {10.1007/3-540-45061-0\_70},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Hannay03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HenzingerJM03,
author = {Thomas A. Henzinger and
Ranjit Jhala and
Rupak Majumdar},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Counterexample-Guided Control},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {886--902},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_69},
doi = {10.1007/3-540-45061-0\_69},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HenzingerJM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HitchcockLM03,
author = {John M. Hitchcock and
Jack H. Lutz and
Elvira Mayordomo},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Scaled Dimension and Nonuniform Complexity},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {278--290},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_24},
doi = {10.1007/3-540-45061-0\_24},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HitchcockLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HolzerK03,
author = {Markus Holzer and
Martin Kutrib},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Flip-Pushdown Automata: k+1 Pushdown Reversals Are Better than k},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {490--501},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_40},
doi = {10.1007/3-540-45061-0\_40},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HolzerK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HoyerMW03,
author = {Peter H{\o}yer and
Michele Mosca and
Ronald de Wolf},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Quantum Search on Bounded-Error Inputs},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {291--299},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_25},
doi = {10.1007/3-540-45061-0\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HoyerMW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HromkovicS03,
author = {Juraj Hromkovic and
Georg Schnitger},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Pushdown Automata and Multicounter Machines, a Comparison of Computation
Modes},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {66--80},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_7},
doi = {10.1007/3-540-45061-0\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HromkovicS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HromkovicS03a,
author = {Juraj Hromkovic and
Georg Schnitger},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations
of Sipser's Separation},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {439--451},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_36},
doi = {10.1007/3-540-45061-0\_36},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HromkovicS03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/IkedaKOY03,
author = {Satoshi Ikeda and
Izumi Kubo and
Norihiro Okumoto and
Masafumi Yamashita},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Impact of Local Topological Information on Random Walks on Finite
Graphs},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1054--1067},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_81},
doi = {10.1007/3-540-45061-0\_81},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/IkedaKOY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Jagerskupper03,
author = {Jens J{\"{a}}gersk{\"{u}}pper},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Analysis of a Simple Evolutionary Algorithm for Minimization in Euclidean
Spaces},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1068--1079},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_82},
doi = {10.1007/3-540-45061-0\_82},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Jagerskupper03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JainRS03,
author = {Rahul Jain and
Jaikumar Radhakrishnan and
Pranab Sen},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {A Direct Sum Theorem in Communication Complexity via Message Compression},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {300--315},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_26},
doi = {10.1007/3-540-45061-0\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/JainRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JohannsenL03,
author = {Jan Johannsen and
Martin Lange},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {CTL\({}^{\mbox{+}}\) Is Complete for Double Exponential Time},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {767--775},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_60},
doi = {10.1007/3-540-45061-0\_60},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/JohannsenL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KarkkainenS03,
author = {Juha K{\"{a}}rkk{\"{a}}inen and
Peter Sanders},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Simple Linear Work Suffix Array Construction},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {943--955},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_73},
doi = {10.1007/3-540-45061-0\_73},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/KarkkainenS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KlaedtkeR03,
author = {Felix Klaedtke and
Harald Rue{\ss}},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Monadic Second-Order Logics with Cardinalities},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {681--696},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_54},
doi = {10.1007/3-540-45061-0\_54},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KlaedtkeR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KormanP03,
author = {Amos Korman and
David Peleg},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Labeling Schemes for Weighted Dynamic Trees},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {369--383},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_31},
doi = {10.1007/3-540-45061-0\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KormanP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KupfermanV03,
author = {Orna Kupferman and
Moshe Y. Vardi},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {{\(\Pi\)}\({}_{\mbox{2}}\) {\(\cap\)} {\(\Sigma\)}\({}_{\mbox{2}}\)
{\(\equiv\)} {AFMC}},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {697--713},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_55},
doi = {10.1007/3-540-45061-0\_55},
timestamp = {Mon, 29 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KupfermanV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MatiasP03,
author = {Yossi Matias and
Ely Porat},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Efficient Pebbling for List Traversal Synopses},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {918--928},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_71},
doi = {10.1007/3-540-45061-0\_71},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MatiasP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Mayr03,
author = {Richard Mayr},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {570--583},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_46},
doi = {10.1007/3-540-45061-0\_46},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Mayr03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MerroN03,
author = {Massimo Merro and
Francesco Zappa Nardelli},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Bisimulation Proof Methods for Mobile Ambients},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {584--598},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_47},
doi = {10.1007/3-540-45061-0\_47},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MerroN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MunroRRR03,
author = {J. Ian Munro and
Rajeev Raman and
Venkatesh Raman and
S. Srinivasa Rao},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Succinct Representations of Permutations},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {345--356},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_29},
doi = {10.1007/3-540-45061-0\_29},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MunroRRR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Mutzel03,
author = {Petra Mutzel},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {The SPQR-Tree Data Structure in Graph Drawing},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {34--46},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_4},
doi = {10.1007/3-540-45061-0\_4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Mutzel03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/NaorST03,
author = {Joseph Naor and
Hadas Shachnai and
Tami Tamir},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Real-Time Scheduling with a Budget},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1123--1137},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_86},
doi = {10.1007/3-540-45061-0\_86},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/NaorST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Okhotin03,
author = {Alexander Okhotin},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Decision Problems for Language Equations with Boolean Operations},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {239--251},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_21},
doi = {10.1007/3-540-45061-0\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Okhotin03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Peled03,
author = {Doron A. Peled},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Model Checking and Testing Combined},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {47--63},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_5},
doi = {10.1007/3-540-45061-0\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Peled03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PoulalhonS03,
author = {Dominique Poulalhon and
Gilles Schaeffer},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Optimal Coding and Sampling of Triangulations},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1080--1094},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_83},
doi = {10.1007/3-540-45061-0\_83},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PoulalhonS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Rabinovich03,
author = {Alexander Moshe Rabinovich},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Quantitative Analysis of Probabilistic Lossy Channel Systems},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {1008--1021},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_78},
doi = {10.1007/3-540-45061-0\_78},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Rabinovich03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RamanR03,
author = {Rajeev Raman and
S. Srinivasa Rao},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Succinct Dynamic Dictionaries and Trees},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {357--368},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_30},
doi = {10.1007/3-540-45061-0\_30},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/RamanR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RybinaV03,
author = {Tatiana Rybina and
Andrei Voronkov},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Upper Bounds for a Theory of Queues},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {714--724},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_56},
doi = {10.1007/3-540-45061-0\_56},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/RybinaV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Schnoebelen03,
author = {Philippe Schnoebelen},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Oracle Circuits for Branching-Time Model Checking},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {790--801},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_62},
doi = {10.1007/3-540-45061-0\_62},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Schnoebelen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Schonhage03,
author = {Arnold Sch{\"{o}}nhage},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Adaptive Raising Strategies Optimizing Relative Efficiency},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {611--623},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_49},
doi = {10.1007/3-540-45061-0\_49},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Schonhage03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Senizergues03,
author = {G{\'{e}}raud S{\'{e}}nizergues},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {The Equivalence Problem for t-Turn {DPDA} Is Co-NP},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {478--489},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_39},
doi = {10.1007/3-540-45061-0\_39},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Senizergues03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SittersSP03,
author = {Ren{\'{e}} Sitters and
Leen Stougie and
Willem de Paepe},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {A Competitive Algorithm for the General 2-Server Problem},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {624--636},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_50},
doi = {10.1007/3-540-45061-0\_50},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SittersSP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/StoelingaV03,
author = {Mari{\"{e}}lle Stoelinga and
Frits W. Vaandrager},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {A Testing Scenario for Probabilistic Automata},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {464--477},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_38},
doi = {10.1007/3-540-45061-0\_38},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/StoelingaV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/TorreNPP03,
author = {Salvatore La Torre and
Margherita Napoli and
Mimmo Parente and
Gennaro Parlato},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Hierarchical and Recursive State Machines with Context-Dependent Properties},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {776--789},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_61},
doi = {10.1007/3-540-45061-0\_61},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/TorreNPP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Vardi03,
author = {Moshe Y. Vardi},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Logic and Automata: {A} Match Made in Heaven},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {64--65},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_6},
doi = {10.1007/3-540-45061-0\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Vardi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/XieDI03,
author = {Gaoyan Xie and
Zhe Dang and
Oscar H. Ibarra},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {A Solvable Class of Quadratic Diophantine Equations with Applications
to Verification of Infinite-State Systems},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {668--680},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_53},
doi = {10.1007/3-540-45061-0\_53},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/XieDI03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2003,
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0},
doi = {10.1007/3-540-45061-0},
isbn = {3-540-40493-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-24 16:12 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
