| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Richard Blute, Prakash Panangaden, Sergey Slavnov |
Deep Inference and Probabilistic Coherence Spaces.  |
Applied Categorical Structures  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Knight, Radu Mardare, Prakash Panangaden |
Combining Epistemic Logic and Hennessy-Milner Logic. |
Logic and Program Semantics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
Dexter Kozen's Influence on the Theory of Labelled Markov Processes. |
Logic and Program Semantics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob Coecke, Prakash Panangaden, Peter Selinger |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Norm Ferns, Prakash Panangaden, Doina Precup |
Bisimulation Metrics for Continuous Markov Decision Processes. |
SIAM J. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
The Meaning of Semantics. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
The Search for Structure in Quantum Computation. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
Quantum Information Channels in Curved Spacetime. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Weak bisimulation is sound and complete for pCTL*. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanna Donatelli, Prakash Panangaden, Gerardo Rubino |
Special Issue on "Quantitative Evaluation of Systems". |
Perform. Eval. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Barry Cooper, Prakash Panangaden, Elham Kashefi (eds.) |
Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics |
DCM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden, Caitlin Phillips, Doina Precup, Mehrnoosh Sadrzadeh |
An Algebraic Approach to Dynamic Epistemic Logic. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Prakash Panangaden, Mehrnoosh Sadrzadeh |
Learning in a Changing World, an Algebraic Modal Logical Approach. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Prakash Panangaden |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
Labelled Markov Processes. |
|
2009 |
RDF |
|
| 1 | Pablo Samuel Castro, Prakash Panangaden, Doina Precup |
Equivalence Relations in Fully and Partially Observable Markov Decision Processes. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin |
Approximating Markov Processes by Averaging. |
ICALP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden |
Epistemic Strategies and Games on Concurrent Processes. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin |
Approximating Labelled Markov Processes Again! |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden |
On the Bayes risk in information-hiding protocols. |
Journal of Computer Security |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen |
Foreword. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden |
Anonymity protocols as noisy channels. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannick Delbecque, Prakash Panangaden |
Game Semantics for Quantum Stores. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Keye Martin, Prakash Panangaden |
A Technique for Verifying Measurements. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yixiang Chen, Guo-Qing Zhang, Prakash Panangaden |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
Knowledge and Information in Probabilistic Systems. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Taylor, Doina Precup, Prakash Panangaden |
Bounding Performance Loss in Approximate MDP Homomorphisms. |
NIPS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Keye Martin, Prakash Panangaden |
Domain Theory and the Causal Structure of Space-Time. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden |
Distributed Measurement-based Quantum Computation. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Blute, Prakash Panangaden, Dorette Pronk |
Conformal Field Theory as a Nuclear Functor. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Danos, Elham Kashefi, Prakash Panangaden |
The measurement calculus. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
Models for quantum computing, measurement-based quantum computing, quantum programming languages, teleportation-based quantum computing, normalization, term rewriting |
| 1 | Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen (eds.) |
Computational Structures for Modelling Space, Time and Causality, 20.08. - 25.08.2006 |
Computational Structures for Modelling Space, Time and Causality |
2007 |
DBLP BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden |
Probability of Error in Information-Hiding Protocols. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden |
Formal Approaches to Information-Hiding (Tutorial). |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster |
Foreword. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ellie D'Hondt, Prakash Panangaden |
Quantum weakest preconditions. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden |
Bisimulation and cocongruence for probabilistic systems. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Approximate reasoning for real-time probabilistic processes. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ellie D'Hondt, Prakash Panangaden |
The computational power of the W And GHZ States. |
Quantum Information & Computation |
2006 |
DBLP BibTeX RDF |
|
| 1 | Vincent Danos, Elham Kashefi, Prakash Panangaden |
The One Way to Quantum Computation. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Norm Ferns, Pablo Samuel Castro, Doina Precup, Prakash Panangaden |
Methods for Computing State Similarity in Markov Decision Processes. |
UAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden |
Anonymity Protocols as Noisy Channels. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Hundt, Prakash Panangaden, Joelle Pineau, Doina Precup |
Representing Systems with Hidden State. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Approximate reasoning for real-time probabilistic processes |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Keye Martin, Prakash Panangaden |
A domain of spacetime intervals in general relativity. |
Spatial Representation |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster |
04351 Abstracts Collection - Spatial Representation: Discrete vs. Continuous Computational Models. |
Spatial Representation |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, Julian Webster |
04351 Summary - Spatial Representation: Discrete vs. Continuous Computational Models. |
Spatial Representation |
2005 |
DBLP BibTeX RDF |
|
| 1 | Norm Ferns, Prakash Panangaden, Doina Precup |
Metrics for Markov Decision Processes with Infinite State Spaces. |
UAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Alexandre Bouchard-Côté, Norm Ferns, Prakash Panangaden, Doina Precup |
An approximation algorithm for labelled Markov processes: towards realistic approximation. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
Foreword. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ellie D'Hondt, Prakash Panangaden |
Reasoning About Quantum Knowledge. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Metrics for labelled Markov processes. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel |
A relational model of non-deterministic dataflow. |
Mathematical Structures in Computer Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Josée Desharnais, Prakash Panangaden |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Danos, Josée Desharnais, Prakash Panangaden |
Labelled Markov Processes: Stronger and Faster Approximations. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Pucella, Prakash Panangaden |
On the Expressive Power of First-Order Boolean Functions in PCF |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Norm Ferns, Prakash Panangaden, Doina Precup |
Metrics for Finite Markov Decision Processes. |
UAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Approximate Reasoning for Real-Time Probabilistic Processes. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Norm Ferns, Prakash Panangaden, Doina Precup |
Metrics for Finite Markov Decision Processes. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Josee Desharnais, Prakash Panangaden |
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. |
J. Log. Algebr. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Approximating labelled Markov processes. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann, Prakash Panangaden |
Guest Editors' Foreword. |
Nord. J. Comput. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Vincent Danos, Josee Desharnais, Prakash Panangaden |
Conditional Expectation and the Approximation of Labelled Markov Processes. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Abbas Edalat, Prakash Panangaden |
Bisimulation for Labelled Markov Processes. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann, Prakash Panangaden |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Prakash Panangaden |
Guest Editors' Foreword. |
Nord. J. Comput. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Weak Bisimulation is Sound and Complete for PCTL*. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden |
The Metric Analogue of Weak Bisimulation for Probabilistic Processes. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
Measure and probability for concurrency theorists. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Pucella, Prakash Panangaden |
On the expressive power of first-order boolean functions in PCF. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Prakash Panangaden |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
Does Combining Nondeterminism and Probability Make Sense? |
Bulletin of the EATCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Prakash Panangaden |
Does Concurrency Theory Have Anything to Say About Parallel Programming? |
Current Trends in Theoretical Computer Science |
2001 |
DBLP BibTeX RDF |
|
| 1 | Prakash Panangaden, Clark Verbrugge |
Generating irregular partitionable data structures. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
From logic to stochastic processes (abstract only). |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Approximating Labeled Markov Processes. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
The Category of Markov Kernels. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Metrics for Labeled Markov Systems. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta, Radha Jagadeesan, Prakash Panangaden |
Stochastic Processes as Concurrent Constraint Programs. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel |
A Relational Model of Non-deterministic Dataflow. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Josee Desharnais, Abbas Edalat, Prakash Panangaden |
A Logical Characterization of Bisimulation for Labeled Markov Processes. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden |
Bisimulation for Labelled Markov Processes. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
Does Concurrency Theory Have Anything To Say About Parallel Programming? |
Bulletin of the EATCS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Ettore Merlo, Pierre-Yves Gagné, Jean-Francois Girard, Kostas Kontogiannis, Laurie J. Hendren, Prakash Panangaden, Renato de Mori |
Reengineering User Interfaces. |
IEEE Software |
1995 |
DBLP DOI BibTeX RDF |
specifications abstraction, user interfaces, Reverse engineering, process algebra, flow analysis |
| 1 | N. P. Mendler, Prakash Panangaden, Philip J. Scott, R. A. G. Seely |
A Logical View of Concurrent Constraint Programming. |
Nord. J. Comput. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Prakash Panangaden |
The Expressive Power of Indeterminate Primitives in Asynchronous Computation. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden |
The Logical Structure of Concurrent Constraint Programming Languages (Abstract). |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. McAllester, Prakash Panangaden, Vasant Shanbhogue |
Nonexpressibility of Fairness and Signaling. |
J. Comput. Syst. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Marija Cubric, Prakash Panangaden |
Minimal Memory Schedules for Dataflow Networks. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Blute, R. A. G. Seely, Prakash Panangaden |
Holomorhpic Models of Exponential Types in Linear Logic. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
Fock space, holomorphic functions, quantum field theory, linear logic, Banach spaces |
| 1 | Ettore Merlo, Jean-Francois Girard, Kostas Kontogiannis, Prakash Panangaden, Renato de Mori |
Reverse Engineering of User Interfaces. |
WCRE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Prakash Panangaden, Vasant Shanbhogue |
The Expressive Power of Indeterminate Dataflow Primitives |
Inf. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden |
A Logic for Reasoning About Security. |
ACM Trans. Comput. Syst. |
1992 |
DBLP DOI BibTeX RDF |
composition knowledge, security, integrity, policy, time, logic, secrecy, permission, obligation, possible-worlds |
| 1 | Prakash Panangaden, Kim Taylor |
Concurrent Common Knowledge: Defining Agreement for Asynchronous Systems. |
Distributed Computing |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, R. A. G. Seely |
A Hyperdoctrinal View of Concurrent Constraint Programming. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
hyperdoctrines, constraint programs, asynchronous systems, closure operators, fibrations |
| 1 | Carol Critchlow, Prakash Panangaden |
The Expressive Power of Delay Operators in SCCS. |
Acta Inf. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Keshav Pingali, Prakash Panangaden |
A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables. |
ACM Trans. Program. Lang. Syst. |
1991 |
DBLP DOI BibTeX RDF |
semantics, functional languages, declarative languages, full abstraction, logic variables |
| 1 | Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden |
Semantic Foundations of Concurrent Constraint Programming. |
POPL |
1991 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")