default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. Birthday: Prakash Panangaden 2014
- Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten:
Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 8464, Springer 2014, ISBN 978-3-319-06879-4 - Martín Abadi, Jérémy Planul, Gordon D. Plotkin:
Layout Randomization and Nondeterminism. 1-39 - Alessandro Abate, Marta Z. Kwiatkowska
, Gethin Norman, David Parker:
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. 40-58 - Samson Abramsky, Adam Brandenburger:
An Operational Interpretation of Negative Probabilities and No-Signalling Models. 59-75 - Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare:
Bisimulation on Markov Processes over Arbitrary Measurable Spaces. 76-95 - Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich:
Probabilistic Model Checking for Energy-Utility Analysis. 96-123 - Henning Basold, Marcello M. Bonsangue, Helle Hvid Hansen, Jan Rutten:
(Co)Algebraic Characterizations of Signal Flow Graphs. 124-145 - Prasit Bhattacharya, Lawrence S. Moss, Jayampathy Ratnayake, Robert Rose:
Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra. 146-167 - Frank S. de Boer, Maurizio Gabbrielli:
Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs. 168-179 - Adam Bognat, Patrick M. Hayden:
Privacy from Accelerating Eavesdroppers: The Impact of Losses. 180-190 - Franck van Breugel, James Worrell:
The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata. 191-213 - Will Brian, Michael W. Mislove:
From Haar to Lebesgue via Domain Theory. 214-228 - Claudia Casadio, Mehrnoosh Sadrzadeh:
Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars. 229-249 - Bob Coecke:
The Logic of Entanglement. 250-267 - Vincent Danos, Ilias Garnier:
Free Energy of Petri Nets. 268-289 - Josée Desharnais:
Laudatio for Prakash Panangaden. 290-291 - Ehab ElSalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms. 292-318 - Norm Ferns, Doina Precup, Sophia Knight:
Bisimulation for Markov Decision Processes through Families of Functional Expressions. 319-342 - Jean Goubault-Larrecq, Roberto Segala:
Random Measurable Selections. 343-362 - Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter:
A Final Coalgebra for k-regular Sequences. 363-383 - Bart Jacobs, Alexandra Silva:
Automata Learning: A Categorical Perspective. 384-406 - Dexter Kozen:
Optimal Coin Flipping. 407-426 - Damian Markham, Elham Kashefi:
Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation. 427-453 - Keye Martin, Johnny Feng, Tanner Crowder:
Euclidean Representations of Quantum States. 454-457 - Vijay A. Saraswat, Vineet Gupta, Radha Jagadeesan:
TCC, with History. 458-475 - Glynn Winskel:
Probabilistic and Quantum Event Structures. 476-497
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-26 23:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
