Prakash Panangaden

257 papers A* 41A 7B 33C 5Misc 1Journal 102Unranked 49

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Interpreting Lambda Calculus in Domain-Valued Random Variables. CSL Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott
2026	B	`conf`	Rational Lawvere Logic (Invited Paper). CSL Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2026	B	`conf`	The Ackermann Award 2025. CSL Maribel Fernández, Prakash Panangaden
2025	B	`conf`	A Behavioural Pseudometric for Continuous-Time Markov Processes. FoSSaCS Linan Chen, Florence Clerc, Prakash Panangaden
2025	J	`jnl`	A behavioural pseudometric for continuous-time Markov processes. CoRR Linan Chen, Florence Clerc, Prakash Panangaden
2025	J	`jnl`	Semantics Column. ACM SIGLOG News Prakash Panangaden
2025	A*	`conf`	Studying the Interplay Between the Actor and Critic Representations in Reinforcement Learning. ICLR Samuel Garcin, Trevor McInroe, Pablo Samuel Castro, Christopher G. Lucas, David Abel, Prakash Panangaden, Stefano V. Albrecht
2025	J	`jnl`	Studying the Interplay Between the Actor and Critic Representations in Reinforcement Learning. CoRR Samuel Garcin, Trevor McInroe, Pablo Samuel Castro, Prakash Panangaden, Christopher G. Lucas, David Abel, Stefano V. Albrecht
2025	B	`conf`	The Ackermann Award 2024. CSL Maribel Fernández, Prakash Panangaden
2025	J	`jnl`	Two behavioural pseudometrics for continuous-time Markov processes. CoRR Linan Chen, Florence Clerc, Prakash Panangaden
2024	J	`jnl`	Behavioural Metrics and Quantitative Logics (Dagstuhl Seminar 24432). Dagstuhl Reports Barbara König, Radu Mardare, Prakash Panangaden, Jurriaan Rot, Florence Clerc
2024	A	`conf`	Conditions on Preference Relations that Guarantee the Existence of Optimal Policies. AISTATS Jonathan Colaço Carr, Prakash Panangaden, Doina Precup
2024	J	`jnl`	Optimal approximate minimization of one-letter weighted finite automata. Math. Struct. Comput. Sci. Clara Lacroce, Borja Balle, Prakash Panangaden, Guillaume Rabusseau
2024	J	`jnl`	Policy Gradient Methods in the Presence of Symmetries and State Abstractions. J. Mach. Learn. Res. Prakash Panangaden, Sahand Rezaei-Shoshtari, Rosie Zhao, David Meger, Doina Precup
2024	J	`jnl`	Polynomial Lawvere Logic. CoRR Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2024	J	`jnl`	Semantics Column. ACM SIGLOG News Prakash Panangaden
2024	J	`jnl`	Semantics Column. ACM SIGLOG News Prakash Panangaden
2024	J	`jnl`	Sum and Tensor of Quantitative Effects. Log. Methods Comput. Sci. Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2023	J	`jnl`	A Kernel Perspective on Behavioural Metrics for Markov Decision Processes. CoRR Pablo Samuel Castro, Tyler Kastner, Prakash Panangaden, Mark Rowland
2023	J	`jnl`	A Kernel Perspective on Behavioural Metrics for Markov Decision Processes. Trans. Mach. Learn. Res. Pablo Samuel Castro, Tyler Kastner, Prakash Panangaden, Mark Rowland
2023	J	`jnl`	A categorical characterization of relative entropy on standard Borel spaces. Log. Methods Comput. Sci. Nicolas Gagné, Prakash Panangaden
2023	J	`jnl`	Behavioural equivalences for continuous-time Markov processes. Math. Struct. Comput. Sci. Linan Chen, Florence Clerc, Prakash Panangaden
2023	J	`jnl`	Behavioural pseudometrics for continuous-time diffusions. CoRR Linan Chen, Florence Clerc, Prakash Panangaden
2023	J	`jnl`	Conditions on Preference Relations that Guarantee the Existence of Optimal Policies. CoRR Jonathan Colaço Carr, Prakash Panangaden, Doina Precup
2023	J	`jnl`	Optimal Approximate Minimization of One-Letter Weighted Finite Automata. CoRR Clara Lacroce, Borja Balle, Prakash Panangaden, Guillaume Rabusseau
2023	J	`jnl`	Policy Gradient Methods in the Presence of Symmetries and State Abstractions. CoRR Prakash Panangaden, Sahand Rezaei-Shoshtari, Rosie Zhao, David Meger, Doina Precup
2023	B	`conf`	Propositional Logics for the Lawvere Quantale. MFPS Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2022	J	`jnl`	Augmenting Human Selves Through Artificial Agents - Lessons From the Brain. Frontiers Comput. Neurosci. Georg Northoff, Maia Fraser, John Griffiths, Dimitris A. Pinotsis, Prakash Panangaden, Rosalyn J. Moran, Karl J. Friston
2022	J	`jnl`	Bisimulation metrics and norms for real-weighted automata. Inf. Comput. Borja Balle, Pascale Gourdeau, Prakash Panangaden
2022	A*	`conf`	Continuous MDP Homomorphisms and Homomorphic Policy Gradient. NeurIPS Sahand Rezaei-Shoshtari, Rosie Zhao, Prakash Panangaden, David Meger, Doina Precup
2022	J	`jnl`	Continuous MDP Homomorphisms and Homomorphic Policy Gradient. CoRR Sahand Rezaei-Shoshtari, Rosie Zhao, Prakash Panangaden, David Meger, Doina Precup
2022	A*	`conf`	Riemannian Diffusion Models. NeurIPS Chin-Wei Huang, Milad Aghajohari, Joey Bose, Prakash Panangaden, Aaron C. Courville
2022	J	`jnl`	Riemannian Diffusion Models. CoRR Chin-Wei Huang, Milad Aghajohari, Avishek Joey Bose, Prakash Panangaden, Aaron C. Courville
2022	J	`jnl`	Sum and Tensor of Quantitative Effects. CoRR Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2022	J	`jnl`	Towards an AAK Theory Approach to Approximate Minimization in the Multi-Letter Case. CoRR Clara Lacroce, Prakash Panangaden, Guillaume Rabusseau
2021	—	`conf`	Extracting Weighted Automata for Approximate Minimization in Language Modelling. ICGI Clara Lacroce, Prakash Panangaden, Guillaume Rabusseau
2021	J	`jnl`	Extracting Weighted Automata for Approximate Minimization in Language Modelling. CoRR Clara Lacroce, Prakash Panangaden, Guillaume Rabusseau
2021	A*	`conf`	Fixed-Points for Quantitative Equational Logics. LICS Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2021	J	`jnl`	Fixed-Points for Quantitative Equational Logics. CoRR Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2021	J	`jnl`	Interpreting Lambda Calculus in Domain-Valued Random Variables. CoRR Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott
2021	A*	`conf`	MICo: Improved representations via sampling-based state similarity for Markov decision processes. NeurIPS Pablo Samuel Castro, Tyler Kastner, Prakash Panangaden, Mark Rowland
2021	J	`jnl`	MICo: Learning improved representations via sampling-based state similarity for Markov decision processes. CoRR Pablo Samuel Castro, Tyler Kastner, Prakash Panangaden, Mark Rowland
2021	A*	`conf`	Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata. ICALP Borja Balle, Clara Lacroce, Prakash Panangaden, Doina Precup, Guillaume Rabusseau
2021	J	`jnl`	Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata. CoRR Borja Balle, Clara Lacroce, Prakash Panangaden, Doina Precup, Guillaume Rabusseau
2021	—	`ed.`	Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020. QPL Benoît Valiron, Shane Mansfield, Pablo Arrighi, Prakash Panangaden
2021	B	`conf`	Tensor of Quantitative Equational Theories. CALCO Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2021	A*	`conf`	Universal Semantics for the Stochastic λ-Calculus. LICS Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts
2021	J	`jnl`	Weighted automata are compact and actively learnable. Inf. Process. Lett. Artem Kaznatcheev, Prakash Panangaden
2020	A	`conf`	A Distributional Analysis of Sampling-Based Reinforcement Learning Algorithms. AISTATS Philip Amortila, Doina Precup, Prakash Panangaden, Marc G. Bellemare
2020	J	`jnl`	A Distributional Analysis of Sampling-Based Reinforcement Learning Algorithms. CoRR Philip Amortila, Doina Precup, Prakash Panangaden, Marc G. Bellemare
2020	J	`jnl`	A Study of Policy Gradient on a Class of Exactly Solvable Models. CoRR Gavin McCracken, Colin Daniels, Rosie Zhao, Anna M. Brandenberger, Prakash Panangaden, Doina Precup
2020	A*	`conf`	Latent Variable Modelling with Hyperbolic Normalizing Flows. ICML Avishek Joey Bose, Ariella Smofsky, Renjie Liao, Prakash Panangaden, William L. Hamilton
2020	J	`jnl`	Latent Variable Modelling with Hyperbolic Normalizing Flows. CoRR Avishek Joey Bose, Ariella Smofsky, Renjie Liao, Prakash Panangaden, William L. Hamilton
2020	J	`jnl`	Minimisation in Logical Form. CoRR Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva
2020	—	`ch.`	Quantitative Equational Reasoning. Foundations of Probabilistic Programming Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2020	B	`conf`	Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes. MFPS Linan Chen, Florence Clerc, Prakash Panangaden
2020	J	`jnl`	Universal Semantics for the Stochastic Lambda-Calculus. CoRR Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts
2020	J	`jnl`	Weighted automata are compact and actively learnable. CoRR Artem Kaznatcheev, Prakash Panangaden
2019	J	`jnl`	Bisimulation for Feller-Dynkin Processes. CoRR Linan Chen, Florence Clerc, Prakash Panangaden
2019	B	`conf`	Bisimulation for Feller-Dynkin Processes. MFPS Linan Chen, Florence Clerc, Prakash Panangaden
2019	J	`jnl`	Expressiveness of probabilistic modal logics: A gradual approach. Inf. Comput. Florence Clerc, Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden
2019	J	`jnl`	Singular value automata and approximate minimization. Math. Struct. Comput. Sci. Borja Balle, Prakash Panangaden, Doina Precup
2019	—	`conf`	Temporally Extended Metrics for Markov Decision Processes. SafeAI@AAAI Philip Amortila, Marc G. Bellemare, Prakash Panangaden, Doina Precup
2018	B	`conf`	A Categorical Characterization of Relative Entropy on Standard Borel Spaces. MFPS Nicolas Gagné, Prakash Panangaden
2018	A*	`conf`	An Algebraic Theory of Markov Processes. LICS Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2018	A*	`conf`	Boolean-Valued Semantics for the Stochastic λ-Calculus. LICS Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott
2018	J	`jnl`	Free complete Wasserstein algebras. CoRR Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2018	J	`jnl`	Free complete Wasserstein algebras. Log. Methods Comput. Sci. Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2018	J	`jnl`	On the Axiomatizability of Quantitative Algebras. CoRR Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2017	J	`jnl`	2017 Kleene award. ACM SIGLOG News Prakash Panangaden
2017	J	`jnl`	2017 LICS test-of-time award. ACM SIGLOG News Prakash Panangaden
2017	J	`jnl`	A categorical characterization of relative entropy on Polish spaces. CoRR Nicolas Gagné, Prakash Panangaden
2017	—	`conf`	Bicategories of Markov Processes. Models, Algorithms, Logics and Tools Florence Clerc, Harrison Humphrey, Prakash Panangaden
2017	A*	`conf`	Bisimulation Metrics for Weighted Automata. ICALP Borja Balle, Pascale Gourdeau, Prakash Panangaden
2017	J	`jnl`	Bisimulation Metrics for Weighted Automata. CoRR Borja Balle, Pascale Gourdeau, Prakash Panangaden
2017	J	`jnl`	Editorial comments on the short note by Barry Jay. J. Log. Algebraic Methods Program. Prakash Panangaden
2017	A*	`conf`	Expressiveness of Probabilistic Modal Logics, Revisited. ICALP Nathanaël Fijalkow, Bartek Klin, Prakash Panangaden
2017	A*	`conf`	On the axiomatizability of quantitative algebras. LICS Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2017	J	`jnl`	Singular value automata and approximate minimization. CoRR Borja Balle, Prakash Panangaden, Doina Precup
2017	J	`jnl`	The 2017 Alonzo Church award. ACM SIGLOG News Prakash Panangaden
2017	A*	`conf`	Unrestricted stone duality for Markov processes. LICS Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
2016	—	`conf`	Fond (and Frank) Memories of Frank. Theory and Practice of Formal Methods Prakash Panangaden
2016	J	`jnl`	Preface. Inf. Comput. Matty Hoban, Bart Jacobs, Prakash Panangaden
2016	A*	`conf`	Quantitative Algebraic Reasoning. LICS Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
2016	J	`jnl`	Semantics column. ACM SIGLOG News Michael W. Mislove, Prakash Panangaden
2016	J	`jnl`	Special Issue on Quantum Physics and Logic. New Gener. Comput. Ichiro Hasuo, Prakash Panangaden
2015	A*	`conf`	A Canonical Form for Weighted Automata and Applications to Approximate Minimization. LICS Borja Balle, Prakash Panangaden, Doina Precup
2015	J	`jnl`	A Canonical Form for Weighted Automata and Applications to Approximate Minimization. CoRR Borja Balle, Prakash Panangaden, Doina Precup
2015	—	`conf`	Basis refinement strategies for linear value function approximation in MDPs. NIPS Gheorghe Comanici, Doina Precup, Prakash Panangaden
2015	C	`conf`	On the Formal Verification of Optical Quantum Gates in HOL. FMICS Mohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar
2015	J	`jnl`	Probabilistic bisimulation. ACM SIGLOG News Prakash Panangaden
2015	—	`conf`	Quantum Alternation: Prospects and Problems. QPL Costin Badescu, Prakash Panangaden
2015	A*	`conf`	Representation Discovery for MDPs Using Bisimulation Metrics. AAAI Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup
2015	A*	`conf`	Representation Discovery for MDPs Using Bisimulation Metrics. AAAI Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup
2014	—	`conf`	A Logical Basis for Quantum Evolution and Entanglement. Categories and Types in Logic, Language, and Physics Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger
2014	B	`conf`	A Metrized Duality Theorem for Markov Processes. MFPS Dexter Kozen, Radu Mardare, Prakash Panangaden
2014	J	`jnl`	Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva
2014	J	`jnl`	Approximating Markov Processes by Averaging. J. ACM Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
2014	J	`jnl`	Causality in physics and computation. Theor. Comput. Sci. Prakash Panangaden
2014	A*	`conf`	Fair reactive programming. POPL Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka
2014	—	`ed.`	Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012. QPL Ross Duncan, Prakash Panangaden
2014	—	`ed.`	Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014. QPL Bob Coecke, Ichiro Hasuo, Prakash Panangaden
2013	—	`ed.`	Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday Computation, Logic, Games, and Quantum Foundations Bob Coecke, Luke Ong, Prakash Panangaden
2013	A*	`conf`	Duality in Logic and Computation. LICS Prakash Panangaden
2013	J	`jnl`	Preface to special issue: Developments In Computational Models 2010. Math. Struct. Comput. Sci. S. Barry Cooper, Elham Kashefi, Prakash Panangaden
2013	—	`conf`	Quantum Field Theory for Legspinners. Computation, Logic, Games, and Quantum Foundations Prakash Panangaden
2013	A*	`conf`	Stone Duality for Markov Processes. LICS Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
2013	B	`conf`	Strong Completeness for Markovian Logics. MFCS Dexter Kozen, Radu Mardare, Prakash Panangaden
2012	—	`conf`	Combining Epistemic Logic and Hennessy-Milner Logic. Logic and Program Semantics Sophia Knight, Radu Mardare, Prakash Panangaden
2012	B	`conf`	Dedication. MFPS Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden
2012	J	`jnl`	Deep Inference and Probabilistic Coherence Spaces. Appl. Categorical Struct. Richard Blute, Prakash Panangaden, Sergey Slavnov
2012	—	`conf`	Dexter Kozen's Influence on the Theory of Labelled Markov Processes. Logic and Program Semantics Prakash Panangaden
2012	J	`jnl`	Epistemic Strategies and Games on Concurrent Processes. ACM Trans. Comput. Log. Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden
2012	J	`jnl`	Methods for computing state similarity in Markov Decision Processes. CoRR Norman Ferns, Pablo Samuel Castro, Doina Precup, Prakash Panangaden
2012	J	`jnl`	Metrics for Finite Markov Decision Processes CoRR Norman Ferns, Prakash Panangaden, Doina Precup
2012	J	`jnl`	Metrics for Markov Decision Processes with Infinite State Spaces CoRR Norman Ferns, Prakash Panangaden, Doina Precup
2012	C	`conf`	Minimization via Duality. WoLLIC Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden
2012	—	`conf`	On-the-Fly Algorithms for Bisimulation Metrics. QEST Gheorghe Comanici, Prakash Panangaden, Doina Precup
2012	—	`ch.`	Probabilistic bisimulation. Advanced Topics in Bisimulation and Coinduction Prakash Panangaden
2012	B	`conf`	Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia
2012	B	`conf`	Taking It to the Limit: Approximate Reasoning for Markov Processes. MFCS Kim Guldstrand Larsen, Radu Mardare, Prakash Panangaden
2011	J	`jnl`	Bisimulation Metrics for Continuous Markov Decision Processes. SIAM J. Comput. Norm Ferns, Prakash Panangaden, Doina Precup
2011	—	`ed.`	Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009 QPL@MFPS Bob Coecke, Prakash Panangaden, Peter Selinger
2011	—	`ed.`	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 QPL/DCM@ICALP Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger
2011	C	`conf`	Quantum Information Channels in Curved Spacetime. CiE Prakash Panangaden
2011	—	`conf`	The Duality of State and Observation in Probabilistic Transition Systems. TbiLLC Monica Dinculescu, Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup
2011	A*	`conf`	The Meaning of Semantics. LICS Prakash Panangaden
2011	B	`conf`	The Search for Structure in Quantum Computation. FoSSaCS Prakash Panangaden
2010	—	`conf`	An Algebraic Approach to Dynamic Epistemic Logic. Description Logics Prakash Panangaden, Caitlin Phillips, Doina Precup, Mehrnoosh Sadrzadeh
2010	—	`conf`	Learning in a Changing World, an Algebraic Modal Logical Approach. AMAST Prakash Panangaden, Mehrnoosh Sadrzadeh
2010	—	`ed.`	Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010. DCM S. Barry Cooper, Prakash Panangaden, Elham Kashefi
2010	J	`jnl`	Special Issue on "Quantitative Evaluation of Systems". Perform. Evaluation Susanna Donatelli, Prakash Panangaden, Gerardo Rubino
2010	—	`conf`	Towards a Logic for Reasoning About Learning in a Changing World. LAM@LICS Prakash Panangaden, Mehrnoosh Sadrzadeh
2010	J	`jnl`	Weak bisimulation is sound and complete for pCTL Inf. Comput. Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2009	B	`conf`	Approximating Labelled Markov Processes Again! CALCO Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
2009	—	`conf`	Approximating Markov Processes by Averaging. ICALP (2) Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
2009	B	`conf`	Epistemic Strategies and Games on Concurrent Processes. SOFSEM Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden
2009	A*	`conf`	Equivalence Relations in Fully and Partially Observable Markov Decision Processes. IJCAI Pablo Samuel Castro, Prakash Panangaden, Doina Precup
2009	—	`book`	Labelled Markov Processes. Prakash Panangaden
2009	—	`conf`	Preface. QPL@MFPS Bob Coecke, Prakash Panangaden, Peter Selinger
2009	—	`ed.`	Proceedings of the 6th Workshop on Security Issues in Concurrency, SecCo@CONCUR 2008, Toronto, ON, Canada, August 23, 2008 SecCo@CONCUR Steve Kremer, Prakash Panangaden
2008	B	`conf`	A Technique for Verifying Measurements. MFPS Keye Martin, Prakash Panangaden
2008	J	`jnl`	Anonymity protocols as noisy channels. Inf. Comput. Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
2008	—	`conf`	Bounding Performance Loss in Approximate MDP Homomorphisms. NIPS Jonathan Taylor, Doina Precup, Prakash Panangaden
2008	C	`conf`	Domain Theory and the Causal Structure of Space-Time. CiE Keye Martin, Prakash Panangaden
2008	J	`jnl`	Foreword. Theor. Comput. Sci. Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen
2008	B	`conf`	Game Semantics for Quantum Stores. MFPS Yannick Delbecque, Prakash Panangaden
2008	B	`conf`	Knowledge and Information in Probabilistic Systems. CONCUR Prakash Panangaden
2008	J	`jnl`	On the Bayes risk in information-hiding protocols. J. Comput. Secur. Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
2008	—	`conf`	Preface. FICS Yixiang Chen, Guo-Qiang Zhang, Prakash Panangaden
2008	—	`conf`	Preface. QPL/DCM@ICALP Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger
2008	—	`conf`	Preface. SecCo@CONCUR Steve Kremer, Prakash Panangaden
2008	—	`ed.`	Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008 FICS Yixiang Chen, Guo-Qiang Zhang, Prakash Panangaden
2007	—	`ed.`	Computational Structures for Modelling Space, Time and Causality, 20.08. - 25.08.2006 Computational Structures for Modelling Space, Time and Causality Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen
2007	—	`conf`	Conformal Field Theory as a Nuclear Functor. Computation, Meaning, and Logic Richard Blute, Prakash Panangaden, Dorette Pronk
2007	—	`conf`	Formal Approaches to Information-Hiding (Tutorial). TGC Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
2007	A	`conf`	Probability of Error in Information-Hiding Protocols. CSF Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
2007	—	`conf`	Representing Systems with Hidden State. AAAI Fall Symposium: Computational Approaches to Representation Change during Learning and Development Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup
2007	J	`jnl`	The measurement calculus. J. ACM Vincent Danos, Elham Kashefi, Prakash Panangaden
2006	—	`conf`	06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality. Computational Structures for Modelling Space, Time and Causality Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen
2006	—	`conf`	Anonymity Protocols as Noisy Channels. TGC Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
2006	J	`jnl`	Approximate reasoning for real-time probabilistic processes. Log. Methods Comput. Sci. Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2006	J	`jnl`	Bisimulation and cocongruence for probabilistic systems. Inf. Comput. Vincent Danos, Josée Desharnais, François Laviolette, Prakash Panangaden
2006	J	`jnl`	Foreword. Theor. Comput. Sci. Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster
2006	A	`conf`	Methods for Computing State Similarity in Markov Decision Processes. UAI Norm Ferns, Pablo Samuel Castro, Doina Precup, Prakash Panangaden
2006	J	`jnl`	Quantum weakest preconditions. Math. Struct. Comput. Sci. Ellie D'Hondt, Prakash Panangaden
2006	A*	`conf`	Representing Systems with Hidden State. AAAI Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup
2006	—	`conf`	The One Way to Quantum Computation. ICALP (2) Vincent Danos, Elham Kashefi, Prakash Panangaden
2006	J	`jnl`	The computational power of the W And GHZ States. Quantum Inf. Comput. Ellie D'Hondt, Prakash Panangaden
2005	—	`conf`	04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster
2005	—	`conf`	04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster
2005	—	`conf`	A domain of spacetime intervals in general relativity. Spatial Representation Keye Martin, Prakash Panangaden
2005	—	`conf`	An approximation algorithm for labelled Markov processes: towards realistic approximation. QEST Alexandre Bouchard-Côté, Norm Ferns, Prakash Panangaden, Doina Precup
2005	J	`jnl`	Approximate reasoning for real-time probabilistic processes CoRR Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2005	—	`conf`	Distributed Measurement-based Quantum Computation. QPL Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden
2005	A*	`conf`	Foreword. LICS Prakash Panangaden
2005	A	`conf`	Metrics for Markov Decision Processes with Infinite State Spaces. UAI Norm Ferns, Prakash Panangaden, Doina Precup
2005	—	`conf`	Reasoning About Quantum Knowledge. FSTTCS Ellie D'Hondt, Prakash Panangaden
2004	J	`jnl`	A relational model of non-deterministic dataflow. Math. Struct. Comput. Sci. Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel
2004	—	`conf`	Approximate Reasoning for Real-Time Probabilistic Processes. QEST Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2004	—	`book`	Mathematical techniques for analyzing concurrent and probabilistic systems. Jan J. M. M. Rutten, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Prakash Panangaden
2004	A*	`conf`	Metrics for Finite Markov Decision Processes. AAAI Norm Ferns, Prakash Panangaden, Doina Precup
2004	A	`conf`	Metrics for Finite Markov Decision Processes. UAI Norm Ferns, Prakash Panangaden, Doina Precup
2004	J	`jnl`	Metrics for labelled Markov processes. Theor. Comput. Sci. Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2004	J	`jnl`	On the Expressive Power of First-Order Boolean Functions in PCF CoRR Riccardo Pucella, Prakash Panangaden
2004	—	`ed.`	Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic Processes, DTMPP 2003, Barbados, April 21-25, 2003 DTMPP Josée Desharnais, Prakash Panangaden
2003	J	`jnl`	Approximating labelled Markov processes. Inf. Comput. Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2003	B	`conf`	Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR Vincent Danos, Josée Desharnais, Prakash Panangaden
2003	J	`jnl`	Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J. Log. Algebraic Methods Program. Josée Desharnais, Prakash Panangaden
2003	J	`jnl`	Guest Editors' Foreword. Nord. J. Comput. Uwe Nestmann, Prakash Panangaden
2003	—	`conf`	Labelled Markov Processes: Stronger and Faster Approximations. DTMPP Vincent Danos, Josée Desharnais, Prakash Panangaden
2003	—	`conf`	Preface. DTMPP Josée Desharnais, Prakash Panangaden
2003	B	`ed.`	Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003 MFPS Stephen D. Brookes, Prakash Panangaden
2002	—	`ed.`	8th International Workshop on Expressiveness in Concurrency, EXPRESS 2001, Satellite Workshop from CONCUR 2001, Aalborg, Denmark, August 20, 2001 EXPRESS Luca Aceto, Prakash Panangaden
2002	—	`ed.`	9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002 EXPRESS Uwe Nestmann, Prakash Panangaden
2002	J	`jnl`	Bisimulation for Labelled Markov Processes. Inf. Comput. Josée Desharnais, Abbas Edalat, Prakash Panangaden
2002	J	`jnl`	Guest Editors' Foreword. Nord. J. Comput. Luca Aceto, Prakash Panangaden
2002	—	`conf`	Preface. EXPRESS Uwe Nestmann, Prakash Panangaden
2002	A*	`conf`	The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden
2002	B	`conf`	Weak Bisimulation is Sound and Complete for PCTL*. CONCUR Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2001	J	`jnl`	Does Combining Nondeterminism and Probability Make Sense? Bull. EATCS Prakash Panangaden
2001	—	`ch.`	Does Concurrency Theory Have Anything to Say About Parallel Programming? Current Trends in Theoretical Computer Science Prakash Panangaden
2001	J	`jnl`	Measure and probability for concurrency theorists. Theor. Comput. Sci. Prakash Panangaden
2001	J	`jnl`	On the expressive power of first-order boolean functions in PCF. Theor. Comput. Sci. Riccardo Pucella, Prakash Panangaden
2001	—	`conf`	Preface. EXPRESS Luca Aceto, Prakash Panangaden
2000	A*	`conf`	Approximating Labeled Markov Processes. LICS Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
2000	C	`conf`	From logic to stochastic processes (abstract only). PPDP Prakash Panangaden
2000	J	`jnl`	Generating irregular partitionable data structures. Theor. Comput. Sci. Prakash Panangaden, Clark Verbrugge
1999	B	`conf`	Metrics for Labeled Markov Systems. CONCUR Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
1999	A*	`conf`	Stochastic Processes as Concurrent Constraint Programs. POPL Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
1998	A*	`conf`	A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS Josée Desharnais, Abbas Edalat, Prakash Panangaden
1998	B	`conf`	A Relational Model of Non-deterministic Dataflow. CONCUR Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel
1998	—	`conf`	The Category of Markov Kernels. PROBMIV Prakash Panangaden
1997	A*	`conf`	Bisimulation for Labelled Markov Processes. LICS Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden
1996	J	`jnl`	Does Concurrency Theory Have Anything To Say About Parallel Programming? Bull. EATCS Prakash Panangaden
1995	J	`jnl`	A Logical View of Concurrent Constraint Programming. Nord. J. Comput. Nax Paul Mendler, Prakash Panangaden, Philip J. Scott, Robert A. G. Seely
1995	B	`conf`	A design study of the EARTH multiprocessor. PACT 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
1995	J	`jnl`	Reengineering User Interfaces. IEEE Softw. Ettore Merlo, Pierre-Yves Gagné, Jean-Francois Girard, Kostas Kontogiannis, Laurie J. Hendren, Prakash Panangaden, Renato De Mori
1995	—	`conf`	The Expressive Power of Indeterminate Primitives in Asynchronous Computation. FSTTCS Prakash Panangaden
1994	B	`conf`	The Logical Structure of Concurrent Constraint Programming Languages (Abstract). CONCUR Prakash Panangaden
1993	J	`jnl`	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 Prakash Panangaden
1993	B	`conf`	Holomorhpic Models of Exponential Types in Linear Logic. MFPS Richard Blute, Robert A. G. Seely, Prakash Panangaden
1993	B	`conf`	Minimal Memory Schedules for Dataflow Networks. CONCUR Marija Cubric, Prakash Panangaden
1993	J	`jnl`	Nonexpressibility of Fairness and Signaling. J. Comput. Syst. Sci. David A. McAllester, Prakash Panangaden, Vasant Shanbhogue
1993	—	`conf`	Reverse Engineering of User Interfaces. WCRE Ettore Merlo, Jean-Francois Girard, Kostas Kontogiannis, Prakash Panangaden, Renato De Mori
1992	—	`conf`	A Hyperdoctrinal View of Concurrent Constraint Programming. REX Workshop Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely
1992	J	`jnl`	A Logic for Reasoning About Security. ACM Trans. Comput. Syst. Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden
1992	J	`jnl`	Concurrent Common Knowledge: Defining Agreement for Asynchronous Systems. Distributed Comput. Prakash Panangaden, Kim Taylor
1992	J	`jnl`	The Expressive Power of Indeterminate Dataflow Primitives Inf. Comput. Prakash Panangaden, Vasant Shanbhogue
1992	Misc	`conf`	Well-behaved dataflow programs for DSP computation. ICASSP Guang R. Gao, R. Govindarajan, Prakash Panangaden
1991	J	`jnl`	A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables. ACM Trans. Program. Lang. Syst. Radha Jagadeesan, Keshav Pingali, Prakash Panangaden
1991	A*	`conf`	Semantic Foundations of Concurrent Constraint Programming. POPL Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden
1991	A*	`conf`	The Common Order-Theoretic Structure of Version Spaces and ATMS's. AAAI Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, Devika Subramanian
1991	J	`jnl`	The Expressive Power of Delay Operators in SCCS. Acta Informatica Carol Critchlow, Prakash Panangaden
1990	A*	`conf`	A Domain-Theoretic Model for a Higher-Order Process Calculus. ICALP Radha Jagadeesan, Prakash Panangaden
1990	—	`conf`	A Logic for Reasoning about Security. CSFW Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden
1990	A	`conf`	A Mechanically Assisted Constructive Proof in Category Theory. CADE James A. Altucher, Prakash Panangaden
1990	A*	`conf`	Stability and Sequentiality in Dataflow Networks. ICALP Prakash Panangaden, Vasant Shanbhogue, Eugene W. Stark
1989	B	`conf`	A Category-theoretic Semantics for Unbounded Indeterminacy. Mathematical Foundations of Programming Semantics Prakash Panangaden, James R. Russell
1989	A*	`conf`	A Fully Abstract Semantics for a Functional Language with Logic Variables LICS Radha Jagadeesan, Prakash Panangaden, Keshav Pingali
1989	J	`jnl`	Effect analysis in higher-order languages. Int. J. Parallel Program. Anne Neirynck, Prakash Panangaden, Alan J. Demers
1988	A*	`conf`	Computations, Residuals, and the POwer of Indeterminancy. ICALP Prakash Panangaden, Eugene W. Stark
1988	A*	`conf`	Concurrent Common Knowledge: A New Definition of Agreement for Asynchronous Systems. PODC Prakash Panangaden, Kim Taylor
1988	—	`conf`	Expressiveness Bounds for Completness in Trace-Based Network Proof Systems. CAAP Jennifer Widom, Prakash Panangaden
1988	—	`conf`	McCarthy's Amb Cannot Implement Fair Merge. FSTTCS Prakash Panangaden
1988	A*	`conf`	Nonexpressibility of Fairness and Signaling FOCS David A. McAllester, Prakash Panangaden, Vasant Shanbhogue
1988	—	`conf`	Reasoning about Knowledge and Permission in Secure Distributed Systems. CSFW Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden
1988	B	`conf`	Security by Permission in Databases. DBSec Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden
1988	J	`jnl`	Type theory and concurrency. Int. J. Parallel Program. Rance Cleaveland, Prakash Panangaden
1987	A*	`conf`	Computation of Aliases and Support Sets. POPL Anne Neirynck, Prakash Panangaden, Alan J. Demers
1986	—	`book`	Implementing mathematics with the Nuprl proof development system. 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
1986	A*	`conf`	Infinite Objects in Type Theory LICS Nax Paul Mendler, Prakash Panangaden, Robert L. Constable
1986	J	`jnl`	Semantics of Digital Networks Containing Indeterminate Modules. Distributed Comput. Robert M. Keller, Prakash Panangaden
1986	B	`conf`	Verification of Systolic Arrays: A Stream Function Approach. ICPP Sanjay V. Rajopadhye, Prakash Panangaden
1984	—	`conf`	Abstract Interpretation and Indeterminacy. Seminar on Concurrency Prakash Panangaden
1984	—	`conf`	Semantics of Networks Containing Indeterminate Operators. Seminar on Concurrency Robert M. Keller, Prakash Panangaden
1984	—	`conf`	Stream-Based Execution of Logic Programming. SLP Gary Lindstrom, Prakash Panangaden