Lecture Notes in Computer Science - Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642334740, 9783642334757

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Probabilistic Inference and Monadic Second Order Logic

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-642-33475-7_4 ◽

2012 ◽

pp. 43-56 ◽

Author(s):

Marijke Hans L. Bodlaender

Keyword(s):

Probabilistic Inference ◽

Second Order ◽

Order Logic ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

Worst- and Average-Case Privacy Breaches in Randomization Mechanisms

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-642-33475-7_6 ◽

2012 ◽

pp. 72-86 ◽

Author(s):

Michele Boreale ◽

Michela Paolini

Keyword(s):

Average Case ◽

Privacy Breaches

Download Full-text

On Properties and State Complexity of Deterministic State-Partition Automata

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-642-33475-7_12 ◽

2012 ◽

pp. 164-178 ◽

Author(s):

Galina Jirásková ◽

Tomáš Masopust

Keyword(s):

State Complexity

Download Full-text

Weak Bisimulations for Coalgebras over Ordered Functors

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-642-33475-7_7 ◽

2012 ◽

pp. 87-103 ◽

Author(s):

Tomasz Brengos

Download Full-text

Unidirectional Channel Systems Can Be Tested

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-642-33475-7_11 ◽

2012 ◽

pp. 149-163 ◽

Author(s):

Petr Jančar ◽

Prateek Karandikar ◽

Philippe Schnoebelen

Keyword(s):

Channel Systems

Download Full-text

Broadcast Abstraction in a Stochastic Calculus for Mobile Networks

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-642-33475-7_24 ◽

2012 ◽

pp. 342-356 ◽

Author(s):

Lei Song ◽

Jens Chr. Godskesen

Keyword(s):

Mobile Networks ◽

Stochastic Calculus

Download Full-text

Modal Interface Automata

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-642-33475-7_19 ◽

2012 ◽

pp. 265-279 ◽

Author(s):

Gerald Lüttgen ◽

Walter Vogler

Keyword(s):

Interface Automata

Download Full-text

A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-642-33475-7_22 ◽

2012 ◽

pp. 310-324 ◽

Author(s):

Colin Riba

Keyword(s):

Second Order ◽

Order Logic ◽

Infinite Words ◽

Theoretic Proof ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

Formal Verification of Distributed Algorithms

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-642-33475-7_15 ◽

2012 ◽

pp. 209-224 ◽

Author(s):

Philipp Küfner ◽

Uwe Nestmann ◽

Christina Rickmann

Keyword(s):

Formal Verification ◽

Distributed Algorithms

Download Full-text

Erratum: Probabilistic Inference and Monadic Second Order Logic

Lecture Notes in Computer Science - Theoretical Computer Science ◽

10.1007/978-3-642-33475-7_27 ◽

2012 ◽

pp. E1-E1

Author(s):

Hans L. Bodlaender

Keyword(s):

Probabilistic Inference ◽

Second Order ◽

Order Logic ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text