2009 |
100 | EE | Konstantinos Chatzikokolakis,
Sophia Knight,
Prakash Panangaden:
Epistemic Strategies and Games on Concurrent Processes.
SOFSEM 2009: 153-166 |
2008 |
99 | EE | Prakash Panangaden:
Knowledge and Information in Probabilistic Systems.
CONCUR 2008: 4 |
98 | EE | Keye Martin,
Prakash Panangaden:
Domain Theory and the Causal Structure of Space-Time.
CiE 2008: 428-430 |
97 | EE | Jonathan Taylor,
Doina Precup,
Prakash Panangaden:
Bounding Performance Loss in Approximate MDP Homomorphisms.
NIPS 2008: 1649-1656 |
96 | EE | Yixiang Chen,
Guo-Qing Zhang,
Prakash Panangaden:
Preface.
Electr. Notes Theor. Comput. Sci. 212: 1 (2008) |
95 | EE | Yannick Delbecque,
Prakash Panangaden:
Game Semantics for Quantum Stores.
Electr. Notes Theor. Comput. Sci. 218: 153-170 (2008) |
94 | EE | Keye Martin,
Prakash Panangaden:
A Technique for Verifying Measurements.
Electr. Notes Theor. Comput. Sci. 218: 261-273 (2008) |
93 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi,
Prakash Panangaden:
Anonymity protocols as noisy channels.
Inf. Comput. 206(2-4): 378-401 (2008) |
92 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi,
Prakash Panangaden:
On the Bayes risk in information-hiding protocols.
Journal of Computer Security 16(5): 531-571 (2008) |
91 | EE | Ralph 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 |
89 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi,
Prakash Panangaden:
Probability of Error in Information-Hiding Protocols.
CSF 2007: 341-354 |
88 | EE | Romain Beauxis,
Konstantinos Chatzikokolakis,
Catuscia Palamidessi,
Prakash Panangaden:
Formal Approaches to Information-Hiding (Tutorial).
TGC 2007: 347-362 |
87 | EE | Vincent Danos,
Ellie D'Hondt,
Elham Kashefi,
Prakash Panangaden:
Distributed Measurement-based Quantum Computation.
Electr. Notes Theor. Comput. Sci. 170: 73-94 (2007) |
86 | EE | Richard Blute,
Prakash Panangaden,
Dorette Pronk:
Conformal Field Theory as a Nuclear Functor.
Electr. Notes Theor. Comput. Sci. 172: 101-132 (2007) |
85 | EE | Vincent 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 |
83 | EE | 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 |
82 | EE | Vincent Danos,
Elham Kashefi,
Prakash Panangaden:
The One Way to Quantum Computation.
ICALP (2) 2006: 13-21 |
81 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi,
Prakash Panangaden:
Anonymity Protocols as Noisy Channels.
TGC 2006: 281-300 |
80 | EE | Norm Ferns,
Pablo Samuel Castro,
Doina Precup,
Prakash Panangaden:
Methods for Computing State Similarity in Markov Decision Processes.
UAI 2006 |
79 | EE | Vincent Danos,
Josee Desharnais,
François Laviolette,
Prakash Panangaden:
Bisimulation and cocongruence for probabilistic systems.
Inf. Comput. 204(4): 503-523 (2006) |
78 | EE | Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Approximate reasoning for real-time probabilistic processes.
Logical Methods in Computer Science 2(1): (2006) |
77 | EE | Ellie D'Hondt,
Prakash Panangaden:
Quantum weakest preconditions.
Mathematical Structures in Computer Science 16(3): 429-451 (2006) |
76 | EE | Ralph Kopperman,
Prakash Panangaden,
Michael B. Smyth,
Dieter Spreen,
Julian Webster:
Foreword.
Theor. Comput. Sci. 365(3): 169-170 (2006) |
2005 |
75 | EE | Ellie D'Hondt,
Prakash Panangaden:
Reasoning About Quantum Knowledge.
FSTTCS 2005: 553-564 |
74 | EE | Prakash Panangaden:
Foreword.
LICS 2005 |
73 | EE | Alexandre Bouchard-Côté,
Norm Ferns,
Prakash Panangaden,
Doina Precup:
An approximation algorithm for labelled Markov processes: towards realistic approximation.
QEST 2005: 54-62 |
72 | EE | Ralph Kopperman,
Prakash Panangaden,
Michael B. Smyth,
Dieter Spreen,
Julian Webster:
04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models.
Spatial Representation 2005 |
71 | EE | Ralph Kopperman,
Prakash Panangaden,
Michael B. Smyth,
Dieter Spreen,
Julian Webster:
04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models.
Spatial Representation 2005 |
70 | EE | Keye Martin,
Prakash Panangaden:
A domain of spacetime intervals in general relativity.
Spatial Representation 2005 |
69 | EE | Norm Ferns,
Prakash Panangaden,
Doina Precup:
Metrics for Markov Decision Processes with Infinite State Spaces.
UAI 2005: 201-208 |
68 | EE | Vineet 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 |
66 | EE | Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Approximate Reasoning for Real-Time Probabilistic Processes.
QEST 2004: 304-313 |
65 | EE | Norm Ferns,
Prakash Panangaden,
Doina Precup:
Metrics for Finite Markov Decision Processes.
UAI 2004: 162-169 |
64 | EE | Riccardo Pucella,
Prakash Panangaden:
On the Expressive Power of First-Order Boolean Functions in PCF
CoRR cs.PL/0405085: (2004) |
63 | EE | Josée Desharnais,
Prakash Panangaden:
Preface.
Electr. Notes Theor. Comput. Sci. 87: 1-3 (2004) |
62 | EE | Vincent Danos,
Josée Desharnais,
Prakash Panangaden:
Labelled Markov Processes: Stronger and Faster Approximations.
Electr. Notes Theor. Comput. Sci. 87: 157-203 (2004) |
61 | EE | Thomas T. Hildebrandt,
Prakash Panangaden,
Glynn Winskel:
A relational model of non-deterministic dataflow.
Mathematical Structures in Computer Science 14(5): 613-649 (2004) |
60 | EE | Josee Desharnais,
Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Metrics for labelled Markov processes.
Theor. Comput. Sci. 318(3): 323-354 (2004) |
2003 |
59 | EE | Vincent Danos,
Josee Desharnais,
Prakash Panangaden:
Conditional Expectation and the Approximation of Labelled Markov Processes.
CONCUR 2003: 468-482 |
58 | EE | Josee Desharnais,
Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Approximating labelled Markov processes.
Inf. Comput. 184(1): 160-200 (2003) |
57 | EE | Josee 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 |
55 | EE | Josee Desharnais,
Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Weak Bisimulation is Sound and Complete for PCTL*.
CONCUR 2002: 355-370 |
54 | EE | Josee Desharnais,
Radha Jagadeesan,
Vineet Gupta,
Prakash Panangaden:
The Metric Analogue of Weak Bisimulation for Probabilistic Processes.
LICS 2002: 413-422 |
53 | EE | Uwe Nestmann,
Prakash Panangaden:
Preface.
Electr. Notes Theor. Comput. Sci. 68(2): (2002) |
52 | EE | Josee 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) |
48 | EE | Luca Aceto,
Prakash Panangaden:
Preface.
Electr. Notes Theor. Comput. Sci. 52(1): (2001) |
47 | EE | Prakash Panangaden:
Measure and probability for concurrency theorists.
Theor. Comput. Sci. 253(2): 287-309 (2001) |
46 | EE | Riccardo Pucella,
Prakash Panangaden:
On the expressive power of first-order boolean functions in PCF.
Theor. Comput. Sci. 266(1-2): 543-567 (2001) |
2000 |
45 | EE | Josee Desharnais,
Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Approximating Labeled Markov Processes.
LICS 2000: 95-106 |
44 | EE | Prakash Panangaden:
From logic to stochastic processes (abstract only).
PPDP 2000: 1-2 |
43 | EE | Prakash Panangaden,
Clark Verbrugge:
Generating irregular partitionable data structures.
Theor. Comput. Sci. 238(1-2): 31-80 (2000) |
1999 |
42 | EE | Josee Desharnais,
Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Metrics for Labeled Markov Systems.
CONCUR 1999: 258-273 |
41 | EE | Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Stochastic Processes as Concurrent Constraint Programs.
POPL 1999: 189-202 |
40 | EE | Prakash Panangaden:
The Category of Markov Kernels.
Electr. Notes Theor. Comput. Sci. 22: (1999) |
1998 |
39 | EE | Thomas 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 |
37 | EE | Richard 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 |
35 | | Prakash Panangaden:
The Expressive Power of Indeterminate Primitives in Asynchronous Computation.
FSTTCS 1995: 124-150 |
34 | EE | 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) |
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 |
32 | | Prakash Panangaden:
The Logical Structure of Concurrent Constraint Programming Languages (Abstract).
CONCUR 1994: 129 |
1993 |
31 | | Marija Cubric,
Prakash Panangaden:
Minimal Memory Schedules for Dataflow Networks.
CONCUR 1993: 368-383 |
30 | | Richard 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 |
27 | | Prakash Panangaden,
Vijay A. Saraswat,
Philip J. Scott,
R. A. G. Seely:
A Hyperdoctrinal View of Concurrent Constraint Programming.
REX Workshop 1992: 457-476 |
26 | EE | Janice 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 |
21 | EE | 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) |
20 | | Carol Critchlow,
Prakash Panangaden:
The Expressive Power of Delay Operators in SCCS.
Acta Inf. 28(5): 447-452 (1991) |
1990 |
19 | | James 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 |
17 | | Radha Jagadeesan,
Prakash Panangaden:
A Domain-Theoretic Model for a Higher-Order Process Calculus.
ICALP 1990: 181-194 |
16 | | Prakash 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 |
14 | | Prakash 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 |
10 | | Prakash Panangaden:
McCarthy's Amb Cannot Implement Fair Merge.
FSTTCS 1988: 348-363 |
9 | | Prakash Panangaden,
Eugene W. Stark:
Computations, Residuals, and the POwer of Indeterminancy.
ICALP 1988: 439-454 |
8 | EE | Prakash 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 |
2 | | Robert M. Keller,
Prakash Panangaden:
Semantics of Networks Containing Indeterminate Operators.
Seminar on Concurrency 1984: 479-496 |
1 | | Prakash Panangaden:
Abstract Interpretation and Indeterminacy.
Seminar on Concurrency 1984: 497-511 |