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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642198045, 9783642198052

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Irrelevance in Type Theory with a Heterogeneous Equality Judgement

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

10.1007/978-3-642-19805-2_5 ◽

2011 ◽

pp. 57-71 ◽

Cited By ~ 4

Author(s):

Andreas Abel

Keyword(s):

Type Theory

Download Full-text

A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces

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

10.1007/978-3-642-19805-2_21 ◽

2011 ◽

pp. 305-319 ◽

Cited By ~ 3

Author(s):

Jan Schwinghammer ◽

Lars Birkedal ◽

Kristian St ø vring

Keyword(s):

Metric Spaces ◽

Kripke Model

Download Full-text

Realizability and Parametricity in Pure Type Systems

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

10.1007/978-3-642-19805-2_8 ◽

2011 ◽

pp. 108-122 ◽

Cited By ~ 11

Author(s):

Jean-Philippe Bernardy ◽

Marc Lasson

Keyword(s):

Type Systems ◽

Pure Type ◽

Pure Type Systems

Download Full-text

Deriving Labels and Bisimilarity for Concurrent Constraint Programming

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

10.1007/978-3-642-19805-2_10 ◽

2011 ◽

pp. 138-152 ◽

Cited By ~ 8

Author(s):

Andrés Aristizábal ◽

Filippo Bonchi ◽

Catuscia Palamidessi ◽

Luis Pino ◽

Frank Valencia

Keyword(s):

Constraint Programming ◽

Concurrent Constraint Programming

Download Full-text

The Search for Structure in Quantum Computation

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

10.1007/978-3-642-19805-2_1 ◽

2011 ◽

pp. 1-11

Author(s):

Prakash Panangaden

Keyword(s):

Quantum Computation

Download Full-text

Freshness and Name-Restriction in Sets of Traces with Names

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

10.1007/978-3-642-19805-2_25 ◽

2011 ◽

pp. 365-380 ◽

Cited By ~ 14

Author(s):

Murdoch J. Gabbay ◽

Vincenzo Ciancia

Download Full-text

Coalgebraic Walks, in Quantum and Turing Computation

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

10.1007/978-3-642-19805-2_2 ◽

2011 ◽

pp. 12-26 ◽

Cited By ~ 9

Author(s):

Bart Jacobs

Keyword(s):

Turing Computation

Download Full-text

HTML Validation of Context-Free Languages

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

10.1007/978-3-642-19805-2_29 ◽

2011 ◽

pp. 426-440 ◽

Cited By ~ 6

Author(s):

Anders M ø ller ◽

Mathias Schwarz

Keyword(s):

Context Free

Download Full-text

A Trace-Based View on Operating Guidelines

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

10.1007/978-3-642-19805-2_28 ◽

2011 ◽

pp. 411-425 ◽

Cited By ~ 1

Author(s):

Christian Stahl ◽

Walter Vogler

Download Full-text

Asymptotic Information Leakage under One-Try Attacks

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

10.1007/978-3-642-19805-2_27 ◽

2011 ◽

pp. 396-410 ◽

Cited By ~ 18

Author(s):

Michele Boreale ◽

Francesca Pampaloni ◽

Michela Paolini

Keyword(s):

Information Leakage

Download Full-text

Foundations of Software Science and Computational Structures - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Irrelevance in Type Theory with a Heterogeneous Equality Judgement

A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces

Realizability and Parametricity in Pure Type Systems

Deriving Labels and Bisimilarity for Concurrent Constraint Programming

The Search for Structure in Quantum Computation

Freshness and Name-Restriction in Sets of Traces with Names

Coalgebraic Walks, in Quantum and Turing Computation

HTML Validation of Context-Free Languages

A Trace-Based View on Operating Guidelines

Asymptotic Information Leakage under One-Try Attacks

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