Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Alexandra Silva 0001

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 Justin Hsu

> Home > Persons > Alexandra Silva 0001

Publications

2024
[i57]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-05842
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-05842
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi:
A Categorical Approach to DIBI Models. CoRR abs/2401.05842 (2024)
2021
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BaoDH021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BaoDH021
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva:
A Bunched Logic for Conditional Independence. LICS 2021: 1-14
2020
[j38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/SmolkaFHKKS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/SmolkaFHKKS20
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva:
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time. Proc. ACM Program. Lang. 4(POPL): 61:1-61:28 (2020)
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-09231
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-09231
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva:
A Logic to Reason about Dependence and Independence. CoRR abs/2008.09231 (2020)
2019
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SmolkaKKFHK019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SmolkaKKFHK019
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva:
Scalable verification of probabilistic networks. PLDI 2019: 190-203
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-08096
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-08096
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva:
Scalable Verification of Probabilistic Networks. CoRR abs/1904.08096 (2019)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-05920
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-05920
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva:
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time. CoRR abs/1907.05920 (2019)
2018
[c48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/0001BH018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/0001BH018
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva:
Almost Sure Productivity. ICALP 2018: 113:1-113:15
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/HeerdtHO018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/HeerdtHO018
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva:
Convex Language Semantics for Nondeterministic Probabilistic Automata. ICTAC 2018: 472-492
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-06283
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-06283
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva:
Almost Sure Productivity. CoRR abs/1802.06283 (2018)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-11550
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-11550
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva:
Convex Language Semantics for Nondeterministic Probabilistic Automata. CoRR abs/1805.11550 (2018)

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.