Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "stream:streams/conf/ifipTCS:"
@inproceedings{DBLP:conf/ifipTCS/BaillotBR14, author = {Patrick Baillot and Erika De Benedetti and Simona Ronchi Della Rocca}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {151--163}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_13}, doi = {10.1007/978-3-662-44602-7\_13}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BaillotBR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BernasconiC14, author = {Anna Bernasconi and Valentina Ciriani}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {1--12}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_1}, doi = {10.1007/978-3-662-44602-7\_1}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/BernasconiC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BrenasES14, author = {Jon Ha{\"{e}}l Brenas and Rachid Echahed and Martin Strecker}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {A Hoare-Like Calculus Using the {SROIQ} {\(\sigma\)} Logic on Transformations of Graphs}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {164--178}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_14}, doi = {10.1007/978-3-662-44602-7\_14}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/BrenasES14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BrugginkKZ14, author = {H. J. Sander Bruggink and Barbara K{\"{o}}nig and Hans Zantema}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Termination Analysis for Graph Transformation Systems}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {179--194}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_15}, doi = {10.1007/978-3-662-44602-7\_15}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/BrugginkKZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BucciarelliKR14, author = {Antonio Bucciarelli and Delia Kesner and Simona Ronchi Della Rocca}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {The Inhabitation Problem for Non-idempotent Intersection Types}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {341--354}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_26}, doi = {10.1007/978-3-662-44602-7\_26}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/BucciarelliKR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CarninoL14, author = {Vincent Carnino and Sylvain Lombardy}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Tropical Two-Way Automata}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {195--206}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_16}, doi = {10.1007/978-3-662-44602-7\_16}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/CarninoL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CaskurluMPS14, author = {Bugra {\c{C}}askurlu and Vahan Mkrtchyan and Ojas Parekh and K. Subramani}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite Graphs}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {13--26}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_2}, doi = {10.1007/978-3-662-44602-7\_2}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/CaskurluMPS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/ChakrabortyK14, author = {Souymodip Chakraborty and Joost{-}Pieter Katoen}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Parametric {LTL} on Markov Chains}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {207--221}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_17}, doi = {10.1007/978-3-662-44602-7\_17}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/ChakrabortyK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/ChenW14, author = {Fei Chen and Xiaowei Wu}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Perfect Pipelining for Streaming Large File in Peer-to-Peer Networks}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {27--38}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_3}, doi = {10.1007/978-3-662-44602-7\_3}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/ChenW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CianciaLLM14, author = {Vincenzo Ciancia and Diego Latella and Michele Loreti and Mieke Massink}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Specifying and Verifying Properties of Space}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {222--235}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_18}, doi = {10.1007/978-3-662-44602-7\_18}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/CianciaLLM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CotriniGLM14, author = {Carlos Cotrini and Yuri Gurevich and Ori Lahav and Artem Melentyev}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Primal Infon Logic with Conjunctions as Sets}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {236--249}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_19}, doi = {10.1007/978-3-662-44602-7\_19}, timestamp = {Fri, 22 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/CotriniGLM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/DarmannPS14, author = {Andreas Darmann and Ulrich Pferschy and Joachim Schauer}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {The Shortest Path Game: Complexity and Algorithms}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {39--53}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_4}, doi = {10.1007/978-3-662-44602-7\_4}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/DarmannPS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/DawsonCGT14, author = {Jeremy E. Dawson and Ranald Clouston and Rajeev Gor{\'{e}} and Alwen Tiu}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {250--264}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_20}, doi = {10.1007/978-3-662-44602-7\_20}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/DawsonCGT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Fung14, author = {Stanley P. Y. Fung}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Online Scheduling of Unit Length Jobs with Commitment and Penalties}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {54--65}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_5}, doi = {10.1007/978-3-662-44602-7\_5}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/Fung14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/GoncharovM014, author = {Sergey Goncharov and Stefan Milius and Alexandra Silva}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract)}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {265--280}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_21}, doi = {10.1007/978-3-662-44602-7\_21}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/GoncharovM014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/GourvesMP14, author = {Laurent Gourv{\`{e}}s and J{\'{e}}r{\^{o}}me Monnot and Aris Pagourtzis}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {The Lazy Matroid Problem}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {66--77}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_6}, doi = {10.1007/978-3-662-44602-7\_6}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/GourvesMP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/HansenKL14, author = {Helle Hvid Hansen and Clemens Kupke and Raul Andres Leal}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {281--295}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_22}, doi = {10.1007/978-3-662-44602-7\_22}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/HansenKL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/JacobLM14, author = {Riko Jacob and Tobias Lieber and Matthias Mnich}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Treewidth Computation and Kernelization in the Parallel External Memory Model}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {78--89}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_7}, doi = {10.1007/978-3-662-44602-7\_7}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/JacobLM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/KesnerV14, author = {Delia Kesner and Daniel Ventura}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Quantitative Types for the Linear Substitution Calculus}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {296--310}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_23}, doi = {10.1007/978-3-662-44602-7\_23}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/KesnerV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/KonigK14, author = {Barbara K{\"{o}}nig and Sebastian K{\"{u}}pper}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {311--325}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_24}, doi = {10.1007/978-3-662-44602-7\_24}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/KonigK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/LangeL14, author = {Martin Lange and {\'{E}}tienne Lozes}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {90--103}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_8}, doi = {10.1007/978-3-662-44602-7\_8}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/LangeL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Larchey-WendlingG14, author = {Dominique Larchey{-}Wendling and Didier Galmiche}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Looking at Separation Algebras with Boolean BI-eyes}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {326--340}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_25}, doi = {10.1007/978-3-662-44602-7\_25}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Larchey-WendlingG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Morizumi14, author = {Hiroki Morizumi}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {104--110}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_9}, doi = {10.1007/978-3-662-44602-7\_9}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/Morizumi14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Torma14, author = {Ilkka T{\"{o}}rm{\"{a}}}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Subshifts, {MSO} Logic, and Collapsing Hierarchies}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {111--122}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_10}, doi = {10.1007/978-3-662-44602-7\_10}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/Torma14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Wiedermann14, author = {Jir{\'{\i}} Wiedermann}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Fast Nondeterministic Matrix Multiplication via Derandomization of Freivalds' Algorithm}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {123--135}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_11}, doi = {10.1007/978-3-662-44602-7\_11}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Wiedermann14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Yamakami14, author = {Tomoyuki Yamakami}, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Not All Multi-Valued Partial {CFL} Functions Are Refined by Single-Valued Functions (Extended Abstract)}, booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, pages = {136--150}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7\_12}, doi = {10.1007/978-3-662-44602-7\_12}, timestamp = {Sun, 23 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/Yamakami14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifipTCS/2014, editor = {Josep D{\'{\i}}az and Ivan Lanese and Davide Sangiorgi}, title = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8705}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44602-7}, doi = {10.1007/978-3-662-44602-7}, isbn = {978-3-662-44601-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/AnconaL12, author = {Davide Ancona and Giovanni Lagorio}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Static Single Information Form for Abstract Compilation}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {10--27}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_2}, doi = {10.1007/978-3-642-33475-7\_2}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/AnconaL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BakelV12, author = {Steffen van Bakel and Maria Grazia Vigliotti}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {An Output-Based Semantics of {\(\Lambda\)}{\(\mu\)} with Explicit Substitution in the {\(\pi\)}-Calculus - Extended Abstract}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {372--387}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_26}, doi = {10.1007/978-3-642-33475-7\_26}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BakelV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BeffaraM12, author = {Emmanuel Beffara and Virgile Mogbil}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Proofs as Executions}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {280--294}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_20}, doi = {10.1007/978-3-642-33475-7\_20}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BeffaraM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BenschHKM12, author = {Suna Bensch and Markus Holzer and Martin Kutrib and Andreas Malcher}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Input-Driven Stack Automata}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {28--42}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_3}, doi = {10.1007/978-3-642-33475-7\_3}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BenschHKM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Bodlaender12, author = {Marijke H. L. Bodlaender}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Probabilistic Inference and Monadic Second Order Logic}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {43--56}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_4}, doi = {10.1007/978-3-642-33475-7\_4}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Bodlaender12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BodlaenderHKSWZ12, author = {Marijke H. L. Bodlaender and Cor A. J. Hurkens and Vincent J. J. Kusters and Frank Staals and Gerhard J. Woeginger and Hans Zantema}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Cinderella versus the Wicked Stepmother}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {57--71}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_5}, doi = {10.1007/978-3-642-33475-7\_5}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BodlaenderHKSWZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BorealeP12, author = {Michele Boreale and Michela Paolini}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Worst- and Average-Case Privacy Breaches in Randomization Mechanisms}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {72--86}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_6}, doi = {10.1007/978-3-642-33475-7\_6}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BorealeP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Brengos12, author = {Tomasz Brengos}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Weak Bisimulations for Coalgebras over Ordered Functors}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {87--103}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_7}, doi = {10.1007/978-3-642-33475-7\_7}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Brengos12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CarayolE12, author = {Arnaud Carayol and Zolt{\'{a}}n {\'{E}}sik}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {A Context-Free Linear Ordering with an Undecidable First-Order Theory}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {104--118}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_8}, doi = {10.1007/978-3-642-33475-7\_8}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/CarayolE12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CroceP12, author = {Federico Della Croce and Vangelis Th. Paschos}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Efficient Algorithms for the max k -vertex cover Problem}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {295--309}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_21}, doi = {10.1007/978-3-642-33475-7\_21}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/CroceP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/DengF12, author = {Yuxin Deng and Yuan Feng}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Open Bisimulation for Quantum Processes}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {119--133}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_9}, doi = {10.1007/978-3-642-33475-7\_9}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/DengF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/GadducciMM12, author = {Fabio Gadducci and Giacoma Valentina Monreale and Ugo Montanari}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {A Modular {LTS} for Open Reactive Systems}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {134--148}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_10}, doi = {10.1007/978-3-642-33475-7\_10}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/GadducciMM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/JancarKS12, author = {Petr Jancar and Prateek Karandikar and Philippe Schnoebelen}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Unidirectional Channel Systems Can Be Tested}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {149--163}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_11}, doi = {10.1007/978-3-642-33475-7\_11}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/JancarKS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/JiraskovaM12, author = {Galina Jir{\'{a}}skov{\'{a}} and Tom{\'{a}}s Masopust}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {On Properties and State Complexity of Deterministic State-Partition Automata}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {164--178}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_12}, doi = {10.1007/978-3-642-33475-7\_12}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/JiraskovaM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/JiraskovaN12, author = {Galina Jir{\'{a}}skov{\'{a}} and Benedek Nagy}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {On Union-Free and Deterministic Union-Free Languages}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {179--192}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_13}, doi = {10.1007/978-3-642-33475-7\_13}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/JiraskovaN12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/KufnerNR12, author = {Philipp K{\"{u}}fner and Uwe Nestmann and Christina Rickmann}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {209--224}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_15}, doi = {10.1007/978-3-642-33475-7\_15}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/KufnerNR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Kurz0T12, author = {Alexander Kurz and Tomoyuki Suzuki and Emilio Tuosto}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {193--208}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_14}, doi = {10.1007/978-3-642-33475-7\_14}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/Kurz0T12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Liang12, author = {Hongyu Liang}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {The Algorithmic Complexity of k-Domatic Partition of Graphs}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {240--249}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_17}, doi = {10.1007/978-3-642-33475-7\_17}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Liang12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/LuttgenV12, author = {Gerald L{\"{u}}ttgen and Walter Vogler}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Modal Interface Automata}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {265--279}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_19}, doi = {10.1007/978-3-642-33475-7\_19}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/LuttgenV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Luttik12, author = {Bas Luttik}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {250--264}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_18}, doi = {10.1007/978-3-642-33475-7\_18}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Luttik12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Riba12, author = {Colin Riba}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {310--324}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_22}, doi = {10.1007/978-3-642-33475-7\_22}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Riba12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/SherK12, author = {Falak Sher and Joost{-}Pieter Katoen}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Compositional Abstraction Techniques for Probabilistic Automata}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {325--341}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_23}, doi = {10.1007/978-3-642-33475-7\_23}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/SherK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/SongG12, author = {Lei Song and Jens Chr. Godskesen}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Broadcast Abstraction in a Stochastic Calculus for Mobile Networks}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {342--356}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_24}, doi = {10.1007/978-3-642-33475-7\_24}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/SongG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/TorreN12, author = {Salvatore La Torre and Margherita Napoli}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {A Temporal Logic for Multi-threaded Programs}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {225--239}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_16}, doi = {10.1007/978-3-642-33475-7\_16}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/TorreN12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/TsukadaK12, author = {Takeshi Tsukada and Naoki Kobayashi}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {An Intersection Type System for Deterministic Pushdown Automata}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {357--371}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_25}, doi = {10.1007/978-3-642-33475-7\_25}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/TsukadaK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Wiedermann12, author = {Jir{\'{\i}} Wiedermann}, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Computability and Non-computability Issues in Amorphous Computing}, booktitle = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, pages = {1--9}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7\_1}, doi = {10.1007/978-3-642-33475-7\_1}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Wiedermann12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifipTCS/2012, editor = {Jos C. M. Baeten and Thomas Ball and Frank S. de Boer}, title = {Theoretical Computer Science - 7th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7604}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33475-7}, doi = {10.1007/978-3-642-33475-7}, isbn = {978-3-642-33474-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/AlvimAP10, author = {M{\'{a}}rio S. Alvim and Miguel E. Andr{\'{e}}s and Catuscia Palamidessi}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Entropy and Attack Models in Information Flow - (Invited Talk)}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {53--54}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_4}, doi = {10.1007/978-3-642-15240-5\_4}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/AlvimAP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/AlvimAPR10, author = {M{\'{a}}rio S. Alvim and Miguel E. Andr{\'{e}}s and Catuscia Palamidessi and Peter van Rossum}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Safe Equivalences for Security Properties}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {55--70}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_5}, doi = {10.1007/978-3-642-15240-5\_5}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/AlvimAPR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Bollig10, author = {Beate Bollig}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {On Symbolic Representations of Maximum Matchings and (Un)directed Graphs}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {286--300}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_21}, doi = {10.1007/978-3-642-15240-5\_21}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Bollig10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BorealeCG10, author = {Michele Boreale and David Clark and Daniele Gorla}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {340--354}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_25}, doi = {10.1007/978-3-642-15240-5\_25}, timestamp = {Wed, 28 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/BorealeCG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BougeretDJOT10, author = {Marin Bougeret and Pierre{-}Fran{\c{c}}ois Dutot and Klaus Jansen and Christina Otte and Denis Trystram}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Approximating the Non-contiguous Multiple Organization Packing Problem}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {316--327}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_23}, doi = {10.1007/978-3-642-15240-5\_23}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BougeretDJOT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Brodic10, author = {Darko Brodic}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {140--152}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_11}, doi = {10.1007/978-3-642-15240-5\_11}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/Brodic10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BrugginkK10, author = {H. J. Sander Bruggink and Barbara K{\"{o}}nig}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {A Logic on Subobjects and Recognizability}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {197--212}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_15}, doi = {10.1007/978-3-642-15240-5\_15}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BrugginkK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CasteigtsFMS10, author = {Arnaud Casteigts and Paola Flocchini and Bernard Mans and Nicola Santoro}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {111--124}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_9}, doi = {10.1007/978-3-642-15240-5\_9}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/CasteigtsFMS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Chedid10, author = {Fouad B. Chedid}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {On Packing Splittable Items with Cardinality Constraints}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {101--110}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_8}, doi = {10.1007/978-3-642-15240-5\_8}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Chedid10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CurienM10, author = {Pierre{-}Louis Curien and Guillaume Munch{-}Maccagnoni}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {The Duality of Computation under Focus}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {165--181}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_13}, doi = {10.1007/978-3-642-15240-5\_13}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/CurienM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Dowek10, author = {Gilles Dowek}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Polarized Resolution Modulo}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {182--196}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_14}, doi = {10.1007/978-3-642-15240-5\_14}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/Dowek10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/GallinaR10, author = {Lucia Gallina and Sabina Rossi}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {20--31}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_2}, doi = {10.1007/978-3-642-15240-5\_2}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/GallinaR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Given-WilsonGJ10, author = {Thomas Given{-}Wilson and Daniele Gorla and Barry Jay}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Concurrent Pattern Calculus}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {244--258}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_18}, doi = {10.1007/978-3-642-15240-5\_18}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Given-WilsonGJ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Glabbeek10, author = {Rob J. van Glabbeek}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {The Coarsest Precongruences Respecting Safety and Liveness Properties}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {32--52}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_3}, doi = {10.1007/978-3-642-15240-5\_3}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Glabbeek10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/GrossRT10, author = {James Gross and Frank G. Radmacher and Wolfgang Thomas}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {A Game-Theoretic Approach to Routing under Adversarial Conditions}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {355--370}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_26}, doi = {10.1007/978-3-642-15240-5\_26}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/GrossRT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/HolzlKSW10, author = {Rupert H{\"{o}}lzl and Thorsten Kr{\"{a}}ling and Frank Stephan and Guohua Wu}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Initial Segment Complexities of Randomness Notions}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {259--270}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_19}, doi = {10.1007/978-3-642-15240-5\_19}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/HolzlKSW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/HolzlM10, author = {Rupert H{\"{o}}lzl and Wolfgang Merkle}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Traceable Sets}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {301--315}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_22}, doi = {10.1007/978-3-642-15240-5\_22}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/HolzlM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Jacobs10, author = {Bart Jacobs}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Convexity, Duality and Effects}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {1--19}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_1}, doi = {10.1007/978-3-642-15240-5\_1}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Jacobs10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/JoshiP10, author = {Salil Joshi and Sanjiva Prasad}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {An Operational Model for Multiprocessors with Caches}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {371--385}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_27}, doi = {10.1007/978-3-642-15240-5\_27}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/JoshiP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/KaminskiS10, author = {Mark Kaminski and Gert Smolka}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Terminating Tableaux for \emph{SOQ}{\textbackslash}mathcal\{SOQ\} with Number Restrictions on Transitive Roles}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {213--228}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_16}, doi = {10.1007/978-3-642-15240-5\_16}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/KaminskiS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/LiuL10, author = {Jia Liu and Huimin Lin}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Proof System for Applied Pi Calculus}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {229--243}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_17}, doi = {10.1007/978-3-642-15240-5\_17}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/LiuL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/MiyazakiO10, author = {Shuichi Miyazaki and Kazuya Okamoto}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Improving the Competitive Ratios of the Seat Reservation Problem}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {328--339}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_24}, doi = {10.1007/978-3-642-15240-5\_24}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/MiyazakiO10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/SchwarzS10, author = {Sibylle Schwarz and Ludwig Staiger}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Topologies Refining the Cantor Topology on \emph{X}\({}^{\mbox{\emph{omega}}}\)}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {271--285}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_20}, doi = {10.1007/978-3-642-15240-5\_20}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/SchwarzS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/SilvastiSS10, author = {Panu Silvasti and Seppo Sippu and Eljas Soisalon{-}Soininen}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Online Dictionary Matching for Streams of {XML} Documents}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {153--164}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_12}, doi = {10.1007/978-3-642-15240-5\_12}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/SilvastiSS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/SongG10, author = {Lei Song and Jens Chr. Godskesen}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Probabilistic Mobility Models for Mobile and Wireless Networks}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {86--100}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_7}, doi = {10.1007/978-3-642-15240-5\_7}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/SongG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/YatapanageWZ10, author = {Nisansala Yatapanage and Kirsten Winter and Saad Zafar}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Slicing Behavior Tree Models for Verification}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {125--139}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_10}, doi = {10.1007/978-3-642-15240-5\_10}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/YatapanageWZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/ZhangP10, author = {Chenyi Zhang and Jun Pang}, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {On Probabilistic Alternating Simulations}, booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, pages = {71--85}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5\_6}, doi = {10.1007/978-3-642-15240-5\_6}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/ZhangP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifipTCS/2010, editor = {Cristian S. Calude and Vladimiro Sassone}, title = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia, September 20-23, 2010. Proceedings}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {323}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15240-5}, doi = {10.1007/978-3-642-15240-5}, isbn = {978-3-642-15239-9}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/AcetoFIM08, author = {Luca Aceto and Wan J. Fokkink and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Mohammad Reza Mousavi}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {301--316}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_21}, doi = {10.1007/978-0-387-09680-3\_21}, timestamp = {Sat, 11 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/AcetoFIM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/AcetoILT08, author = {Luca Aceto and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Bas Luttik and Paul van Tilburg}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Finite Equational Bases for Fragments of {CCS} with Restriction and Relabelling}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {317--332}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_22}, doi = {10.1007/978-0-387-09680-3\_22}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/AcetoILT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/AminofLMS08, author = {Benjamin Aminof and Axel Legay and Aniello Murano and Olivier Serre}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {{\(\mathrm{\mu}\)}-calculus Pushdown Module Checking with Imperfect State Information}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {333--348}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_23}, doi = {10.1007/978-0-387-09680-3\_23}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/AminofLMS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BakhshiFPP08, author = {Rena Bakhshi and Wan J. Fokkink and Jun Pang and Jaco van de Pol}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Leader Election in Anonymous Rings: Franklin Goes Probabilistic}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {57--72}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_4}, doi = {10.1007/978-0-387-09680-3\_4}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BakhshiFPP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BergH08, author = {Tobias Berg and Harald Hempel}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Inverse Problems Have Inverse Complexity}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {73--86}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_5}, doi = {10.1007/978-0-387-09680-3\_5}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BergH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BertoniCR08, author = {Alberto Bertoni and Christian Choffrut and Roberto Radicioni}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Literal Shuffle of Compressed Words}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {87--100}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_6}, doi = {10.1007/978-0-387-09680-3\_6}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BertoniCR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BlanquiJS08, author = {Fr{\'{e}}d{\'{e}}ric Blanqui and Jean{-}Pierre Jouannaud and Pierre{-}Yves Strub}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {From Formal Proofs to Mathematical Proofs: {A} Safe, Incremental Way for Building in First-order Decision Procedures}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {349--365}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_24}, doi = {10.1007/978-0-387-09680-3\_24}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BlanquiJS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BonoDG08, author = {Viviana Bono and Ferruccio Damiani and Elena Giachino}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {On Traits and Types in a Java-like Setting}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {367--382}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_25}, doi = {10.1007/978-0-387-09680-3\_25}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/BonoDG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Cardelli08, author = {Luca Cardelli}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {From Processes to ODEs by Chemistry}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {261--281}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_18}, doi = {10.1007/978-0-387-09680-3\_18}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/Cardelli08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/ChaudhuriMS08, author = {Kaustuv Chaudhuri and Dale Miller and Alexis Saurin}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Canonical Sequent Proofs via Multi-Focusing}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {383--396}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_26}, doi = {10.1007/978-0-387-09680-3\_26}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/ChaudhuriMS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CogisDDKS08, author = {Olivier Cogis and Beno{\^{\i}}t Darties and Sylvain Durand and Jean{-}Claude K{\"{o}}nig and Genevi{\`{e}}ve Simonet}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {The mv-decomposition: definition and application to the distance-2 broadcast problem in multi-hops radio networks}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {115--126}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_8}, doi = {10.1007/978-0-387-09680-3\_8}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/CogisDDKS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Coja-OghlanL08, author = {Amin Coja{-}Oghlan and Andr{\'{e}} Lanka}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Partitioning Random Graphs with General Degree Distributions}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {127--141}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_9}, doi = {10.1007/978-0-387-09680-3\_9}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Coja-OghlanL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CrochemoreGMP08, author = {Maxime Crochemore and Alessandra Gabriele and Filippo Mignosi and Mauriana Pesaresi}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {On the Longest Common Factor Problem}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {143--155}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_10}, doi = {10.1007/978-0-387-09680-3\_10}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/CrochemoreGMP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/DemangeonHS08, author = {Romain Demangeon and Daniel Hirschkoff and Davide Sangiorgi}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Static and dynamic typing for the termination of mobile processes}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {413--427}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_28}, doi = {10.1007/978-0-387-09680-3\_28}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/DemangeonHS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/DennunzioGM08, author = {Alberto Dennunzio and Pierre Guillon and Beno{\^{\i}}t Masson}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Stable Dynamics of Sand Automata}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {157--169}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_11}, doi = {10.1007/978-0-387-09680-3\_11}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/DennunzioGM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Ehrhard08, author = {Thomas Ehrhard}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Differential Linear Logic and Processes}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {283}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_19}, doi = {10.1007/978-0-387-09680-3\_19}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Ehrhard08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/EsparzaKL08, author = {Javier Esparza and Stefan Kiefer and Michael Luttenberger}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Solving Monotone Polynomial Equations}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {285--298}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_20}, doi = {10.1007/978-0-387-09680-3\_20}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/EsparzaKL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/FiliotT08, author = {Emmanuel Filiot and Sophie Tison}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Regular n-ary Queries in Trees and Variable Independence}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {429--443}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_29}, doi = {10.1007/978-0-387-09680-3\_29}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/FiliotT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/FominGK08, author = {Fedor V. Fomin and Petr A. Golovach and Jan Kratochv{\'{\i}}l}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {On tractability of Cops and Robbers game}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {171--185}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_12}, doi = {10.1007/978-0-387-09680-3\_12}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/FominGK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Frutos-EscrigG08, author = {David de Frutos{-}Escrig and Carlos Gregorio{-}Rodr{\'{\i}}guez}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Universal Coinductive Characterisations of Process Semantics}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {397--412}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_27}, doi = {10.1007/978-0-387-09680-3\_27}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/Frutos-EscrigG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/GiammarresiR08, author = {Dora Giammarresi and Antonio Restivo}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Ambiguity and Complementation in Recognizable Two-dimensional Languages}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {5--20}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_1}, doi = {10.1007/978-0-387-09680-3\_1}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/GiammarresiR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/KuskeL08, author = {Dietrich Kuske and Markus Lohrey}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Hamiltonicity of automatic graphs}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {445--459}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_30}, doi = {10.1007/978-0-387-09680-3\_30}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/KuskeL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/LafitteW08, author = {Gr{\'{e}}gory Lafitte and Michael Weiss}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Computability of Tilings}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {187--201}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_13}, doi = {10.1007/978-0-387-09680-3\_13}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/LafitteW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/LiuPP08, author = {Xingwu Liu and Juhua Pu and Jianzhong Pan}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {A Classification of Degenerate Loop Agreement}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {203--213}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_14}, doi = {10.1007/978-0-387-09680-3\_14}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/LiuPP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/LodayaPS08, author = {Kamal Lodaya and Paritosh K. Pandya and Simoni S. Shah}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Marking the chops: an unambiguous temporal logic}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {461--476}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_31}, doi = {10.1007/978-0-387-09680-3\_31}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/LodayaPS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/MasseBFLR08, author = {Alexandre Blondin Mass{\'{e}} and Srecko Brlek and Andrea Frosini and S{\'{e}}bastien Labb{\'{e}} and Simone Rinaldi}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Reconstructing words from a fixed palindromic length sequence}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {101--114}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_7}, doi = {10.1007/978-0-387-09680-3\_7}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/MasseBFLR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Meyer08, author = {Roland Meyer}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {On Boundedness in Depth in the pi-Calculus}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {477--489}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_32}, doi = {10.1007/978-0-387-09680-3\_32}, timestamp = {Mon, 02 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Meyer08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/OkhotinR08, author = {Alexander Okhotin and Panos Rondogiannis}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {On the expressive power of univariate equations over sets of natural numbers}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {215--227}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_15}, doi = {10.1007/978-0-387-09680-3\_15}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/OkhotinR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/OllingerR08, author = {Nicolas Ollinger and Ga{\'{e}}tan Richard}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Collisions and their Catenations: Ultimately Periodic Tilings of the Plane}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {229--240}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_16}, doi = {10.1007/978-0-387-09680-3\_16}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/OllingerR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Peltier08, author = {Nicolas Peltier}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {A Unified View of Tree Automata and Term Schematisations}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {491--505}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_33}, doi = {10.1007/978-0-387-09680-3\_33}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Peltier08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/RathkeS08, author = {Julian Rathke and Pawel Sobocinski}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Deconstructing behavioural theories of mobility}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {507--520}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_34}, doi = {10.1007/978-0-387-09680-3\_34}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/RathkeS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Roughgarden08, author = {Tim Roughgarden}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Algorithmic Game Theory: Some Greatest Hits and Future Directions}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {21--42}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_2}, doi = {10.1007/978-0-387-09680-3\_2}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Roughgarden08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/SaikkonenS08, author = {Riku Saikkonen and Eljas Soisalon{-}Soininen}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Cache-sensitive Memory Layout for Binary Trees}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {241--255}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_17}, doi = {10.1007/978-0-387-09680-3\_17}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/SaikkonenS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Schmidt-SchaussNSS08, author = {Manfred Schmidt{-}Schau{\ss} and Joachim Niehren and Jan Schwinghammer and David Sabel}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Adequacy of Compositional Translations for Observational Semantics}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {521--535}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_35}, doi = {10.1007/978-0-387-09680-3\_35}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Schmidt-SchaussNSS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/SwaminathanFK08, author = {Mani Swaminathan and Martin Fr{\"{a}}nzle and Joost{-}Pieter Katoen}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {The Surprising Robustness of (Closed) Timed Automata against Clock-Drift}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {537--553}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_36}, doi = {10.1007/978-0-387-09680-3\_36}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/SwaminathanFK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Trahtman08, author = {A. N. Trahtman}, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Synchronizing Road Coloring}, booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, pages = {43--53}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3\_3}, doi = {10.1007/978-0-387-09680-3\_3}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Trahtman08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifipTCS/2008, editor = {Giorgio Ausiello and Juhani Karhum{\"{a}}ki and Giancarlo Mauri and C.{-}H. Luke Ong}, title = {Fifth {IFIP} International Conference On Theoretical Computer Science - {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy}, series = {{IFIP}}, volume = {273}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-0-387-09680-3}, doi = {10.1007/978-0-387-09680-3}, isbn = {978-0-387-09679-7}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/AbrahamKKW06, author = {Marco Abraham and Rolf K{\"{o}}tter and Antje Krumnack and Egon Wanke}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {A Connectivity Rating for Vertices in Networks}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {283--298}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_23}, doi = {10.1007/978-0-387-34735-6\_23}, timestamp = {Wed, 28 Feb 2024 00:16:41 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/AbrahamKKW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Arenas06, author = {Marcelo Arenas}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Locality of Queries and Transformations}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {3}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_1}, doi = {10.1007/978-0-387-34735-6\_1}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Arenas06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BloomE06, author = {Stephen L. Bloom and Zolt{\'{a}}n {\'{E}}sik}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Completing Categorical Algebras}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {231--249}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_20}, doi = {10.1007/978-0-387-34735-6\_20}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BloomE06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BockenhauerFHKKPW06, author = {Hans{-}Joachim B{\"{o}}ckenhauer and Luca Forlizzi and Juraj Hromkovic and Joachim Kneis and Joachim Kupke and Guido Proietti and Peter Widmayer}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Reusing Optimal {TSP} Solutions for Locally Modified Input Instances}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {251--270}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_21}, doi = {10.1007/978-0-387-34735-6\_21}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BockenhauerFHKKPW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BortolussiFP06, author = {Luca Bortolussi and Francesco Fabris and Alberto Policriti}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {BuST-Bundled Suffix Trees}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {91--102}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_11}, doi = {10.1007/978-0-387-34735-6\_11}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/BortolussiFP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BrodnikKMN06, author = {Andrej Brodnik and Johan Karlsson and J. Ian Munro and Andreas Nilsson}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {An {O(1)} Solution to the Prefix Sum Problem on a Specialized Memory Architecture}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {103--114}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_12}, doi = {10.1007/978-0-387-34735-6\_12}, timestamp = {Tue, 08 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BrodnikKMN06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CaromelH06, author = {Denis Caromel and Ludovic Henrio}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Asynchonous Distributed Components: Concurrency and Determinacy}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {165--183}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_16}, doi = {10.1007/978-0-387-34735-6\_16}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/CaromelH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Coja-OghlanGL06, author = {Amin Coja{-}Oghlan and Andreas Goerdt and Andr{\'{e}} Lanka}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Spectral Partitioning of Random Graphs with Given Expected Degrees}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {271--282}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_22}, doi = {10.1007/978-0-387-34735-6\_22}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Coja-OghlanGL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/DeanGI06, author = {Brian C. Dean and Michel X. Goemans and Nicole Immorlica}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {The Unsplittable Stable Marriage Problem}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {65--75}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_9}, doi = {10.1007/978-0-387-34735-6\_9}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/DeanGI06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/DobrevFKS06, author = {Stefan Dobrev and Paola Flocchini and Rastislav Kralovic and Nicola Santoro}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Exploring an Unknown Graph to Locate a Black Hole Using Tokens}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {131--150}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_14}, doi = {10.1007/978-0-387-34735-6\_14}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/DobrevFKS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Gruska06, author = {Jozef Gruska}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {From Informatics to Quantum Informatics}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {5}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_2}, doi = {10.1007/978-0-387-34735-6\_2}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Gruska06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Gruska06a, author = {Jozef Gruska}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {From Informatics to Quantum Informatics}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {17--46}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_7}, doi = {10.1007/978-0-387-34735-6\_7}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Gruska06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Gutierrez06, author = {Claudio Gutierrez}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {{RDF} as a Data Model}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {7}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_3}, doi = {10.1007/978-0-387-34735-6\_3}, timestamp = {Thu, 10 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/Gutierrez06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/GuttmannM06, author = {Walter Guttmann and Markus Maucher}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Variations on an Ordering Theme with Constraints}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {77--90}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_10}, doi = {10.1007/978-0-387-34735-6\_10}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/GuttmannM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/HuangC06, author = {Xiuzhen Huang and Jianer Chen}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {On {PTAS} for Planar Graph Problems}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {299--313}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_24}, doi = {10.1007/978-0-387-34735-6\_24}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/HuangC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/JeronMR06, author = {Thierry J{\'{e}}ron and Herv{\'{e}} Marchand and Vlad Rusu}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Symbolic Determinisation of Extended Automata}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {197--212}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_18}, doi = {10.1007/978-0-387-34735-6\_18}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/JeronMR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Kiwi06, author = {Marcos A. Kiwi}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Adversarial Queueing Theory Revisited}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {9--10}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_4}, doi = {10.1007/978-0-387-34735-6\_4}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Kiwi06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/KutribM06, author = {Martin Kutrib and Andreas Malcher}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Fast Cellular Automata with Restricted Inter-Cell Communication: Computational Capacity}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {151--164}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_15}, doi = {10.1007/978-0-387-34735-6\_15}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/KutribM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Lena06, author = {Pietro di Lena}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Decidable Properties for Regular Cellular Automata}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {185--196}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_17}, doi = {10.1007/978-0-387-34735-6\_17}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Lena06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/PrencipeS06, author = {Giuseppe Prencipe and Nicola Santoro}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Distributed Algorithms for Autonomous Mobile Robots}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {47--62}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_8}, doi = {10.1007/978-0-387-34735-6\_8}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/PrencipeS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Santoro06, author = {Nicola Santoro}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Distributed Algorithms for Autonomous Mobile Robots}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {11}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_5}, doi = {10.1007/978-0-387-34735-6\_5}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Santoro06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/SeiMH06, author = {Yuichi Sei and Kazutaka Matsuzaki and Shinichi Honiden}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {An Algorithm to Reduce the Communication Traffic for Multi-Word Searches in a Distributed Hash Table}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {115--129}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_13}, doi = {10.1007/978-0-387-34735-6\_13}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/SeiMH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Yannakakis06, author = {Mihalis Yannakakis}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Recursion and Probability}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {13}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_6}, doi = {10.1007/978-0-387-34735-6\_6}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Yannakakis06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/dOrsoT06, author = {Julien d'Orso and Tayssir Touili}, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Regular Hedge Model Checking}, booktitle = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, pages = {213--230}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6\_19}, doi = {10.1007/978-0-387-34735-6\_19}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/dOrsoT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifipTCS/2006, editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa}, title = {Fourth {IFIP} International Conference on Theoretical Computer Science {(TCS} 2006), {IFIP} 19th World Computer Congress, {TC-1} Foundations of Computer Science, August 23-24, 2006, Santiago, Chile}, series = {{IFIP}}, volume = {209}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-0-387-34735-6}, doi = {10.1007/978-0-387-34735-6}, isbn = {0-387-34633-3}, timestamp = {Wed, 28 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/AmtoftMW04, author = {Torben Amtoft and Henning Makholm and J. B. Wells}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {PolyA: True Type Polymorphism for Mobile Ambients}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {591--604}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_45}, doi = {10.1007/1-4020-8141-3\_45}, timestamp = {Fri, 27 Sep 2019 10:35:17 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/AmtoftMW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/AnconaFZ04, author = {Davide Ancona and Sonia Fagorzi and Elena Zucca}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {A Calculus with Lazy Module Operators}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {423--436}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_33}, doi = {10.1007/1-4020-8141-3\_33}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/AnconaFZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/AttiyaH04, author = {Hagit Attiya and David Hay}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {The Inherent Queuing Delay of Parallel Packet Switches}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {139--152}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_13}, doi = {10.1007/1-4020-8141-3\_13}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/AttiyaH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BaehniBGP04, author = {S{\'{e}}bastien Baehni and Roberto Baldoni and Rachid Guerraoui and Bastian Pochon}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {The Driving Philosophers}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {181--194}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_16}, doi = {10.1007/1-4020-8141-3\_16}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BaehniBGP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BettiniBV04, author = {Lorenzo Bettini and Viviana Bono and Betti Venneri}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Subtyping-Inheritance Conflicts: The Mobile Mixin Case}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {451--464}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_35}, doi = {10.1007/1-4020-8141-3\_35}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BettiniBV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BolligC04, author = {Christel Baier and Marcus Gr{\"{o}}{\ss}er and Martin Leucker and Benedikt Bollig and Frank Ciesinski}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Controller Synthesis for Probabilistic Systems}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {493--506}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_38}, doi = {10.1007/1-4020-8141-3\_38}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BolligC04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BonevaT04, author = {Iovka Boneva and Jean{-}Marc Talbot}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {On Complexity of Model-Checking for the {TQL} Logic}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {381--394}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_30}, doi = {10.1007/1-4020-8141-3\_30}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BonevaT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BournezCNM04, author = {Olivier Bournez and Felipe Cucker and Paulin Jacob{\'{e}} de Naurois and Jean{-}Yves Marion}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Tailoring Recursion to Characterize Non-Deterministic Complexity Classes over Arbitrary Structures}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {409--422}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_32}, doi = {10.1007/1-4020-8141-3\_32}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BournezCNM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BraekenWP04, author = {An Braeken and Christopher Wolf and Bart Preneel}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {A Randomised Algorithm for Checking the Normality of Cryptographic Boolean Functions}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {51--66}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_7}, doi = {10.1007/1-4020-8141-3\_7}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BraekenWP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Brodsky04, author = {Alex Brodsky}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Reversible Circuit Realizations of Boolean Functions}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {67--80}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_8}, doi = {10.1007/1-4020-8141-3\_8}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Brodsky04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BruniFLLM04, author = {Roberto Bruni and Jos{\'{e}} Luiz Fiadeiro and Ivan Lanese and Ant{\'{o}}nia Lopes and Ugo Montanari}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {New Insights on Architectural Connectors}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {367--380}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_29}, doi = {10.1007/1-4020-8141-3\_29}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BruniFLLM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BruniMM04, author = {Roberto Bruni and Hern{\'{a}}n C. Melgratti and Ugo Montanari}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Nested Commits for Mobile Calculi: Extending Join}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {563--576}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_43}, doi = {10.1007/1-4020-8141-3\_43}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BruniMM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/ChengCV04, author = {Zhaohui Cheng and Richard Comley and Luminita Vasiu}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Remove Key Escrow from The Identity-Based Encryption System}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {37--50}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_6}, doi = {10.1007/1-4020-8141-3\_6}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/ChengCV04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CieliebakEHWW04, author = {Mark Cieliebak and Thomas Erlebach and Fabian Hennecke and Birgitta Weber and Peter Widmayer}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Scheduling with Release Times and Deadlines on a Minimum Number of Machines}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {209--222}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_18}, doi = {10.1007/1-4020-8141-3\_18}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/CieliebakEHWW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/ColussiFG04, author = {Livio Colussi and Gilberto Fil{\'{e}} and A. Griggio}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Precise Analysis of {\(\pi\)}-Calculus in Cubic Time}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {317--331}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_26}, doi = {10.1007/1-4020-8141-3\_26}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/ColussiFG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CoppoDGP04, author = {Mario Coppo and Mariangiola Dezani{-}Ciancaglini and Elio Giovannetti and Rosario Pugliese}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Dynamic and Local Typing for Mobile Ambients}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {577--590}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_44}, doi = {10.1007/1-4020-8141-3\_44}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/CoppoDGP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/DementievSSS04, author = {Roman Dementiev and Peter Sanders and Dominik Schultes and Jop F. Sibeyn}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Engineering an External Memory Minimum Spanning Tree Algorithm}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {195--208}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_17}, doi = {10.1007/1-4020-8141-3\_17}, timestamp = {Thu, 28 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/DementievSSS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/DengS04, author = {Yuxin Deng and Davide Sangiorgi}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Ensuring Termination by Typability}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {619--632}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_47}, doi = {10.1007/1-4020-8141-3\_47}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/DengS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/DesharnaisMS04, author = {Jules Desharnais and Bernhard M{\"{o}}ller and Georg Struth}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Termination in Modal Kleene Algebra}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {647--660}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_49}, doi = {10.1007/1-4020-8141-3\_49}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/DesharnaisMS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/EgeciogluI04, author = {{\"{O}}mer Egecioglu and Oscar H. Ibarra}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {A Matrix q-Analogue of the Parikh Map}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {125--138}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_12}, doi = {10.1007/1-4020-8141-3\_12}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/EgeciogluI04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Elmasry04, author = {Amr Elmasry}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Adaptive Sorting with {AVL} Trees}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {307--316}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_25}, doi = {10.1007/1-4020-8141-3\_25}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Elmasry04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/FishkinGJ04, author = {Aleksei V. Fishkin and Olga Gerber and Klaus Jansen}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {On Weighted Rectangle Packing with Large Resources}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {237--250}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_20}, doi = {10.1007/1-4020-8141-3\_20}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/FishkinGJ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/FlocchiniEPPS04, author = {Paola Flocchini and Antonio Mesa Enriques and Linda Pagli and Giuseppe Prencipe and Nicola Santoro}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Efficient Protocols for Computing the Optimal Swap Edges of a Shortest Path Tree}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {153--166}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_14}, doi = {10.1007/1-4020-8141-3\_14}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/FlocchiniEPPS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Frisch04, author = {Alain Frisch}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Regular Tree Language Recognition with Static Information}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {661--674}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_50}, doi = {10.1007/1-4020-8141-3\_50}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Frisch04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/GargLP04, author = {Deepak Garg and Akash Lal and Sanjiva Prasad}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Effective Chemistry for Synchrony and Asynchrony}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {479--492}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_37}, doi = {10.1007/1-4020-8141-3\_37}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/GargLP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Gonnet04, author = {Gaston H. Gonnet}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {The tPI (tRNA Pairing Index), a Mathematical Measure of Repetition in a (Biological) Sequence}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {1--2}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_1}, doi = {10.1007/1-4020-8141-3\_1}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Gonnet04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Hromkovic04, author = {Juraj Hromkovic}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Stability of Approximation in Discrete Optimization}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {3--18}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_2}, doi = {10.1007/1-4020-8141-3\_2}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Hromkovic04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/IliopoulosMPPTT04, author = {Costas S. Iliopoulos and Christos Makris and Yannis Panagis and Katerina Perdikuri and Evangelos Theodoridis and Athanasios K. Tsakalidis}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Efficient Algorithms for Handling Molecular Weighted Sequences}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {265--278}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_22}, doi = {10.1007/1-4020-8141-3\_22}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/IliopoulosMPPTT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/ItoIT04, author = {Hiro Ito and Kazuo Iwama and Takeyuki Tamura}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Imperfectness of Data for STS-Based Physical Mapping}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {279--292}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_23}, doi = {10.1007/1-4020-8141-3\_23}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/ItoIT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/JancarS04, author = {Petr Jancar and Jir{\'{\i}} Srba}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Highly Undecidable Questions for Process Algebras}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {507--520}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_39}, doi = {10.1007/1-4020-8141-3\_39}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/JancarS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Jansen04, author = {Klaus Jansen}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Approximation Algorithms for Mixed Fractional Packing and Covering Problems}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {223--236}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_19}, doi = {10.1007/1-4020-8141-3\_19}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Jansen04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/KuceraM04, author = {Anton{\'{\i}}n Kucera and Richard Mayr}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {A Generic Framework for Checking Semantic Equivalences between Pushdown Automata and Finite-State Automata}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {395--408}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_31}, doi = {10.1007/1-4020-8141-3\_31}, timestamp = {Fri, 30 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/KuceraM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Li04, author = {Chung{-}Chih Li}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Asymptotic Behaviors of Type-2 Algorithms and Induced Baire Topologies}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {465--478}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_36}, doi = {10.1007/1-4020-8141-3\_36}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Li04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/LiuHL04, author = {Zhiming Liu and Jifeng He and Xiaoshan Li}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Contract Oriented Development of Component Software}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {349--366}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_28}, doi = {10.1007/1-4020-8141-3\_28}, timestamp = {Mon, 21 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/LiuHL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/MaffeisG04, author = {Sergio Maffeis and Philippa Gardner}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Behavioural Equivalences for Dynamic Web Data}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {535--548}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_41}, doi = {10.1007/1-4020-8141-3\_41}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/MaffeisG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/MamadaUMF04, author = {Satoko Mamada and Takeaki Uno and Kazuhisa Makino and Satoru Fujishige}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {An O(n log 2n) Algorithm for the Optimal Sink Location Problem in Dynamic Tree Networks}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {251--264}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_21}, doi = {10.1007/1-4020-8141-3\_21}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/MamadaUMF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/MelideoPPWW04, author = {Giovanna Melideo and Paolo Penna and Guido Proietti and Roger Wattenhofer and Peter Widmayer}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Truthful Mechanisms for Generalized Utilitarian Problems}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {167--180}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_15}, doi = {10.1007/1-4020-8141-3\_15}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/MelideoPPWW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/MerroN04, author = {Massimo Merro and Francesco Zappa Nardelli}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Behavioural Theory for Mobile Ambients}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {549--562}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_42}, doi = {10.1007/1-4020-8141-3\_42}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/MerroN04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Milner04, author = {Robin Milner}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Towards a Broader Theory of Mobile Processes}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {19}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_3}, doi = {10.1007/1-4020-8141-3\_3}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Milner04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/OuTMW04, author = {Xinming Ou and Gang Tan and Yitzhak Mandelbaum and David Walker}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Dynamic Typing with Dependent Types}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {437--450}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_34}, doi = {10.1007/1-4020-8141-3\_34}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/OuTMW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Rusinowitch04, author = {Micha{\"{e}}l Rusinowitch}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {A Decidable Analysis of Security Protocols}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {21}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_4}, doi = {10.1007/1-4020-8141-3\_4}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Rusinowitch04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/SchmidW04, author = {Hubert Schmid and Thomas Worsch}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {The Firing Squad Synchronization Problem with Many Generals For One-Dimensional {CA}}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {111--124}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_11}, doi = {10.1007/1-4020-8141-3\_11}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/SchmidW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/SpakowskiT04, author = {Holger Spakowski and Rahul Tripathi}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Degree Bounds on Polynomials and Relativization Theory}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {97--110}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_10}, doi = {10.1007/1-4020-8141-3\_10}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/SpakowskiT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/SuzukiY04, author = {Toshio Suzuki and Tomoyuki Yamakami}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Resource Bounded Immunity and Simplicity}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {81--96}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_9}, doi = {10.1007/1-4020-8141-3\_9}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/SuzukiY04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Teller04, author = {David Teller}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Recovering Resources in the {\(\pi\)}-calculus}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {605--618}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_46}, doi = {10.1007/1-4020-8141-3\_46}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Teller04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/ToliZ04, author = {Ilia Toli and Alberto Zanoni}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Looking Inside {AES} and {BES}}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {23--36}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_5}, doi = {10.1007/1-4020-8141-3\_5}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/ToliZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Wack04, author = {Benjamin Wack}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {The Simply-typed Pure Pattern Type System Ensures Strong Normalization}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {633--646}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_48}, doi = {10.1007/1-4020-8141-3\_48}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Wack04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/WildmoserNKN04, author = {Martin Wildmoser and Tobias Nipkow and Gerwin Klein and Sebastian Nanz}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Prototyping Proof Carrying Code}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {333--347}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_27}, doi = {10.1007/1-4020-8141-3\_27}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/WildmoserNKN04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/WinskelN04, author = {Glynn Winskel and Francesco Zappa Nardelli}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {New-HOPLA: {A} Higher-order Process Language with Name Generation}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {521--534}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_40}, doi = {10.1007/1-4020-8141-3\_40}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/WinskelN04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Zhang04, author = {Hu Zhang}, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Solving Packing Problem with Weaker Block Solvers}, booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, pages = {293--306}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8141-3\_24}, doi = {10.1007/1-4020-8141-3\_24}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Zhang04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifipTCS/2004, editor = {Jean{-}Jacques L{\'{e}}vy and Ernst W. Mayr and John C. Mitchell}, title = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World Computer Congress, {TC1} 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {155}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/b98989}, doi = {10.1007/B98989}, isbn = {1-4020-8140-5}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/AlberF02, author = {Jochen Alber and Jir{\'{\i}} Fiala}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Geometric Separation and Exact Solutions for the Parameterized Independent Set Problem on Disk Graphs}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {26--37}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_3}, doi = {10.1007/978-0-387-35608-2\_3}, timestamp = {Fri, 27 Sep 2019 10:35:17 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/AlberF02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Baillot02, author = {Patrick Baillot}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Checking Polynomial Time Complexity with Types}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {370--382}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_31}, doi = {10.1007/978-0-387-35608-2\_31}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Baillot02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BansalLS02, author = {Nikhil Bansal and Zhen Liu and Arvind Sankar}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Bin-Packing with Fragile Objects}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {38--46}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_4}, doi = {10.1007/978-0-387-35608-2\_4}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/BansalLS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BespamyatnikhBKS02, author = {Sergei Bespamyatnikh and Binay K. Bhattacharya and David G. Kirkpatrick and Michael Segal}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Lower and Upper Bounds for Tracking Mobile Users}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {47--58}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_5}, doi = {10.1007/978-0-387-35608-2\_5}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BespamyatnikhBKS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BeygelzimerO02, author = {Alina Beygelzimer and Mitsunori Ogihara}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {On the Enumerability of the Determinant and the Rank}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {59--70}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_6}, doi = {10.1007/978-0-387-35608-2\_6}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BeygelzimerO02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BloughLRS02, author = {Douglas M. Blough and Mauro Leoncini and Giovanni Resta and Paolo Santi}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {On the Symmetric Range Assignment Problem in Wireless Ad Hoc Networks}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {71--82}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_7}, doi = {10.1007/978-0-387-35608-2\_7}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BloughLRS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BolligWW02, author = {Beate Bollig and Stephan Waack and Philipp Woelfel}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Parity Graph-driven Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {83--94}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_8}, doi = {10.1007/978-0-387-35608-2\_8}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BolligWW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BraghinCFB02, author = {Chiara Braghin and Agostino Cortesi and Riccardo Focardi and Steffen van Bakel}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Boundary Inference for Enforcing Security Policies in Mobile Ambients}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {383--395}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_32}, doi = {10.1007/978-0-387-35608-2\_32}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BraghinCFB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BrattkaZ02, author = {Vasco Brattka and Martin Ziegler}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Computability of Linear Equations}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {95--106}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_9}, doi = {10.1007/978-0-387-35608-2\_9}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BrattkaZ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BruyereC02, author = {V{\'{e}}ronique Bruy{\`{e}}re and Olivier Carton}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Hierarchy Among Automata on Linear Orderings}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {107--118}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_10}, doi = {10.1007/978-0-387-35608-2\_10}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BruyereC02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CalinescuMZ02, author = {Gruia C{\u{a}}linescu and Ion I. Mandoiu and Alexander Zelikovsky}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Symmetric Connectivity with Minimum Power Consumption in Radio Networks}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {119--130}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_11}, doi = {10.1007/978-0-387-35608-2\_11}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/CalinescuMZ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Chen02, author = {Zhao Chen}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {A Modified Recursive Triangular Factorization for Cauchy-like Systems}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {131--142}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_12}, doi = {10.1007/978-0-387-35608-2\_12}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Chen02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/ChocklerK02, author = {Hana Chockler and Orna Kupferman}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Coverage of Implementations by Simulating Specifications}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {409--421}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_34}, doi = {10.1007/978-0-387-35608-2\_34}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/ChocklerK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CieliebakELSW02, author = {Mark Cieliebak and Thomas Erlebach and Zsuzsanna Lipt{\'{a}}k and Jens Stoye and Emo Welzl}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Algorithmic Complexity of Protein Identification: Searching in Weighted Strings}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {143--156}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_13}, doi = {10.1007/978-0-387-35608-2\_13}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/CieliebakELSW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/ConfortiFG02, author = {Giovanni Conforti and Orlando Ferrara and Giorgio Ghelli}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {{TQL} Algebra and its Implementation}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {422--434}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_35}, doi = {10.1007/978-0-387-35608-2\_35}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/ConfortiFG02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/DistefanoRK02, author = {Dino Distefano and Arend Rensink and Joost{-}Pieter Katoen}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Model Checking Birth and Death}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {435--447}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_36}, doi = {10.1007/978-0-387-35608-2\_36}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/DistefanoRK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/DoughertyLL02, author = {Daniel J. Dougherty and St{\'{e}}phane Lengrand and Pierre Lescanne}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {An Improved System of Intersection Types for Explicit Substitutions}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {511--523}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_42}, doi = {10.1007/978-0-387-35608-2\_42}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/DoughertyLL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/DuflotFP02, author = {Marie Duflot and Laurent Fribourg and Claudine Picaronny}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Randomized Dining Philosophers without Fairness Assumption}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {169--180}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_15}, doi = {10.1007/978-0-387-35608-2\_15}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/DuflotFP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/EfratH02, author = {Alon Efrat and Sariel Har{-}Peled}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Guarding Galleries and Terrains}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {181--192}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_16}, doi = {10.1007/978-0-387-35608-2\_16}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/EfratH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/FluetP02, author = {Matthew Fluet and Riccardo Pucella}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Phantom Types and Subtyping}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {448--460}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_37}, doi = {10.1007/978-0-387-35608-2\_37}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/FluetP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/GasieniecP02, author = {Leszek Gasieniec and Igor Potapov}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Gossiping with Unit Messages in Known Radio Networks}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {193--205}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_17}, doi = {10.1007/978-0-387-35608-2\_17}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/GasieniecP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Gordon02, author = {Andrew D. Gordon}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {{XML} Web Services: The Global Computer?}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {355}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_29}, doi = {10.1007/978-0-387-35608-2\_29}, timestamp = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/Gordon02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/GruskaIM02, author = {Jozef Gruska and Hiroshi Imai and Keiji Matsumoto}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Power of Quantum Entanglement}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {3--22}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_1}, doi = {10.1007/978-0-387-35608-2\_1}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/GruskaIM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/GuerraouiK02, author = {Rachid Guerraoui and Petr Kouznetsov}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {On the Weakest Failure Detector for Non-Blocking Atomic Commit}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {461--473}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_38}, doi = {10.1007/978-0-387-35608-2\_38}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/GuerraouiK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Gunter02, author = {Carl A. Gunter}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Micro Mobile Programs}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {356--369}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_30}, doi = {10.1007/978-0-387-35608-2\_30}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Gunter02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/HanusseKKK02, author = {Nicolas Hanusse and Dimitris J. Kavvadias and Evangelos Kranakis and Danny Krizanc}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Memoryless Search Algorithms in a Network with Faulty Advice}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {206--216}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_18}, doi = {10.1007/978-0-387-35608-2\_18}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/HanusseKKK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/HemaspaandraT02, author = {Lane A. Hemaspaandra and Mayur Thakur}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Lower Bounds and the Hardness of Counting Properties}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {217--229}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_19}, doi = {10.1007/978-0-387-35608-2\_19}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/HemaspaandraT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/HertzIM02, author = {Matthew Hertz and Neil Immerman and J. Eliot B. Moss}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Framework for Analyzing Garbage Collection}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {230--242}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_20}, doi = {10.1007/978-0-387-35608-2\_20}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/HertzIM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/HomanT02, author = {Christopher M. Homan and Mayur Thakur}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {One-Way Permutations and Self-Witnessing Languages}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {243--254}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_21}, doi = {10.1007/978-0-387-35608-2\_21}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/HomanT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/HylandPP02, author = {Martin Hyland and Gordon D. Plotkin and John Power}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Combining Computational Effects: commutativity {\&} sum}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {474--484}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_39}, doi = {10.1007/978-0-387-35608-2\_39}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/HylandPP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/JansenZ02, author = {Klaus Jansen and Hu Zhang}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Approximation Algorithms for General Packing Problems with Modified Logarithmic Potential Function}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {255--266}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_22}, doi = {10.1007/978-0-387-35608-2\_22}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/JansenZ02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Kleinberg02, author = {Jon M. Kleinberg}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Information Networks, Link Analysis, and Temporal Dynamics}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {23--25}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_2}, doi = {10.1007/978-0-387-35608-2\_2}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Kleinberg02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Lafitte02, author = {Gr{\'{e}}gory Lafitte}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {On Randomness and Infinity}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {267--279}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_23}, doi = {10.1007/978-0-387-35608-2\_23}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Lafitte02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Leivant02, author = {Daniel Leivant}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Substructural Verification and Computational Feasibility}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {498--510}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_41}, doi = {10.1007/978-0-387-35608-2\_41}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Leivant02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/LoretoRT02, author = {Aline Brum Loreto and Leila Ribeiro and Laira Vieira Toscani}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Decidability and Tractability of Problems in Object-Based Graph Grammars}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {396--408}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_33}, doi = {10.1007/978-0-387-35608-2\_33}, timestamp = {Mon, 02 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/LoretoRT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Martinelli02, author = {Fabio Martinelli}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {About Compositional Analysis of Pi-Calculus Processes}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {524--536}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_43}, doi = {10.1007/978-0-387-35608-2\_43}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Martinelli02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/PagourtzisPSSTW02, author = {Aris Pagourtzis and Paolo Penna and Konrad Schlude and Kathleen Steinh{\"{o}}fel and David Scot Taylor and Peter Widmayer}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Server Placements, Roman Domination and other Dominating Set Variants}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {280--291}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_24}, doi = {10.1007/978-0-387-35608-2\_24}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/PagourtzisPSSTW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/PalamidessiH02, author = {Catuscia Palamidessi and Oltea Mihaela Herescu}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {537--549}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_44}, doi = {10.1007/978-0-387-35608-2\_44}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/PalamidessiH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/PaluPR02, author = {Alessandro Dal Pal{\`{u}} and Enrico Pontelli and Desh Ranjan}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {An Efficient Parallel Pointer Machine Algorithm for the {NCA} Problem}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {157--168}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_14}, doi = {10.1007/978-0-387-35608-2\_14}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/PaluPR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/PandaD02, author = {B. S. Panda and Sajal K. Das}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {A Linear Time Algorithm for Finding Tree 3-Spanner on 2-Trees}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {292--309}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_25}, doi = {10.1007/978-0-387-35608-2\_25}, timestamp = {Wed, 09 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/PandaD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/PhillipsV02, author = {Iain Phillips and Maria Grazia Vigliotti}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {On Reduction Semantics for the Push and Pull Ambitent Calculus}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {550--562}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_45}, doi = {10.1007/978-0-387-35608-2\_45}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/PhillipsV02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/RotheSV02, author = {J{\"{o}}rg Rothe and Holger Spakowski and J{\"{o}}rg Vogel}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Exact Complexity of Exact-Four-Colorability and of the Winner Problem for Young Elections}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {310--322}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_26}, doi = {10.1007/978-0-387-35608-2\_26}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/RotheSV02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Schmitt02, author = {Alan Schmitt}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Safe Dynamic Binding in the Join Calculus}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {563--575}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_46}, doi = {10.1007/978-0-387-35608-2\_46}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Schmitt02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Serre02, author = {Olivier Serre}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Vectorial Languages and Linear Temporal Logic}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {576--587}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_47}, doi = {10.1007/978-0-387-35608-2\_47}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Serre02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Stoller02, author = {Scott D. Stoller}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {A Bound on Attacks on Authentication Protocols}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {588--600}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_48}, doi = {10.1007/978-0-387-35608-2\_48}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Stoller02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/TorreMM02, author = {Salvatore La Torre and Supratik Mukhopadhyay and Aniello Murano}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Optimal-Reachability and Control for Acyclic Weighted Timed Automata}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {485--497}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_40}, doi = {10.1007/978-0-387-35608-2\_40}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/TorreMM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Yamakami02, author = {Tomoyuki Yamakami}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Quantum {NP} and Quantum Hierarchy}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {323--336}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_27}, doi = {10.1007/978-0-387-35608-2\_27}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Yamakami02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/ZhangP02, author = {Xiaogang Zhang and John Potter}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Responsive Bisimulation}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {601--612}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_49}, doi = {10.1007/978-0-387-35608-2\_49}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/ZhangP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Zimand02, author = {Marius Zimand}, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Probabilistically Checkable Proofs the Easy Way}, booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, pages = {337--351}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2\_28}, doi = {10.1007/978-0-387-35608-2\_28}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Zimand02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifipTCS/2002, editor = {Ricardo A. Baeza{-}Yates and Ugo Montanari and Nicola Santoro}, title = {Foundations of Information Technology in the Era of Networking and Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada}, series = {{IFIP} Conference Proceedings}, volume = {223}, publisher = {Kluwer}, year = {2002}, url = {https://doi.org/10.1007/978-0-387-35608-2}, doi = {10.1007/978-0-387-35608-2}, isbn = {1-4020-7181-7}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/AbadiR00, author = {Mart{\'{\i}}n Abadi and Phillip Rogaway}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {3--22}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_1}, doi = {10.1007/3-540-44929-9\_1}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/AbadiR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/AlbrechtW00, author = {Andreas Alexander Albrecht and Chak{-}Kuen Wong}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {On Logarithmic Simulated Annealing}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {301--314}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_23}, doi = {10.1007/3-540-44929-9\_23}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/AlbrechtW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Ausiello00, author = {Giorgio Ausiello}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Algorithm Design Challenges}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {602--603}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_43}, doi = {10.1007/3-540-44929-9\_43}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Ausiello00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BlundoG00, author = {Carlo Blundo and Clemente Galdi}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Steganography Using Modern Arts}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {140--151}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_12}, doi = {10.1007/3-540-44929-9\_12}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BlundoG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BorosIM00, author = {Endre Boros and Toshihide Ibaraki and Kazuhisa Makino}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Fully Consistent Extensions of Partially Defined Boolean Functions with Missing Bits}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {257--272}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_20}, doi = {10.1007/3-540-44929-9\_20}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BorosIM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BrimkovD00, author = {Valentin E. Brimkov and Stefan S. Dantchev}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {On the Complexity of Integer Programming in the Blum-Shub-Smale Computational Model}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {286--300}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_22}, doi = {10.1007/3-540-44929-9\_22}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BrimkovD00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BruniMS00, author = {Roberto Bruni and Ugo Montanari and Vladimiro Sassone}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Open Ended Systems, Dynamic Bisimulation and Tile Logic}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {440--456}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_31}, doi = {10.1007/3-540-44929-9\_31}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/BruniMS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/BuchholzKK00, author = {Thomas Buchholz and Andreas Klein and Martin Kutrib}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Real-Time Language Recognition by Alternating Cellular Automata}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {213--225}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_17}, doi = {10.1007/3-540-44929-9\_17}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/BuchholzKK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CardelliGG00, author = {Luca Cardelli and Giorgio Ghelli and Andrew D. Gordon}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Ambient Groups and Mobility Types}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {333--347}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_25}, doi = {10.1007/3-540-44929-9\_25}, timestamp = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/CardelliGG00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/CharpentierC00, author = {Michel Charpentier and K. Mani Chandy}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Reasoning about Composition Using Property Transformers and Their Conjugates}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {580--595}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_40}, doi = {10.1007/3-540-44929-9\_40}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/CharpentierC00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/ChungPK00, author = {Yoojin Chung and Kunsoo Park and Hyuk{-}Chul Kwon}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {An Efficient Parallel Algorithm for Scheduling Interval Ordered Tasks}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {100--111}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_9}, doi = {10.1007/3-540-44929-9\_9}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/ChungPK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Dal-Zilio00, author = {Silvano Dal{-}Zilio}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {An Interpretation of Typed Concurrent Objects in the Blue Calculus}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {409--424}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_29}, doi = {10.1007/3-540-44929-9\_29}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Dal-Zilio00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Despeyroux00, author = {Jo{\"{e}}lle Despeyroux}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {A Higher-Order Specification of the pi-Calculus}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {425--439}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_30}, doi = {10.1007/3-540-44929-9\_30}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Despeyroux00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/EidenbenzS00, author = {Stephan J. Eidenbenz and Christoph Stamm}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {{MAXIMUM} {CLIQUE} and {MINIMUM} {CLIQUE} {PARTITION} in Visibility Graphs}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {200--212}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_16}, doi = {10.1007/3-540-44929-9\_16}, timestamp = {Wed, 11 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/EidenbenzS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Fiore00, author = {Marcelo P. Fiore}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {457--473}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_32}, doi = {10.1007/3-540-44929-9\_32}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Fiore00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/FlajoletHNS00, author = {Philippe Flajolet and Kostas P. Hatzis and Sotiris E. Nikoletseas and Paul G. Spirakis}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Trade-Offs between Density and Robustness in Random Interconnection Graphs}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {152--168}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_13}, doi = {10.1007/3-540-44929-9\_13}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/FlajoletHNS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/FournetLS00, author = {C{\'{e}}dric Fournet and Jean{-}Jacques L{\'{e}}vy and Alan Schmitt}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {An Asynchronous, Distributed Implementation of Mobile Ambients}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {348--364}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_26}, doi = {10.1007/3-540-44929-9\_26}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/FournetLS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/FredrikssonNU00, author = {Kimmo Fredriksson and Gonzalo Navarro and Esko Ukkonen}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {An Index for Two Dimensional String Matching Allowing Rotations}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {59--75}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_5}, doi = {10.1007/3-540-44929-9\_5}, timestamp = {Wed, 28 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/FredrikssonNU00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/FujitaS00, author = {Ken{-}etsu Fujita and Aleksy Schubert}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Partially Typed Terms between Church-Style and Curry-Style}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {505--520}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_35}, doi = {10.1007/3-540-44929-9\_35}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/FujitaS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Gruska00, author = {Jozef Gruska}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {New Challenges for Theoretical Computer Science}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {599--601}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_42}, doi = {10.1007/3-540-44929-9\_42}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Gruska00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Gruska00a, author = {Jozef Gruska}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Quantumization of Theoretical Informatics}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {604--608}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_44}, doi = {10.1007/3-540-44929-9\_44}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Gruska00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Hagiya00, author = {Masami Hagiya}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Theory and Construction of Molecular Computers}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {23--24}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_2}, doi = {10.1007/3-540-44929-9\_2}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Hagiya00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Henzinger00, author = {Thomas A. Henzinger}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Masaccio: {A} Formal Model for Embedded Components}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {549--563}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_38}, doi = {10.1007/3-540-44929-9\_38}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Henzinger00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/JeongCWC00, author = {Chang{-}Sung Jeong and Sung{-}Up Cho and Sun{-}Chul Whang and Mi{-}Young Choi}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Parallel Edge Coloring of a Tree on a Mesh Connected Computer}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {76--83}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_6}, doi = {10.1007/3-540-44929-9\_6}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/JeongCWC00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Kameyama00, author = {Yukiyoshi Kameyama}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {A Type-Theoretic Study on Partial Continuations}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {489--504}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_34}, doi = {10.1007/3-540-44929-9\_34}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Kameyama00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Kobayashi00, author = {Naoki Kobayashi}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {365--389}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_27}, doi = {10.1007/3-540-44929-9\_27}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Kobayashi00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/LeeuwenW00, author = {Jan van Leeuwen and Jir{\'{\i}} Wiedermann}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {On the Power of Interactive Computing}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {619--623}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_48}, doi = {10.1007/3-540-44929-9\_48}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/LeeuwenW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/LermerS00, author = {Karl Lermer and Paul A. Strooper}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {A Single Complete Refinement Rule for Demonic Specifications}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {564--579}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_39}, doi = {10.1007/3-540-44929-9\_39}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/LermerS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/LodingT00, author = {Christof L{\"{o}}ding and Wolfgang Thomas}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Alternating Automata and Logics over Infinite Words}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {521--535}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_36}, doi = {10.1007/3-540-44929-9\_36}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/LodingT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/LoyerSS00, author = {Yann Loyer and Nicolas Spyratos and Daniel Stamate}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Hypothesis Support for Information Integration in Four-Valued Logics}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {536--548}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_37}, doi = {10.1007/3-540-44929-9\_37}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/LoyerSS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Martin00, author = {Bruno Martin}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Damage Spreading and {\(\mathrm{\mu}\)}-Sensitivity on Cellular Automata}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {226--242}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_18}, doi = {10.1007/3-540-44929-9\_18}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Martin00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/MauriP00, author = {Giancarlo Mauri and Giulio Pavesi}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Approximation Algorithms for String Folding Problems}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {45--58}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_4}, doi = {10.1007/3-540-44929-9\_4}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/MauriP00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Mayr00, author = {Ernst W. Mayr}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {In Is on the Boundary: Complexity Considerations for Polynominal Ideals}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {99}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_8}, doi = {10.1007/3-540-44929-9\_8}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Mayr00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Mayr00a, author = {Richard Mayr}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {On the Complexity of Bisimulation Problems for Pushdown Automata}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {474--488}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_33}, doi = {10.1007/3-540-44929-9\_33}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Mayr00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/MerroKN00, author = {Massimo Merro and Josva Kleist and Uwe Nestmann}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Local pi-Calculus at Work: Mobile Objects as Mobile Processes}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {390--408}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_28}, doi = {10.1007/3-540-44929-9\_28}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/MerroKN00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/MishraS00, author = {Sounaka Mishra and Kripasindhu Sikdar}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {On the Hardness of Approximating Some NP-optimization Problems Related to Minimum Linear Ordering Problem}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {186--199}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_15}, doi = {10.1007/3-540-44929-9\_15}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/MishraS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/MizukiSN00, author = {Takaaki Mizuki and Hiroki Shizuya and Takao Nishizeki}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Characterization of Optimal Key Set Protocols}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {273--285}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_21}, doi = {10.1007/3-540-44929-9\_21}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/MizukiSN00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Montanari00, author = {Ugo Montanari}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Two Problems in Wide Area Network Programming}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {609--611}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_45}, doi = {10.1007/3-540-44929-9\_45}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Montanari00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Mosses00, author = {Peter D. Mosses}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {The Varieties of Programming Language Semantics}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {624--628}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_49}, doi = {10.1007/3-540-44929-9\_49}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/Mosses00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Plotkin00, author = {Gordon D. Plotkin}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Some New Directions in the Syntax and Semantics of Formal Languages}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {596}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_41}, doi = {10.1007/3-540-44929-9\_41}, timestamp = {Wed, 24 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Plotkin00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/SarzeaudS00, author = {Olivier Sarzeaud and Yann St{\'{e}}phan}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Fast Interpolation Using Kohonen Self-Organizing Neural Networks}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {126--139}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_11}, doi = {10.1007/3-540-44929-9\_11}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/SarzeaudS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/ShchepinV00, author = {Evgeny V. Shchepin and Nodari Vakhania}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Task Distributions on Multiprocessor Systems}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {112--125}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_10}, doi = {10.1007/3-540-44929-9\_10}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/ShchepinV00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Sudan00, author = {Madhu Sudan}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {List Decoding: Algorithms and Applications}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {25--41}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_3}, doi = {10.1007/3-540-44929-9\_3}, timestamp = {Tue, 14 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Sudan00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/TaokaW00, author = {Satoshi Taoka and Toshimasa Watanabe}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {The (sigma+1)-Edge-Connectivity Augmentation Problem without Creating Multiple Edges of a Graph}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {169--185}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_14}, doi = {10.1007/3-540-44929-9\_14}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/TaokaW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Tezuka00, author = {Shu Tezuka}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Discrepancy Theory and Its Application to Finance}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {243--256}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_19}, doi = {10.1007/3-540-44929-9\_19}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Tezuka00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Toyama00, author = {Yoshihito Toyama}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {New Challenges for Compuational Models}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {612--613}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_46}, doi = {10.1007/3-540-44929-9\_46}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Toyama00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/UeharaC00, author = {Ryuhei Uehara and Zhi{-}Zhong Chen}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Paralle Approximation Algorithms for Maximum Weighted Matching in General Graphs}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {84--98}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_7}, doi = {10.1007/3-540-44929-9\_7}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifipTCS/UeharaC00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Wiedermann00, author = {Jir{\'{\i}} Wiedermann}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Towards a Computational Theory of Everything}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {614--615}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_47}, doi = {10.1007/3-540-44929-9\_47}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Wiedermann00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifipTCS/Yannakakis00, author = {Mihalis Yannakakis}, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Hierarchical State Machines}, booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, pages = {315--330}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9\_24}, doi = {10.1007/3-540-44929-9\_24}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/Yannakakis00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifipTCS/2000, editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito}, title = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan, August 17-19, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1872}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44929-9}, doi = {10.1007/3-540-44929-9}, isbn = {3-540-67823-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifipTCS/2000.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.