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/icalp99.bht:"
download as .bib file
@inproceedings{DBLP:conf/icalp/Ajtai99,
author = {Mikl{\'{o}}s Ajtai},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Generating Hard Instances of the Short Basis Problem},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {1--9},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_1},
doi = {10.1007/3-540-48523-6\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Ajtai99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AllenderABDL99,
author = {Eric Allender and
Andris Ambainis and
David A. Mix Barrington and
Samir Datta and
Huong LeThanh},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Bounded Depth Arithmetic Circuits: Counting and Closure},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {149--158},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_12},
doi = {10.1007/3-540-48523-6\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AllenderABDL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurKY99,
author = {Rajeev Alur and
Sampath Kannan and
Mihalis Yannakakis},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Communicating Hierarchical State Machines},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {169--178},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_14},
doi = {10.1007/3-540-48523-6\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurKY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlurTEP99,
author = {Rajeev Alur and
Kousha Etessami and
Salvatore La Torre and
Doron A. Peled},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Parametric Temporal Logic for "Model Measuring"},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {159--168},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_13},
doi = {10.1007/3-540-48523-6\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlurTEP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AndreevBCR99,
author = {Alexander E. Andreev and
Juri L. Baskakov and
Andrea E. F. Clementi and
Jos{\'{e}} D. P. Rolim},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Small Pseudo-Random Sets Yield Hard Functions: New Tight Explict Lower
Bounds for Branching Programs},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {179--189},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_15},
doi = {10.1007/3-540-48523-6\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AndreevBCR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BednarczykB99,
author = {Marek A. Bednarczyk and
Andrzej M. Borzyszkowski},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {General Morphisms of Petri Nets (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {190--199},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_16},
doi = {10.1007/3-540-48523-6\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BednarczykB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BermanK99,
author = {Piotr Berman and
Marek Karpinski},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {On Some Tighter Inapproximability Results (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {200--209},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_17},
doi = {10.1007/3-540-48523-6\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BermanK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BouyerP99,
author = {Patricia Bouyer and
Antoine Petit},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Decomposition and Composition of Timed Automata},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {210--219},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_18},
doi = {10.1007/3-540-48523-6\_18},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BouyerP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Bruijn99,
author = {N. G. de Bruijn},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {A Model for Associative Memory, a Basis for Thinking and Consciousness},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {74--89},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_6},
doi = {10.1007/3-540-48523-6\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Bruijn99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BuhrmanJLV99,
author = {Harry Buhrman and
Tao Jiang and
Ming Li and
Paul M. B. Vit{\'{a}}nyi},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {New Applications of the Incompressibility Method},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {220--229},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_19},
doi = {10.1007/3-540-48523-6\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BuhrmanJLV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Cardelli99,
author = {Luca Cardelli},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Wide Area Computation},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {10--24},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_2},
doi = {10.1007/3-540-48523-6\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Cardelli99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CardelliGG99,
author = {Luca Cardelli and
Andrew D. Gordon and
Giorgio Ghelli},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Mobility Types for Mobile Ambients},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {230--239},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_20},
doi = {10.1007/3-540-48523-6\_20},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/CardelliGG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Clote99,
author = {Peter Clote},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Protein Folding, the Levinthal Paradox and Rapidly Mixing Markov Chains},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {240--249},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_21},
doi = {10.1007/3-540-48523-6\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Clote99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ComptonD99,
author = {Kevin J. Compton and
Scott D. Dexter},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Proof Techniques for Cryptographic Protocols},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {25--39},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_3},
doi = {10.1007/3-540-48523-6\_3},
timestamp = {Thu, 10 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ComptonD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CortierGJV99,
author = {V{\'{e}}ronique Cortier and
Harald Ganzinger and
Florent Jacquemard and
Margus Veanes},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Decidable Fragments of Simultaneous Rigid Reachability},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {250--260},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_22},
doi = {10.1007/3-540-48523-6\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CortierGJV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CraryM99,
author = {Karl Crary and
J. Gregory Morrisett},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Type Structure for Low-Level Programming Languages},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {40--54},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_4},
doi = {10.1007/3-540-48523-6\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CraryM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CrochemoreMRS99,
author = {Maxime Crochemore and
Filippo Mignosi and
Antonio Restivo and
Sergio Salemi},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Text Compression Using Antidictionaries},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {261--270},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_23},
doi = {10.1007/3-540-48523-6\_23},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CrochemoreMRS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Cucker99,
author = {Felipe Cucker},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Real Computations with Fake Numbers},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {55--73},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_5},
doi = {10.1007/3-540-48523-6\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Cucker99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DickhoferW99,
author = {Martin Dickh{\"{o}}fer and
Thomas Wilke},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Timed Alternating Tree Automata: The Automata-Theoretic Solution to
the {TCTL} Model Checking Problem},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {281--290},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_25},
doi = {10.1007/3-540-48523-6\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DickhoferW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DodisK99,
author = {Yevgeniy Dodis and
Sanjeev Khanna},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Space Time Tradeoffs for Graph Properties},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {291--300},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_26},
doi = {10.1007/3-540-48523-6\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DodisK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DufordJS99,
author = {Catherine Dufourd and
Petr Jancar and
Philippe Schnoebelen},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Boundedness of Reset {P/T} Nets},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {301--310},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_27},
doi = {10.1007/3-540-48523-6\_27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DufordJS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EdalatK99,
author = {Abbas Edalat and
Marko Krznaric},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Numerical Integration with Exact Real Arithmetic},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {90--104},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_7},
doi = {10.1007/3-540-48523-6\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EdalatK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EngelfrietH99,
author = {Joost Engelfriet and
Hendrik Jan Hoogeboom},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Two-Way Finite State Transducers and Monadic Second-Order Logic},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {311--320},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_28},
doi = {10.1007/3-540-48523-6\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EngelfrietH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FlescaG99,
author = {Sergio Flesca and
Sergio Greco},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Partially Ordered Regular Languages for Graph Queries},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {321--330},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_29},
doi = {10.1007/3-540-48523-6\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FlescaG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FrickG99,
author = {Markus Frick and
Martin Grohe},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {331--340},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_30},
doi = {10.1007/3-540-48523-6\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FrickG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Galpin99,
author = {Vashti Galpin},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Comparison of Process Algebra Equivalences Using Formats},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {341--350},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_31},
doi = {10.1007/3-540-48523-6\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Galpin99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GavoilleH99,
author = {Cyril Gavoille and
Nicolas Hanusse},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Compact Routing Tables for Graphs of Bounded Genus},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {351--360},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_32},
doi = {10.1007/3-540-48523-6\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GavoilleH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GottlobLS99,
author = {Georg Gottlob and
Nicola Leone and
Francesco Scarcello},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Computing {LOGCFL} Certificates},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {361--371},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_33},
doi = {10.1007/3-540-48523-6\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GottlobLS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GrossiI99,
author = {Roberto Grossi and
Giuseppe F. Italiano},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Efficient Techniques for Maintaining Multidimensional Keys in Linked
Data Structures},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {372--381},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_34},
doi = {10.1007/3-540-48523-6\_34},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GrossiI99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GuptaKS99,
author = {Arvind Gupta and
Damon Kaller and
Thomas C. Shermer},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {On the Complements of Partial k-Trees},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {382--391},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_35},
doi = {10.1007/3-540-48523-6\_35},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GuptaKS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HammarN99,
author = {Mikael Hammar and
Bengt J. Nilsson},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Approximation Results for Kinetic Variants of {TSP}},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {392--401},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_36},
doi = {10.1007/3-540-48523-6\_36},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HammarN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Hartmanis99,
author = {Juris Hartmanis},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Observations about the Nature and State of Computer Science (Keynote
Address)},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {105},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_8},
doi = {10.1007/3-540-48523-6\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Hartmanis99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HassinP99,
author = {Yehuda Hassin and
David Peleg},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Distributed Probabilistic Polling and Applications to Proportionate
Agreement},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {402--411},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_37},
doi = {10.1007/3-540-48523-6\_37},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HassinP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HirshfeldJ99,
author = {Yoram Hirshfeld and
Mark Jerrum},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Bisimulation Equivanlence Is Decidable for Normed Process Algebra},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {412--421},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_38},
doi = {10.1007/3-540-48523-6\_38},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HirshfeldJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HirshfeldR99,
author = {Yoram Hirshfeld and
Alexander Moshe Rabinovich},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {A Framework for Decidable Metrical Logics},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {422--432},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_39},
doi = {10.1007/3-540-48523-6\_39},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HirshfeldR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HromkovicS99,
author = {Juraj Hromkovic and
Georg Schnitger},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {On the Power of Las Vegas {II.} Two-Way Finite Automata},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {433--442},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_40},
doi = {10.1007/3-540-48523-6\_40},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HromkovicS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/IwamaMMM99,
author = {Kazuo Iwama and
David F. Manlove and
Shuichi Miyazaki and
Yasufumi Morita},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Stable Marriage with Incomplete Lists and Ties},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {443--452},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_41},
doi = {10.1007/3-540-48523-6\_41},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/IwamaMMM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JiangLV99,
author = {Tao Jiang and
Ming Li and
Paul M. B. Vit{\'{a}}nyi},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Average-Case Complexity of Shellsort},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {453--462},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_42},
doi = {10.1007/3-540-48523-6\_42},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/JiangLV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KimP99,
author = {Dong Kyue Kim and
Kunsoo Park},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Linear-Time Construction of Two-Dimensional Suffix Trees},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {463--472},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_43},
doi = {10.1007/3-540-48523-6\_43},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KimP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Kirsten99,
author = {Daniel Kirsten},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {A Connection between the Star Problem and the Finite Power Property
in Trace Monoids},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {473--482},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_44},
doi = {10.1007/3-540-48523-6\_44},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Kirsten99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KirstenM99,
author = {Daniel Kirsten and
Jerzy Marcinkowski},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Two Techniques in the Area of the Star Problem},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {483--492},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_45},
doi = {10.1007/3-540-48523-6\_45},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KirstenM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KrauseSW99,
author = {Matthias Krause and
Petr Savick{\'{y}} and
Ingo Wegener},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Approximations by OBDDs and the Variable Ordering Problem},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {493--502},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_46},
doi = {10.1007/3-540-48523-6\_46},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KrauseSW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KuceraM99,
author = {Anton{\'{\i}}n Kucera and
Richard Mayr},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Simulation Preorder on Simple Process Algebras},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {503--512},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_47},
doi = {10.1007/3-540-48523-6\_47},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KuceraM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LaneveV99,
author = {Cosimo Laneve and
Bj{\"{o}}rn Victor},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Solos in Concert},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {513--523},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_48},
doi = {10.1007/3-540-48523-6\_48},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LaneveV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LanthierMS99,
author = {Mark Lanthier and
Anil Maheshwari and
J{\"{o}}rg{-}R{\"{u}}diger Sack},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Shortest Anisotropic Paths on Terrains},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {524--533},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_49},
doi = {10.1007/3-540-48523-6\_49},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LanthierMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Lepisto99,
author = {Arto Lepist{\"{o}}},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Relations between Local and Global Periodicity of Words},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {534--543},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_50},
doi = {10.1007/3-540-48523-6\_50},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Lepisto99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LingasOO99,
author = {Andrzej Lingas and
Hans Olsson and
Anna {\"{O}}stlin},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Efficient Merging, Construction, and Maintenance of Evolutionary Trees},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {544--553},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_51},
doi = {10.1007/3-540-48523-6\_51},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LingasOO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Miculan99,
author = {Marino Miculan},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Formalizing a Lazy Substitution Proof System for {\(\mathrm{\mu}\)}-calculus
in the Calculus of Inductive Constructions},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {554--564},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_52},
doi = {10.1007/3-540-48523-6\_52},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Miculan99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/NichitiuR99,
author = {Codrin M. Nichitiu and
Eric R{\'{e}}mila},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Leader Election by d Dimensional Cellular Automata},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {565--574},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_53},
doi = {10.1007/3-540-48523-6\_53},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/NichitiuR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/NiedermeierR99,
author = {Rolf Niedermeier and
Peter Rossmanith},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {New Upper Bounds for MaxSat},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {575--584},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_54},
doi = {10.1007/3-540-48523-6\_54},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/NiedermeierR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/OlshevskyP99,
author = {Vadim Olshevsky and
Victor Y. Pan},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Polynomial and Rational Evaluation and Interpolation (with Structured
Matrices)},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {585--594},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_55},
doi = {10.1007/3-540-48523-6\_55},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/OlshevskyP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Pagh99,
author = {Rasmus Pagh},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Low Redundancy in Static Dictionaries with {O(1)} Worst Case Lookup
Time},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {595--604},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_56},
doi = {10.1007/3-540-48523-6\_56},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Pagh99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PeichlV99,
author = {Timo Peichl and
Heribert Vollmer},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Finite Automata with Generalized Acceptance Criteria},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {605--614},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_57},
doi = {10.1007/3-540-48523-6\_57},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PeichlV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PelegR99,
author = {David Peleg and
Eilon Reshef},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {A Variant of the Arrow Distributed Directory with Low Average Complexity},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {615--624},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_58},
doi = {10.1007/3-540-48523-6\_58},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PelegR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PowerT99,
author = {John Power and
Hayo Thielecke},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Closed Freyd- and kappa-categories},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {625--634},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_59},
doi = {10.1007/3-540-48523-6\_59},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PowerT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RieckeT99,
author = {Jon G. Riecke and
Hayo Thielecke},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Typed Exeptions and Continuations Cannot Macro-Express Each Other},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {635--644},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_60},
doi = {10.1007/3-540-48523-6\_60},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/RieckeT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/RozenbergS99,
author = {Grzegorz Rozenberg and
Arto Salomaa},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {{DNA} Computing: New Ideas and Paradigms},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {106--118},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_9},
doi = {10.1007/3-540-48523-6\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/RozenbergS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Rutten99,
author = {Jan J. M. M. Rutten},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Automata, Power Series, and Coinduction: Taking Input Derivatives
Seriously},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {645--654},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_61},
doi = {10.1007/3-540-48523-6\_61},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Rutten99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Sanders99,
author = {Peter Sanders},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Accessing Multiple Sequences Through Set Associative Caches},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {655--664},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_62},
doi = {10.1007/3-540-48523-6\_62},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Sanders99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SantisCP99,
author = {Alfredo De Santis and
Giovanni Di Crescenzo and
Giuseppe Persiano},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Non-Interactive Zero-Knowledge: {A} Low-Randomness Characterization
of {NP}},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {271--280},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_24},
doi = {10.1007/3-540-48523-6\_24},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SantisCP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Senizergues99,
author = {G{\'{e}}raud S{\'{e}}nizergues},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {{T(A)} = T(B)?},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {665--675},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_63},
doi = {10.1007/3-540-48523-6\_63},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Senizergues99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Szegedy99,
author = {Mario Szegedy},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Many-Valued Logics and Holographic Proofs},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {676--686},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_64},
doi = {10.1007/3-540-48523-6\_64},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Szegedy99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Tiskin99,
author = {Alexandre Tiskin},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Erratum: Bulk-synchronous Parallel Multiplication of Boolean Matrices},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {717--718},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_68},
doi = {10.1007/3-540-48523-6\_68},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Tiskin99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Umans99,
author = {Christopher Umans},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {On the Complexity and Inapproximability of Shortest Implicant Problems},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {687--696},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_65},
doi = {10.1007/3-540-48523-6\_65},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Umans99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Vitter99,
author = {Jeffrey Scott Vitter},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Online Data Structures in External Memory},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {119--133},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_10},
doi = {10.1007/3-540-48523-6\_10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Vitter99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Watanabe99,
author = {Osamu Watanabe},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {From Computational Learning Theory to Discovery Science},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {134--148},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_11},
doi = {10.1007/3-540-48523-6\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Watanabe99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/WeihrauchZ99,
author = {Klaus Weihrauch and
Ning Zhong},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {The Wave Propagator Is Turing Computable},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {697--707},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_66},
doi = {10.1007/3-540-48523-6\_66},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/WeihrauchZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Woeginger99,
author = {Gerhard J. Woeginger},
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {An {FPTAS} for Agreeably Weighted Variance on a Single Machine},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
pages = {707--716},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6\_67},
doi = {10.1007/3-540-48523-6\_67},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Woeginger99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/99,
editor = {Jir{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48523-6},
doi = {10.1007/3-540-48523-6},
isbn = {3-540-66224-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/99.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-04-19 03:46 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:
