8. ICTCS 2003:
Bertinoro,
Italy
Carlo Blundo, Cosimo Laneve (Eds.):
Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings.
Lecture Notes in Computer Science 2841 Springer 2003, ISBN 3-540-20216-1 BibTeX
@proceedings{DBLP:conf/ictcs/2003,
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Theoretical Computer Science, 8th Italian Conference, ICTCS 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
booktitle = {ICTCS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2841},
year = {2003},
isbn = {3-540-20216-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
Program Design,
Models and Analysis
- Harry G. Mairson, Kazushige Terui:
On the Computational Complexity of Cut-Elimination in Linear Logic.
23-36
Electronic Edition (link) BibTeX
- Claudio Sacerdoti Coen:
A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics.
37-57
Electronic Edition (link) BibTeX
- Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli:
Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier.
58-71
Electronic Edition (link) BibTeX
- Ugo Dal Lago, Angelo Montanari, Gabriele Puppis:
Towards Compact and Tractable Automaten-Based Representations of Time Granularities.
72-85
Electronic Edition (link) BibTeX
- Alberto Bertoni, Carlo Mereghetti, Beatrice Palano:
Lower Bounds on the Size of Quantum Automata Accepting Unary Languages.
86-96
Electronic Edition (link) BibTeX
- Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini:
Refined Effects for Unanticipated Object Re-classification: Fickle3.
97-110
Electronic Edition (link) BibTeX
Algorithms and Complexity
- Qiwei Huang, Errol L. Lloyd:
Cost Constrained Fixed Job Scheduling.
111-124
Electronic Edition (link) BibTeX
- Jens Gustedt, Jan Arne Telle:
A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set.
125-136
Electronic Edition (link) BibTeX
- Alessandro Ferrante, Mimmo Parente:
An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality.
137-149
Electronic Edition (link) BibTeX
- Alan A. Bertossi, Maria Cristina Pinotti, Romeo Rizzi, Anil M. Shende:
Channel Assignment in Honeycomb Networks.
150-162
Electronic Edition (link) BibTeX
- Tiziana Calamoneri:
Exact Solution of a Class of Frequency Assignment Problems in Cellular Networks.
163-173
Electronic Edition (link) BibTeX
- Luca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen:
The Complexity of Checking Consistency of Pedigree Information and Related Problems.
174-187
Electronic Edition (link) BibTeX
- K. Subramani:
On Clausal Equivalence and Hull Inclusion.
188-201
Electronic Edition (link) BibTeX
Semantics and Formal Languages
- Steffen van Bakel, Ugo de'Liguoro:
Logical Semantics for the First Order varsigma-Calculus.
202-215
Electronic Edition (link) BibTeX
- Ugo Dal Lago:
On the Expressive Power of Light Affine Logic.
216-227
Electronic Edition (link) BibTeX
- Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti:
Reasoning about Self and Others: Communicating Agents in a Model Action Logic.
228-241
Electronic Edition (link) BibTeX
- Felice Cardone, Mario Coppo:
Decidability Properties of Recursive Types.
242-255
Electronic Edition (link) BibTeX
- Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Algebraic Theories for Contextual Pre-nets.
256-270
Electronic Edition (link) BibTeX
- Daniela Cancila, Furio Honsell:
A Coalgebraic Description of Web Interactions.
271-283
Electronic Edition (link) BibTeX
- Davide Ancona, Sonia Fagorzi, Elena Zucca:
A Calculus for Dynamic Linking.
284-301
Electronic Edition (link) BibTeX
- Giovanni Lagorio:
Towards a Smart Compilation Manager for Java.
302-315
Electronic Edition (link) BibTeX
Security and Cryptography
- Stelvio Cimato, Paolo D'Arco, Ivan Visconti:
Anonymous Group Communication in Mobile Networks.
316-328
Electronic Edition (link) BibTeX
- Amparo Fúster-Sabater:
Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences.
329-341
Electronic Edition (link) BibTeX
- Anna Lisa Ferrara, Barbara Masucci:
An Information-Theoretic Approach to the Access Control Problem.
342-354
Electronic Edition (link) BibTeX
- Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
Security-Aware Program Transformations.
355-368
Electronic Edition (link) BibTeX
- Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi:
Information Flow Security and Recursive Systems.
369-382
Electronic Edition (link) BibTeX
- Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Compositional Verification of Secure Streamed Data: A Case Study with EMSS.
383-396
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:21:53 2009
by Michael Ley (ley@uni-trier.de)