Abstract is missing.
- Extreme Nash EquilibriaMartin Gairing, Thomas Lücking, Marios Mavronicolas, Burkhard Monien, Paul G. Spirakis. 1-20 [doi]
- Certification of Memory UsageMartin Hofmann. 21 [doi]
- On Programming Models for MobilityGérard Boudol. 22 [doi]
- On the Computational Complexity of Cut-Elimination in Linear LogicHarry G. Mairson, Kazushige Terui. 23-36 [doi]
- A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered SemanticsClaudio Sacerdoti Coen. 37-57 [doi]
- Finite Horizon Analysis of Stochastic Systems with the Mur varphi VerifierGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli. 58-71 [doi]
- Towards Compact and Tractable Automaten-Based Representations of Time GranularitiesUgo Dal Lago, Angelo Montanari, Gabriele Puppis. 72-85 [doi]
- Lower Bounds on the Size of Quantum Automata Accepting Unary LanguagesAlberto Bertoni, Carlo Mereghetti, Beatrice Palano. 86-96 [doi]
- Refined Effects for Unanticipated Object Re-classification: Fickle::3::Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini. 97-110 [doi]
- Cost Constrained Fixed Job SchedulingQiwei Huang, Errol L. Lloyd. 111-124 [doi]
- A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent SetJens Gustedt, Jan Arne Telle. 125-136 [doi]
- An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle InequalityAlessandro Ferrante, Mimmo Parente. 137-149 [doi]
- Channel Assignment in Honeycomb NetworksAlan A. Bertossi, Maria Cristina Pinotti, Romeo Rizzi, Anil M. Shende. 150-162 [doi]
- Exact Solution of a Class of Frequency Assignment Problems in Cellular NetworksTiziana Calamoneri. 163-173 [doi]
- The Complexity of Checking Consistency of Pedigree Information and Related ProblemsLuca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen. 174-187 [doi]
- On Clausal Equivalence and Hull InclusionK. Subramani. 188-201 [doi]
- Logical Semantics for the First Order varsigma-CalculusSteffen van Bakel, Ugo de Liguoro. 202-215 [doi]
- On the Expressive Power of Light Affine LogicUgo Dal Lago. 216-227 [doi]
- Reasoning about Self and Others: Communicating Agents in a Model Action LogicMatteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti. 228-241 [doi]
- Decidability Properties of Recursive TypesFelice Cardone, Mario Coppo. 242-255 [doi]
- Algebraic Theories for Contextual Pre-netsRoberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone. 256-270 [doi]
- A Coalgebraic Description of Web InteractionsDaniela Cancila, Furio Honsell. 271-283 [doi]
- A Calculus for Dynamic LinkingDavide Ancona, Sonia Fagorzi, Elena Zucca. 284-301 [doi]
- Towards a Smart Compilation Manager for JavaGiovanni Lagorio. 302-315 [doi]
- Anonymous Group Communication in Mobile NetworksStelvio Cimato, Paolo D Arco, Ivan Visconti. 316-328 [doi]
- Aspects of Pseudorandomness in Nonlinear Generators of Binary SequencesAmparo Fúster-Sabater. 329-341 [doi]
- An Information-Theoretic Approach to the Access Control ProblemAnna Lisa Ferrara, Barbara Masucci. 342-354 [doi]
- Security-Aware Program TransformationsMassimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari. 355-368 [doi]
- Information Flow Security and Recursive SystemsAnnalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi. 369-382 [doi]
- Compositional Verification of Secure Streamed Data: A Case Study with EMSSFabio Martinelli, Marinella Petrocchi, Anna Vaccarelli. 383-396 [doi]