Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Viraj B. Wijesuriya

Viraj Brian Wijesuriya

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/rivf/AmarasingheW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rivf/AmarasingheW20
Akarshani Amarasinghe, Viraj B. Wijesuriya:
Drones vs Dengue: A Drone-Based Mosquito Control System for Preventing Dengue. RIVF 2020: 1-6
2019
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/MolyneuxWA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/MolyneuxWA19
Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate:
Bayesian Verification of Chemical Reaction Networks. FM Workshops (2) 2019: 461-479
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iciis/AmarasingheW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciis/AmarasingheW19
Akarshani Amarasinghe, Viraj B. Wijesuriya:
Stimme: A Chat Application for Communicating with Hearing Impaired Persons. ICIIS 2019: 458-463
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/WijesuriyaA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/WijesuriyaA19
Viraj Brian Wijesuriya, Alessandro Abate:
Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes. QEST 2019: 91-108
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/AmarasingheWGJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/AmarasingheWGJ19
Akarshani Amarasinghe, Viraj B. Wijesuriya, Dilshan Ganepola, Lakshman Jayaratne:
A swarm of crop spraying drones solution for optimising safe pesticide usage in arable lands: poster abstract. SenSys 2019: 410-411
2017
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/PolgreenWHA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/PolgreenWHA17
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate:
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. QEST 2017: 259-274
2016
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/PolgreenWHA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/PolgreenWHA16
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate:
Data-Efficient Bayesian Verification of Parametric Markov Chains. QEST 2016: 35-51

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2020
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-11321
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-11321
Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate:
Bayesian Verification of Chemical Reaction Networks. CoRR abs/2004.11321 (2020)
2017
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/PolgreenWHA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PolgreenWHA17
Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate:
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. CoRR abs/1707.01322 (2017)

a service of

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.