Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662466773, 9783662466780

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

States of Convex Sets

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-662-46678-0_6 ◽

2015 ◽

pp. 87-101 ◽

Cited By ~ 3

Author(s):

Bart Jacobs ◽

Bas Westerbaan ◽

Bram Westerbaan

Keyword(s):

Convex Sets

Download Full-text

Compositional Metric Reasoning with Probabilistic Process Calculi

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-662-46678-0_15 ◽

2015 ◽

pp. 230-245 ◽

Cited By ~ 5

Author(s):

Daniel Gebler ◽

Kim Guldstrand Larsen ◽

Simone Tini

Keyword(s):

Process Calculi ◽

Probabilistic Process

Download Full-text

Decidable and Expressive Classes of Probabilistic Automata

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-662-46678-0_13 ◽

2015 ◽

pp. 200-214 ◽

Cited By ~ 4

Author(s):

Rohit Chadha ◽

A. Prasad Sistla ◽

Mahesh Viswanathan ◽

Yue Ben

Keyword(s):

Probabilistic Automata

Download Full-text

Unifying Hyper and Epistemic Temporal Logics

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-662-46678-0_11 ◽

2015 ◽

pp. 167-182 ◽

Cited By ~ 4

Author(s):

Laura Bozzelli ◽

Bastien Maubert ◽

Sophie Pinchinat

Keyword(s):

Temporal Logics

Download Full-text

On the Total Variation Distance of Semi-Markov Chains

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-662-46678-0_12 ◽

2015 ◽

pp. 185-199 ◽

Cited By ~ 4

Author(s):

Giorgio Bacci ◽

Giovanni Bacci ◽

Kim Guldstrand Larsen ◽

Radu Mardare

Keyword(s):

Markov Chains ◽

Total Variation ◽

Total Variation Distance ◽

Variation Distance

Download Full-text

Fragments of ML Decidable by Nested Data Class Memory Automata

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-662-46678-0_16 ◽

2015 ◽

pp. 249-263 ◽

Cited By ~ 4

Author(s):

Conrad Cotton-Barratt ◽

David Hopkins ◽

Andrzej S. Murawski ◽

C. -H. Luke Ong

Keyword(s):

Nested Data

Download Full-text

A Categorical Semantics for Linear Logical Frameworks

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-662-46678-0_7 ◽

2015 ◽

pp. 102-116 ◽

Cited By ~ 3

Author(s):

Matthijs Vákár

Keyword(s):

Logical Frameworks ◽

Categorical Semantics

Download Full-text

Typing Weak MSOL Properties

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-662-46678-0_22 ◽

2015 ◽

pp. 343-357 ◽

Cited By ~ 5

Author(s):

Sylvain Salvati ◽

Igor Walukiewicz

Download Full-text

Step-Indexed Logical Relations for Probability

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-662-46678-0_18 ◽

2015 ◽

pp. 279-294 ◽

Cited By ~ 16

Author(s):

Aleš Bizjak ◽

Lars Birkedal

Download Full-text

Sequent Calculus in the Topos of Trees

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-662-46678-0_9 ◽

2015 ◽

pp. 133-147 ◽

Cited By ~ 3

Author(s):

Ranald Clouston ◽

Rajeev Goré

Keyword(s):

Sequent Calculus

Download Full-text

Lecture Notes in Computer Science - Foundations of Software Science and Computation StructuresLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

States of Convex Sets

Compositional Metric Reasoning with Probabilistic Process Calculi

Decidable and Expressive Classes of Probabilistic Automata

Unifying Hyper and Epistemic Temporal Logics

On the Total Variation Distance of Semi-Markov Chains

Fragments of ML Decidable by Nested Data Class Memory Automata

A Categorical Semantics for Linear Logical Frameworks

Typing Weak MSOL Properties

Step-Indexed Logical Relations for Probability

Sequent Calculus in the Topos of Trees

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures
Latest Publications