Alexandra Silva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
69
Venues
29
Active years
2006–2026
Best venue rank
A*
Where they publish
- A*ICALP8 papers
- BCONCUR8 papers
- AESOP7 papers
- BFOSSACS6 papers
- BCSL5 papers
- A*LICS4 papers
- BCALCO3 papers
- A*POPL3 papers
- A*CAV2 papers
- BFSCD2 papers
- BMFCS2 papers
- CICTAC2 papers
- AIJCAR1 paper
- BIFM1 paper
- AECOOP1 paper
- A*SIGCOMM1 paper
- BLPAR1 paper
- BMFPS1 paper
- MulticonferenceICCS1 paper
- BMPC1 paper
- A*PLDI1 paper
- BFM1 paper
- NationalTASE1 paper
- A*CHI1 paper
- MulticonferenceSAC1 paper
- BAPLAS1 paper
- CCoordination1 paper
- CWoLLIC1 paper
- CHASKELL1 paper
Papers
69 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | SMT-Based Active Learning of Weighted Automata. | Tiago Ferreira, Kevin Batz, Alexandra Silva |
| 2026 | CSL | A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures. | Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2026 | ESOP | Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT. | Cheng Zhang, Qiancheng Fu, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi |
| 2026 | ICALP | A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes. | Wojciech Rozowski, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2025 | CONCUR | Denotational Semantics for Probabilistic and Concurrent Programs. | Noam Zilberstein, Daniele Gorla, Alexandra Silva |
| 2025 | CSL | A Complete Diagrammatic Calculus for Automata Simulation. | Thibaut Antoine, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2025 | CSL | A Complete Inference System for Probabilistic Infinite Trace Equivalence. | Corina Crstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova |
| 2025 | ESOP | A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming. | Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi |
| 2025 | ICALP | Weighted GKAT: Completeness and Complexity. | Spencer Van Koevering, Wojciech Rozowski, Alexandra Silva |
| 2024 | FSCD | A Categorical Approach to DIBI Models. | Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi |
| 2024 | FSCD | On Iteration in Discrete Probabilistic Programming. | Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2024 | IJCAR | A Cyclic Proof System for Guarded Kleene Algebra with Tests. | Jan Rooduijn, Dexter Kozen, Alexandra Silva |
| 2024 | IFM | Correct and Complete Symbolic Execution for Free. | Erik Voogd, Einar Broch Johnsen, smund Aqissiaq Arild Klvstad, Jurriaan Rot, Alexandra Silva |
| 2024 | LICS | A Completeness Theorem for Probabilistic Regular Expressions. | Wojciech Rozowski, Alexandra Silva |
| 2023 | CALCO | Generators and Bases for Monadic Closures. | Stefan Zetzsche, Alexandra Silva, Matteo Sammartino |
| 2023 | ECOOP | Automata Learning with an Incomplete Teacher. | Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva |
| 2023 | ESOP | A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. | Todd Schmid, Tobias Kapp, Alexandra Silva |
| 2023 | ICALP | Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. | Wojciech Rozowski, Tobias Kapp, Dexter Kozen, Todd Schmid, Alexandra Silva |
| 2023 | LICS | Deterministic stream-sampling for probabilistic programming: semantics and verification. | Fredrik Dahlqvist, Alexandra Silva, William Smith |
| 2022 | ESOP | Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. | Jana Wagemaker, Nate Foster, Tobias Kapp, Dexter Kozen, Jurriaan Rot, Alexandra Silva |
| 2022 | ICALP | Processes Parametrised by an Algebraic Theory. | Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot |
| 2021 | FOSSACS | Learning Pomset Automata. | Gerco van Heerdt, Tobias Kapp, Jurriaan Rot, Alexandra Silva |
| 2021 | ICALP | Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. | Todd Schmid, Tobias Kapp, Dexter Kozen, Alexandra Silva |
| 2021 | LICS | A Bunched Logic for Conditional Independence. | Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva |
| 2021 | SIGCOMM | Prognosis: closed-box analysis of network protocol implementations. | Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva |
| 2020 | CONCUR | CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). | Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva |
| 2020 | CONCUR | Partially Observable Concurrent Kleene Algebra. | Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kapp, Jurriaan Rot, Alexandra Silva |
| 2020 | FOSSACS | Learning Weighted Automata over Principal Ideal Domains. | Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva |
| 2020 | FOSSACS | Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. | Tobias Kapp, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2020 | LPAR | Models of Concurrent Kleene Algebra. | Alexandra Silva |
| 2020 | MFCS | Preservation of Equations by Monoidal Monads. | Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan |
| 2020 | MFPS | Hennessy-Milner Results for Probabilistic PDL. | Tao Gu, Alexandra Silva, Fabio Zanasi |
| 2019 | CALCO | Tree Automata as Algebras: Minimisation and Determinisation. | Gerco van Heerdt, Tobias Kapp, Jurriaan Rot, Matteo Sammartino, Alexandra Silva |
| 2019 | CAV | Symbolic Register Automata. | Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva |
| 2019 | CONCUR | Kleene Algebra with Observations. | Tobias Kapp, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi |
| 2019 | ICALP | A Kleene Theorem for Nominal Automata. | Paul Brunet, Alexandra Silva |
| 2019 | ICCS | Early Warning Systems for Shellfish Safety: The Pivotal Role of Computational Science. | Marcos Mateus, Jose A. Fernandes, Marta Revilla, Luis Ferrer, Manuel Ruiz-Villarreal, Peter I. Miller, Wiebke Schmidt, Julie Maguire, Alexandra Silva, Lgia Pinto |
| 2019 | MFCS | Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk). | Alexandra Silva |
| 2019 | MPC | Completeness and Incompleteness of Synchronous Kleene Algebra. | Jana Wagemaker, Marcello M. Bonsangue, Tobias Kapp, Jurriaan Rot, Alexandra Silva |
| 2019 | PLDI | Scalable verification of probabilistic networks. | Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva |
| 2018 | ESOP | Concurrent Kleene Algebra: Free Model and Completeness. | Tobias Kapp, Paul Brunet, Alexandra Silva, Fabio Zanasi |
| 2018 | FM | SDN-Actors: Modeling and Verification of SDN Programs. | Elvira Albert, Miguel Gmez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva |
| 2018 | ICALP | Almost Sure Productivity. | Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva |
| 2018 | ICTAC | Layer by Layer - Combining Monads. | Fredrik Dahlqvist, Louis Parlant, Alexandra Silva |
| 2018 | ICTAC | Convex Language Semantics for Nondeterministic Probabilistic Automata. | Gerco van Heerdt, Justin Hsu, Jol Ouaknine, Alexandra Silva |
| 2017 | CONCUR | The Power of Convex Algebras. | Filippo Bonchi, Alexandra Silva, Ana Sokolova |
| 2017 | CONCUR | Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. | Tobias Kapp, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi |
| 2017 | CSL | CALF: Categorical Automata Learning Framework. | Gerco van Heerdt, Matteo Sammartino, Alexandra Silva |
| 2017 | POPL | Learning nominal automata. | Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski |
| 2017 | POPL | Cantor meets scott: semantic foundations for probabilistic networks. | Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva |
| 2017 | TASE | Conditional transition systems with upgrades. | Harsh Beohar, Barbara Knig, Sebastian Kpper, Alexandra Silva |
| 2016 | CSL | Coalgebraic Learning. | Alexandra Silva |
| 2016 | ESOP | Probabilistic NetKAT. | Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva |
| 2015 | CONCUR | Applications of Automata and Concurrency Theory in Networks (Invited Paper). | Alexandra Silva |
| 2015 | ICALP | Nominal Kleene Coalgebra. | Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva |
| 2015 | POPL | A Coalgebraic Decision Procedure for NetKAT. | Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva, Laure Thompson |
| 2014 | CHI | Information-building applications: designing for data exploration and analysis by elementary school students. | Tia Shelley, Leilah Lyons, Tom Moher, Chandan Dasgupta, Brenda Lpez Silva, Alexandra Silva |
| 2014 | SAC | Quantitative analysis of Reo-based service coordination. | Nuno Oliveira, Alexandra Silva, Lus Soares Barbosa |
| 2013 | APLAS | Brzozowski's and Up-To Algorithms for Must Testing. | Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva |
| 2013 | CALCO | A Coalgebraic View of ε-Transitions. | Alexandra Silva, Bram Westerbaan |
| 2013 | ESOP | Language Constructs for Non-Well-Founded Computation. | Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva |
| 2012 | FOSSACS | A Coalgebraic Perspective on Minimization and Determinization. | Jir Admek, Filippo Bonchi, Mathias Hlsbusch, Barbara Knig, Stefan Milius, Alexandra Silva |
| 2009 | CONCUR | Deriving Syntax and Axioms for Quantitative Regular Behaviours. | Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2009 | Coordination | Automata for Context-Dependent Connectors. | Marcello M. Bonsangue, Dave Clarke, Alexandra Silva |
| 2009 | FOSSACS | A Kleene Theorem for Polynomial Coalgebras. | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2009 | LICS | An Algebra for Kripke Polynomial Coalgebras. | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2008 | FOSSACS | Coalgebraic Logic and Synthesis of Mealy Machines. | Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva |
| 2007 | WoLLIC | Behavioural Differential Equations and Coinduction for Binary Trees. | Alexandra Silva, Jan J. M. M. Rutten |
| 2006 | HASKELL | Strong types for relational databases. | Alexandra Silva, Joost Visser |