The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Prakash Panangaden: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden
    A Logic for Reasoning About Security. [Citation Graph (3, 0)][DBLP]
    ACM Trans. Comput. Syst., 1992, v:10, n:3, pp:226-264 [Journal]
  2. Gary Lindstrom, Prakash Panangaden
    Stream-Based Execution of Logic Programming. [Citation Graph (1, 0)][DBLP]
    SLP, 1984, pp:168-176 [Conf]
  3. Norm Ferns, Prakash Panangaden, Doina Precup
    Metrics for Finite Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:950-951 [Conf]
  4. Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, Devika Subramanian
    The Common Order-Theoretic Structure of Version Spaces and ATMS's. [Citation Graph (0, 0)][DBLP]
    AAAI, 1991, pp:500-505 [Conf]
  5. Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup
    Representing Systems with Hidden State. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  6. James A. Altucher, Prakash Panangaden
    A Mechanically Assisted Constructive Proof in Category Theory. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:500-513 [Conf]
  7. Marija Cubric, Prakash Panangaden
    Minimal Memory Schedules for Dataflow Networks. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:368-383 [Conf]
  8. Vincent Danos, Josee Desharnais, Prakash Panangaden
    Conditional Expectation and the Approximation of Labelled Markov Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:468-482 [Conf]
  9. Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
    Weak Bisimulation is Sound and Complete for PCTL*. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:355-370 [Conf]
  10. Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
    Metrics for Labeled Markov Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:258-273 [Conf]
  11. Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel
    A Relational Model of Non-deterministic Dataflow. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:613-628 [Conf]
  12. Robert M. Keller, Prakash Panangaden
    Semantics of Networks Containing Indeterminate Operators. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:479-496 [Conf]
  13. Prakash Panangaden
    Abstract Interpretation and Indeterminacy. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:497-511 [Conf]
  14. Prakash Panangaden
    The Logical Structure of Concurrent Constraint Programming Languages (Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:129- [Conf]
  15. Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden
    Reasoning about Knowledge and Permission in Secure Distributed Systems. [Citation Graph (0, 0)][DBLP]
    CSFW, 1988, pp:139-146 [Conf]
  16. Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden
    A Logic for Reasoning about Security. [Citation Graph (0, 0)][DBLP]
    CSFW, 1990, pp:2-13 [Conf]
  17. Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster
    04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models. [Citation Graph (0, 0)][DBLP]
    Spatial Representation, 2005, pp:- [Conf]
  18. Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster
    04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models. [Citation Graph (0, 0)][DBLP]
    Spatial Representation, 2005, pp:- [Conf]
  19. Keye Martin, Prakash Panangaden
    A domain of spacetime intervals in general relativity. [Citation Graph (0, 0)][DBLP]
    Spatial Representation, 2005, pp:- [Conf]
  20. Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden
    Security by Permission in Databases. [Citation Graph (0, 0)][DBLP]
    DBSec, 1988, pp:197-205 [Conf]
  21. David A. McAllester, Prakash Panangaden, Vasant Shanbhogue
    Nonexpressibility of Fairness and Signaling [Citation Graph (0, 0)][DBLP]
    FOCS, 1988, pp:377-386 [Conf]
  22. Ellie D'Hondt, Prakash Panangaden
    Reasoning About Quantum Knowledge. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:553-564 [Conf]
  23. Prakash Panangaden
    McCarthy's Amb Cannot Implement Fair Merge. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1988, pp:348-363 [Conf]
  24. Prakash Panangaden
    The Expressive Power of Indeterminate Primitives in Asynchronous Computation. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1995, pp:124-150 [Conf]
  25. Vincent Danos, Elham Kashefi, Prakash Panangaden
    The One Way to Quantum Computation. [Citation Graph (0, 0)][DBLP]
    ICALP (2), 2006, pp:13-21 [Conf]
  26. Radha Jagadeesan, Prakash Panangaden
    A Domain-Theoretic Model for a Higher-Order Process Calculus. [Citation Graph (0, 0)][DBLP]
    ICALP, 1990, pp:181-194 [Conf]
  27. Prakash Panangaden, Eugene W. Stark
    Computations, Residuals, and the POwer of Indeterminancy. [Citation Graph (0, 0)][DBLP]
    ICALP, 1988, pp:439-454 [Conf]
  28. Prakash Panangaden, Vasant Shanbhogue, Eugene W. Stark
    Stability and Sequentiality in Dataflow Networks. [Citation Graph (0, 0)][DBLP]
    ICALP, 1990, pp:308-321 [Conf]
  29. Sanjay V. Rajopadhye, Prakash Panangaden
    Verification of Systolic Arrays: A Stream Function Approach. [Citation Graph (0, 0)][DBLP]
    ICPP, 1986, pp:773-775 [Conf]
  30. Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden
    Bisimulation for Labelled Markov Processes. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:149-158 [Conf]
  31. Josee Desharnais, Abbas Edalat, Prakash Panangaden
    A Logical Characterization of Bisimulation for Labeled Markov Processes. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:478-487 [Conf]
  32. Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
    Approximating Labeled Markov Processes. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:95-106 [Conf]
  33. Josee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden
    The Metric Analogue of Weak Bisimulation for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:413-422 [Conf]
  34. Radha Jagadeesan, Prakash Panangaden, Keshav Pingali
    A Fully Abstract Semantics for a Functional Language with Logic Variables [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:294-303 [Conf]
  35. N. P. Mendler, Prakash Panangaden, Robert L. Constable
    Infinite Objects in Type Theory [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:249-255 [Conf]
  36. Prakash Panangaden
    Foreword. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:- [Conf]
  37. Prakash Panangaden, James R. Russell
    A Category-theoretic Semantics for Unbounded Indeterminacy. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:319-332 [Conf]
  38. Richard Blute, R. A. G. Seely, Prakash Panangaden
    Holomorhpic Models of Exponential Types in Linear Logic. [Citation Graph (0, 0)][DBLP]
    MFPS, 1993, pp:474-512 [Conf]
  39. Prakash Panangaden, Kim Taylor
    Concurrent Common Knowledge: A New Definition of Agreement for Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    PODC, 1988, pp:197-209 [Conf]
  40. Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
    Stochastic Processes as Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:189-202 [Conf]
  41. Anne Neirynck, Prakash Panangaden, Alan J. Demers
    Computation of Aliases and Support Sets. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:274-283 [Conf]
  42. Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden
    Semantic Foundations of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1991, pp:333-352 [Conf]
  43. Prakash Panangaden
    From logic to stochastic processes (abstract only). [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:1-2 [Conf]
  44. Alexandre Bouchard-Côté, Norm Ferns, Prakash Panangaden, Doina Precup
    An approximation algorithm for labelled Markov processes: towards realistic approximation. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:54-62 [Conf]
  45. Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
    Approximate Reasoning for Real-Time Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:304-313 [Conf]
  46. Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, R. A. G. Seely
    A Hyperdoctrinal View of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:457-476 [Conf]
  47. Ettore Merlo, Jean-Francois Girard, Kostas Kontogiannis, Prakash Panangaden, Renato de Mori
    Reverse Engineering of User Interfaces. [Citation Graph (0, 0)][DBLP]
    WCRE, 1993, pp:171-179 [Conf]
  48. Carol Critchlow, Prakash Panangaden
    The Expressive Power of Delay Operators in SCCS. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1991, v:28, n:5, pp:447-452 [Journal]
  49. Riccardo Pucella, Prakash Panangaden
    On the Expressive Power of First-Order Boolean Functions in PCF [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  50. Robert M. Keller, Prakash Panangaden
    Semantics of Digital Networks Containing Indeterminate Modules. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1986, v:1, n:4, pp:235-245 [Journal]
  51. Prakash Panangaden, Kim Taylor
    Concurrent Common Knowledge: Defining Agreement for Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1992, v:6, n:2, pp:73-93 [Journal]
  52. Prakash Panangaden
    Does Combining Nondeterminism and Probability Make Sense? [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2001, v:75, n:, pp:182-189 [Journal]
  53. Prakash Panangaden
    Does Concurrency Theory Have Anything To Say About Parallel Programming? [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1996, v:58, n:, pp:- [Journal]
  54. Luca Aceto, Prakash Panangaden
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:52, n:1, pp:- [Journal]
  55. Uwe Nestmann, Prakash Panangaden
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  56. Prakash Panangaden
    The Category of Markov Kernels. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  57. Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden
    Distributed Measurement-based Quantum Computation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:170, n:, pp:73-94 [Journal]
  58. Richard Blute, Prakash Panangaden, Dorette Pronk
    Conformal Field Theory as a Nuclear Functor. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:101-132 [Journal]
  59. Josee Desharnais, Abbas Edalat, Prakash Panangaden
    Bisimulation for Labelled Markov Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:163-193 [Journal]
  60. Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
    Approximating labelled Markov processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:184, n:1, pp:160-200 [Journal]
  61. Prakash Panangaden, Vasant Shanbhogue
    The Expressive Power of Indeterminate Dataflow Primitives [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1992, v:98, n:1, pp:99-131 [Journal]
  62. Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden
    Bisimulation and cocongruence for probabilistic systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:4, pp:503-523 [Journal]
  63. Vincent Danos, Elham Kashefi, Prakash Panangaden
    The measurement calculus. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2007, v:54, n:2, pp:- [Journal]
  64. David A. McAllester, Prakash Panangaden, Vasant Shanbhogue
    Nonexpressibility of Fairness and Signaling. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1993, v:47, n:2, pp:287-321 [Journal]
  65. Josee Desharnais, Prakash Panangaden
    Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:99-115 [Journal]
  66. Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
    Approximate reasoning for real-time probabilistic processes. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:1, pp:- [Journal]
  67. Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel
    A relational model of non-deterministic dataflow. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2004, v:14, n:5, pp:613-649 [Journal]
  68. Luca Aceto, Prakash Panangaden
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:1, pp:69- [Journal]
  69. N. P. Mendler, Prakash Panangaden, Philip J. Scott, R. A. G. Seely
    A Logical View of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:181-220 [Journal]
  70. Uwe Nestmann, Prakash Panangaden
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2003, v:10, n:2, pp:69- [Journal]
  71. Ettore Merlo, Pierre-Yves Gagné, Jean-Francois Girard, Kostas Kontogiannis, Laurie J. Hendren, Prakash Panangaden, Renato de Mori
    Reengineering User Interfaces. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1995, v:12, n:1, pp:64-73 [Journal]
  72. Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
    Metrics for labelled Markov processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:318, n:3, pp:323-354 [Journal]
  73. Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster
    Foreword. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:365, n:3, pp:169-170 [Journal]
  74. Prakash Panangaden
    Measure and probability for concurrency theorists. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:253, n:2, pp:287-309 [Journal]
  75. Prakash Panangaden, Clark Verbrugge
    Generating irregular partitionable data structures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:238, n:1-2, pp:31-80 [Journal]
  76. Riccardo Pucella, Prakash Panangaden
    On the expressive power of first-order boolean functions in PCF. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:543-567 [Journal]
  77. Radha Jagadeesan, Keshav Pingali, Prakash Panangaden
    A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1991, v:13, n:4, pp:577-625 [Journal]
  78. Norm Ferns, Prakash Panangaden, Doina Precup
    Metrics for Markov Decision Processes with Infinite State Spaces. [Citation Graph (0, 0)][DBLP]
    UAI, 2005, pp:201-208 [Conf]
  79. Norm Ferns, Prakash Panangaden, Doina Precup
    Metrics for Finite Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    UAI, 2004, pp:162-169 [Conf]
  80. Norm Ferns, Pablo Samuel Castro, Doina Precup, Prakash Panangaden
    Methods for Computing State Similarity in Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    UAI, 2006, pp:- [Conf]

  81. Approximating Labelled Markov Processes Again! [Citation Graph (, )][DBLP]


  82. Domain Theory and the Causal Structure of Space-Time. [Citation Graph (, )][DBLP]


  83. Knowledge and Information in Probabilistic Systems. [Citation Graph (, )][DBLP]


  84. Probability of Error in Information-Hiding Protocols. [Citation Graph (, )][DBLP]


  85. 06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality. [Citation Graph (, )][DBLP]


  86. Approximating Markov Processes by Averaging. [Citation Graph (, )][DBLP]


  87. Equivalence Relations in Fully and Partially Observable Markov Decision Processes. [Citation Graph (, )][DBLP]


  88. Bounding Performance Loss in Approximate MDP Homomorphisms. [Citation Graph (, )][DBLP]


  89. Epistemic Strategies and Games on Concurrent Processes. [Citation Graph (, )][DBLP]


  90. Formal Approaches to Information-Hiding (Tutorial). [Citation Graph (, )][DBLP]


  91. Anonymity Protocols as Noisy Channels. [Citation Graph (, )][DBLP]


  92. Approximate reasoning for real-time probabilistic processes [Citation Graph (, )][DBLP]


  93. Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics [Citation Graph (, )][DBLP]


  94. Preface. [Citation Graph (, )][DBLP]


  95. Game Semantics for Quantum Stores. [Citation Graph (, )][DBLP]


  96. A Technique for Verifying Measurements. [Citation Graph (, )][DBLP]


  97. Labelled Markov Processes: Stronger and Faster Approximations. [Citation Graph (, )][DBLP]


  98. Preface. [Citation Graph (, )][DBLP]


  99. Preface. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.423secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002