Travelled to:1 × Canada
1 × Denmark
1 × Finland
1 × Greece
1 × Italy
1 × Japan
1 × Poland
10 × USA
2 × Germany
Collaborated with:∅ R.Jagadeesan J.Desharnais V.Gupta E.W.Stark V.Danos A.Edalat J.A.Altucher G.Lindstrom B.Balle D.Precup E.Kashefi V.A.Saraswat M.C.Rinard V.Shanbhogue K.Pingali A.Neirynck A.J.Demers N.P.Mendler R.L.Constable A.Cave F.Ferreira B.Pientka D.Kozen K.G.Larsen R.Mardare P.Chaput G.D.Plotkin R.Blute E.Merlo J.Girard K.Kontogiannis R.d.Mori
Talks about:process (9) markov (5) comput (5) logic (5) program (4) approxim (3) bisimul (3) semant (3) label (3) constraint (2)
Person: Prakash Panangaden
DBLP: Panangaden:Prakash
Contributed to:
2015
20142013
20112011
2009200620022000
2000199919981997
19931991
199019901989198819871986
1984Wrote 24 papers:
- LICS-2015-BallePP #approximate #automaton #canonical
- A Canonical Form for Weighted Automata and Applications to Approximate Minimization (BB, PP, DP), pp. 701–712.
- POPL-2014-CaveFPP #programming
- Fair reactive programming (AC, FF, PP, BP), pp. 361–372.
- LICS-2013-KozenLMP #markov #process
- Stone Duality for Markov Processes (DK, KGL, RM, PP), pp. 321–330.
- LICS-2013-Panangaden #logic
- Duality in Logic and Computation (PP), pp. 4–11.
- FoSSaCS-2011-Panangaden #quantum
- The Search for Structure in Quantum Computation (PP), pp. 1–11.
- LICS-2011-Panangaden #semantics
- The Meaning of Semantics (PP), pp. 4–5.
- ICALP-v2-2009-ChaputDPP #approximate #markov #process
- Approximating Markov Processes by Averaging (PC, VD, PP, GDP), pp. 127–138.
- ICALP-v2-2006-DanosKP #quantum
- The One Way to Quantum Computation (VD, EK, PP), pp. 13–21.
- LICS-2002-DesharnaisJGP #bisimulation #metric #probability #process
- The Metric Analogue of Weak Bisimulation for Probabilistic Processes (JD, RJ, VG, PP), pp. 413–422.
- LICS-2000-DesharnaisGJP #approximate #markov #process
- Approximating Labeled Markov Processes (JD, VG, RJ, PP), pp. 95–106.
- PPDP-2000-Panangaden #logic #probability #process
- From logic to stochastic processes (PP), pp. 1–2.
- POPL-1999-GuptaJP #concurrent #constraints #probability #process #source code
- Stochastic Processes as Concurrent Constraint Programs (VG, RJ, PP), pp. 189–202.
- LICS-1998-DesharnaisEP #bisimulation #logic #markov #process
- A Logical Characterization of Bisimulation for Labeled Markov Processes (JD, AE, PP), pp. 478–487.
- LICS-1997-BluteDEP #bisimulation #markov #process
- Bisimulation for Labelled Markov Processes (RB, JD, AE, PP), pp. 149–158.
- WCRE-1993-MerloGKPM #reverse engineering #user interface
- Reverse Engineering of User Interfaces (EM, JFG, KK, PP, RdM), pp. 171–179.
- POPL-1991-SaraswatRP #concurrent #constraints #programming #semantics
- Semantic Foundations of Concurrent Constraint Programming (VAS, MCR, PP), pp. 333–352.
- CADE-1990-AltucherP #category theory #proving
- A Mechanically Assisted Constructive Proof in Category Theory (JAA, PP), pp. 500–513.
- ICALP-1990-JagadeesanP #calculus #formal method #higher-order #process
- A Domain-Theoretic Model for a Higher-Order Process Calculus (RJ, PP), pp. 181–194.
- ICALP-1990-PanangadenSS #data flow #network
- Stability and Sequentiality in Dataflow Networks (PP, VS, EWS), pp. 308–321.
- LICS-1989-JagadeesanPP #functional #logic #semantics
- A Fully Abstract Semantics for a Functional Language with Logic Variables (RJ, PP, KP), pp. 294–303.
- ICALP-1988-PanangadenS #nondeterminism #power of
- Computations, Residuals, and the Power of Indeterminacy (PP, EWS), pp. 439–454.
- POPL-1987-NeirynckPD #alias #set
- Computation of Aliases and Support Sets (AN, PP, AJD), pp. 274–283.
- LICS-1986-MendlerPC #infinity #type system
- Infinite Objects in Type Theory (NPM, PP, RLC), pp. 249–255.
- SLP-1984-LindstromP84 #execution #logic programming
- Stream-Based Execution of Logic Programming (GL, PP), pp. 168–176.