2. IFIP TCS 2002:
Montréal,
Québec,
Canada
Ricardo A. Baeza-Yates, Ugo Montanari, Nicola Santoro (Eds.):
Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montréal, Québec, Canada.
IFIP Conference Proceedings 223 Kluwer 2002, ISBN 1-4020-7181-7 BibTeX
@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},
booktitle = {IFIP TCS},
publisher = {Kluwer},
series = {IFIP Conference Proceedings},
volume = {223},
year = {2002},
isbn = {1-4020-7181-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Algorithms,
Complexity and Models of Computation
Invited Papers
Contributed Papers
- Jochen Alber, Jirí Fiala:
Geometric Separation and Exact Solutions for the Parameterized Independent Set Problem on Disk Graphs.
26-37 BibTeX
- Nikhil Bansal, Zhen Liu, Arvind Sankar:
Bin-Packing with Fragile Objects.
38-46 BibTeX
- Sergei Bespamyatnikh, Binay K. Bhattacharya, David G. Kirkpatrick, Michael Segal:
Lower and Upper Bounds for Tracking Mobile Users.
47-58 BibTeX
- Alina Beygelzimer, Mitsunori Ogihara:
On the Enumerability of the Determinant and the Rank.
59-70 BibTeX
- Douglas M. Blough, Mauro Leoncini, Giovanni Resta, Paolo Santi:
On the Symmetric Range Assignment Problem in Wireless Ad Hoc Networks.
71-82 BibTeX
- Beate Bollig, Stephan Waack, Philipp Woelfel:
Parity Graph-driven Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication.
83-94 BibTeX
- Vasco Brattka, Martin Ziegler:
Computability of Linear Equations.
95-106 BibTeX
- Véronique Bruyère, Olivier Carton:
Hierarchy Among Automata on Linear Orderings.
107-118 BibTeX
- Gruia Calinescu, Ion I. Mandoiu, Alexander Zelikovsky:
Symmetric Connectivity with Minimum Power Consumption in Radio Networks.
119-130 BibTeX
- Zhao Chen:
A Modified Recursive Triangular Factorization for Cauchy-like Systems.
131-142 BibTeX
- Mark Cieliebak, Thomas Erlebach, Zsuzsanna Lipták, Jens Stoye, Emo Welzl:
Algorithmic Complexity of Protein Identification: Searching in Weighted Strings.
143-156 BibTeX
- Alessandro Dal Palù, Enrico Pontelli, Desh Ranjan:
An Efficient Parallel Pointer Machine Algorithm for the NCA Problem.
157-168 BibTeX
- Marie Duflot, Laurent Fribourg, Claudine Picaronny:
Randomized Dining Philosophers without Fairness Assumption.
169-180 BibTeX
- Alon Efrat, Sariel Har-Peled:
Guarding Galleries and Terrains.
181-192 BibTeX
- Leszek Gasieniec, Igor Potapov:
Gossiping with Unit Messages in Known Radio Networks.
193-205 BibTeX
- Nicolas Hanusse, Dimitris J. Kavvadias, Evangelos Kranakis, Danny Krizanc:
Memoryless Search Algorithms in a Network with Faulty Advice.
206-216 BibTeX
- Lane A. Hemaspaandra, Mayur Thakur:
Lower Bounds and the Hardness of Counting Properties.
217-229 BibTeX
- Matthew Hertz, Neil Immerman, J. Eliot B. Moss:
Framework for Analyzing Garbage Collection.
230-242 BibTeX
(extended version)
- Christopher M. Homan, Mayur Thakur:
One-Way Permutations and Self-Witnessing Languages.
243-254 BibTeX
- Klaus Jansen, Hu Zhang:
Approximation Algorithms for General Packing Problems with Modified Logarithmic Potential Function.
255-266 BibTeX
- Grégory Lafitte:
On Randomness and Infinity.
267-279 BibTeX
- Aris Pagourtzis, Paolo Penna, Konrad Schlude, Kathleen Steinhöfel, David Scot Taylor, Peter Widmayer:
Server Placements, Roman Domination and other Dominating Set Variants.
280-291 BibTeX
- B. S. Panda, Sajal K. Das:
A Linear Time Algorithm for Finding Tree 3-Spanner on 2-Trees.
292-309 BibTeX
- Jörg Rothe, Holger Spakowski, Jörg Vogel:
Exact Complexity of Exact-Four-Colorability and of the Winner Problem for Young Elections.
310-322 BibTeX
- Tomoyuki Yamakami:
Quantum NP and Quantum Hierarchy.
323-336 BibTeX
- Marius Zimand:
Probabilistically Checkable Proofs the Easy Way.
337-351 BibTeX
Logic Semantics,
Specification and Verification
Invited Papers
Contributed Papers
- Patrick Baillot:
Checking Polynomial Time Complexity with Types.
370-382 BibTeX
- Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel:
Boundary Inference for Enforcing Security Policies in Mobile Ambients.
383-395 BibTeX
- Aline Brum Loreto, Leila Ribeiro, Laira Vieira Toscani:
Decidability and Tractability of Problems in Object-Based Graph Grammars.
396-408 BibTeX
- Hana Chockler, Orna Kupferman:
Coverage of Implementations by Simulating Specifications.
409-421 BibTeX
- Giovanni Conforti, Orlando Ferrara, Giorgio Ghelli:
TQL Algebra and its Implementation.
422-434 BibTeX
- Dino Distefano, Arend Rensink, Joost-Pieter Katoen:
Model Checking Birth and Death.
435-447 BibTeX
- Matthew Fluet, Riccardo Pucella:
Phantom Types and Subtyping.
448-460 BibTeX
- Rachid Guerraoui, Petr Kouznetsov:
On the Weakest Failure Detector for Non-Blocking Atomic Commit.
461-473 BibTeX
- Martin Hyland, Gordon D. Plotkin, John Power:
Combining Computational Effects: commutativity & sum.
474-484 BibTeX
- Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano:
Optimal-Reachability and Control for Acyclic Weighted Timed Automata.
485-497 BibTeX
- Daniel Leivant:
Substructural Verification and Computational Feasibility.
498-510 BibTeX
- Daniel J. Dougherty, Stéphane Lengrand, Pierre Lescanne:
An Improved System of Intersection Types for Explicit Substitutions.
511-523 BibTeX
- Fabio Martinelli:
About Compositional Analysis of Pi-Calculus Processes.
524-536 BibTeX
- Catuscia Palamidessi, Oltea Mihaela Herescu:
A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice.
537-549 BibTeX
- Iain Phillips, Maria Grazia Vigliotti:
On Reduction Semantics for the Push and Pull Ambitent Calculus.
550-562 BibTeX
- Alan Schmitt:
Safe Dynamic Binding in the Join Calculus.
563-575 BibTeX
- Olivier Serre:
Vectorial Languages and Linear Temporal Logic.
576-587 BibTeX
- Scott D. Stoller:
A Bound on Attacks on Authentication Protocols.
588-600 BibTeX
- Xiaogang Zhang, John Potter:
Responsive Bisimulation.
601-612 BibTeX
Copyright © Sat May 16 23:23:09 2009
by Michael Ley (ley@uni-trier.de)
