3. IFIP TCS 2004:
Toulouse,
France
Jean-Jacques Lévy, Ernst W. Mayr, John C. Mitchell (Eds.):
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.
Kluwer 2004, ISBN 1-4020-8140-5 BibTeX
Invited talks
Track (1) on Algorithms,
Complexity,
and Models of Computation
- Ilia Toli, Alberto Zanoni:
Looking Inside AES and BES.
23-36 BibTeX
- Zhaohui Cheng, Richard Comley, Luminita Vasiu:
Remove Key Escrow from The Identity-Based Encryption System.
37-50 BibTeX
- An Braeken, Christopher Wolf, Bart Preneel:
A Randomised Algorithm for Checking the Normality of Cryptographic Boolean Functions.
51-66 BibTeX
- Alex Brodsky:
Reversible Circuit Realizations of Boolean Functions.
67-80 BibTeX
- Toshio Suzuki, Tomoyuki Yamakami:
Resource Bounded Immunity and Simplicity.
81-96 BibTeX
- Holger Spakowski, Rahul Tripathi:
Degree Bounds on Polynomials and Relativization Theory.
97-110 BibTeX
- Hubert Schmid, Thomas Worsch:
The Firing Squad Synchronization Problem with Many Generals For One-Dimensional CA.
111-124 BibTeX
- Ömer Egecioglu, Oscar H. Ibarra:
A Matrix q-Analogue of the Parikh Map.
125-138 BibTeX
- Hagit Attiya, David Hay:
The Inherent Queuing Delay of Parallel Packet Switches.
139-152 BibTeX
- Paola Flocchini, Antonio Mesa Enriques, Linda Pagli, Giuseppe Prencipe, Nicola Santoro:
Efficient Protocols for Computing the Optimal Swap Edges of a Shortest Path Tree.
153-166 BibTeX
- Giovanna Melideo, Paolo Penna, Guido Proietti, Roger Wattenhofer, Peter Widmayer:
Truthful Mechanisms for Generalized Utilitarian Problems.
167-180 BibTeX
- Sébastien Baehni, Roberto Baldoni, Rachid Guerraoui, Bastian Pochon:
The Driving Philosophers.
181-194 BibTeX
- Roman Dementiev, Peter Sanders, Dominik Schultes, Jop F. Sibeyn:
Engineering an External Memory Minimum Spanning Tree Algorithm.
195-208 BibTeX
- Mark Cieliebak, Thomas Erlebach, Fabian Hennecke, Birgitta Weber, Peter Widmayer:
Scheduling with Release Times and Deadlines on a Minimum Number of Machines.
209-222 BibTeX
- Klaus Jansen:
Approximation Algorithms for Mixed Fractional Packing and Covering Problems.
223-236 BibTeX
- Aleksei V. Fishkin, Olga Gerber, Klaus Jansen:
On Weighted Rectangle Packing with Large Resources.
237-250 BibTeX
- Satoko Mamada, Takeaki Uno, Kazuhisa Makino, Satoru Fujishige:
An O(n log 2n) Algorithm for the Optimal Sink Location Problem in Dynamic Tree Networks.
251-264 BibTeX
- Costas S. Iliopoulos, Christos Makris, Yannis Panagis, Katerina Perdikuri, Evangelos Theodoridis, Athanasios K. Tsakalidis:
Efficient Algorithms for Handling Molecular Weighted Sequences.
265-278 BibTeX
- Hiro Ito, Kazuo Iwama, Takeyuki Tamura:
Imperfectness of Data for STS-Based Physical Mapping.
279-292 BibTeX
- Hu Zhang:
Solving Packing Problem with Weaker Block Solvers.
293-306 BibTeX
- Amr Elmasry:
Adaptive Sorting with AVL Trees.
307-316 BibTeX
- Livio Colussi, Gilberto Filé, A. Griggio:
Precise Analysis of p-Calculus in Cubic Time.
317-332 BibTeX
Track (2) on Logic,
Semantics,
Specification,
and Verification
- Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz:
Prototyping Proof Carrying Code.
333-348 BibTeX
- Zhiming Liu, Jifeng He, Xiaoshan Li:
Contract Oriented Development of Component Software.
349-366 BibTeX
- Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, Antónia Lopes, Ugo Montanari:
New Insights on Architectural Connectors.
367-380 BibTeX
- Iovka Boneva, Jean-Marc Talbot:
On Complexity of Model-Checking for the TQL Logic.
381-394 BibTeX
- Antonín Kucera, Richard Mayr:
A Generic Framework for Checking Semantic Equivalences between Pushdown Automata and Finite-State Automata.
395-408 BibTeX
- Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion:
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes over Arbitrary Structures.
409-422 BibTeX
- Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Calculus with Lazy Module Operators.
423-436 BibTeX
- Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker:
Dynamic Typing with Dependent Types.
437-450 BibTeX
- Lorenzo Bettini, Viviana Bono, Betti Venneri:
Subtyping-Inheritance Conflicts: The Mobile Mixin Case.
451-464 BibTeX
- Chung-Chih Li:
Asymptotic Behaviors of Type-2 Algorithms and Induced Baire Topologies.
465-478 BibTeX
- Deepak Garg, Akash Lal, Sanjiva Prasad:
Effective Chemistry for Synchrony and Asynchrony.
479-492 BibTeX
- Christel Baier, Marcus Größer, Martin Leucker, Benedikt Bollig, Frank Ciesinski:
Controller Synthesis for Probabilistic Systems.
493-506 BibTeX
- Petr Jancar, Jirí Srba:
Highly Undecidable Questions for Process Algebras.
507-520 BibTeX
- Glynn Winskel, Francesco Zappa Nardelli:
New-HOPLA: A Higher-order Process Language with Name Generation.
521-534 BibTeX
- Sergio Maffeis, Philippa Gardner:
Behavioural Equivalences for Dynamic Web Data.
535-548 BibTeX
- Massimo Merro, Francesco Zappa Nardelli:
Behavioural Theory for Mobile Ambients.
549-562 BibTeX
- Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Nested Commits for Mobile Calculi: Extending Join.
563-576 BibTeX
- Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese:
Dynamic and Local Typing for Mobile Ambients.
577-590 BibTeX
- Torben Amtoft, Henning Makholm, J. B. Wells:
PolyA: True Type Polymorphism for Mobile Ambients.
591604 BibTeX
- David Teller:
Recovering Resources in the p-calculus.
605-618 BibTeX
- Yuxin Deng, Davide Sangiorgi:
Ensuring Termination by Typability.
619-632 BibTeX
- Benjamin Wack:
The Simply-typed Pure Pattern Type System Ensures Strong Normalization.
633-646 BibTeX
- Jules Desharnais, Bernhard Möller, Georg Struth:
Termination in Modal Kleene Algebra.
647-660 BibTeX
- Alain Frisch:
Regular Tree Language Recognition with Static Information.
661-674 BibTeX
Copyright © Sat May 16 23:23:09 2009
by Michael Ley (ley@uni-trier.de)