IFIP Advances in Information and Communication Technology - Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642152399, 9783642152405

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis

IFIP Advances in Information and Communication Technology - Theoretical Computer Science ◽

10.1007/978-3-642-15240-5_25 ◽

2010 ◽

pp. 340-354 ◽

Cited By ~ 2

Author(s):

Michele Boreale ◽

David Clark ◽

Daniele Gorla

Keyword(s):

Information Leakage ◽

Trace Semantics

Download Full-text

Slicing Behavior Tree Models for Verification

IFIP Advances in Information and Communication Technology - Theoretical Computer Science ◽

10.1007/978-3-642-15240-5_10 ◽

2010 ◽

pp. 125-139 ◽

Cited By ~ 7

Author(s):

Nisansala Yatapanage ◽

Kirsten Winter ◽

Saad Zafar

Keyword(s):

Behavior Tree ◽

Tree Models

Download Full-text

Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility

IFIP Advances in Information and Communication Technology - Theoretical Computer Science ◽

10.1007/978-3-642-15240-5_9 ◽

2010 ◽

pp. 111-124 ◽

Cited By ~ 13

Author(s):

Arnaud Casteigts ◽

Paola Flocchini ◽

Bernard Mans ◽

Nicola Santoro

Keyword(s):

Time Varying ◽

Time Varying Graphs

Download Full-text

The Duality of Computation under Focus

IFIP Advances in Information and Communication Technology - Theoretical Computer Science ◽

10.1007/978-3-642-15240-5_13 ◽

2010 ◽

pp. 165-181 ◽

Cited By ~ 18

Author(s):

Pierre-Louis Curien ◽

Guillaume Munch-Maccagnoni

Download Full-text

Convexity, Duality and Effects

IFIP Advances in Information and Communication Technology - Theoretical Computer Science ◽

10.1007/978-3-642-15240-5_1 ◽

2010 ◽

pp. 1-19 ◽

Cited By ~ 17

Author(s):

Bart Jacobs

Download Full-text

The Coarsest Precongruences Respecting Safety and Liveness Properties

IFIP Advances in Information and Communication Technology - Theoretical Computer Science ◽

10.1007/978-3-642-15240-5_3 ◽

2010 ◽

pp. 32-52 ◽

Cited By ~ 6

Author(s):

Robert Jan van Glabbeek

Keyword(s):

Liveness Properties

Download Full-text

Proof System for Applied Pi Calculus

IFIP Advances in Information and Communication Technology - Theoretical Computer Science ◽

10.1007/978-3-642-15240-5_17 ◽

2010 ◽

pp. 229-243 ◽

Cited By ~ 5

Author(s):

Jia Liu ◽

Huimin Lin

Keyword(s):

Proof System ◽

Pi Calculus

Download Full-text

A Game-Theoretic Approach to Routing under Adversarial Conditions

IFIP Advances in Information and Communication Technology - Theoretical Computer Science ◽

10.1007/978-3-642-15240-5_26 ◽

2010 ◽

pp. 355-370 ◽

Cited By ~ 1

Author(s):

James Gross ◽

Frank G. Radmacher ◽

Wolfgang Thomas

Keyword(s):

Theoretic Approach ◽

Game Theoretic ◽

Game Theoretic Approach

Download Full-text

Probabilistic Mobility Models for Mobile and Wireless Networks

IFIP Advances in Information and Communication Technology - Theoretical Computer Science ◽

10.1007/978-3-642-15240-5_7 ◽

2010 ◽

pp. 86-100 ◽

Cited By ~ 15

Author(s):

Lei Song ◽

Jens Chr. Godskesen

Keyword(s):

Wireless Networks ◽

Mobility Models ◽

Mobile And Wireless Networks

Download Full-text

Safe Equivalences for Security Properties

IFIP Advances in Information and Communication Technology - Theoretical Computer Science ◽

10.1007/978-3-642-15240-5_5 ◽

2010 ◽

pp. 55-70 ◽

Cited By ~ 3

Author(s):

Mário S. Alvim ◽

Miguel E. Andrés ◽

Catuscia Palamidessi ◽

Peter van Rossum

Keyword(s):

Security Properties

Download Full-text

IFIP Advances in Information and Communication Technology - Theoretical Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis

Slicing Behavior Tree Models for Verification

Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility

The Duality of Computation under Focus

Convexity, Duality and Effects

The Coarsest Precongruences Respecting Safety and Liveness Properties

Proof System for Applied Pi Calculus

A Game-Theoretic Approach to Routing under Adversarial Conditions

Probabilistic Mobility Models for Mobile and Wireless Networks

Safe Equivalences for Security Properties

IFIP Advances in Information and Communication Technology - Theoretical Computer Science
Latest Publications