| 2007 |
|---|
| 87 | | 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 |
| 86 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi,
Prakash Panangaden:
Probability of Error in Information-Hiding Protocols.
CSF 2007: 341-354 |
| 85 | EE | Romain Beauxis,
Konstantinos Chatzikokolakis,
Catuscia Palamidessi,
Prakash Panangaden:
Formal Approaches to Information-Hiding (Tutorial).
TGC 2007: 347-362 |
| 84 | EE | Vincent Danos,
Ellie D'Hondt,
Elham Kashefi,
Prakash Panangaden:
Distributed Measurement-based Quantum Computation.
Electr. Notes Theor. Comput. Sci. 170: 73-94 (2007) |
| 83 | EE | Richard Blute,
Prakash Panangaden,
Dorette Pronk:
Conformal Field Theory as a Nuclear Functor.
Electr. Notes Theor. Comput. Sci. 172: 101-132 (2007) |
| 82 | EE | Vincent Danos,
Elham Kashefi,
Prakash Panangaden:
The measurement calculus.
J. ACM 54(2): (2007) |
| 2006 |
|---|
| 81 | | Christopher Hundt,
Prakash Panangaden,
Joelle Pineau,
Doina Precup:
Representing Systems with Hidden State.
AAAI 2006 |
| 80 | 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 |
| 79 | EE | Vincent Danos,
Elham Kashefi,
Prakash Panangaden:
The One Way to Quantum Computation.
ICALP (2) 2006: 13-21 |
| 78 | EE | Konstantinos Chatzikokolakis,
Catuscia Palamidessi,
Prakash Panangaden:
Anonymity Protocols as Noisy Channels.
TGC 2006: 281-300 |
| 77 | EE | Norm Ferns,
Pablo Samuel Castro,
Doina Precup,
Prakash Panangaden:
Methods for Computing State Similarity in Markov Decision Processes.
UAI 2006 |
| 76 | EE | Vincent Danos,
Josee Desharnais,
François Laviolette,
Prakash Panangaden:
Bisimulation and cocongruence for probabilistic systems.
Inf. Comput. 204(4): 503-523 (2006) |
| 75 | EE | Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Approximate reasoning for real-time probabilistic processes.
Logical Methods in Computer Science 2(1): (2006) |
| 74 | EE | Ralph Kopperman,
Prakash Panangaden,
Michael B. Smyth,
Dieter Spreen,
Julian Webster:
Foreword.
Theor. Comput. Sci. 365(3): 169-170 (2006) |
| 2005 |
|---|
| 73 | EE | Ellie D'Hondt,
Prakash Panangaden:
Reasoning About Quantum Knowledge.
FSTTCS 2005: 553-564 |
| 72 | EE | Prakash Panangaden:
Foreword.
LICS 2005 |
| 71 | 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 |
| 70 | 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 |
| 69 | EE | Ralph Kopperman,
Prakash Panangaden,
Michael B. Smyth,
Dieter Spreen,
Julian Webster:
04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models.
Spatial Representation 2005 |
| 68 | EE | Keye Martin,
Prakash Panangaden:
A domain of spacetime intervals in general relativity.
Spatial Representation 2005 |
| 67 | EE | Norm Ferns,
Prakash Panangaden,
Doina Precup:
Metrics for Markov Decision Processes with Infinite State Spaces.
UAI 2005: 201-208 |
| 66 | EE | Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Approximate reasoning for real-time probabilistic processes
CoRR abs/cs/0505063: (2005) |
| 2004 |
|---|
| 65 | | Norm Ferns,
Prakash Panangaden,
Doina Precup:
Metrics for Finite Markov Decision Processes.
AAAI 2004: 950-951 |
| 64 | EE | Vineet Gupta,
Radha Jagadeesan,
Prakash Panangaden:
Approximate Reasoning for Real-Time Probabilistic Processes.
QEST 2004: 304-313 |
| 63 | EE | Norm Ferns,
Prakash Panangaden,
Doina Precup:
Metrics for Finite Markov Decision Processes.
UAI 2004: 162-169 |
| 62 | EE | Riccardo Pucella,
Prakash Panangaden:
On the Expressive Power of First-Order Boolean Functions in PCF
CoRR cs.PL/0405085: (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 |
