6. IFIP TCS 2010:
Brisbane, Australia
Cristian S. Calude, Vladimiro Sassone (Eds.):
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.
IFIP Advances in Information and Communication Technology 323 Springer 2010, ISBN 978-3-642-15239-9 
- Bart Jacobs:
Convexity, Duality and Effects.
1-19
- Lucia Gallina, Sabina Rossi:
A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks.
20-31
- Rob J. van Glabbeek:
The Coarsest Precongruences Respecting Safety and Liveness Properties.
32-52
- Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi:
Entropy and Attack Models in Information Flow - (Invited Talk).
53-54
- Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum:
Safe Equivalences for Security Properties.
55-70
- Chenyi Zhang, Jun Pang:
On Probabilistic Alternating Simulations.
71-85
- Lei Song, Jens Chr. Godskesen:
Probabilistic Mobility Models for Mobile and Wireless Networks.
86-100
- Fouad B. Chedid:
On Packing Splittable Items with Cardinality Constraints.
101-110
- Arnaud Casteigts, Paola Flocchini, Bernard Mans, Nicola Santoro:
Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility.
111-124
- Nisansala Yatapanage, Kirsten Winter, Saad Zafar:
Slicing Behavior Tree Models for Verification.
125-139
- Darko Brodic:
Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction.
140-152
- Panu Silvasti, Seppo Sippu, Eljas Soisalon-Soininen:
Online Dictionary Matching for Streams of XML Documents.
153-164
- Pierre-Louis Curien, Guillaume Munch-Maccagnoni:
The Duality of Computation under Focus.
165-181
- Gilles Dowek:
Polarized Resolution Modulo.
182-196
- Harrie Jan Sander Bruggink, Barbara König:
A Logic on Subobjects and Recognizability.
197-212
- Mark Kaminski, Gert Smolka:
Terminating Tableaux for SOQ\mathcal{SOQ} with Number Restrictions on Transitive Roles.
213-228
- Jia Liu, Huimin Lin:
Proof System for Applied Pi Calculus.
229-243
- Thomas Given-Wilson, Daniele Gorla, Barry Jay:
Concurrent Pattern Calculus.
244-258
- Rupert Hölzl, Thorsten Kräling, Frank Stephan, Guohua Wu:
Initial Segment Complexities of Randomness Notions.
259-270
- Sibylle Schwarz, Ludwig Staiger:
Topologies Refining the Cantor Topology on Xomega.
271-285
- Beate Bollig:
On Symbolic Representations of Maximum Matchings and (Un)directed Graphs.
286-300
- Rupert Hölzl, Wolfgang Merkle:
Traceable Sets.
301-315
- Marin Bougeret, Pierre-François Dutot, Klaus Jansen, Christina Otte, Denis Trystram:
Approximating the Non-contiguous Multiple Organization Packing Problem.
316-327
- Shuichi Miyazaki, Kazuya Okamoto:
Improving the Competitive Ratios of the Seat Reservation Problem.
328-339
- Michele Boreale, David Clark, Daniele Gorla:
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis.
340-354
- James Gross, Frank G. Radmacher, Wolfgang Thomas:
A Game-Theoretic Approach to Routing under Adversarial Conditions.
355-370
- Salil Joshi, Sanjiva Prasad:
An Operational Model for Multiprocessors with Caches.
371-385
Last update Thu May 23 00:29:25 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
