Search the dblp DataBase
Prakash Panangaden :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Gary Lindstrom , Prakash Panangaden Stream-Based Execution of Logic Programming. [Citation Graph (1, 0)][DBLP ] SLP, 1984, pp:168-176 [Conf ] Norm Ferns , Prakash Panangaden , Doina Precup Metrics for Finite Markov Decision Processes. [Citation Graph (0, 0)][DBLP ] AAAI, 2004, pp:950-951 [Conf ] 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 ] Christopher Hundt , Prakash Panangaden , Joelle Pineau , Doina Precup Representing Systems with Hidden State. [Citation Graph (0, 0)][DBLP ] AAAI, 2006, pp:- [Conf ] James A. Altucher , Prakash Panangaden A Mechanically Assisted Constructive Proof in Category Theory. [Citation Graph (0, 0)][DBLP ] CADE, 1990, pp:500-513 [Conf ] Marija Cubric , Prakash Panangaden Minimal Memory Schedules for Dataflow Networks. [Citation Graph (0, 0)][DBLP ] CONCUR, 1993, pp:368-383 [Conf ] 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 ] 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 ] Josee Desharnais , Vineet Gupta , Radha Jagadeesan , Prakash Panangaden Metrics for Labeled Markov Systems. [Citation Graph (0, 0)][DBLP ] CONCUR, 1999, pp:258-273 [Conf ] 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 ] Robert M. Keller , Prakash Panangaden Semantics of Networks Containing Indeterminate Operators. [Citation Graph (0, 0)][DBLP ] Seminar on Concurrency, 1984, pp:479-496 [Conf ] Prakash Panangaden Abstract Interpretation and Indeterminacy. [Citation Graph (0, 0)][DBLP ] Seminar on Concurrency, 1984, pp:497-511 [Conf ] Prakash Panangaden The Logical Structure of Concurrent Constraint Programming Languages (Abstract). [Citation Graph (0, 0)][DBLP ] CONCUR, 1994, pp:129- [Conf ] 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 ] 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 ] 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 ] 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 ] Keye Martin , Prakash Panangaden A domain of spacetime intervals in general relativity. [Citation Graph (0, 0)][DBLP ] Spatial Representation, 2005, pp:- [Conf ] Janice I. Glasgow , Glenn H. MacEwen , Prakash Panangaden Security by Permission in Databases. [Citation Graph (0, 0)][DBLP ] DBSec, 1988, pp:197-205 [Conf ] David A. McAllester , Prakash Panangaden , Vasant Shanbhogue Nonexpressibility of Fairness and Signaling [Citation Graph (0, 0)][DBLP ] FOCS, 1988, pp:377-386 [Conf ] Ellie D'Hondt , Prakash Panangaden Reasoning About Quantum Knowledge. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2005, pp:553-564 [Conf ] Prakash Panangaden McCarthy's Amb Cannot Implement Fair Merge. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1988, pp:348-363 [Conf ] Prakash Panangaden The Expressive Power of Indeterminate Primitives in Asynchronous Computation. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1995, pp:124-150 [Conf ] Vincent Danos , Elham Kashefi , Prakash Panangaden The One Way to Quantum Computation. [Citation Graph (0, 0)][DBLP ] ICALP (2), 2006, pp:13-21 [Conf ] 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 ] Prakash Panangaden , Eugene W. Stark Computations, Residuals, and the POwer of Indeterminancy. [Citation Graph (0, 0)][DBLP ] ICALP, 1988, pp:439-454 [Conf ] Prakash Panangaden , Vasant Shanbhogue , Eugene W. Stark Stability and Sequentiality in Dataflow Networks. [Citation Graph (0, 0)][DBLP ] ICALP, 1990, pp:308-321 [Conf ] Sanjay V. Rajopadhye , Prakash Panangaden Verification of Systolic Arrays: A Stream Function Approach. [Citation Graph (0, 0)][DBLP ] ICPP, 1986, pp:773-775 [Conf ] Richard Blute , Josee Desharnais , Abbas Edalat , Prakash Panangaden Bisimulation for Labelled Markov Processes. [Citation Graph (0, 0)][DBLP ] LICS, 1997, pp:149-158 [Conf ] 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 ] Josee Desharnais , Vineet Gupta , Radha Jagadeesan , Prakash Panangaden Approximating Labeled Markov Processes. [Citation Graph (0, 0)][DBLP ] LICS, 2000, pp:95-106 [Conf ] 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 ] 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 ] N. P. Mendler , Prakash Panangaden , Robert L. Constable Infinite Objects in Type Theory [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:249-255 [Conf ] Prakash Panangaden Foreword. [Citation Graph (0, 0)][DBLP ] LICS, 2005, pp:- [Conf ] 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 ] 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 ] 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 ] Vineet Gupta , Radha Jagadeesan , Prakash Panangaden Stochastic Processes as Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP ] POPL, 1999, pp:189-202 [Conf ] Anne Neirynck , Prakash Panangaden , Alan J. Demers Computation of Aliases and Support Sets. [Citation Graph (0, 0)][DBLP ] POPL, 1987, pp:274-283 [Conf ] 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 ] Prakash Panangaden From logic to stochastic processes (abstract only). [Citation Graph (0, 0)][DBLP ] PPDP, 2000, pp:1-2 [Conf ] 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 ] Vineet Gupta , Radha Jagadeesan , Prakash Panangaden Approximate Reasoning for Real-Time Probabilistic Processes. [Citation Graph (0, 0)][DBLP ] QEST, 2004, pp:304-313 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Luca Aceto , Prakash Panangaden Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:52, n:1, pp:- [Journal ] Uwe Nestmann , Prakash Panangaden Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal ] Prakash Panangaden The Category of Markov Kernels. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Vincent Danos , Elham Kashefi , Prakash Panangaden The measurement calculus. [Citation Graph (0, 0)][DBLP ] J. ACM, 2007, v:54, n:2, pp:- [Journal ] 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 ] 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 ] 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 ] 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 ] Luca Aceto , Prakash Panangaden Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP ] Nord. J. Comput., 2002, v:9, n:1, pp:69- [Journal ] 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 ] Uwe Nestmann , Prakash Panangaden Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP ] Nord. J. Comput., 2003, v:10, n:2, pp:69- [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Norm Ferns , Prakash Panangaden , Doina Precup Metrics for Finite Markov Decision Processes. [Citation Graph (0, 0)][DBLP ] UAI, 2004, pp:162-169 [Conf ] 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 ] Approximating Labelled Markov Processes Again! [Citation Graph (, )][DBLP ] Domain Theory and the Causal Structure of Space-Time. [Citation Graph (, )][DBLP ] Knowledge and Information in Probabilistic Systems. [Citation Graph (, )][DBLP ] Probability of Error in Information-Hiding Protocols. [Citation Graph (, )][DBLP ] 06341 Abstracts Collection -- Computational Structures for Modelling Space, Time and Causality. [Citation Graph (, )][DBLP ] Approximating Markov Processes by Averaging. [Citation Graph (, )][DBLP ] Equivalence Relations in Fully and Partially Observable Markov Decision Processes. [Citation Graph (, )][DBLP ] Bounding Performance Loss in Approximate MDP Homomorphisms. [Citation Graph (, )][DBLP ] Epistemic Strategies and Games on Concurrent Processes. [Citation Graph (, )][DBLP ] Formal Approaches to Information-Hiding (Tutorial). [Citation Graph (, )][DBLP ] Anonymity Protocols as Noisy Channels. [Citation Graph (, )][DBLP ] Approximate reasoning for real-time probabilistic processes [Citation Graph (, )][DBLP ] Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Game Semantics for Quantum Stores. [Citation Graph (, )][DBLP ] A Technique for Verifying Measurements. [Citation Graph (, )][DBLP ] Labelled Markov Processes: Stronger and Faster Approximations. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Search in 0.007secs, Finished in 0.423secs