Prakash Panangaden Home Page Coauthor index DBLP Vis pubzone.org

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

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)