Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(128)
Radha Jagadeesan
15
Josee Desharnais
15
Doina Precup
11
Vincent Danos
11
Elham Kashefi
11
Conferences
(29)
CONCUR
10
LICS
7
ICALP
5
Dagstuhl Seminars
5
AAAI
3
Journals
(26)
LMCS
10
IANDC
6
ENTCS
6
TCS
4
NJC
3
Keywords
(278)
Embed
Subscribe
Academic
Authors
Prakash Panangaden
Prakash Panangaden,McGill University,Algorithms & Theory,Software Engineering,Programming Languages
Edit
Prakash Panangaden
McGill University
Publications:
159
|
Citations:
3008
Fields:
Algorithms & Theory
,
Software Engineering
,
Programming Languages
View FAQ about top research areas and Fields of study
Collaborated with
128 co-authors
from 1984 to 2011
|
Cited by
2080 authors
Cumulative
Annual
Sort by:
Publications
(159)
BibTeX
|
RIS
|
RefWorks
Download
The Meaning of Semantics
Prakash Panangaden
Conference:
Logic in Computer Science - LICS
, pp. 4-5, 2011
The Search for Structure in Quantum Computation
Prakash Panangaden
Conference:
Foundations of Software Science and Computation Structure - FoSSaCS
, pp. 1-11, 2011
An Algebraic Approach to Dynamic Epistemic Logic
(
Citations: 2
)
Prakash Panangaden
,
Caitlin Phillips
,
Doina Precup
,
Mehrnoosh Sadrzadeh
Published in 2010.
Learning in a Changing World, an Algebraic Modal Logical Approach
(
Citations: 1
)
Prakash Panangaden
,
Mehrnoosh Sadrzadeh
Conference:
Algebraic Methodology and Software Technology - AMAST
, pp. 128-141, 2010
Quantum Communication in Rindler Spacetime
(
Citations: 1
)
Kamil Bradler
,
Patrick Hayden
,
Prakash Panangaden
Published in 2010.
Sort by:
Citations
(3008 times by 2301 publications)
Behavioral interface specification languages
(
Citations: 3
)
John Hatcliff
,
Gary T. Leavens
,
K. Rustan M. Leino
,
Peter Müller
,
Matthew Parkinson
Journal:
ACM Computing Surveys - CSUR
, pp. 1-58, 2012
Refinement types for secure implementations
(
Citations: 3
)
Jesper Bengtson
,
Karthikeyan Bhargavan
,
Cédric Fournet
,
Andrew D. Gordon
,
Sergio Maffeis
Journal:
ACM Transactions on Programming Languages and Systems - TOPLAS
, vol. 33, no. 2, pp. 1-45, 2011
Information-Theoretic Bounds for Differentially Private Mechanisms
(
Citations: 3
)
Gilles Barthe
,
Boris Kopf
Conference:
Computer Security Foundations Workshop - CSFW
, pp. 191-204, 2011
Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
(
Citations: 1
)
Fuchun Liu
,
Hai Lin
,
Zbigniew Dziong
Journal:
Automatica
, vol. 47, no. 4, pp. 782-788, 2011
Step-indexed kripke models over recursive worlds
(
Citations: 2
)
Lars Birkedal
,
Bernhard Reus
,
Jan Schwinghammer
,
Kristian Støvring
,
Jacob Thamsborg
,
Hongseok Yang
Journal:
Sigplan Notices - SIGPLAN
, pp. 119-132, 2011
Comments