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