Abstract is missing.
- Convexity, Duality and EffectsBart Jacobs. 1-19 [doi]
- A Calculus for Power-Aware Multicast Communications in Ad Hoc NetworksLucia Gallina, Sabina Rossi. 20-31 [doi]
- The Coarsest Precongruences Respecting Safety and Liveness PropertiesRob J. van Glabbeek. 32-52 [doi]
- Entropy and Attack Models in Information Flow - (Invited Talk)Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi. 53-54 [doi]
- Safe Equivalences for Security PropertiesMário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum. 55-70 [doi]
- On Probabilistic Alternating SimulationsChenyi Zhang, Jun Pang. 71-85 [doi]
- Probabilistic Mobility Models for Mobile and Wireless NetworksLei Song, Jens Chr. Godskesen. 86-100 [doi]
- On Packing Splittable Items with Cardinality ConstraintsFouad B. Chedid. 101-110 [doi]
- Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured MobilityArnaud Casteigts, Paola Flocchini, Bernard Mans, Nicola Santoro. 111-124 [doi]
- Slicing Behavior Tree Models for VerificationNisansala Yatapanage, Kirsten Winter, Saad Zafar. 125-139 [doi]
- Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter ExtractionDarko Brodic. 140-152 [doi]
- Online Dictionary Matching for Streams of XML DocumentsPanu Silvasti, Seppo Sippu, Eljas Soisalon-Soininen. 153-164 [doi]
- The Duality of Computation under FocusPierre-Louis Curien, Guillaume Munch-Maccagnoni. 165-181 [doi]
- Polarized Resolution ModuloGilles Dowek. 182-196 [doi]
- A Logic on Subobjects and RecognizabilityHarrie Jan Sander Bruggink, Barbara König. 197-212 [doi]
- Terminating Tableaux for ::::SOQ::::/mathcal{SOQ} with Number Restrictions on Transitive RolesMark Kaminski, Gert Smolka. 213-228 [doi]
- Proof System for Applied Pi CalculusJia Liu, Huimin Lin. 229-243 [doi]
- Concurrent Pattern CalculusThomas Given-Wilson, Daniele Gorla, Barry Jay. 244-258 [doi]
- Initial Segment Complexities of Randomness NotionsRupert Hölzl, Thorsten Kräling, Frank Stephan, Guohua Wu. 259-270 [doi]
- Topologies Refining the Cantor Topology on ::::X:::::::::::omega:::::::Sibylle Schwarz, Ludwig Staiger. 271-285 [doi]
- On Symbolic Representations of Maximum Matchings and (Un)directed GraphsBeate Bollig. 286-300 [doi]
- Traceable SetsRupert Hölzl, Wolfgang Merkle. 301-315 [doi]
- Approximating the Non-contiguous Multiple Organization Packing ProblemMarin Bougeret, Pierre-François Dutot, Klaus Jansen, Christina Otte, Denis Trystram. 316-327 [doi]
- Improving the Competitive Ratios of the Seat Reservation ProblemShuichi Miyazaki, Kazuya Okamoto. 328-339 [doi]
- A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage AnalysisMichele Boreale, David Clark, Daniele Gorla. 340-354 [doi]
- A Game-Theoretic Approach to Routing under Adversarial ConditionsJames Gross, Frank G. Radmacher, Wolfgang Thomas. 355-370 [doi]
- An Operational Model for Multiprocessors with CachesSalil Joshi, Sanjiva Prasad. 371-385 [doi]