IFIP TC6 Open Digital Library

6. IFIP TCS 2010: Brisbane, Australia

Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

Cristian S. Calude, Vladimiro Sassone

Springer, IFIP Advances in Information and Communication Technology 323, ISBN: 978-3-642-15239-9


Convexity, Duality and Effects.

Bart Jacobs


A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks.

Lucia Gallina, Sabina Rossi


The Coarsest Precongruences Respecting Safety and Liveness Properties.

Rob J. van Glabbeek


Entropy and Attack Models in Information Flow - (Invited Talk).

Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi


Safe Equivalences for Security Properties.

Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum


On Probabilistic Alternating Simulations.

Chenyi Zhang, Jun Pang


Probabilistic Mobility Models for Mobile and Wireless Networks.

Lei Song, Jens Chr. Godskesen


On Packing Splittable Items with Cardinality Constraints.

Fouad B. Chedid


Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility.

Arnaud Casteigts, Paola Flocchini, Bernard Mans, Nicola Santoro


Slicing Behavior Tree Models for Verification.

Nisansala Yatapanage, Kirsten Winter, Saad Zafar


Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction.

Darko Brodic


Online Dictionary Matching for Streams of XML Documents.

Panu Silvasti, Seppo Sippu, Eljas Soisalon-Soininen


The Duality of Computation under Focus.

Pierre-Louis Curien, Guillaume Munch-Maccagnoni


Polarized Resolution Modulo.

Gilles Dowek


A Logic on Subobjects and Recognizability.

Harrie Jan Sander Bruggink, Barbara König


Terminating Tableaux for SOQ\mathcal{SOQ} with Number Restrictions on Transitive Roles.

Mark Kaminski, Gert Smolka


Proof System for Applied Pi Calculus.

Jia Liu, Huimin Lin


Concurrent Pattern Calculus.

Thomas Given-Wilson, Daniele Gorla, Barry Jay


Initial Segment Complexities of Randomness Notions.

Rupert Hölzl, Thorsten Kräling, Frank Stephan, Guohua Wu


Topologies Refining the Cantor Topology on Xomega.

Sibylle Schwarz, Ludwig Staiger


On Symbolic Representations of Maximum Matchings and (Un)directed Graphs.

Beate Bollig


Traceable Sets.

Rupert Hölzl, Wolfgang Merkle


Approximating the Non-contiguous Multiple Organization Packing Problem.

Marin Bougeret, Pierre-François Dutot, Klaus Jansen, Christina Otte, Denis Trystram


Improving the Competitive Ratios of the Seat Reservation Problem.

Shuichi Miyazaki, Kazuya Okamoto


A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis.

Michele Boreale, David Clark, Daniele Gorla


A Game-Theoretic Approach to Routing under Adversarial Conditions.

James Gross, Frank G. Radmacher, Wolfgang Thomas


An Operational Model for Multiprocessors with Caches.

Salil Joshi 0002, Sanjiva Prasad