default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th 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, 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 - 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, 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
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 2025-02-07 23:57 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:
