dblp.uni-trier.dewww.uni-trier.de

Prakash Panangaden Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
103EEPhilippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin: Approximating Labelled Markov Processes Again! CALCO 2009: 145-156
102EEPhilippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin: Approximating Markov Processes by Averaging. ICALP (2) 2009: 127-138
101EEPablo Samuel Castro, Prakash Panangaden, Doina Precup: Equivalence Relations in Fully and Partially Observable Markov Decision Processes. IJCAI 2009: 1653-1658
100EEKonstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden: Epistemic Strategies and Games on Concurrent Processes. SOFSEM 2009: 153-166
2008
99EEPrakash Panangaden: Knowledge and Information in Probabilistic Systems. CONCUR 2008: 4
98EEKeye Martin, Prakash Panangaden: Domain Theory and the Causal Structure of Space-Time. CiE 2008: 428-430
97EEJonathan Taylor, Doina Precup, Prakash Panangaden: Bounding Performance Loss in Approximate MDP Homomorphisms. NIPS 2008: 1649-1656
96EEYixiang Chen, Guo-Qing Zhang, Prakash Panangaden: Preface. Electr. Notes Theor. Comput. Sci. 212: 1 (2008)
95EEYannick Delbecque, Prakash Panangaden: Game Semantics for Quantum Stores. Electr. Notes Theor. Comput. Sci. 218: 153-170 (2008)
94EEKeye Martin, Prakash Panangaden: A Technique for Verifying Measurements. Electr. Notes Theor. Comput. Sci. 218: 261-273 (2008)
93EEKonstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden: Anonymity protocols as noisy channels. Inf. Comput. 206(2-4): 378-401 (2008)
92EEKonstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden: On the Bayes risk in information-hiding protocols. Journal of Computer Security 16(5): 531-571 (2008)
91EERalph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen: Foreword. Theor. Comput. Sci. 405(1-2): 1-2 (2008)
2007
90 Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen: Computational Structures for Modelling Space, Time and Causality, 20.08. - 25.08.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
89EEKonstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden: Probability of Error in Information-Hiding Protocols. CSF 2007: 341-354
88EERomain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden: Formal Approaches to Information-Hiding (Tutorial). TGC 2007: 347-362
87EEVincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden: Distributed Measurement-based Quantum Computation. Electr. Notes Theor. Comput. Sci. 170: 73-94 (2007)
86EERichard Blute, Prakash Panangaden, Dorette Pronk: Conformal Field Theory as a Nuclear Functor. Electr. Notes Theor. Comput. Sci. 172: 101-132 (2007)
85EEVincent Danos, Elham Kashefi, Prakash Panangaden: The measurement calculus. J. ACM 54(2): (2007)
2006
84 Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup: Representing Systems with Hidden State. AAAI 2006
83EERalph 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
82EEVincent Danos, Elham Kashefi, Prakash Panangaden: The One Way to Quantum Computation. ICALP (2) 2006: 13-21
81EEKonstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden: Anonymity Protocols as Noisy Channels. TGC 2006: 281-300
80EENorm Ferns, Pablo Samuel Castro, Doina Precup, Prakash Panangaden: Methods for Computing State Similarity in Markov Decision Processes. UAI 2006
79EEVincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden: Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4): 503-523 (2006)
78EEVineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximate reasoning for real-time probabilistic processes. Logical Methods in Computer Science 2(1): (2006)
77EEEllie D'Hondt, Prakash Panangaden: Quantum weakest preconditions. Mathematical Structures in Computer Science 16(3): 429-451 (2006)
76EERalph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster: Foreword. Theor. Comput. Sci. 365(3): 169-170 (2006)
2005
75EEEllie D'Hondt, Prakash Panangaden: Reasoning About Quantum Knowledge. FSTTCS 2005: 553-564
74EEPrakash Panangaden: Foreword. LICS 2005
73EEAlexandre Bouchard-Côté, Norm Ferns, Prakash Panangaden, Doina Precup: An approximation algorithm for labelled Markov processes: towards realistic approximation. QEST 2005: 54-62
72EERalph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster: 04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation 2005
71EERalph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster: 04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models. Spatial Representation 2005
70EEKeye Martin, Prakash Panangaden: A domain of spacetime intervals in general relativity. Spatial Representation 2005
69EENorm Ferns, Prakash Panangaden, Doina Precup: Metrics for Markov Decision Processes with Infinite State Spaces. UAI 2005: 201-208
68EEVineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximate reasoning for real-time probabilistic processes CoRR abs/cs/0505063: (2005)
2004
67 Norm Ferns, Prakash Panangaden, Doina Precup: Metrics for Finite Markov Decision Processes. AAAI 2004: 950-951
66EEVineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximate Reasoning for Real-Time Probabilistic Processes. QEST 2004: 304-313
65EENorm Ferns, Prakash Panangaden, Doina Precup: Metrics for Finite Markov Decision Processes. UAI 2004: 162-169
64EERiccardo Pucella, Prakash Panangaden: On the Expressive Power of First-Order Boolean Functions in PCF CoRR cs.PL/0405085: (2004)
63EEJosée Desharnais, Prakash Panangaden: Preface. Electr. Notes Theor. Comput. Sci. 87: 1-3 (2004)
62EEVincent Danos, Josée Desharnais, Prakash Panangaden: Labelled Markov Processes: Stronger and Faster Approximations. Electr. Notes Theor. Comput. Sci. 87: 157-203 (2004)
61EEThomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel: A relational model of non-deterministic dataflow. Mathematical Structures in Computer Science 14(5): 613-649 (2004)
60EEJosee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3): 323-354 (2004)
2003
59EEVincent Danos, Josee Desharnais, Prakash Panangaden: Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR 2003: 468-482
58EEJosee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating labelled Markov processes. Inf. Comput. 184(1): 160-200 (2003)
57EEJosee Desharnais, Prakash Panangaden: Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J. Log. Algebr. Program. 56(1-2): 99-115 (2003)
56 Uwe Nestmann, Prakash Panangaden: Guest Editors' Foreword. Nord. J. Comput. 10(2): 69 (2003)
2002
55EEJosee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Weak Bisimulation is Sound and Complete for PCTL*. CONCUR 2002: 355-370
54EEJosee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden: The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS 2002: 413-422
53EEUwe Nestmann, Prakash Panangaden: Preface. Electr. Notes Theor. Comput. Sci. 68(2): (2002)
52EEJosee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. Inf. Comput. 179(2): 163-193 (2002)
51 Luca Aceto, Prakash Panangaden: Guest Editors' Foreword. Nord. J. Comput. 9(1): 69 (2002)
2001
50 Prakash Panangaden: Does Concurrency Theory Have Anything to Say About Parallel Programming? Current Trends in Theoretical Computer Science 2001: 439-446
49 Prakash Panangaden: Does Combining Nondeterminism and Probability Make Sense? Bulletin of the EATCS 75: 182-189 (2001)
48EELuca Aceto, Prakash Panangaden: Preface. Electr. Notes Theor. Comput. Sci. 52(1): (2001)
47EEPrakash Panangaden: Measure and probability for concurrency theorists. Theor. Comput. Sci. 253(2): 287-309 (2001)
46EERiccardo Pucella, Prakash Panangaden: On the expressive power of first-order boolean functions in PCF. Theor. Comput. Sci. 266(1-2): 543-567 (2001)
2000
45EEJosee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating Labeled Markov Processes. LICS 2000: 95-106
44EEPrakash Panangaden: From logic to stochastic processes (abstract only). PPDP 2000: 1-2
43EEPrakash Panangaden, Clark Verbrugge: Generating irregular partitionable data structures. Theor. Comput. Sci. 238(1-2): 31-80 (2000)
1999
42EEJosee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for Labeled Markov Systems. CONCUR 1999: 258-273
41EEVineet Gupta, Radha Jagadeesan, Prakash Panangaden: Stochastic Processes as Concurrent Constraint Programs. POPL 1999: 189-202
40EEPrakash Panangaden: The Category of Markov Kernels. Electr. Notes Theor. Comput. Sci. 22: (1999)
1998
39EEThomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel: A Relational Model of Non-deterministic Dataflow. CONCUR 1998: 613-628
38 Josee Desharnais, Abbas Edalat, Prakash Panangaden: A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS 1998: 478-487
1997
37EERichard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. LICS 1997: 149-158
1996
36 Prakash Panangaden: Does Concurrency Theory Have Anything To Say About Parallel Programming? Bulletin of the EATCS 58: (1996)
1995
35EEPrakash Panangaden: The Expressive Power of Indeterminate Primitives in Asynchronous Computation. FSTTCS 1995: 124-150
34EEEttore 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)
33 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)
1994
32EEPrakash Panangaden: The Logical Structure of Concurrent Constraint Programming Languages (Abstract). CONCUR 1994: 129
1993
31EEMarija Cubric, Prakash Panangaden: Minimal Memory Schedules for Dataflow Networks. CONCUR 1993: 368-383
30EERichard Blute, R. A. G. Seely, Prakash Panangaden: Holomorhpic Models of Exponential Types in Linear Logic. MFPS 1993: 474-512
29 Ettore Merlo, Jean-Francois Girard, Kostas Kontogiannis, Prakash Panangaden, Renato de Mori: Reverse Engineering of User Interfaces. WCRE 1993: 171-179
28 David A. McAllester, Prakash Panangaden, Vasant Shanbhogue: Nonexpressibility of Fairness and Signaling. J. Comput. Syst. Sci. 47(2): 287-321 (1993)
1992
27EEPrakash Panangaden, Vijay A. Saraswat, Philip J. Scott, R. A. G. Seely: A Hyperdoctrinal View of Concurrent Constraint Programming. REX Workshop 1992: 457-476
26EEJanice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden: A Logic for Reasoning About Security. ACM Trans. Comput. Syst. 10(3): 226-264 (1992)
25 Prakash Panangaden, Kim Taylor: Concurrent Common Knowledge: Defining Agreement for Asynchronous Systems. Distributed Computing 6(2): 73-93 (1992)
24 Prakash Panangaden, Vasant Shanbhogue: The Expressive Power of Indeterminate Dataflow Primitives Inf. Comput. 98(1): 99-131 (1992)
1991
23 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
22 Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden: Semantic Foundations of Concurrent Constraint Programming. POPL 1991: 333-352
21EERadha 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)
20 Carol Critchlow, Prakash Panangaden: The Expressive Power of Delay Operators in SCCS. Acta Inf. 28(5): 447-452 (1991)
1990
19EEJames A. Altucher, Prakash Panangaden: A Mechanically Assisted Constructive Proof in Category Theory. CADE 1990: 500-513
18 Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden: A Logic for Reasoning about Security. CSFW 1990: 2-13
17EERadha Jagadeesan, Prakash Panangaden: A Domain-Theoretic Model for a Higher-Order Process Calculus. ICALP 1990: 181-194
16EEPrakash Panangaden, Vasant Shanbhogue, Eugene W. Stark: Stability and Sequentiality in Dataflow Networks. ICALP 1990: 308-321
1989
15 Radha Jagadeesan, Prakash Panangaden, Keshav Pingali: A Fully Abstract Semantics for a Functional Language with Logic Variables LICS 1989: 294-303
14EEPrakash Panangaden, James R. Russell: A Category-theoretic Semantics for Unbounded Indeterminacy. Mathematical Foundations of Programming Semantics 1989: 319-332
1988
13 Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden: Reasoning about Knowledge and Permission in Secure Distributed Systems. CSFW 1988: 139-146
12 Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden: Security by Permission in Databases. DBSec 1988: 197-205
11 David A. McAllester, Prakash Panangaden, Vasant Shanbhogue: Nonexpressibility of Fairness and Signaling FOCS 1988: 377-386
10EEPrakash Panangaden: McCarthy's Amb Cannot Implement Fair Merge. FSTTCS 1988: 348-363
9EEPrakash Panangaden, Eugene W. Stark: Computations, Residuals, and the POwer of Indeterminancy. ICALP 1988: 439-454
8EEPrakash Panangaden, Kim Taylor: Concurrent Common Knowledge: A New Definition of Agreement for Asynchronous Systems. PODC 1988: 197-209
1987
7 Anne Neirynck, Prakash Panangaden, Alan J. Demers: Computation of Aliases and Support Sets. POPL 1987: 274-283
1986
6 Sanjay V. Rajopadhye, Prakash Panangaden: Verification of Systolic Arrays: A Stream Function Approach. ICPP 1986: 773-775
5 N. P. Mendler, Prakash Panangaden, Robert L. Constable: Infinite Objects in Type Theory LICS 1986: 249-255
4 Robert M. Keller, Prakash Panangaden: Semantics of Digital Networks Containing Indeterminate Modules. Distributed Computing 1(4): 235-245 (1986)
1984
3 Gary Lindstrom, Prakash Panangaden: Stream-Based Execution of Logic Programming. SLP 1984: 168-176
2EERobert M. Keller, Prakash Panangaden: Semantics of Networks Containing Indeterminate Operators. Seminar on Concurrency 1984: 479-496
1EEPrakash Panangaden: Abstract Interpretation and Indeterminacy. Seminar on Concurrency 1984: 497-511

Coauthor Index

1Luca Aceto [48] [51]
2James A. Altucher [19]
3Romain Beauxis [88]
4Richard Blute [30] [37] [86]
5Alexandre Bouchard-Côté [73]
6Pablo Samuel Castro [80] [101]
7Philippe Chaput [102] [103]
8Konstantinos Chatzikokolakis [81] [88] [89] [92] [93] [100]
9Yixiang Chen [96]
10Robert L. Constable [5]
11Carol Critchlow [20]
12Marija Cubric [31]
13Ellie D'Hondt [75] [77] [87]
14Vincent Danos [59] [62] [79] [82] [85] [87] [102] [103]
15Yannick Delbecque [95]
16Alan J. Demers [7]
17Josée Desharnais (Josee Desharnais) [37] [38] [42] [45] [52] [54] [55] [57] [58] [59] [60] [62] [63] [79]
18Abbas Edalat [37] [38] [52]
19Norm Ferns [65] [67] [69] [73] [80]
20Pierre-Yves Gagné [34]
21Jean-Francois Girard [29] [34]
22Janice I. Glasgow [12] [13] [18] [26]
23Carl A. Gunter [23]
24Vineet Gupta [41] [42] [45] [54] [55] [58] [60] [66] [68] [78]
25Laurie J. Hendren [34]
26Thomas T. Hildebrandt [39] [61]
27Christopher Hundt [84]
28Radha Jagadeesan [15] [17] [21] [41] [42] [45] [54] [55] [58] [60] [66] [68] [78]
29Elham Kashefi [82] [85] [87]
30Robert M. Keller [2] [4]
31Sophia Knight [100]
32Kostas Kontogiannis [29] [34]
33Ralph Kopperman [71] [72] [76] [83] [90] [91]
34François Laviolette [79]
35Gary Lindstrom [3]
36Glenn H. MacEwen [12] [13] [18] [26]
37Keye Martin [70] [94] [98]
38David A. McAllester [11] [28]
39N. P. Mendler [5] [33]
40Ettore Merlo [29] [34]
41Renato de Mori [29] [34]
42Anne Neirynck [7]
43Uwe Nestmann [53] [56]
44Teow-Hin Ngair [23]
45Catuscia Palamidessi [81] [88] [89] [92] [93]
46Joelle Pineau [84]
47Keshav Pingali [15] [21]
48Gordon D. Plotkin [102] [103]
49Doina Precup [65] [67] [69] [73] [80] [84] [97] [101]
50Dorette Pronk [86]
51Riccardo Pucella [46] [64]
52Sanjay V. Rajopadhye [6]
53Martin C. Rinard [22]
54James R. Russell [14]
55Vijay A. Saraswat [22] [27]
56Philip J. Scott [27] [33]
57R. A. G. Seely [27] [30] [33]
58Vasant Shanbhogue [11] [16] [24] [28]
59Michael B. Smyth [71] [72] [76] [83] [90] [91]
60Dieter Spreen [71] [72] [76] [83] [90] [91]
61Eugene W. Stark [9] [16]
62Devika Subramanian [23]
63Jonathan Taylor [97]
64Kim Taylor [8] [25]
65Clark Verbrugge [43]
66Julian Webster [71] [72] [76]
67Glynn Winskel [39] [61]
68Guo-Qing Zhang [96]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)