| 2026 | CSL | Rational Lawvere Logic (Invited Paper). | Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2026 | CSL | The Ackermann Award 2025. | Maribel Fernndez, Prakash Panangaden |
| 2026 | CSL | Interpreting Lambda Calculus in Domain-Valued Random Variables. | Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott |
| 2025 | CSL | The Ackermann Award 2024. | Maribel Fernndez, Prakash Panangaden |
| 2025 | FOSSACS | A Behavioural Pseudometric for Continuous-Time Markov Processes. | Linan Chen, Florence Clerc, Prakash Panangaden |
| 2025 | ICLR | 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 |
| 2024 | AISTATS | Conditions on Preference Relations that Guarantee the Existence of Optimal Policies. | Jonathan Colao Carr, Prakash Panangaden, Doina Precup |
| 2021 | CALCO | Tensor of Quantitative Equational Theories. | Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2021 | ICALP | Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata. | Borja Balle, Clara Lacroce, Prakash Panangaden, Doina Precup, Guillaume Rabusseau |
| 2021 | LICS | Universal Semantics for the Stochastic λ-Calculus. | Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts |
| 2021 | LICS | Fixed-Points for Quantitative Equational Logics. | Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2020 | AISTATS | A Distributional Analysis of Sampling-Based Reinforcement Learning Algorithms. | Philip Amortila, Doina Precup, Prakash Panangaden, Marc G. Bellemare |
| 2020 | ICML | Latent Variable Modelling with Hyperbolic Normalizing Flows. | Avishek Joey Bose, Ariella Smofsky, Renjie Liao, Prakash Panangaden, William L. Hamilton |
| 2020 | MFPS | Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes. | Linan Chen, Florence Clerc, Prakash Panangaden |
| 2019 | AAAI | Temporally Extended Metrics for Markov Decision Processes. | Philip Amortila, Marc G. Bellemare, Prakash Panangaden, Doina Precup |
| 2018 | LICS | Boolean-Valued Semantics for the Stochastic λ-Calculus. | Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott |
| 2018 | LICS | An Algebraic Theory of Markov Processes. | Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2017 | ICALP | Bisimulation Metrics for Weighted Automata. | Borja Balle, Pascale Gourdeau, Prakash Panangaden |
| 2017 | ICALP | Expressiveness of Probabilistic Modal Logics, Revisited. | Nathanal Fijalkow, Bartek Klin, Prakash Panangaden |
| 2017 | LICS | Unrestricted stone duality for Markov processes. | Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden |
| 2017 | LICS | On the axiomatizability of quantitative algebras. | Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2016 | LICS | Quantitative Algebraic Reasoning. | Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2015 | AAAI | Representation Discovery for MDPs Using Bisimulation Metrics. | Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup |
| 2015 | AAAI | Representation Discovery for MDPs Using Bisimulation Metrics. | Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup |
| 2015 | FMICS | On the Formal Verification of Optical Quantum Gates in HOL. | Mohamed Yousri Mahmoud, Prakash Panangaden, Sofine Tahar |
| 2015 | LICS | A Canonical Form for Weighted Automata and Applications to Approximate Minimization. | Borja Balle, Prakash Panangaden, Doina Precup |
| 2014 | POPL | Fair reactive programming. | Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka |
| 2013 | LICS | Stone Duality for Markov Processes. | Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden |
| 2013 | LICS | Duality in Logic and Computation. | Prakash Panangaden |
| 2013 | MFCS | Strong Completeness for Markovian Logics. | Dexter Kozen, Radu Mardare, Prakash Panangaden |
| 2012 | CONCUR | Spatial and Epistemic Modalities in Constraint-Based Process Calculi. | Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia |
| 2012 | MFCS | Taking It to the Limit: Approximate Reasoning for Markov Processes. | Kim Guldstrand Larsen, Radu Mardare, Prakash Panangaden |
| 2012 | WoLLIC | Minimization via Duality. | Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden |
| 2011 | CiE | Quantum Information Channels in Curved Spacetime. | Prakash Panangaden |
| 2011 | FOSSACS | The Search for Structure in Quantum Computation. | Prakash Panangaden |
| 2011 | LICS | The Meaning of Semantics. | Prakash Panangaden |
| 2010 | LICS | Towards a Logic for Reasoning About Learning in a Changing World. | Prakash Panangaden, Mehrnoosh Sadrzadeh |
| 2009 | CALCO | Approximating Labelled Markov Processes Again! | Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin |
| 2009 | ICALP | Approximating Markov Processes by Averaging. | Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin |
| 2009 | IJCAI | Equivalence Relations in Fully and Partially Observable Markov Decision Processes. | Pablo Samuel Castro, Prakash Panangaden, Doina Precup |
| 2009 | SOFSEM | Epistemic Strategies and Games on Concurrent Processes. | Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden |
| 2008 | CiE | Domain Theory and the Causal Structure of Space-Time. | Keye Martin, Prakash Panangaden |
| 2008 | CONCUR | Knowledge and Information in Probabilistic Systems. | Prakash Panangaden |
| 2006 | AAAI | Representing Systems with Hidden State. | Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup |
| 2006 | ICALP | The One Way to Quantum Computation. | Vincent Danos, Elham Kashefi, Prakash Panangaden |
| 2006 | UAI | Methods for Computing State Similarity in Markov Decision Processes. | Norm Ferns, Pablo Samuel Castro, Doina Precup, Prakash Panangaden |
| 2005 | LICS | Foreword. | Prakash Panangaden |
| 2005 | UAI | Metrics for Markov Decision Processes with Infinite State Spaces. | Norm Ferns, Prakash Panangaden, Doina Precup |
| 2004 | AAAI | Metrics for Finite Markov Decision Processes. | Norm Ferns, Prakash Panangaden, Doina Precup |
| 2004 | UAI | Metrics for Finite Markov Decision Processes. | Norm Ferns, Prakash Panangaden, Doina Precup |
| 2003 | CONCUR | Conditional Expectation and the Approximation of Labelled Markov Processes. | Vincent Danos, Jose Desharnais, Prakash Panangaden |
| 2002 | CONCUR | Weak Bisimulation is Sound and Complete for PCTL*. | Jose Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
| 2002 | LICS | The Metric Analogue of Weak Bisimulation for Probabilistic Processes. | Jose Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden |
| 2000 | LICS | Approximating Labeled Markov Processes. | Jose Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
| 2000 | PPDP | From logic to stochastic processes (abstract only). | Prakash Panangaden |
| 1999 | CONCUR | Metrics for Labeled Markov Systems. | Jose Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
| 1999 | POPL | Stochastic Processes as Concurrent Constraint Programs. | Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
| 1998 | CONCUR | A Relational Model of Non-deterministic Dataflow. | Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel |
| 1998 | LICS | A Logical Characterization of Bisimulation for Labeled Markov Processes. | Jose Desharnais, Abbas Edalat, Prakash Panangaden |
| 1997 | LICS | Bisimulation for Labelled Markov Processes. | Richard Blute, Jose Desharnais, Abbas Edalat, Prakash Panangaden |
| 1994 | CONCUR | The Logical Structure of Concurrent Constraint Programming Languages (Abstract). | Prakash Panangaden |
| 1993 | CONCUR | Minimal Memory Schedules for Dataflow Networks. | Marija Cubric, Prakash Panangaden |
| 1993 | MFPS | Holomorhpic Models of Exponential Types in Linear Logic. | Richard Blute, Robert A. G. Seely, Prakash Panangaden |
| 1992 | ICASSP | Well-behaved dataflow programs for DSP computation. | Guang R. Gao, R. Govindarajan, Prakash Panangaden |
| 1991 | AAAI | The Common Order-Theoretic Structure of Version Spaces and ATMS's. | Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, Devika Subramanian |
| 1991 | POPL | Semantic Foundations of Concurrent Constraint Programming. | Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden |
| 1990 | CADE | A Mechanically Assisted Constructive Proof in Category Theory. | James A. Altucher, Prakash Panangaden |
| 1990 | ICALP | A Domain-Theoretic Model for a Higher-Order Process Calculus. | Radha Jagadeesan, Prakash Panangaden |
| 1990 | ICALP | Stability and Sequentiality in Dataflow Networks. | Prakash Panangaden, Vasant Shanbhogue, Eugene W. Stark |
| 1989 | LICS | A Fully Abstract Semantics for a Functional Language with Logic Variables | Radha Jagadeesan, Prakash Panangaden, Keshav Pingali |
| 1989 | MFPS | A Category-theoretic Semantics for Unbounded Indeterminacy. | Prakash Panangaden, James R. Russell |
| 1988 | DBSEC | Security by Permission in Databases. | Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden |
| 1988 | FOCS | Nonexpressibility of Fairness and Signaling | David A. McAllester, Prakash Panangaden, Vasant Shanbhogue |
| 1988 | ICALP | Computations, Residuals, and the POwer of Indeterminancy. | Prakash Panangaden, Eugene W. Stark |
| 1988 | PODC | Concurrent Common Knowledge: A New Definition of Agreement for Asynchronous Systems. | Prakash Panangaden, Kim Taylor |
| 1987 | POPL | Computation of Aliases and Support Sets. | Anne Neirynck, Prakash Panangaden, Alan J. Demers |
| 1986 | ICPP | Verification of Systolic Arrays: A Stream Function Approach. | Sanjay V. Rajopadhye, Prakash Panangaden |
| 1986 | LICS | Infinite Objects in Type Theory | Nax Paul Mendler, Prakash Panangaden, Robert L. Constable |
| 1984 | CONCUR | Semantics of Networks Containing Indeterminate Operators. | Robert M. Keller, Prakash Panangaden |
| 1984 | CONCUR | Abstract Interpretation and Indeterminacy. | Prakash Panangaden |