default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPrakash Panangaden
Person information
- affiliation: McGill University, Montreal, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c126]Maribel Fernández, Prakash Panangaden:
The Ackermann Award 2024. CSL 2025: 1:1-1:5- [i38]Linan Chen, Florence Clerc, Prakash Panangaden:
A behavioural pseudometric for continuous-time Markov processes. CoRR abs/2501.13008 (2025) - 2024
- [j63]Prakash Panangaden, Sahand Rezaei-Shoshtari, Rosie Zhao, David Meger, Doina Precup:
Policy Gradient Methods in the Presence of Symmetries and State Abstractions. J. Mach. Learn. Res. 25: 71:1-71:57 (2024) - [j62]Giorgio Bacci
, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Sum and Tensor of Quantitative Effects. Log. Methods Comput. Sci. 20(4) (2024) - [j61]Prakash Panangaden:
Semantics Column. ACM SIGLOG News 11(2): 3 (2024) - [j60]Prakash Panangaden:
Semantics Column. ACM SIGLOG News 11(3): 4 (2024) - [c125]Jonathan Colaço Carr, Prakash Panangaden, Doina Precup:
Conditions on Preference Relations that Guarantee the Existence of Optimal Policies. AISTATS 2024: 3916-3924 - [i37]Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Polynomial Lawvere Logic. CoRR abs/2402.03543 (2024) - 2023
- [j59]Nicolas Gagné, Prakash Panangaden:
A categorical characterization of relative entropy on standard Borel spaces. Log. Methods Comput. Sci. 19(4) (2023) - [j58]Linan Chen, Florence Clerc, Prakash Panangaden:
Behavioural equivalences for continuous-time Markov processes. Math. Struct. Comput. Sci. 33(4-5): 222-258 (2023) - [j57]Pablo Samuel Castro, Tyler Kastner, Prakash Panangaden, Mark Rowland:
A Kernel Perspective on Behavioural Metrics for Markov Decision Processes. Trans. Mach. Learn. Res. 2023 (2023) - [c124]Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Propositional Logics for the Lawvere Quantale. MFPS 2023 - [i36]Prakash Panangaden, Sahand Rezaei-Shoshtari, Rosie Zhao, David Meger, Doina Precup:
Policy Gradient Methods in the Presence of Symmetries and State Abstractions. CoRR abs/2305.05666 (2023) - [i35]Clara Lacroce, Borja Balle, Prakash Panangaden, Guillaume Rabusseau:
Optimal Approximate Minimization of One-Letter Weighted Finite Automata. CoRR abs/2306.00135 (2023) - [i34]Pablo Samuel Castro, Tyler Kastner, Prakash Panangaden, Mark Rowland:
A Kernel Perspective on Behavioural Metrics for Markov Decision Processes. CoRR abs/2310.19804 (2023) - [i33]Jonathan Colaço Carr, Prakash Panangaden, Doina Precup:
Conditions on Preference Relations that Guarantee the Existence of Optimal Policies. CoRR abs/2311.01990 (2023) - [i32]Linan Chen, Florence Clerc, Prakash Panangaden:
Behavioural pseudometrics for continuous-time diffusions. CoRR abs/2312.16729 (2023) - 2022
- [j56]Georg Northoff, Maia Fraser, John Griffiths, Dimitris A. Pinotsis, Prakash Panangaden, Rosalyn J. Moran, Karl J. Friston:
Augmenting Human Selves Through Artificial Agents - Lessons From the Brain. Frontiers Comput. Neurosci. 16 (2022) - [j55]Borja Balle, Pascale Gourdeau, Prakash Panangaden:
Bisimulation metrics and norms for real-weighted automata. Inf. Comput. 282: 104649 (2022) - [c123]Chin-Wei Huang, Milad Aghajohari, Joey Bose, Prakash Panangaden, Aaron C. Courville:
Riemannian Diffusion Models. NeurIPS 2022 - [c122]Sahand Rezaei-Shoshtari, Rosie Zhao, Prakash Panangaden, David Meger, Doina Precup:
Continuous MDP Homomorphisms and Homomorphic Policy Gradient. NeurIPS 2022 - [i31]Clara Lacroce, Prakash Panangaden, Guillaume Rabusseau:
Towards an AAK Theory Approach to Approximate Minimization in the Multi-Letter Case. CoRR abs/2206.00172 (2022) - [i30]Chin-Wei Huang, Milad Aghajohari, Avishek Joey Bose, Prakash Panangaden, Aaron C. Courville:
Riemannian Diffusion Models. CoRR abs/2208.07949 (2022) - [i29]Sahand Rezaei-Shoshtari, Rosie Zhao, Prakash Panangaden, David Meger, Doina Precup:
Continuous MDP Homomorphisms and Homomorphic Policy Gradient. CoRR abs/2209.07364 (2022) - [i28]Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Sum and Tensor of Quantitative Effects. CoRR abs/2212.11784 (2022) - 2021
- [j54]Artem Kaznatcheev, Prakash Panangaden:
Weighted automata are compact and actively learnable. Inf. Process. Lett. 171: 106133 (2021) - [c121]Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Tensor of Quantitative Equational Theories. CALCO 2021: 7:1-7:17 - [c120]Borja Balle, Clara Lacroce, Prakash Panangaden, Doina Precup, Guillaume Rabusseau:
Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata. ICALP 2021: 118:1-118:20 - [c119]Clara Lacroce, Prakash Panangaden, Guillaume Rabusseau:
Extracting Weighted Automata for Approximate Minimization in Language Modelling. ICGI 2021: 92-112 - [c118]Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts:
Universal Semantics for the Stochastic λ-Calculus. LICS 2021: 1-12 - [c117]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Fixed-Points for Quantitative Equational Logics. LICS 2021: 1-13 - [c116]Pablo Samuel Castro, Tyler Kastner, Prakash Panangaden, Mark Rowland:
MICo: Improved representations via sampling-based state similarity for Markov decision processes. NeurIPS 2021: 30113-30126 - [e14]Benoît Valiron, Shane Mansfield, Pablo Arrighi, Prakash Panangaden:
Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020. EPTCS 340, 2021 [contents] - [i27]Borja Balle, Clara Lacroce, Prakash Panangaden, Doina Precup, Guillaume Rabusseau:
Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata. CoRR abs/2102.06860 (2021) - [i26]Clara Lacroce, Prakash Panangaden, Guillaume Rabusseau:
Extracting Weighted Automata for Approximate Minimization in Language Modelling. CoRR abs/2106.02965 (2021) - [i25]Pablo Samuel Castro, Tyler Kastner, Prakash Panangaden, Mark Rowland:
MICo: Learning improved representations via sampling-based state similarity for Markov decision processes. CoRR abs/2106.08229 (2021) - [i24]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Fixed-Points for Quantitative Equational Logics. CoRR abs/2106.15932 (2021) - [i23]Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott:
Interpreting Lambda Calculus in Domain-Valued Random Variables. CoRR abs/2112.06339 (2021) - 2020
- [c115]Philip Amortila, Doina Precup, Prakash Panangaden, Marc G. Bellemare:
A Distributional Analysis of Sampling-Based Reinforcement Learning Algorithms. AISTATS 2020: 4357-4366 - [c114]Avishek Joey Bose, Ariella Smofsky, Renjie Liao, Prakash Panangaden, William L. Hamilton:
Latent Variable Modelling with Hyperbolic Normalizing Flows. ICML 2020: 1045-1055 - [c113]Linan Chen, Florence Clerc, Prakash Panangaden:
Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes. MFPS 2020: 53-77 - [i22]Avishek Joey Bose, Ariella Smofsky, Renjie Liao, Prakash Panangaden, William L. Hamilton:
Latent Variable Modelling with Hyperbolic Normalizing Flows. CoRR abs/2002.06336 (2020) - [i21]Philip Amortila, Doina Precup, Prakash Panangaden, Marc G. Bellemare:
A Distributional Analysis of Sampling-Based Reinforcement Learning Algorithms. CoRR abs/2003.12239 (2020) - [i20]Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva:
Minimisation in Logical Form. CoRR abs/2005.11551 (2020) - [i19]Gavin McCracken, Colin Daniels, Rosie Zhao, Anna M. Brandenberger, Prakash Panangaden, Doina Precup:
A Study of Policy Gradient on a Class of Exactly Solvable Models. CoRR abs/2011.01859 (2020) - [i18]Artem Kaznatcheev, Prakash Panangaden:
Weighted automata are compact and actively learnable. CoRR abs/2011.10498 (2020) - [i17]Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts:
Universal Semantics for the Stochastic Lambda-Calculus. CoRR abs/2011.13171 (2020)
2010 – 2019
- 2019
- [j53]Florence Clerc, Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden:
Expressiveness of probabilistic modal logics: A gradual approach. Inf. Comput. 267: 145-163 (2019) - [j52]Borja Balle, Prakash Panangaden, Doina Precup:
Singular value automata and approximate minimization. Math. Struct. Comput. Sci. 29(9): 1444-1478 (2019) - [c112]Philip Amortila, Marc G. Bellemare, Prakash Panangaden, Doina Precup:
Temporally Extended Metrics for Markov Decision Processes. SafeAI@AAAI 2019 - [c111]Linan Chen, Florence Clerc, Prakash Panangaden:
Bisimulation for Feller-Dynkin Processes. MFPS 2019: 45-63 - [i16]Linan Chen, Florence Clerc, Prakash Panangaden:
Bisimulation for Feller-Dynkin Processes. CoRR abs/1904.00976 (2019) - 2018
- [j51]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Free complete Wasserstein algebras. Log. Methods Comput. Sci. 14(3) (2018) - [c110]Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott:
Boolean-Valued Semantics for the Stochastic λ-Calculus. LICS 2018: 669-678 - [c109]Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
An Algebraic Theory of Markov Processes. LICS 2018: 679-688 - [c108]Nicolas Gagné, Prakash Panangaden:
A Categorical Characterization of Relative Entropy on Standard Borel Spaces. MFPS 2018: 135-153 - [i15]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Free complete Wasserstein algebras. CoRR abs/1802.07366 (2018) - [i14]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
On the Axiomatizability of Quantitative Algebras. CoRR abs/1804.01682 (2018) - 2017
- [j50]Prakash Panangaden:
Editorial comments on the short note by Barry Jay. J. Log. Algebraic Methods Program. 87: 4 (2017) - [j49]Prakash Panangaden:
The 2017 Alonzo Church award. ACM SIGLOG News 4(3): 3-9 (2017) - [j48]Prakash Panangaden:
2017 LICS test-of-time award. ACM SIGLOG News 4(3): 10 (2017) - [j47]Prakash Panangaden:
2017 Kleene award. ACM SIGLOG News 4(3): 10 (2017) - [c107]Florence Clerc, Harrison Humphrey, Prakash Panangaden:
Bicategories of Markov Processes. Models, Algorithms, Logics and Tools 2017: 112-124 - [c106]Borja Balle, Pascale Gourdeau, Prakash Panangaden:
Bisimulation Metrics for Weighted Automata. ICALP 2017: 103:1-103:14 - [c105]Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden:
Expressiveness of Probabilistic Modal Logics, Revisited. ICALP 2017: 105:1-105:12 - [c104]Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden:
Unrestricted stone duality for Markov processes. LICS 2017: 1-9 - [c103]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
On the axiomatizability of quantitative algebras. LICS 2017: 1-12 - [i13]Borja Balle, Pascale Gourdeau, Prakash Panangaden:
Bisimulation Metrics for Weighted Automata. CoRR abs/1702.08017 (2017) - [i12]Nicolas Gagné, Prakash Panangaden:
A categorical characterization of relative entropy on Polish spaces. CoRR abs/1703.08853 (2017) - [i11]Borja Balle, Prakash Panangaden, Doina Precup:
Singular value automata and approximate minimization. CoRR abs/1711.05994 (2017) - 2016
- [j46]Matty Hoban, Bart Jacobs, Prakash Panangaden:
Preface. Inf. Comput. 250: 1-2 (2016) - [j45]Ichiro Hasuo, Prakash Panangaden:
Special Issue on Quantum Physics and Logic. New Gener. Comput. 34(1-2): 1-2 (2016) - [j44]Michael W. Mislove, Prakash Panangaden:
Semantics column. ACM SIGLOG News 3(3): 44-46 (2016) - [c102]Prakash Panangaden:
Fond (and Frank) Memories of Frank. Theory and Practice of Formal Methods 2016: 6-8 - [c101]Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Quantitative Algebraic Reasoning. LICS 2016: 700-709 - 2015
- [j43]Prakash Panangaden:
Probabilistic bisimulation. ACM SIGLOG News 2(3): 72-84 (2015) - [c100]Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup:
Representation Discovery for MDPs Using Bisimulation Metrics. AAAI 2015: 3578-3584 - [c99]Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup:
Representation Discovery for MDPs Using Bisimulation Metrics. AAAI 2015: 4202-4203 - [c98]Mohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar:
On the Formal Verification of Optical Quantum Gates in HOL. FMICS 2015: 198-211 - [c97]Borja Balle, Prakash Panangaden, Doina Precup:
A Canonical Form for Weighted Automata and Applications to Approximate Minimization. LICS 2015: 701-712 - [c96]Gheorghe Comanici, Doina Precup, Prakash Panangaden:
Basis refinement strategies for linear value function approximation in MDPs. NIPS 2015: 2899-2907 - [c95]Costin Badescu, Prakash Panangaden:
Quantum Alternation: Prospects and Problems. QPL 2015: 33-42 - [i10]Borja Balle, Prakash Panangaden, Doina Precup:
A Canonical Form for Weighted Automata and Applications to Approximate Minimization. CoRR abs/1501.06841 (2015) - 2014
- [j42]Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin:
Approximating Markov Processes by Averaging. J. ACM 61(1): 5:1-5:45 (2014) - [j41]Prakash Panangaden:
Causality in physics and computation. Theor. Comput. Sci. 546: 10-16 (2014) - [j40]Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva:
Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. 15(1): 3:1-3:29 (2014) - [c94]Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger:
A Logical Basis for Quantum Evolution and Entanglement. Categories and Types in Logic, Language, and Physics 2014: 90-107 - [c93]Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka:
Fair reactive programming. POPL 2014: 361-372 - [c92]Dexter Kozen, Radu Mardare, Prakash Panangaden:
A Metrized Duality Theorem for Markov Processes. MFPS 2014: 211-227 - [e13]Ross Duncan, Prakash Panangaden:
Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012. EPTCS 158, 2014 [contents] - [e12]Bob Coecke, Ichiro Hasuo, Prakash Panangaden:
Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014. EPTCS 172, 2014 [contents] - 2013
- [j39]S. Barry Cooper, Elham Kashefi, Prakash Panangaden:
Preface to special issue: Developments In Computational Models 2010. Math. Struct. Comput. Sci. 23(2): 201-203 (2013) - [c91]Prakash Panangaden:
Quantum Field Theory for Legspinners. Computation, Logic, Games, and Quantum Foundations 2013: 277-290 - [c90]Prakash Panangaden:
Duality in Logic and Computation. LICS 2013: 4-11 - [c89]Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden:
Stone Duality for Markov Processes. LICS 2013: 321-330 - [c88]Dexter Kozen, Radu Mardare, Prakash Panangaden:
Strong Completeness for Markovian Logics. MFCS 2013: 655-666 - [e11]Bob Coecke, Luke Ong, Prakash Panangaden:
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7860, Springer 2013, ISBN 978-3-642-38163-8 [contents] - 2012
- [j38]Richard Blute, Prakash Panangaden, Sergey Slavnov:
Deep Inference and Probabilistic Coherence Spaces. Appl. Categorical Struct. 20(3): 209-228 (2012) - [j37]Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden:
Epistemic Strategies and Games on Concurrent Processes. ACM Trans. Comput. Log. 13(4): 28:1-28:35 (2012) - [c87]Sophia Knight, Radu Mardare, Prakash Panangaden:
Combining Epistemic Logic and Hennessy-Milner Logic. Logic and Program Semantics 2012: 219-243 - [c86]Prakash Panangaden:
Dexter Kozen's Influence on the Theory of Labelled Markov Processes. Logic and Program Semantics 2012: 334-337 - [c85]Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia:
Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR 2012: 317-332 - [c84]Kim Guldstrand Larsen, Radu Mardare, Prakash Panangaden:
Taking It to the Limit: Approximate Reasoning for Markov Processes. MFCS 2012: 681-692 - [c83]Gheorghe Comanici, Prakash Panangaden, Doina Precup:
On-the-Fly Algorithms for Bisimulation Metrics. QEST 2012: 94-103 - [c82]Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden:
Minimization via Duality. WoLLIC 2012: 191-205 - [c81]Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden:
Dedication. MFPS 2012: 3 - [p2]Prakash Panangaden:
Probabilistic bisimulation. Advanced Topics in Bisimulation and Coinduction 2012: 290-323 - [i9]Norman Ferns, Pablo Samuel Castro, Doina Precup, Prakash Panangaden:
Methods for computing state similarity in Markov Decision Processes. CoRR abs/1206.6836 (2012) - [i8]Norman Ferns, Prakash Panangaden, Doina Precup:
Metrics for Markov Decision Processes with Infinite State Spaces. CoRR abs/1207.1386 (2012) - [i7]Norman Ferns, Prakash Panangaden, Doina Precup:
Metrics for Finite Markov Decision Processes. CoRR abs/1207.4114 (2012) - 2011
- [j36]Norm Ferns, Prakash Panangaden, Doina Precup:
Bisimulation Metrics for Continuous Markov Decision Processes. SIAM J. Comput. 40(6): 1662-1714 (2011) - [c80]Prakash Panangaden:
Quantum Information Channels in Curved Spacetime. CiE 2011: 221-229 - [c79]Prakash Panangaden:
The Search for Structure in Quantum Computation. FoSSaCS 2011: 1-11 - [c78]Prakash Panangaden:
The Meaning of Semantics. LICS 2011: 4-5 - [c77]Monica Dinculescu, Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup:
The Duality of State and Observation in Probabilistic Transition Systems. TbiLLC 2011: 206-230 - [e10]Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger:
Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, QPL/DCM@ICALP 2008, Reykjavik, Iceland, July 12-13, 2008. Electronic Notes in Theoretical Computer Science 270(1), Elsevier 2011 [contents] - [e9]Bob Coecke, Prakash Panangaden, Peter Selinger:
Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009. Electronic Notes in Theoretical Computer Science 270(2), Elsevier 2011 [contents] - 2010
- [j35]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Weak bisimulation is sound and complete for pCTL*. Inf. Comput. 208(2): 203-219 (2010) - [j34]Susanna Donatelli, Prakash Panangaden, Gerardo Rubino:
Special Issue on "Quantitative Evaluation of Systems". Perform. Evaluation 67(9): 757-758 (2010) - [c76]Prakash Panangaden, Mehrnoosh Sadrzadeh:
Learning in a Changing World, an Algebraic Modal Logical Approach. AMAST 2010: 128-141 - [c75]Prakash Panangaden, Caitlin Phillips, Doina Precup, Mehrnoosh Sadrzadeh:
An Algebraic Approach to Dynamic Epistemic Logic. Description Logics 2010 - [c74]Prakash Panangaden, Mehrnoosh Sadrzadeh:
Towards a Logic for Reasoning About Learning in a Changing World. LAM@LICS 2010: 82-95 - [e8]S. Barry Cooper, Prakash Panangaden, Elham Kashefi:
Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010. EPTCS 26, 2010 [contents]
2000 – 2009
- 2009
- [b3]Prakash Panangaden:
Labelled Markov Processes. Imperial College Press 2009, ISBN 978-1-84816-287-7, pp. I-XII, 1-199 - [c73]Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin:
Approximating Labelled Markov Processes Again! CALCO 2009: 145-156 - [c72]Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin:
Approximating Markov Processes by Averaging. ICALP (2) 2009: 127-138 - [c71]Pablo Samuel Castro, Prakash Panangaden, Doina Precup:
Equivalence Relations in Fully and Partially Observable Markov Decision Processes. IJCAI 2009: 1653-1658 - [c70]Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden:
Epistemic Strategies and Games on Concurrent Processes. SOFSEM 2009: 153-166 - [c69]Bob Coecke, Prakash Panangaden, Peter Selinger:
Preface. QPL@MFPS 2009: 1-2 - [e7]Steve Kremer, Prakash Panangaden:
Proceedings of the 6th Workshop on Security Issues in Concurrency, SecCo@CONCUR 2008, Toronto, ON, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 242(3), Elsevier 2009 [contents] - 2008
- [j33]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
Anonymity protocols as noisy channels. Inf. Comput. 206(2-4): 378-401 (2008) - [j32]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
On the Bayes risk in information-hiding protocols. J. Comput. Secur. 16(5): 531-571 (2008) - [j31]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen:
Foreword. Theor. Comput. Sci. 405(1-2): 1-2 (2008) - [c68]Keye Martin, Prakash Panangaden:
Domain Theory and the Causal Structure of Space-Time. CiE 2008: 428-430 - [c67]Prakash Panangaden:
Knowledge and Information in Probabilistic Systems. CONCUR 2008: 4 - [c66]Jonathan Taylor, Doina Precup, Prakash Panangaden:
Bounding Performance Loss in Approximate MDP Homomorphisms. NIPS 2008: 1649-1656 - [c65]Yixiang Chen, Guo-Qiang Zhang, Prakash Panangaden:
Preface. FICS 2008: 1 - [c64]Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger:
Preface. QPL/DCM@ICALP 2008: 1-2 - [c63]Steve Kremer, Prakash Panangaden:
Preface. SecCo@CONCUR 2008: 1-2 - [c62]Yannick Delbecque, Prakash Panangaden:
Game Semantics for Quantum Stores. MFPS 2008: 153-170 - [c61]Keye Martin, Prakash Panangaden:
A Technique for Verifying Measurements. MFPS 2008: 261-273 - [e6]Yixiang Chen, Guo-Qiang Zhang, Prakash Panangaden:
Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008. Electronic Notes in Theoretical Computer Science 212, Elsevier 2008 [contents] - 2007
- [j30]Vincent Danos, Elham Kashefi, Prakash Panangaden:
The measurement calculus. J. ACM 54(2): 8 (2007) - [c60]Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup:
Representing Systems with Hidden State. AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development 2007: 17-23 - [c59]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
Probability of Error in Information-Hiding Protocols. CSF 2007: 341-354 - [c58]Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
Formal Approaches to Information-Hiding (Tutorial). TGC 2007: 347-362 - [c57]Richard Blute, Prakash Panangaden, Dorette Pronk:
Conformal Field Theory as a Nuclear Functor. Computation, Meaning, and Logic 2007: 101-132 - [e5]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen:
Computational Structures for Modelling Space, Time and Causality, 20.08. - 25.08.2006. Dagstuhl Seminar Proceedings 06341, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 2006
- [j29]Vincent Danos, Josée Desharnais, François Laviolette, Prakash Panangaden:
Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4): 503-523 (2006) - [j28]Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximate reasoning for real-time probabilistic processes. Log. Methods Comput. Sci. 2(1) (2006) - [j27]Ellie D'Hondt, Prakash Panangaden:
Quantum weakest preconditions. Math. Struct. Comput. Sci. 16(3): 429-451 (2006) - [j26]Ellie D'Hondt, Prakash Panangaden:
The computational power of the W And GHZ States. Quantum Inf. Comput. 6(2): 173-183 (2006) - [j25]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster:
Foreword. Theor. Comput. Sci. 365(3): 169-170 (2006) - [c56]Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup:
Representing Systems with Hidden State. AAAI 2006: 368-374 - [c55]Vincent Danos, Elham Kashefi, Prakash Panangaden:
The One Way to Quantum Computation. ICALP (2) 2006: 13-21 - [c54]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden:
Anonymity Protocols as Noisy Channels. TGC 2006: 281-300 - [c53]Norm Ferns, Pablo Samuel Castro, Doina Precup, Prakash Panangaden:
Methods for Computing State Similarity in Markov Decision Processes. UAI 2006 - [i6]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen:
06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality. Computational Structures for Modelling Space, Time and Causality 2006 - 2005
- [c52]Ellie D'Hondt, Prakash Panangaden:
Reasoning About Quantum Knowledge. FSTTCS 2005: 553-564 - [c51]Prakash Panangaden:
Foreword. LICS 2005 - [c50]Alexandre Bouchard-Côté, Norm Ferns, Prakash Panangaden, Doina Precup:
An approximation algorithm for labelled Markov processes: towards realistic approximation. QEST 2005: 54-62 - [c49]Norm Ferns, Prakash Panangaden, Doina Precup:
Metrics for Markov Decision Processes with Infinite State Spaces. UAI 2005: 201-208 - [c48]Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden:
Distributed Measurement-based Quantum Computation. QPL 2005: 73-94 - [i5]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster:
04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation 2005 - [i4]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster:
04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation 2005 - [i3]Keye Martin, Prakash Panangaden:
A domain of spacetime intervals in general relativity. Spatial Representation 2005 - [i2]Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximate reasoning for real-time probabilistic processes. CoRR abs/cs/0505063 (2005) - 2004
- [b2]Jan J. M. M. Rutten, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Prakash Panangaden:
Mathematical techniques for analyzing concurrent and probabilistic systems. CRM monograph series 23, American Mathematical Society 2004, ISBN 978-0-8218-3571-5, pp. I-VIII, 1-215 - [j24]Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel:
A relational model of non-deterministic dataflow. Math. Struct. Comput. Sci. 14(5): 613-649 (2004) - [j23]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3): 323-354 (2004) - [c47]Norm Ferns, Prakash Panangaden, Doina Precup:
Metrics for Finite Markov Decision Processes. AAAI 2004: 950-951 - [c46]Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximate Reasoning for Real-Time Probabilistic Processes. QEST 2004: 304-313 - [c45]Norm Ferns, Prakash Panangaden, Doina Precup:
Metrics for Finite Markov Decision Processes. UAI 2004: 162-169 - [e4]Josée Desharnais, Prakash Panangaden:
Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic Processes, DTMPP 2003, Barbados, April 21-25, 2003. Electronic Notes in Theoretical Computer Science 87, Elsevier 2004 [contents] - [i1]Riccardo Pucella, Prakash Panangaden:
On the Expressive Power of First-Order Boolean Functions in PCF. CoRR cs.PL/0405085 (2004) - 2003
- [j22]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximating labelled Markov processes. Inf. Comput. 184(1): 160-200 (2003) - [j21]Josée Desharnais, Prakash Panangaden:
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J. Log. Algebraic Methods Program. 56(1-2): 99-115 (2003) - [j20]Uwe Nestmann, Prakash Panangaden:
Guest Editors' Foreword. Nord. J. Comput. 10(2): 69 (2003) - [c44]Vincent Danos, Josée Desharnais, Prakash Panangaden:
Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR 2003: 468-482 - [c43]Josée Desharnais, Prakash Panangaden:
Preface. DTMPP 2003: 1-3 - [c42]Vincent Danos, Josée Desharnais, Prakash Panangaden:
Labelled Markov Processes: Stronger and Faster Approximations. DTMPP 2003: 157-203 - [e3]Stephen D. Brookes, Prakash Panangaden:
Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003. Electronic Notes in Theoretical Computer Science 83, Elsevier 2003 [contents] - 2002
- [j19]Josée Desharnais, Abbas Edalat, Prakash Panangaden:
Bisimulation for Labelled Markov Processes. Inf. Comput. 179(2): 163-193 (2002) - [j18]Luca Aceto, Prakash Panangaden:
Guest Editors' Foreword. Nord. J. Comput. 9(1): 69 (2002) - [c41]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Weak Bisimulation is Sound and Complete for PCTL*. CONCUR 2002: 355-370 - [c40]Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden:
The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS 2002: 413-422 - [c39]Uwe Nestmann, Prakash Panangaden:
Preface. EXPRESS 2002: 1-2 - [e2]Luca Aceto, Prakash Panangaden:
8th International Workshop on Expressiveness in Concurrency, EXPRESS 2001, Satellite Workshop from CONCUR 2001, Aalborg, Denmark, August 20, 2001. Electronic Notes in Theoretical Computer Science 52(1), Elsevier 2002 [contents] - [e1]Uwe Nestmann, Prakash Panangaden:
9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002. Electronic Notes in Theoretical Computer Science 68(2), Elsevier 2002 [contents] - 2001
- [j17]Prakash Panangaden:
Does Combining Nondeterminism and Probability Make Sense? Bull. EATCS 75: 182-189 (2001) - [j16]Prakash Panangaden:
Measure and probability for concurrency theorists. Theor. Comput. Sci. 253(2): 287-309 (2001) - [j15]Riccardo Pucella, Prakash Panangaden:
On the expressive power of first-order boolean functions in PCF. Theor. Comput. Sci. 266(1-2): 543-567 (2001) - [c38]Luca Aceto, Prakash Panangaden:
Preface. EXPRESS 2001: 137-138 - [p1]Prakash Panangaden:
Does Concurrency Theory Have Anything to Say About Parallel Programming? Current Trends in Theoretical Computer Science 2001: 439-446 - 2000
- [j14]Prakash Panangaden, Clark Verbrugge:
Generating irregular partitionable data structures. Theor. Comput. Sci. 238(1-2): 31-80 (2000) - [c37]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Approximating Labeled Markov Processes. LICS 2000: 95-106 - [c36]Prakash Panangaden:
From logic to stochastic processes (abstract only). PPDP 2000: 1-2
1990 – 1999
- 1999
- [c35]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Metrics for Labeled Markov Systems. CONCUR 1999: 258-273 - [c34]Vineet Gupta, Radha Jagadeesan, Prakash Panangaden:
Stochastic Processes as Concurrent Constraint Programs. POPL 1999: 189-202 - 1998
- [c33]Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel:
A Relational Model of Non-deterministic Dataflow. CONCUR 1998: 613-628 - [c32]Josée Desharnais, Abbas Edalat, Prakash Panangaden:
A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS 1998: 478-487 - [c31]Prakash Panangaden:
The Category of Markov Kernels. PROBMIV 1998: 171-187 - 1997
- [c30]Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden:
Bisimulation for Labelled Markov Processes. LICS 1997: 149-158 - 1996
- [j13]Prakash Panangaden:
Does Concurrency Theory Have Anything To Say About Parallel Programming? Bull. EATCS 58 (1996) - 1995
- [j12]Nax Paul Mendler, Prakash Panangaden, Philip J. Scott, Robert A. G. Seely:
A Logical View of Concurrent Constraint Programming. Nord. J. Comput. 2(2): 181-220 (1995) - [j11]Ettore Merlo, Pierre-Yves Gagné, Jean-Francois Girard, Kostas Kontogiannis, Laurie J. Hendren, Prakash Panangaden, Renato de Mori:
Reengineering User Interfaces. IEEE Softw. 12(1): 64-73 (1995) - [c29]Herbert H. J. Hum, Olivier Maquelin, Kevin B. Theobald, Xinmin Tian, Xinan Tang, Guang R. Gao, Phil Cupryk, Nasser Elmasri, Laurie J. Hendren, Alberto Jimenez, Shoba Krishnan, Andres Marquez, Shamir Merali, Shashank S. Nemawarkar, Prakash Panangaden, Xun Xue, Yingchun Zhu:
A design study of the EARTH multiprocessor. PACT 1995: 59-68 - [c28]Prakash Panangaden:
The Expressive Power of Indeterminate Primitives in Asynchronous Computation. FSTTCS 1995: 124-150 - 1994
- [c27]Prakash Panangaden:
The Logical Structure of Concurrent Constraint Programming Languages (Abstract). CONCUR 1994: 129 - 1993
- [j10]David A. McAllester, Prakash Panangaden, Vasant Shanbhogue:
Nonexpressibility of Fairness and Signaling. J. Comput. Syst. Sci. 47(2): 287-321 (1993) - [j9]Prakash Panangaden:
Book Review: Programs, Recursion and Unbounded Choice. By Wim H. Hesselink. (Cambridge University Press, 1992. xii+223 pages. ISBN 0-521-40436-3. $39 .95). SIGACT News 24(3): 34-37 (1993) - [c26]Marija Cubric, Prakash Panangaden:
Minimal Memory Schedules for Dataflow Networks. CONCUR 1993: 368-383 - [c25]Richard Blute, Robert A. G. Seely, Prakash Panangaden:
Holomorhpic Models of Exponential Types in Linear Logic. MFPS 1993: 474-512 - [c24]Ettore Merlo, Jean-Francois Girard, Kostas Kontogiannis, Prakash Panangaden, Renato de Mori:
Reverse Engineering of User Interfaces. WCRE 1993: 171-179 - 1992
- [j8]Prakash Panangaden, Kim Taylor:
Concurrent Common Knowledge: Defining Agreement for Asynchronous Systems. Distributed Comput. 6(2): 73-93 (1992) - [j7]Prakash Panangaden, Vasant Shanbhogue:
The Expressive Power of Indeterminate Dataflow Primitives. Inf. Comput. 98(1): 99-131 (1992) - [j6]Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden:
A Logic for Reasoning About Security. ACM Trans. Comput. Syst. 10(3): 226-264 (1992) - [c23]Guang R. Gao, R. Govindarajan, Prakash Panangaden:
Well-behaved dataflow programs for DSP computation. ICASSP 1992: 561-564 - [c22]Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely:
A Hyperdoctrinal View of Concurrent Constraint Programming. REX Workshop 1992: 457-476 - 1991
- [j5]Carol Critchlow, Prakash Panangaden:
The Expressive Power of Delay Operators in SCCS. Acta Informatica 28(5): 447-452 (1991) - [j4]Radha Jagadeesan, Keshav Pingali, Prakash Panangaden:
A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables. ACM Trans. Program. Lang. Syst. 13(4): 577-625 (1991) - [c21]Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, Devika Subramanian:
The Common Order-Theoretic Structure of Version Spaces and ATMS's. AAAI 1991: 500-505 - [c20]Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden:
Semantic Foundations of Concurrent Constraint Programming. POPL 1991: 333-352 - 1990
- [c19]James A. Altucher, Prakash Panangaden:
A Mechanically Assisted Constructive Proof in Category Theory. CADE 1990: 500-513 - [c18]Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden:
A Logic for Reasoning about Security. CSFW 1990: 2-13 - [c17]Radha Jagadeesan, Prakash Panangaden:
A Domain-Theoretic Model for a Higher-Order Process Calculus. ICALP 1990: 181-194 - [c16]Prakash Panangaden, Vasant Shanbhogue, Eugene W. Stark:
Stability and Sequentiality in Dataflow Networks. ICALP 1990: 308-321
1980 – 1989
- 1989
- [j3]Anne Neirynck, Prakash Panangaden, Alan J. Demers:
Effect analysis in higher-order languages. Int. J. Parallel Program. 18(1): 1-36 (1989) - [c15]Radha Jagadeesan, Prakash Panangaden, Keshav Pingali:
A Fully Abstract Semantics for a Functional Language with Logic Variables. LICS 1989: 294-303 - [c14]Prakash Panangaden, James R. Russell:
A Category-theoretic Semantics for Unbounded Indeterminacy. Mathematical Foundations of Programming Semantics 1989: 319-332 - 1988
- [j2]Rance Cleaveland, Prakash Panangaden:
Type theory and concurrency. Int. J. Parallel Program. 17(2): 153-206 (1988) - [c13]Jennifer Widom, Prakash Panangaden:
Expressiveness Bounds for Completness in Trace-Based Network Proof Systems. CAAP 1988: 200-214 - [c12]Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden:
Reasoning about Knowledge and Permission in Secure Distributed Systems. CSFW 1988: 139-146 - [c11]Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden:
Security by Permission in Databases. DBSec 1988: 197-205 - [c10]David A. McAllester, Prakash Panangaden, Vasant Shanbhogue:
Nonexpressibility of Fairness and Signaling. FOCS 1988: 377-386 - [c9]Prakash Panangaden:
McCarthy's Amb Cannot Implement Fair Merge. FSTTCS 1988: 348-363 - [c8]Prakash Panangaden, Eugene W. Stark:
Computations, Residuals, and the POwer of Indeterminancy. ICALP 1988: 439-454 - [c7]Prakash Panangaden, Kim Taylor:
Concurrent Common Knowledge: A New Definition of Agreement for Asynchronous Systems. PODC 1988: 197-209 - 1987
- [c6]Anne Neirynck, Prakash Panangaden, Alan J. Demers:
Computation of Aliases and Support Sets. POPL 1987: 274-283 - 1986
- [b1]Robert L. Constable, Stuart F. Allen, Mark Bromley, Rance Cleaveland, J. F. Cremer, Robert Harper, Douglas J. Howe, Todd B. Knoblock, Nax Paul Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith:
Implementing mathematics with the Nuprl proof development system. Prentice Hall 1986, ISBN 978-0-13-451832-9, pp. I-X, 1-299 - [j1]Robert M. Keller, Prakash Panangaden:
Semantics of Digital Networks Containing Indeterminate Modules. Distributed Comput. 1(4): 235-245 (1986) - [c5]Sanjay V. Rajopadhye, Prakash Panangaden:
Verification of Systolic Arrays: A Stream Function Approach. ICPP 1986: 773-775 - [c4]Nax Paul Mendler, Prakash Panangaden, Robert L. Constable:
Infinite Objects in Type Theory. LICS 1986: 249-255 - 1984
- [c3]Robert M. Keller, Prakash Panangaden:
Semantics of Networks Containing Indeterminate Operators. Seminar on Concurrency 1984: 479-496 - [c2]Prakash Panangaden:
Abstract Interpretation and Indeterminacy. Seminar on Concurrency 1984: 497-511 - [c1]Gary Lindstrom, Prakash Panangaden:
Stream-Based Execution of Logic Programming. SLP 1984: 168-176
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-26 20:49 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:
