Semantics of Networks Containing Indeterminate Operators. - Robert M. Keller; Prakash Panangaden (Seminar on Concurrency, 1984)

Abstract Interpretation and Indeterminacy. - Prakash Panangaden (Seminar on Concurrency, 1984)

Stream-Based Execution of Logic Programming. - Gary Lindstrom; Prakash Panangaden (SLP, 1984)

Implementing mathematics with the Nuprl proof development system. - Robert L. Constable; Stuart F. Allen; Mark Bromley; Rance Cleaveland; J. F. Cremer; Robert Harper 001; Douglas J. Howe; Todd B. Knoblock; Nax Paul Mendler; Prakash Panangaden; James T. Sasaki; Scott F. Smith 001 (Prentice Hall, 1986)

Verification of Systolic Arrays: A Stream Function Approach. - Sanjay V. Rajopadhye; Prakash Panangaden (ICPP, 1986)

Infinite Objects in Type Theory - Nax Paul Mendler; Prakash Panangaden; Robert L. Constable (LICS, 1986)

Semantics of Digital Networks Containing Indeterminate Modules. - Robert M. Keller; Prakash Panangaden (Distributed Comput., 1986)

Computation of Aliases and Support Sets. - Anne Neirynck; Prakash Panangaden; Alan J. Demers (POPL, 1987)

Expressiveness Bounds for Completness in Trace-Based Network Proof Systems. - Jennifer Widom; Prakash Panangaden (CAAP, 1988)

Reasoning about Knowledge and Permission in Secure Distributed Systems. - Janice I. Glasgow; Glenn H. MacEwen; Prakash Panangaden (CSFW, 1988)

Security by Permission in Databases. - Janice I. Glasgow; Glenn H. MacEwen; Prakash Panangaden (DBSec, 1988)

McCarthy's Amb Cannot Implement Fair Merge. - Prakash Panangaden (FSTTCS, 1988)

Computations, Residuals, and the POwer of Indeterminancy. - Prakash Panangaden; Eugene W. Stark (ICALP, 1988)

Concurrent Common Knowledge: A New Definition of Agreement for Asynchronous Systems. - Prakash Panangaden; Kim Taylor 001 (PODC, 1988)

Type theory and concurrency. - Rance Cleaveland; Prakash Panangaden (Int. J. Parallel Program., 1988)

A Fully Abstract Semantics for a Functional Language with Logic Variables - Radha Jagadeesan; Prakash Panangaden; Keshav Pingali (LICS, 1989)

A Category-theoretic Semantics for Unbounded Indeterminacy. - Prakash Panangaden; James R. Russell (Mathematical Foundations of Programming Semantics, 1989)

Effect analysis in higher-order languages. - Anne Neirynck; Prakash Panangaden; Alan J. Demers (Int. J. Parallel Program., 1989)

A Mechanically Assisted Constructive Proof in Category Theory. - James A. Altucher; Prakash Panangaden (CADE, 1990)

A Domain-Theoretic Model for a Higher-Order Process Calculus. - Radha Jagadeesan; Prakash Panangaden (ICALP, 1990)

Stability and Sequentiality in Dataflow Networks. - Prakash Panangaden; Vasant Shanbhogue; Eugene W. Stark (ICALP, 1990)

The Common Order-Theoretic Structure of Version Spaces and ATMS's. - Carl A. Gunter; Teow-Hin Ngair; Prakash Panangaden; Devika Subramanian (AAAI, 1991)

Semantic Foundations of Concurrent Constraint Programming. - Vijay A. Saraswat; Martin C. Rinard; Prakash Panangaden (POPL, 1991)

The Expressive Power of Delay Operators in SCCS. - Carol Critchlow; Prakash Panangaden (Acta Informatica, 1991)

A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables. - Radha Jagadeesan; Keshav Pingali; Prakash Panangaden (ACM Trans. Program. Lang. Syst., 1991)

Well-behaved dataflow programs for DSP computation. - Guang R. Gao; R. Govindarajan; Prakash Panangaden (ICASSP, 1992)

A Hyperdoctrinal View of Concurrent Constraint Programming. - Prakash Panangaden; Vijay A. Saraswat; Philip J. Scott; Robert A. G. Seely (REX Workshop, 1992)

Concurrent Common Knowledge: Defining Agreement for Asynchronous Systems. - Prakash Panangaden; Kim Taylor 001 (Distributed Comput., 1992)

A Logic for Reasoning About Security. - Janice I. Glasgow; Glenn H. MacEwen; Prakash Panangaden (ACM Trans. Comput. Syst., 1992)

The Expressive Power of Indeterminate Dataflow Primitives - Prakash Panangaden; Vasant Shanbhogue (Inf. Comput., 1992)

Minimal Memory Schedules for Dataflow Networks. - Marija Cubric; Prakash Panangaden (CONCUR, 1993)

Holomorhpic Models of Exponential Types in Linear Logic. - Richard Blute; Robert A. G. Seely; Prakash Panangaden (MFPS, 1993)

Reverse Engineering of User Interfaces. - Ettore Merlo; Jean-Francois Girard; Kostas Kontogiannis; Prakash Panangaden; Renato de Mori (WCRE, 1993)

Nonexpressibility of Fairness and Signaling. - David A. McAllester; Prakash Panangaden; Vasant Shanbhogue (J. Comput. Syst. Sci., 1993)

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). - Prakash Panangaden (SIGACT News, 1993)

The Logical Structure of Concurrent Constraint Programming Languages (Abstract). - Prakash Panangaden (CONCUR, 1994)

A design study of the EARTH multiprocessor. - 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 001; et al. (PACT, 1995)

The Expressive Power of Indeterminate Primitives in Asynchronous Computation. - Prakash Panangaden (FSTTCS, 1995)

A Logical View of Concurrent Constraint Programming. - Nax Paul Mendler; Prakash Panangaden; Philip J. Scott; Robert A. G. Seely (Nord. J. Comput., 1995)

Reengineering User Interfaces. - Ettore Merlo; Pierre-Yves Gagné; Jean-Francois Girard; Kostas Kontogiannis; Laurie J. Hendren; Prakash Panangaden; Renato de Mori (IEEE Softw., 1995)

Does Concurrency Theory Have Anything To Say About Parallel Programming? - Prakash Panangaden (Bull. EATCS, 1996)

Bisimulation for Labelled Markov Processes. - Richard Blute; Josée Desharnais; Abbas Edalat; Prakash Panangaden (LICS, 1997)

A Logical Characterization of Bisimulation for Labeled Markov Processes. - Josée Desharnais; Abbas Edalat; Prakash Panangaden (LICS, 1998)

The Category of Markov Kernels. - Prakash Panangaden (PROBMIV, 1998)

Metrics for Labeled Markov Systems. - Josée Desharnais; Vineet Gupta 001; Radha Jagadeesan; Prakash Panangaden (CONCUR, 1999)

Stochastic Processes as Concurrent Constraint Programs. - Vineet Gupta 001; Radha Jagadeesan; Prakash Panangaden (POPL, 1999)

Approximating Labeled Markov Processes. - Josée Desharnais; Vineet Gupta 001; Radha Jagadeesan; Prakash Panangaden (LICS, 2000)

From logic to stochastic processes (abstract only). - Prakash Panangaden (PPDP, 2000)

Generating irregular partitionable data structures. - Prakash Panangaden; Clark Verbrugge (Theor. Comput. Sci., 2000)

Does Concurrency Theory Have Anything to Say About Parallel Programming? - Prakash Panangaden (Current Trends in Theoretical Computer Science, 2001)

Does Combining Nondeterminism and Probability Make Sense? - Prakash Panangaden (Bull. EATCS, 2001)

Preface. - Luca Aceto; Prakash Panangaden (EXPRESS, 2001)

Measure and probability for concurrency theorists. - Prakash Panangaden (Theor. Comput. Sci., 2001)

On the expressive power of first-order boolean functions in PCF. - Riccardo Pucella; Prakash Panangaden (Theor. Comput. Sci., 2001)

Weak Bisimulation is Sound and Complete for PCTL*. - Josée Desharnais; Vineet Gupta 001; Radha Jagadeesan; Prakash Panangaden (CONCUR, 2002)

The Metric Analogue of Weak Bisimulation for Probabilistic Processes. - Josée Desharnais; Radha Jagadeesan; Vineet Gupta 001; Prakash Panangaden (LICS, 2002)

Preface. - Uwe Nestmann; Prakash Panangaden (EXPRESS, 2002)

Bisimulation for Labelled Markov Processes. - Josée Desharnais; Abbas Edalat; Prakash Panangaden (Inf. Comput., 2002)

Guest Editors' Foreword. - Luca Aceto; Prakash Panangaden (Nord. J. Comput., 2002)

Conditional Expectation and the Approximation of Labelled Markov Processes. - Vincent Danos; Josée Desharnais; Prakash Panangaden (CONCUR, 2003)

Labelled Markov Processes: Stronger and Faster Approximations. - Vincent Danos; Josée Desharnais; Prakash Panangaden (DTMPP, 2003)

Preface. - Josée Desharnais; Prakash Panangaden (DTMPP, 2003)

Approximating labelled Markov processes. - Josée Desharnais; Vineet Gupta 001; Radha Jagadeesan; Prakash Panangaden (Inf. Comput., 2003)

Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. - Josée Desharnais; Prakash Panangaden (J. Log. Algebraic Methods Program., 2003)

Guest Editors' Foreword. - Uwe Nestmann; Prakash Panangaden (Nord. J. Comput., 2003)

Mathematical techniques for analyzing concurrent and probabilistic systems. - Jan J. M. M. Rutten; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Prakash Panangaden (American Mathematical Society, 2004)

Metrics for Finite Markov Decision Processes. - Norm Ferns; Prakash Panangaden; Doina Precup (AAAI, 2004)

A relational model of non-deterministic dataflow. - Thomas T. Hildebrandt; Prakash Panangaden; Glynn Winskel (Math. Struct. Comput. Sci., 2004)

Metrics for labelled Markov processes. - Josée Desharnais; Vineet Gupta 001; Radha Jagadeesan; Prakash Panangaden (Theor. Comput. Sci., 2004)

04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models. - Ralph Kopperman; Prakash Panangaden; Michael B. Smyth; Dieter Spreen; Julian Webster (Spatial Representation, 2005)

04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models. - Ralph Kopperman; Prakash Panangaden; Michael B. Smyth; Dieter Spreen; Julian Webster (Spatial Representation, 2005)

A domain of spacetime intervals in general relativity. - Keye Martin; Prakash Panangaden (Spatial Representation, 2005)

Reasoning About Quantum Knowledge. - Ellie D'Hondt; Prakash Panangaden (FSTTCS, 2005)

Foreword. - Prakash Panangaden (LICS, 2005)

An approximation algorithm for labelled Markov processes: towards realistic approximation. - Alexandre Bouchard-Côté; Norm Ferns; Prakash Panangaden; Doina Precup (QEST, 2005)

Metrics for Markov Decision Processes with Infinite State Spaces. - Norm Ferns; Prakash Panangaden; Doina Precup (UAI, 2005)

Distributed Measurement-based Quantum Computation. - Vincent Danos; Ellie D'Hondt; Elham Kashefi; Prakash Panangaden (QPL, 2005)

Representing Systems with Hidden State. - Christopher Hundt; Prakash Panangaden; Joelle Pineau; Doina Precup (AAAI, 2006)

06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality. - Ralph Kopperman; Prakash Panangaden; Michael B. Smyth; Dieter Spreen (Computational Structures for Modelling Space, Time and Causality, 2006)

The One Way to Quantum Computation. - Vincent Danos; Elham Kashefi; Prakash Panangaden (ICALP (2), 2006)

Methods for Computing State Similarity in Markov Decision Processes. - Norm Ferns; Pablo Samuel Castro; Doina Precup; Prakash Panangaden (UAI, 2006)

Bisimulation and cocongruence for probabilistic systems. - Vincent Danos; Josée Desharnais; François Laviolette; Prakash Panangaden (Inf. Comput., 2006)

Approximate reasoning for real-time probabilistic processes. - Vineet Gupta 001; Radha Jagadeesan; Prakash Panangaden (Log. Methods Comput. Sci., 2006)

Quantum weakest preconditions. - Ellie D'Hondt; Prakash Panangaden (Math. Struct. Comput. Sci., 2006)

The computational power of the W And GHZ States. - Ellie D'Hondt; Prakash Panangaden (Quantum Inf. Comput., 2006)

Foreword. - Ralph Kopperman; Prakash Panangaden; Michael B. Smyth; Dieter Spreen; Julian Webster (Theor. Comput. Sci., 2006)

Probability of Error in Information-Hiding Protocols. - Konstantinos Chatzikokolakis 001; Catuscia Palamidessi; Prakash Panangaden (CSF, 2007)

Formal Approaches to Information-Hiding (Tutorial). - Romain Beauxis; Konstantinos Chatzikokolakis 001; Catuscia Palamidessi; Prakash Panangaden (TGC, 2007)

Conformal Field Theory as a Nuclear Functor. - Richard Blute; Prakash Panangaden; Dorette Pronk (Computation, Meaning, and Logic, 2007)

The measurement calculus. - Vincent Danos; Elham Kashefi; Prakash Panangaden (J. ACM, 2007)

Domain Theory and the Causal Structure of Space-Time. - Keye Martin; Prakash Panangaden (CiE, 2008)

Knowledge and Information in Probabilistic Systems. - Prakash Panangaden (CONCUR, 2008)

Bounding Performance Loss in Approximate MDP Homomorphisms. - Jonathan Taylor; Doina Precup; Prakash Panangaden (NIPS, 2008)

Preface. - Yixiang Chen 001; Guo-Qiang Zhang 001; Prakash Panangaden (FICS, 2008)

Preface. - Bob Coecke; Ian Mackie; Prakash Panangaden; Peter Selinger (QPL/DCM@ICALP, 2008)

Game Semantics for Quantum Stores. - Yannick Delbecque; Prakash Panangaden (MFPS, 2008)

Preface. - Steve Kremer; Prakash Panangaden (SecCo@CONCUR, 2008)

A Technique for Verifying Measurements. - Keye Martin; Prakash Panangaden (MFPS, 2008)

Anonymity protocols as noisy channels. - Konstantinos Chatzikokolakis 001; Catuscia Palamidessi; Prakash Panangaden (Inf. Comput., 2008)

On the Bayes risk in information-hiding protocols. - Konstantinos Chatzikokolakis 001; Catuscia Palamidessi; Prakash Panangaden (J. Comput. Secur., 2008)

Foreword. - Ralph Kopperman; Prakash Panangaden; Michael B. Smyth; Dieter Spreen (Theor. Comput. Sci., 2008)

Labelled Markov Processes. - Prakash Panangaden (Imperial College Press, 2009)

Approximating Labelled Markov Processes Again! - Philippe Chaput; Vincent Danos; Prakash Panangaden; Gordon D. Plotkin (CALCO, 2009)

Equivalence Relations in Fully and Partially Observable Markov Decision Processes. - Pablo Samuel Castro; Prakash Panangaden; Doina Precup (IJCAI, 2009)

Epistemic Strategies and Games on Concurrent Processes. - Konstantinos Chatzikokolakis 001; Sophia Knight; Prakash Panangaden (SOFSEM, 2009)

Preface. - Bob Coecke; Prakash Panangaden; Peter Selinger (QPL@MFPS, 2009)

Learning in a Changing World, an Algebraic Modal Logical Approach. - Prakash Panangaden; Mehrnoosh Sadrzadeh (AMAST, 2010)

An Algebraic Approach to Dynamic Epistemic Logic. - Prakash Panangaden; Caitlin Phillips; Doina Precup; Mehrnoosh Sadrzadeh (Description Logics, 2010)

Towards a Logic for Reasoning About Learning in a Changing World. - Prakash Panangaden; Mehrnoosh Sadrzadeh (LAM@LICS, 2010)

Weak bisimulation is sound and complete for pCTL*. - Josée Desharnais; Vineet Gupta 001; Radha Jagadeesan; Prakash Panangaden (Inf. Comput., 2010)

Special Issue on "Quantitative Evaluation of Systems". - Susanna Donatelli; Prakash Panangaden; Gerardo Rubino (Perform. Evaluation, 2010)

Quantum Information Channels in Curved Spacetime. - Prakash Panangaden (CiE, 2011)

The Search for Structure in Quantum Computation. - Prakash Panangaden (FoSSaCS, 2011)

The Meaning of Semantics. - Prakash Panangaden (LICS, 2011)

The Duality of State and Observation in Probabilistic Transition Systems. - Monica Dinculescu; Christopher Hundt; Prakash Panangaden; Joelle Pineau; Doina Precup (TbiLLC, 2011)

Bisimulation Metrics for Continuous Markov Decision Processes. - Norm Ferns; Prakash Panangaden; Doina Precup (SIAM J. Comput., 2011)

Probabilistic bisimulation. - Prakash Panangaden (Advanced Topics in Bisimulation and Coinduction, 2012)

Combining Epistemic Logic and Hennessy-Milner Logic. - Sophia Knight; Radu Mardare; Prakash Panangaden (Logic and Program Semantics, 2012)

Dexter Kozen's Influence on the Theory of Labelled Markov Processes. - Prakash Panangaden (Logic and Program Semantics, 2012)

Spatial and Epistemic Modalities in Constraint-Based Process Calculi. - Sophia Knight; Catuscia Palamidessi; Prakash Panangaden; Frank D. Valencia (CONCUR, 2012)

Taking It to the Limit: Approximate Reasoning for Markov Processes. - Kim Guldstrand Larsen; Radu Mardare; Prakash Panangaden (MFCS, 2012)

On-the-Fly Algorithms for Bisimulation Metrics. - Gheorghe Comanici; Prakash Panangaden; Doina Precup (QEST, 2012)

Minimization via Duality. - Nick Bezhanishvili; Clemens Kupke; Prakash Panangaden (WoLLIC, 2012)

Deep Inference and Probabilistic Coherence Spaces. - Richard Blute; Prakash Panangaden; Sergey Slavnov (Appl. Categorical Struct., 2012)

Dedication. - Stephen D. Brookes; Achim Jung; Catherine Meadows 001; Michael W. Mislove; Prakash Panangaden (MFPS, 2012)

Epistemic Strategies and Games on Concurrent Processes. - Konstantinos Chatzikokolakis 001; Sophia Knight; Catuscia Palamidessi; Prakash Panangaden (ACM Trans. Comput. Log., 2012)

Quantum Field Theory for Legspinners. - Prakash Panangaden (Computation, Logic, Games, and Quantum Foundations, 2013)

Stone Duality for Markov Processes. - Dexter Kozen; Kim G. Larsen; Radu Mardare; Prakash Panangaden (LICS, 2013)

Duality in Logic and Computation. - Prakash Panangaden (LICS, 2013)

Strong Completeness for Markovian Logics. - Dexter Kozen; Radu Mardare; Prakash Panangaden (MFCS, 2013)

Preface to special issue: Developments In Computational Models 2010. - S. Barry Cooper; Elham Kashefi; Prakash Panangaden (Math. Struct. Comput. Sci., 2013)

A Logical Basis for Quantum Evolution and Entanglement. - Richard Blute; Alessio Guglielmi; Ivan T. Ivanov; Prakash Panangaden; Lutz Straßburger (Categories and Types in Logic, Language, and Physics, 2014)

Fair reactive programming. - Andrew Cave; Francisco Ferreira 001; Prakash Panangaden; Brigitte Pientka (POPL, 2014)

A Metrized Duality Theorem for Markov Processes. - Dexter Kozen; Radu Mardare; Prakash Panangaden (MFPS, 2014)

Approximating Markov Processes by Averaging. - Philippe Chaput; Vincent Danos; Prakash Panangaden; Gordon D. Plotkin (J. ACM, 2014)

Causality in physics and computation. - Prakash Panangaden (Theor. Comput. Sci., 2014)

Algebra-coalgebra duality in Brzozowski's minimization algorithm. - Filippo Bonchi; Marcello M. Bonsangue; Helle Hvid Hansen; Prakash Panangaden; Jan J. M. M. Rutten; Alexandra Silva 001 (ACM Trans. Comput. Log., 2014)

Representation Discovery for MDPs Using Bisimulation Metrics. - Sherry Shanshan Ruan; Gheorghe Comanici; Prakash Panangaden; Doina Precup (AAAI, 2015)

On the Formal Verification of Optical Quantum Gates in HOL. - Mohamed Yousri Mahmoud; Prakash Panangaden; Sofiène Tahar (FMICS, 2015)

A Canonical Form for Weighted Automata and Applications to Approximate Minimization. - Borja Balle; Prakash Panangaden; Doina Precup (LICS, 2015)

Basis refinement strategies for linear value function approximation in MDPs. - Gheorghe Comanici; Doina Precup; Prakash Panangaden (NIPS, 2015)

Quantum Alternation: Prospects and Problems. - Costin Badescu; Prakash Panangaden (QPL, 2015)

Probabilistic bisimulation. - Prakash Panangaden (ACM SIGLOG News, 2015)

Fond (and Frank) Memories of Frank. - Prakash Panangaden (Theory and Practice of Formal Methods, 2016)

Quantitative Algebraic Reasoning. - Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (LICS, 2016)

Preface. - Matty Hoban; Bart Jacobs 001; Prakash Panangaden (Inf. Comput., 2016)

Special Issue on Quantum Physics and Logic. - Ichiro Hasuo; Prakash Panangaden (New Gener. Comput., 2016)

Semantics column. - Michael W. Mislove; Prakash Panangaden (ACM SIGLOG News, 2016)

Bicategories of Markov Processes. - Florence Clerc; Harrison Humphrey; Prakash Panangaden (Models, Algorithms, Logics and Tools, 2017)

Bisimulation Metrics for Weighted Automata. - Borja Balle; Pascale Gourdeau; Prakash Panangaden (ICALP, 2017)

Expressiveness of Probabilistic Modal Logics, Revisited. - Nathanaël Fijalkow; Bartek Klin; Prakash Panangaden (ICALP, 2017)

Unrestricted stone duality for Markov processes. - Robert Furber; Dexter Kozen; Kim G. Larsen; Radu Mardare; Prakash Panangaden (LICS, 2017)

On the axiomatizability of quantitative algebras. - Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (LICS, 2017)

A categorical characterization of relative entropy on Polish spaces. - Nicolas Gagné; Prakash Panangaden (CoRR, 2017)

Editorial comments on the short note by Barry Jay. - Prakash Panangaden (J. Log. Algebraic Methods Program., 2017)

The 2017 Alonzo Church award. - Prakash Panangaden (ACM SIGLOG News, 2017)

2017 LICS test-of-time award. - Prakash Panangaden (ACM SIGLOG News, 2017)

2017 Kleene award. - Prakash Panangaden (ACM SIGLOG News, 2017)

Boolean-Valued Semantics for the Stochastic λ-Calculus. - Giorgio Bacci; Robert Furber; Dexter Kozen; Radu Mardare; Prakash Panangaden; Dana S. Scott (LICS, 2018)

An Algebraic Theory of Markov Processes. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (LICS, 2018)

A Categorical Characterization of Relative Entropy on Standard Borel Spaces. - Nicolas Gagné; Prakash Panangaden (MFPS, 2018)

Free complete Wasserstein algebras. - Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (Log. Methods Comput. Sci., 2018)

Temporally Extended Metrics for Markov Decision Processes. - Philip Amortila; Marc G. Bellemare; Prakash Panangaden; Doina Precup (SafeAI@AAAI, 2019)

Bisimulation for Feller-Dynkin Processes. - Linan Chen; Florence Clerc; Prakash Panangaden (MFPS, 2019)

Expressiveness of probabilistic modal logics: A gradual approach. - Florence Clerc; Nathanaël Fijalkow; Bartek Klin; Prakash Panangaden (Inf. Comput., 2019)

Singular value automata and approximate minimization. - Borja Balle; Prakash Panangaden; Doina Precup (Math. Struct. Comput. Sci., 2019)

Quantitative Equational Reasoning. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (Foundations of Probabilistic Programming, 2020)

A Distributional Analysis of Sampling-Based Reinforcement Learning Algorithms. - Philip Amortila; Doina Precup; Prakash Panangaden; Marc G. Bellemare (AISTATS, 2020)

Latent Variable Modelling with Hyperbolic Normalizing Flows. - Avishek Joey Bose; Ariella Smofsky; Renjie Liao; Prakash Panangaden; William L. Hamilton (ICML, 2020)

Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes. - Linan Chen; Florence Clerc; Prakash Panangaden (MFPS, 2020)

Minimisation in Logical Form. - Nick Bezhanishvili; Marcello M. Bonsangue; Helle Hvid Hansen; Dexter Kozen; Clemens Kupke; Prakash Panangaden; Alexandra Silva 001 (CoRR, 2020)

A Study of Policy Gradient on a Class of Exactly Solvable Models. - Gavin McCracken; Colin Daniels; Rosie Zhao; Anna M. Brandenberger; Prakash Panangaden; Doina Precup (CoRR, 2020)

Universal Semantics for the Stochastic Lambda-Calculus. - Pedro H. Azevedo de Amorim; Dexter Kozen; Radu Mardare; Prakash Panangaden; Michael Roberts (CoRR, 2020)

Tensor of Quantitative Equational Theories. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (CALCO, 2021)

Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata. - Borja Balle; Clara Lacroce; Prakash Panangaden; Doina Precup; Guillaume Rabusseau (ICALP, 2021)

Extracting Weighted Automata for Approximate Minimization in Language Modelling. - Clara Lacroce; Prakash Panangaden; Guillaume Rabusseau (ICGI, 2021)

Universal Semantics for the Stochastic λ-Calculus. - Pedro H. Azevedo de Amorim; Dexter Kozen; Radu Mardare; Prakash Panangaden; Michael Roberts (LICS, 2021)

Fixed-Points for Quantitative Equational Logics. - Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (LICS, 2021)

MICo: Improved representations via sampling-based state similarity for Markov decision processes. - Pablo Samuel Castro; Tyler Kastner; Prakash Panangaden; Mark Rowland 001 (NeurIPS, 2021)

MICo: Learning improved representations via sampling-based state similarity for Markov decision processes. - Pablo Samuel Castro; Tyler Kastner; Prakash Panangaden; Mark Rowland 001 (CoRR, 2021)

Interpreting Lambda Calculus in Domain-Valued Random Variables. - Robert Furber; Radu Mardare; Prakash Panangaden; Dana S. Scott (CoRR, 2021)

Weighted automata are compact and actively learnable. - Artem Kaznatcheev; Prakash Panangaden (Inf. Process. Lett., 2021)

Riemannian Diffusion Models. - Chin-Wei Huang; Milad Aghajohari; Joey Bose; Prakash Panangaden; Aaron C. Courville (NeurIPS, 2022)

Continuous MDP Homomorphisms and Homomorphic Policy Gradient. - Sahand Rezaei-Shoshtari; Rosie Zhao; Prakash Panangaden; David Meger; Doina Precup (NeurIPS, 2022)

Towards an AAK Theory Approach to Approximate Minimization in the Multi-Letter Case. - Clara Lacroce; Prakash Panangaden; Guillaume Rabusseau (CoRR, 2022)

Augmenting Human Selves Through Artificial Agents - Lessons From the Brain. - Georg Northoff; Maia Fraser; John Griffiths; Dimitris A. Pinotsis; Prakash Panangaden; Rosalyn J. Moran; Karl J. Friston (Frontiers Comput. Neurosci., 2022)

Bisimulation metrics and norms for real-weighted automata. - Borja Balle; Pascale Gourdeau; Prakash Panangaden (Inf. Comput., 2022)

Propositional Logics for the Lawvere Quantale. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (MFPS, 2023)

Behavioural pseudometrics for continuous-time diffusions. - Linan Chen; Florence Clerc; Prakash Panangaden (CoRR, 2023)

Behavioural equivalences for continuous-time Markov processes. - Linan Chen; Florence Clerc; Prakash Panangaden (Math. Struct. Comput. Sci., 2023)

A Kernel Perspective on Behavioural Metrics for Markov Decision Processes. - Pablo Samuel Castro; Tyler Kastner; Prakash Panangaden; Mark Rowland 001 (Trans. Mach. Learn. Res., 2023)

Conditions on Preference Relations that Guarantee the Existence of Optimal Policies. - Jonathan Colaço Carr; Prakash Panangaden; Doina Precup (AISTATS, 2024)

Polynomial Lawvere Logic. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (CoRR, 2024)

Behavioural Metrics and Quantitative Logics (Dagstuhl Seminar 24432). - Barbara König 001; Radu Mardare; Prakash Panangaden; Jurriaan Rot; Florence Clerc (Dagstuhl Reports, 2024)

Policy Gradient Methods in the Presence of Symmetries and State Abstractions. - Prakash Panangaden; Sahand Rezaei-Shoshtari; Rosie Zhao; David Meger; Doina Precup (J. Mach. Learn. Res., 2024)

Sum and Tensor of Quantitative Effects. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (Log. Methods Comput. Sci., 2024)

Optimal approximate minimization of one-letter weighted finite automata. - Clara Lacroce; Borja Balle; Prakash Panangaden; Guillaume Rabusseau (Math. Struct. Comput. Sci., 2024)

The Ackermann Award 2024. - Maribel Fernández; Prakash Panangaden (CSL, 2025)

A Behavioural Pseudometric for Continuous-Time Markov Processes. - Linan Chen; Florence Clerc; Prakash Panangaden (FoSSaCS, 2025)

Studying the Interplay Between the Actor and Critic Representations in Reinforcement Learning. - Samuel Garcin; Trevor McInroe; Pablo Samuel Castro; Christopher G. Lucas; David Abel; Prakash Panangaden; Stefano V. Albrecht (ICLR, 2025)

Semantics Column. - Prakash Panangaden (ACM SIGLOG News, 2025)