default search action
6th IFIP TCS 2010: Brisbane, Australia
- Cristian S. Calude, Vladimiro Sassone:
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
Safe Equivalences for Security Properties. 55-70 - Chenyi Zhang
On Probabilistic Alternating Simulations. 71-85 - Lei Song
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
Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility. 111-124 - Nisansala Yatapanage
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 - H. J. 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
Proof System for Applied Pi Calculus. 229-243 - Thomas Given-Wilson
Concurrent Pattern Calculus. 244-258 - Rupert Hölzl, Thorsten Kräling, Frank Stephan
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: