9. ICTCS 2005:
Siena,
Italy
Mario Coppo, Elena Lodi, G. Michele Pinna (Eds.):
Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings.
Lecture Notes in Computer Science 3701 Springer 2005, ISBN 3-540-29106-7 BibTeX
Invited Contributions
Technical Contributions
- Luzi Anderegg, Mark Cieliebak, Giuseppe Prencipe:
Efficient Algorithms for Detecting Regular Point Configurations.
23-35
Electronic Edition (link) BibTeX
- Yuichi Asahiro, Eiji Miyano, Shinichi Shimoirisa:
Pickup and Delivery for Moving Objects on Broken Lines.
36-50
Electronic Edition (link) BibTeX
- Benjamin Aziz, David Gray, Geoff W. Hamilton:
A Static Analysis of PKI-Based Systems.
51-65
Electronic Edition (link) BibTeX
- Steffen van Bakel, Ugo de'Liguoro:
Subtyping Object and Recursive Types Logically.
66-80
Electronic Edition (link) BibTeX
- Steffen van Bakel, Stéphane Lengrand, Pierre Lescanne:
The Language chi: Circuits, Computations and Classical Logic.
81-96
Electronic Edition (link) BibTeX
- Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
Checking Risky Events Is Enough for Local Policies.
97-112
Electronic Edition (link) BibTeX
- Clara Bertolissi:
The Graph Rewriting Calculus: Confluence and Expressiveness.
113-127
Electronic Edition (link) BibTeX
- Lorenzo Bettini, Viviana Bono, Silvia Likavec:
Safe Object Composition in the Presence of Subtyping.
128-142
Electronic Edition (link) BibTeX
- Nadia Busi, Gianluigi Zavattaro:
Reachability Analysis in Boxed Ambients.
143-159
Electronic Edition (link) BibTeX
- Giuseppe Castagna, Dario Colazzo, Alain Frisch:
Error Mining for Regular Expression Patterns.
160-172
Electronic Edition (link) BibTeX
- Marie-Christine Costa, Fethi Jarray, Christophe Picouleau:
Reconstructing an Alternate Periodical Binary Matrix from Its Orthogonal Projections.
173-181
Electronic Edition (link) BibTeX
- Bhaskar DasGupta, Sergio Ferrarini, Uthra Gopalakrishnan, Nisha Raj Paryani:
Inapproximability Results for the Lateral Gene Transfer Problem.
182-195
Electronic Edition (link) BibTeX
- Gianluca De Marco, Marco Pellegrini, Giovanni Sburlati:
Faster Deterministic Wakeup in Multiple Access Channels.
196-204
Electronic Edition (link) BibTeX
- Bruno Escoffier, Jérôme Monnot, Vangelis Th. Paschos:
Weighted Coloring: Further Complexity and Approximability Results.
205-214
Electronic Edition (link) BibTeX
- Stephen A. Fenner, Yong Zhang:
Quantum Algorithms for a Set of Group Theoretic Problems.
215-227
Electronic Edition (link) BibTeX
- Jirí Fiala, Jan Kratochvíl:
On the Computational Complexity of the L(2, 1)-Labeling Problem for Regular Graphs.
228-236
Electronic Edition (link) BibTeX
- Giuditta Franco:
A Polymerase Based Algorithm for SAT.
237-250
Electronic Edition (link) BibTeX
- Stanley P. Y. Fung, Francis Y. L. Chin, Chung Keung Poon:
Laxity Helps in Broadcast Scheduling.
251-264
Electronic Edition (link) BibTeX
- Lane A. Hemaspaandra, Jörg Rothe, Amitabh Saxena:
Enforcing and Defying Associativity, Commutativity, Totality, and Strong Noninvertibility for One-Way Functions in Complexity Theory.
265-279
Electronic Edition (link) BibTeX
- Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Synthesis from Temporal Specifications Using Preferred Answer Set Programming.
280-294
Electronic Edition (link) BibTeX
- Wojciech Jamroga, Jürgen Dix:
Model Checking Strategic Abilities of Agents Under Incomplete Information.
295-308
Electronic Edition (link) BibTeX
- Tsvi Kopelowitz, Ely Porat:
Improved Algorithms for Polynomial-Time Decay and Time-Decay with Additive Error.
309-322
Electronic Edition (link) BibTeX
- Tetsuji Kuboyama, Kilho Shin, Tetsuhiro Miyahara, Hiroshi Yasuda:
A Theoretical Analysis of Alignment and Edit Problems for Trees.
323-337
Electronic Edition (link) BibTeX
- Marco Macchetti, Mario Caironi, Luca Breveglieri, Alessandra Cherubini:
A Complete Formulation of Generalized Affine Equivalence.
338-347
Electronic Edition (link) BibTeX
- Sabrina Mantaci, Antonio Restivo, G. Rosone, Marinella Sciortino:
A New Combinatorial Approach to Sequence Comparison.
348-359
Electronic Edition (link) BibTeX
- Ricardo Medel, Adriana B. Compagnoni, Eduardo Bonelli:
A Typed Assembly Language for Non-interference.
360-374
Electronic Edition (link) BibTeX
- Venkatesh Raman, Saket Saurabh, Somnath Sikdar:
Improved Exact Exponential Algorithms for Vertex Bipartization and Other Problems.
375-389
Electronic Edition (link) BibTeX
- Jan Schwinghammer:
A Typed Semantics of Higher-Order Store and Subtyping.
390-405
Electronic Edition (link) BibTeX
- Richard Statman:
Two Variables Are Not Enough.
406-409
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:21:53 2009
by Michael Ley (ley@uni-trier.de)
