Theoretical computer science. 8th Italian conference, ICTCS 2003, Bertinoro, Italy, October 13--15, 2003. Proceedings (Q1412211)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0971.00032). Indexed articles: \textit{Gairing, Martin; Lücking, Thomas; Mavronicolas, Marios; Monien, Burkhard; Spirakis, Paul}, Extreme Nash equilibria., 1-20 [Zbl 1257.68081] \textit{Mairson, Harry G.; Terui, Kazushige}, On the computational complexity of cut-elimination in linear logic., 23-36 [Zbl 1257.03091] \textit{Sacerdoti Coen, Claudio}, A constructive proof of the soundness of the encoding of random access machines in a Linda calculus with ordered semantics., 37-57 [Zbl 1257.68066] \textit{Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa}, Finite horizon analysis of stochastic systems with the Mur\(\varphi \) verifier., 58-71 [Zbl 1257.68104] \textit{Dal Lago, Ugo; Montanari, Angelo; Puppis, Gabriele}, Towards compact and tractable automaton-based representations of time granularities., 72-85 [Zbl 1257.68063] \textit{Bertoni, Alberto; Mereghetti, Carlo; Palano, Beatrice}, Lower bounds on the size of quantum automata accepting unary languages., 86-96 [Zbl 1257.68096] \textit{Damiani, Ferruccio; Drossopoulou, Sophia; Giannini, Paola}, Refined effects for unanticipated object re-classification: \(\mathcal{F}{\mathit ickle}_{3}\) (extended abstract), 97-110 [Zbl 1257.68050] \textit{Huang, Qiwei; Lloyd, Errol}, Cost constrained fixed job scheduling., 111-124 [Zbl 1257.68045] \textit{Gustedt, Jens; Telle, Jan Arne}, A work-optimal coarse-grained PRAM algorithm for Lexicographically First Maximal Independent Set., 125-136 [Zbl 1257.68142] \textit{Ferrante, Alessandro; Parente, Mimmo}, An approximation algorithm for the minimum weight vertex-connectivity problem in complete graphs with sharpened triangle inequality., 137-149 [Zbl 1257.68148] \textit{Bertossi, Alan A.; Pinotti, Cristina M.; Rizzi, Romea; Shende, Anil M.}, Channel assignment in honeycomb networks., 150-162 [Zbl 1257.68028] \textit{Calamoneri, Tiziana}, Exact solution of a class of frequency assignment problems in cellular networks (extended abstract), 163-173 [Zbl 1257.94006] \textit{Aceto, Luca; Hansen, Jens A.; Ingólfsdóttir, Anna; Johnsen, Jacob; Knudsen, John}, The complexity of checking consistency of pedigree information and related problems., 174-187 [Zbl 1257.92036] \textit{Subramani, K.}, On clausal equivalence and hull inclusion., 188-201 [Zbl 1257.68082] \textit{van Bakel, Steffen; de'Liguoro, Ugo}, Logical semantics for the first order \(\varrho \)-calculus., 202-215 [Zbl 1257.68052] \textit{Dal Lago, Ugo}, On the expressive power of light affine logic., 216-227 [Zbl 1257.03089] \textit{Baldoni, Matteo; Baroglio, Cristina; Martelli, Alberto; Patti, Viviana}, Reasoning about self and others: communicating agents in a modal action logic., 228-241 [Zbl 1257.68132] \textit{Cardone, Felice; Coppo, Mario}, Decidability properties of recursive types., 242-255 [Zbl 1257.68056] \textit{Bruni, Roberto; Meseguer, José; Montanari, Ugo; Sassone, Vladimiro}, Algebraic theories for contextual pre-nets., 256-270 [Zbl 1257.68107] \textit{Cancila, Daniela; Honsell, Furio}, A coalgebraic description of web interactions., 271-283 [Zbl 1257.68031] \textit{Ancona, Davide; Fagorzi, Sonia; Zucca, Elena}, A calculus for dynamic linking., 284-301 [Zbl 1257.68053] \textit{Lagorio, Giovanni}, Towards a smart compilation manager for Java (extended abstract), 302-315 [Zbl 1257.68047] \textit{Cimato, Stelvio; D'Arco, Paolo; Visconti, Ivan}, Anonymous group communication in mobile networks (extended abstract), 316-328 [Zbl 1257.94026] \textit{Fúster-Sabater, Amparo}, Aspects of pseudorandomness in nonlinear generators of binary sequences., 329-341 [Zbl 1257.94029] \textit{Ferrara, Anna Lisa; Masucci, Barbara}, An information-theoretic approach to the access control problem., 342-354 [Zbl 1257.94035] \textit{Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi}, Security-aware program transformations., 355-368 [Zbl 1257.68054] \textit{Bossi, Annalisa; Macedonio, Damiano; Piazza, Carla; Rossi, Sabina}, Information flow security and recursive systems., 369-382 [Zbl 1257.68055] \textit{Martinelli, Fabio; Petrocchi, Marinella; Vaccarelli, Anna}, Compositional verification of secure streamed data: a case study with EMSS ., 383-396 [Zbl 1257.68033]