Pritam Roy

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Luca de Alfaro

> Home > Persons > Pritam Roy

Publications

2011
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1107-2132
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-2132
Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy:
Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives. CoRR abs/1107.2132 (2011)
2010
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AlfaroR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AlfaroR10
Luca de Alfaro, Pritam Roy:
Solving games via three-valued abstraction refinement. Inf. Comput. 208(6): 666-676 (2010)
2008
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/RoyPNA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/RoyPNA08
Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro:
Symbolic Magnifying Lens Abstraction in Markov Decision Processes. QEST 2008: 103-112
2007
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AlfaroR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlfaroR07
Luca de Alfaro, Pritam Roy:
Magnifying-Lens Abstraction for Markov Decision Processes. CAV 2007: 325-338
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/AlfaroR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/AlfaroR07
Luca de Alfaro, Pritam Roy:
Solving Games Via Three-Valued Abstraction Refinement. CONCUR 2007: 74-89
2006
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AdlerASFLRR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AdlerASFLRR06
B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy:
Ticc: A Tool for Interface Compatibility and Composition. CAV 2006: 59-62
2005
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/AlfaroSFLRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/AlfaroSFLRS05
Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea:
Sociable Interfaces. FroCoS 2005: 81-105

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.