10. ICTCS 2007:
Rome,
Italy
Giuseppe F. Italiano, Eugenio Moggi, Luigi Laura (Eds.):
Theoretical Computer Science, 10th Italian Conference, ICTCS 2007, Rome, Italy, October 3-5, 2007, Proceedings.
World Scientific 2007, ISBN 981-277-098-4 BibTeX
Invited Talks
Regular Contributions
- Mathias Hauptmann:
On the Approximability of Dense Steiner Tree Problems.
15-26 BibTeX
- Riccardo Dondi, Guillaume Fertin, Stéphane Vialette:
Weak pattern matching in colored graphs: Minimizing the number of connected components.
27-38 BibTeX
- Marco Bernardo, Alessandro Aldini:
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions.
39-56 BibTeX
- Damiano Zanardini:
Analyzing Non-Interference with respect to Classes.
57-69 BibTeX
- Igor Razgon:
Computing Minimum Directed Feedback Vertex Set in O(1.9977n).
70-81 BibTeX
- Iyad A. Kanj, Luay Nakhleh, Cuong Than, Ge Xia:
Seeing the Trees and Their Branches in the Forest is Hard.
82-93 BibTeX
- Liliana D'Errico, Michele Loreti:
Modeling Fuzzy Behaviours in Concurrent Systems.
94-105 BibTeX
- Davide Ancona, Elena Zucca:
A formal framework for compositional compilation.
106-117 BibTeX
- Davide Ancona, Giovanni Lagorio, Elena Zucca:
Type inference for polymorphic methods in Java-like languages.
118-129 BibTeX
- Travis Gagie:
Sorting streamed multisets.
130-138 BibTeX
- Donatella Merlini, Renzo Sprugnoli, M. Cecilia Verri:
The random generation of derangements.
139-150 BibTeX
- Mathias Hauptmann:
The Measure Hypothesis and Efficiency of Polynomial Time Approximation Schemes.
151-162 BibTeX
- Sven Kosub, Christopher M. Homan:
Dichotomy Results for Fixed Point Counting in Boolean Dynamical Systems.
163-174 BibTeX
- Christian Choffrut, Achille Frigeri:
Definable sets in weak Presburger arithmetic.
175-186 BibTeX
- Giovanni Di Crescenzo, Ivan Visconti:
On Defining Proofs of Knowledge in the Bare Public Key Model.
187-198 BibTeX
Copyright © Fri Sep 5 19:50:07 2008
by Michael Ley (ley@uni-trier.de)
