Lecture Notes in Computer Science - Horizons of the Mind. A Tribute to Prakash Panangaden
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319068794, 9783319068800

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bisimulation for Markov Decision Processes through Families of Functional Expressions

Lecture Notes in Computer Science - Horizons of the Mind. A Tribute to Prakash Panangaden ◽

10.1007/978-3-319-06880-0_17 ◽

2014 ◽

pp. 319-342 ◽

Cited By ~ 3

Author(s):

Norm Ferns ◽

Doina Precup ◽

Sophia Knight

Keyword(s):

Markov Decision Processes ◽

Decision Processes ◽

Markov Decision

Download Full-text

An Operational Interpretation of Negative Probabilities and No-Signalling Models

Lecture Notes in Computer Science - Horizons of the Mind. A Tribute to Prakash Panangaden ◽

10.1007/978-3-319-06880-0_3 ◽

2014 ◽

pp. 59-75 ◽

Cited By ~ 11

Author(s):

Samson Abramsky ◽

Adam Brandenburger

Keyword(s):

Operational Interpretation ◽

Signalling Models

Download Full-text

Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation

Lecture Notes in Computer Science - Horizons of the Mind. A Tribute to Prakash Panangaden ◽

10.1007/978-3-319-06880-0_22 ◽

2014 ◽

pp. 427-453 ◽

Cited By ~ 1

Author(s):

Damian Markham ◽

Elham Kashefi

Keyword(s):

Quantum Computation

Download Full-text

Bisimulation on Markov Processes over Arbitrary Measurable Spaces

Lecture Notes in Computer Science - Horizons of the Mind. A Tribute to Prakash Panangaden ◽

10.1007/978-3-319-06880-0_4 ◽

2014 ◽

pp. 76-95

Author(s):

Giorgio Bacci ◽

Giovanni Bacci ◽

Kim Guldstrand Larsen ◽

Radu Mardare

Keyword(s):

Markov Processes

Download Full-text

Random Measurable Selections

Lecture Notes in Computer Science - Horizons of the Mind. A Tribute to Prakash Panangaden ◽

10.1007/978-3-319-06880-0_18 ◽

2014 ◽

pp. 343-362

Author(s):

Jean Goubault-Larrecq ◽

Roberto Segala

Keyword(s):

Measurable Selections

Download Full-text

Probabilistic Model Checking for Energy-Utility Analysis

Lecture Notes in Computer Science - Horizons of the Mind. A Tribute to Prakash Panangaden ◽

10.1007/978-3-319-06880-0_5 ◽

2014 ◽

pp. 96-123 ◽

Cited By ~ 11

Author(s):

Christel Baier ◽

Clemens Dubslaff ◽

Joachim Klein ◽

Sascha Klüppelholz ◽

Sascha Wunderlich

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Probabilistic Model Checking ◽

Utility Analysis

Download Full-text

TCC, with History

Lecture Notes in Computer Science - Horizons of the Mind. A Tribute to Prakash Panangaden ◽

10.1007/978-3-319-06880-0_24 ◽

2014 ◽

pp. 458-475 ◽

Cited By ~ 1

Author(s):

Vijay Saraswat ◽

Vineet Gupta ◽

Radha Jagadeesan

Download Full-text

Laudatio for Prakash Panangaden

Lecture Notes in Computer Science - Horizons of the Mind. A Tribute to Prakash Panangaden ◽

10.1007/978-3-319-06880-0_15 ◽

2014 ◽

pp. 290-291

Author(s):

Josée Desharnais

Download Full-text

Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars

Lecture Notes in Computer Science - Horizons of the Mind. A Tribute to Prakash Panangaden ◽

10.1007/978-3-319-06880-0_12 ◽

2014 ◽

pp. 229-249

Author(s):

Claudia Casadio ◽

Mehrnoosh Sadrzadeh

Keyword(s):

Word Order ◽

Pregroup Grammars

Download Full-text

The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

Lecture Notes in Computer Science - Horizons of the Mind. A Tribute to Prakash Panangaden ◽

10.1007/978-3-319-06880-0_10 ◽

2014 ◽

pp. 191-213 ◽

Cited By ~ 4

Author(s):

Franck van Breugel ◽

James Worrell

Keyword(s):

Probabilistic Automata

Download Full-text

Lecture Notes in Computer Science - Horizons of the Mind. A Tribute to Prakash PanangadenLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Bisimulation for Markov Decision Processes through Families of Functional Expressions

An Operational Interpretation of Negative Probabilities and No-Signalling Models

Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation

Bisimulation on Markov Processes over Arbitrary Measurable Spaces

Random Measurable Selections

Probabilistic Model Checking for Energy-Utility Analysis

TCC, with History

Laudatio for Prakash Panangaden

Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars

The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata

Lecture Notes in Computer Science - Horizons of the Mind. A Tribute to Prakash Panangaden
Latest Publications