Horizons of the Mind

Publications

2014

Henning Basold, Marcello M. Bonsangue, Helle Hvid Hansen, Jan Rutten
(Co)Algebraic Characterizations of Signal Flow Graphs. Horizons of the Mind (2014)
Vincent Danos, Ilias Garnier
Free Energy of Petri Nets. Horizons of the Mind (2014)
Bob Coecke
The Logic of Entanglement. Horizons of the Mind (2014)
Jean Goubault-Larrecq, Roberto Segala
Random Measurable Selections. Horizons of the Mind (2014)
Josée Desharnais
Laudatio for Prakash Panangaden. Horizons of the Mind (2014)
Glynn Winskel
Probabilistic and Quantum Event Structures. Horizons of the Mind (2014)
Bart Jacobs, Alexandra Silva
Automata Learning: A Categorical Perspective. Horizons of the Mind (2014)
Keye Martin, Johnny Feng, Tanner Crowder
Euclidean Representations of Quantum States. Horizons of the Mind (2014)
Martín Abadi, Jérémy Planul, Gordon D. Plotkin
Layout Randomization and Nondeterminism. Horizons of the Mind (2014)
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
Bisimulation on Markov Processes over Arbitrary Measurable Spaces. Horizons of the Mind (2014)
Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Probabilistic Model Checking for Energy-Utility Analysis. Horizons of the Mind (2014)
Adam Bognat, Patrick M. Hayden
Privacy from Accelerating Eavesdroppers: The Impact of Losses. Horizons of the Mind (2014)
Claudia Casadio, Mehrnoosh Sadrzadeh
Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars. Horizons of the Mind (2014)
Norm Ferns, Doina Precup, Sophia Knight
Bisimulation for Markov Decision Processes through Families of Functional Expressions. Horizons of the Mind (2014)
Samson Abramsky, Adam Brandenburger
An Operational Interpretation of Negative Probabilities and No-Signalling Models. Horizons of the Mind (2014)
Dexter Kozen
Optimal Coin Flipping. Horizons of the Mind (2014)
Damian Markham, Elham Kashefi
Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation. Horizons of the Mind (2014)
Will Brian, Michael W. Mislove
From Haar to Lebesgue via Domain Theory. Horizons of the Mind (2014)
Vijay A. Saraswat, Vineet Gupta, Radha Jagadeesan
TCC, with History. Horizons of the Mind (2014)
Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. Horizons of the Mind (2014)
Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter
A Final Coalgebra for k-regular Sequences. Horizons of the Mind (2014)
Frank S. de Boer, Maurizio Gabbrielli
Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs. Horizons of the Mind (2014)
Prasit Bhattacharya, Lawrence S. Moss, Jayampathy Ratnayake, Robert Rose
Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra. Horizons of the Mind (2014)
Ehab ElSalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi
Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms. Horizons of the Mind (2014)
Franck van Breugel, James Worrell
The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata. Horizons of the Mind (2014)

volume 8464, 2014

Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday Horizons of the Mind 8464 (2014)