Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Prakash Panangaden
2010 – today
- 2013
[j52]S. Barry Cooper, Elham Kashefi, Prakash Panangaden: Preface to special issue: Developments In Computational Models 2010. Mathematical Structures in Computer Science 23(2): 201-203 (2013)- [c76]Prakash Panangaden: Quantum Field Theory for Legspinners. Computation, Logic, Games, and Quantum Foundations 2013: 277-290
- [c75]
- [c74]Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden: Stone Duality for Markov Processes. LICS 2013: 321-330
- [c73]Dexter Kozen, Radu Mardare, Prakash Panangaden: Strong Completeness for Markovian Logics. MFCS 2013: 655-666
- [e3]Bob Coecke, Luke Ong, Prakash Panangaden (Eds.): 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
- 2012
- [j51]Richard Blute, Prakash Panangaden, Sergey Slavnov: Deep Inference and Probabilistic Coherence Spaces. Applied Categorical Structures 20(3): 209-228 (2012)
- [j50]Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden: Dedication. Electr. Notes Theor. Comput. Sci. 286: 3 (2012)
- [j49]Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden: Epistemic Strategies and Games on Concurrent Processes. ACM Trans. Comput. Log. 13(4): 28 (2012)
- [c72]Sophia Knight, Radu Mardare, Prakash Panangaden: Combining Epistemic Logic and Hennessy-Milner Logic. Logic and Program Semantics 2012: 219-243
- [c71]Prakash Panangaden: Dexter Kozen's Influence on the Theory of Labelled Markov Processes. Logic and Program Semantics 2012: 334-337
- [c70]Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia: Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR 2012: 317-332
- [c69]Kim Guldstrand Larsen, Radu Mardare, Prakash Panangaden: Taking It to the Limit: Approximate Reasoning for Markov Processes. MFCS 2012: 681-692
- [c68]Gheorghe Comanici, Prakash Panangaden, Doina Precup: On-the-Fly Algorithms for Bisimulation Metrics. QEST 2012: 94-103
- [c67]Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden: Minimization via Duality. WoLLIC 2012: 191-205
- [i4]Norman Ferns, Prakash Panangaden, Doina Precup: Metrics for Markov Decision Processes with Infinite State Spaces. CoRR abs/1207.1386 (2012)
- [i3]Norman Ferns, Prakash Panangaden, Doina Precup: Metrics for Finite Markov Decision Processes. CoRR abs/1207.4114 (2012)
- 2011
- [j48]Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger: Preface. Electr. Notes Theor. Comput. Sci. 270(1): 1-2 (2011)
- [j47]Bob Coecke, Prakash Panangaden, Peter Selinger: Preface. Electr. Notes Theor. Comput. Sci. 270(2): 1-2 (2011)
- [j46]Norm Ferns, Prakash Panangaden, Doina Precup: Bisimulation Metrics for Continuous Markov Decision Processes. SIAM J. Comput. 40(6): 1662-1714 (2011)
- [c66]
- [c65]
- [c64]
- [c63]Monica Dinculescu, Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup: The Duality of State and Observation in Probabilistic Transition Systems. TbiLLC 2011: 206-230
- 2010
- [j45]Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Weak bisimulation is sound and complete for pCTL*. Inf. Comput. 208(2): 203-219 (2010)
- [j44]Susanna Donatelli, Prakash Panangaden, Gerardo Rubino: Special Issue on "Quantitative Evaluation of Systems". Perform. Eval. 67(9): 757-758 (2010)
- [c62]Prakash Panangaden, Mehrnoosh Sadrzadeh: Learning in a Changing World, an Algebraic Modal Logical Approach. AMAST 2010: 128-141
- [c61]Prakash Panangaden, Caitlin Phillips, Doina Precup, Mehrnoosh Sadrzadeh: An Algebraic Approach to Dynamic Epistemic Logic. Description Logics 2010
- [e2]S. Barry Cooper, Prakash Panangaden, Elham Kashefi (Eds.): Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics. EPTCS 26, 2010
2000 – 2009
- 2009
- [b2]Prakash Panangaden: Labelled Markov Processes. Imperial College Press 2009, ISBN 978-1-84816-287-7, pp. I-XII, 1-199
- [j43]
- [c60]Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin: Approximating Labelled Markov Processes Again! CALCO 2009: 145-156
- [c59]Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin: Approximating Markov Processes by Averaging. ICALP (2) 2009: 127-138
- [c58]Pablo Samuel Castro, Prakash Panangaden, Doina Precup: Equivalence Relations in Fully and Partially Observable Markov Decision Processes. IJCAI 2009: 1653-1658
- [c57]Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden: Epistemic Strategies and Games on Concurrent Processes. SOFSEM 2009: 153-166
- 2008
- [j42]Yixiang Chen, Guo-Qing Zhang, Prakash Panangaden: Preface. Electr. Notes Theor. Comput. Sci. 212: 1 (2008)
- [j41]Yannick Delbecque, Prakash Panangaden: Game Semantics for Quantum Stores. Electr. Notes Theor. Comput. Sci. 218: 153-170 (2008)
- [j40]Keye Martin, Prakash Panangaden: A Technique for Verifying Measurements. Electr. Notes Theor. Comput. Sci. 218: 261-273 (2008)
- [j39]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden: Anonymity protocols as noisy channels. Inf. Comput. 206(2-4): 378-401 (2008)
- [j38]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden: On the Bayes risk in information-hiding protocols. Journal of Computer Security 16(5): 531-571 (2008)
- [j37]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen: Foreword. Theor. Comput. Sci. 405(1-2): 1-2 (2008)
- [c56]Keye Martin, Prakash Panangaden: Domain Theory and the Causal Structure of Space-Time. CiE 2008: 428-430
- [c55]
- [c54]Jonathan Taylor, Doina Precup, Prakash Panangaden: Bounding Performance Loss in Approximate MDP Homomorphisms. NIPS 2008: 1649-1656
- 2007
- [j36]Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden: Distributed Measurement-based Quantum Computation. Electr. Notes Theor. Comput. Sci. 170: 73-94 (2007)
- [j35]Richard Blute, Prakash Panangaden, Dorette Pronk: Conformal Field Theory as a Nuclear Functor. Electr. Notes Theor. Comput. Sci. 172: 101-132 (2007)
- [j34]
- [c53]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden: Probability of Error in Information-Hiding Protocols. CSF 2007: 341-354
- [c52]Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden: Formal Approaches to Information-Hiding (Tutorial). TGC 2007: 347-362
- [e1]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen (Eds.): 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
- 2006
- [j33]Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden: Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4): 503-523 (2006)
- [j32]Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximate reasoning for real-time probabilistic processes. Logical Methods in Computer Science 2(1) (2006)
- [j31]Ellie D'Hondt, Prakash Panangaden: Quantum weakest preconditions. Mathematical Structures in Computer Science 16(3): 429-451 (2006)
- [j30]Ellie D'Hondt, Prakash Panangaden: The computational power of the W And GHZ States. Quantum Information & Computation 6(2): 173-183 (2006)
- [j29]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster: Foreword. Theor. Comput. Sci. 365(3): 169-170 (2006)
- [c51]Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup: Representing Systems with Hidden State. AAAI 2006: 368-374
- [c50]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
- [c49]Vincent Danos, Elham Kashefi, Prakash Panangaden: The One Way to Quantum Computation. ICALP (2) 2006: 13-21
- [c48]Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden: Anonymity Protocols as Noisy Channels. TGC 2006: 281-300
- [c47]Norm Ferns, Pablo Samuel Castro, Doina Precup, Prakash Panangaden: Methods for Computing State Similarity in Markov Decision Processes. UAI 2006
- 2005
- [c46]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster: 04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation 2005
- [c45]Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster: 04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation 2005
- [c44]Keye Martin, Prakash Panangaden: A domain of spacetime intervals in general relativity. Spatial Representation 2005
- [c43]
- [c42]
- [c41]Alexandre Bouchard-Côté, Norm Ferns, Prakash Panangaden, Doina Precup: An approximation algorithm for labelled Markov processes: towards realistic approximation. QEST 2005: 54-62
- [c40]Norm Ferns, Prakash Panangaden, Doina Precup: Metrics for Markov Decision Processes with Infinite State Spaces. UAI 2005: 201-208
- [i2]Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximate reasoning for real-time probabilistic processes. CoRR abs/cs/0505063 (2005)
- 2004
- [j28]
- [j27]Vincent Danos, Josée Desharnais, Prakash Panangaden: Labelled Markov Processes: Stronger and Faster Approximations. Electr. Notes Theor. Comput. Sci. 87: 157-203 (2004)
- [j26]Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel: A relational model of non-deterministic dataflow. Mathematical Structures in Computer Science 14(5): 613-649 (2004)
- [j25]Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3): 323-354 (2004)
- [c39]Norm Ferns, Prakash Panangaden, Doina Precup: Metrics for Finite Markov Decision Processes. AAAI 2004: 950-951
- [c38]Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximate Reasoning for Real-Time Probabilistic Processes. QEST 2004: 304-313
- [c37]Norm Ferns, Prakash Panangaden, Doina Precup: Metrics for Finite Markov Decision Processes. UAI 2004: 162-169
- [i1]Riccardo Pucella, Prakash Panangaden: On the Expressive Power of First-Order Boolean Functions in PCF. CoRR cs.PL/0405085 (2004)
- 2003
- [j24]Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating labelled Markov processes. Inf. Comput. 184(1): 160-200 (2003)
- [j23]Josee Desharnais, Prakash Panangaden: Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J. Log. Algebr. Program. 56(1-2): 99-115 (2003)
- [j22]
- [c36]Vincent Danos, Josee Desharnais, Prakash Panangaden: Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR 2003: 468-482
- 2002
- [j21]
- [j20]Josee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. Inf. Comput. 179(2): 163-193 (2002)
- [j19]
- [c35]Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Weak Bisimulation is Sound and Complete for PCTL*. CONCUR 2002: 355-370
- [c34]Josee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden: The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS 2002: 413-422
- 2001
- [j18]Prakash Panangaden: Does Combining Nondeterminism and Probability Make Sense? Bulletin of the EATCS 75: 182-189 (2001)
- [j17]
- [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)
- [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)
- [c33]Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating Labeled Markov Processes. LICS 2000: 95-106
- [c32]
1990 – 1999
- 1999
- [j13]Prakash Panangaden: The Category of Markov Kernels. Electr. Notes Theor. Comput. Sci. 22: 171-187 (1999)
- [c31]Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for Labeled Markov Systems. CONCUR 1999: 258-273
- [c30]Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Stochastic Processes as Concurrent Constraint Programs. POPL 1999: 189-202
- 1998
- [c29]Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel: A Relational Model of Non-deterministic Dataflow. CONCUR 1998: 613-628
- [c28]Josee Desharnais, Abbas Edalat, Prakash Panangaden: A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS 1998: 478-487
- 1997
- [c27]Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. LICS 1997: 149-158
- 1996
- [j12]Prakash Panangaden: Does Concurrency Theory Have Anything To Say About Parallel Programming? Bulletin of the EATCS 58 (1996)
- 1995
- [j11]N. P. Mendler, Prakash Panangaden, Philip J. Scott, R. A. G. Seely: A Logical View of Concurrent Constraint Programming. Nord. J. Comput. 2(2): 181-220 (1995)
- [j10]Ettore Merlo, Pierre-Yves Gagné, Jean-Francois Girard, Kostas Kontogiannis, Laurie J. Hendren, Prakash Panangaden, Renato de Mori: Reengineering User Interfaces. IEEE Software 12(1): 64-73 (1995)
- [c26]Prakash Panangaden: The Expressive Power of Indeterminate Primitives in Asynchronous Computation. FSTTCS 1995: 124-150
- 1994
- [c25]Prakash Panangaden: The Logical Structure of Concurrent Constraint Programming Languages (Abstract). CONCUR 1994: 129
- 1993
- [j9]David A. McAllester, Prakash Panangaden, Vasant Shanbhogue: Nonexpressibility of Fairness and Signaling. J. Comput. Syst. Sci. 47(2): 287-321 (1993)
- [c24]Marija Cubric, Prakash Panangaden: Minimal Memory Schedules for Dataflow Networks. CONCUR 1993: 368-383
- [c23]Richard Blute, R. A. G. Seely, Prakash Panangaden: Holomorhpic Models of Exponential Types in Linear Logic. MFPS 1993: 474-512
- [c22]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 Computing 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)
- [c21]Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, R. 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 Inf. 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)
- [c20]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
- [c19]Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden: Semantic Foundations of Concurrent Constraint Programming. POPL 1991: 333-352
- 1990
- [c18]James A. Altucher, Prakash Panangaden: A Mechanically Assisted Constructive Proof in Category Theory. CADE 1990: 500-513
- [c17]Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden: A Logic for Reasoning about Security. CSFW 1990: 2-13
- [c16]Radha Jagadeesan, Prakash Panangaden: A Domain-Theoretic Model for a Higher-Order Process Calculus. ICALP 1990: 181-194
- [c15]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. International Journal of Parallel Programming 18(1): 1-36 (1989)
- [c14]Radha Jagadeesan, Prakash Panangaden, Keshav Pingali: A Fully Abstract Semantics for a Functional Language with Logic Variables. LICS 1989: 294-303
- [c13]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. International Journal of Parallel Programming 17(2): 153-206 (1988)
- [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]
- [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, R. W. Harper, Douglas J. Howe, Todd B. Knoblock, N. P. 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 Computing 1(4): 235-245 (1986)
- [c5]Sanjay V. Rajopadhye, Prakash Panangaden: Verification of Systolic Arrays: A Stream Function Approach. ICPP 1986: 773-775
- [c4]N. P. 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]
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:58 CEST by the dblp team