Josée Desharnais and Vineet Gupta - Free people check

(1 - 9 from 12

)

Publications List

www-cs-students.stanford.edu

Probabilistic Systems Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden. Weak Bisimulation is Sound and Complete for PCTL*.

The Metric Analogue of Weak Bisimulation for Probabilistic Processes.

xenon.stanford.edu

The Metric Analogue of Weak Bisimulation for Probabilistic Processes. Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden Abstract

Weak Bisimulation is Sound and Complete for PCTL*

www-cs-students.stanford.edu

Weak Bisimulation is Sound and Complete for PCTL* Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden Abstract We investigate weak …

CiteSeerX — Weak bisimulation is sound and complete for pCTL

citeseerx.ist.psu.edu

BibTeX @ARTICLE{Desharnais_weakbisimulation, author = {Josée Desharnais and Université Laval and Radha Jagadeesan and Vineet Gupta and Google Inc and Prakash

CiteSeerX — Metrics for Labelled Markov Processes

citeseerx.ist.psu.edu

BibTeX. @MISC{Desharnais03metricsfor, author = {Josée Desharnais and Radha Jagadeesan and Vineet Gupta and Prakash Panangaden}, title = {Metrics for Labelled Markov Processes}, year = {2003} } ...

Metrics for Labelled Markov Systems - CORE

core.ac.uk

By Josée Desharnais, Radha Jagadeesan, Vineet Gupta and Prakash Panangaden. Abstract.

Weak Bisimulation is Sound and Complete for PCTL* | SpringerLink

link.springer.com

Weak Bisimulation is Sound and Complete for PCTL * Josée Desharnais, Vineet Gupta, Radha Jagadeesan, ... Josée Desharnais (6) Vineet Gupta (7)

All web results to the name "Josée Desharnais"

CiteSeerX — Active Bibliography: Approximating Markov Processes by...

citeseer.uark.edu

CiteSeerX - Document Details (Isaac Councill, Lee Giles): Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash ...

Weak bisimulation is sound and complete for pCTL∗

www.infona.pl

Josée Desharnais. Département d'Informatique, Université Laval, Québec, Québec, Canada G1V 0A6 , .ca. autor. Vineet Gupta.

Related search requests for Josée Desharnais

Jörg Endrullis
Stephen Chong
Nadia Tawbi

Prakash Panangaden
Sami Zhioua
Andrei Bulatov

People
Forename "Josée" (654)
Name "Desharnais" (63)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Josée Desharnais and Vineet Gupta Free People Check