Alexandra Silva

248 papers A* 15A 7B 48C 9Misc 2Journal 130Unranked 27
YearRankTypeTitle / Venue / Authors
2026 B conf
A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures.
CSL
Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
2026 — conf
Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT.
ESOP (2)
Cheng Zhang, Qiancheng Fu, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi
2026 J jnl
Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT.
CoRR
Cheng Zhang, Qiancheng Fu, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi
2026 J jnl
Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants.
Proc. ACM Program. Lang.
Noam Zilberstein, Alexandra Silva, Joseph Tassarotti
2025 J jnl
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021.
J. Log. Comput.
Alexandra Silva, Renata Wassermann, Ruy J. G. B. de Queiroz
2025 A ed.
39th European Conference on Object-Oriented Programming, ECOOP 2025, Bergen, Norway, June 30 - July 2, 2025
ECOOP
Jonathan Aldrich, Alexandra Silva
2025 — conf
A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming.
ESOP (2)
Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi
2025 B conf
A Complete Diagrammatic Calculus for Automata Simulation.
CSL
Thibaut Antoine, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
2025 J jnl
A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures.
CoRR
Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
2025 B conf
A Complete Inference System for Probabilistic Infinite Trace Equivalence.
CSL
Corina Cîrstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova
2025 J jnl
A Demonic Outcome Logic for Randomized Nondeterminism.
Proc. ACM Program. Lang.
Noam Zilberstein, Dexter Kozen, Alexandra Silva, Joseph Tassarotti
2025 J jnl
Active Learning of Symbolic NetKAT Automata.
CoRR
Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, Alexandra Silva
2025 J jnl
Active Learning of Symbolic NetKAT Automata.
Proc. ACM Program. Lang.
Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, Alexandra Silva
2025 J jnl
Convex language semantics for nondeterministic probabilistic automata.
Theor. Comput. Sci.
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
2025 B conf
Denotational Semantics for Probabilistic and Concurrent Programs.
CONCUR
Noam Zilberstein, Daniele Gorla, Alexandra Silva
2025 J jnl
Denotational Semantics for Probabilistic and Concurrent Programs.
CoRR
Noam Zilberstein, Daniele Gorla, Alexandra Silva
2025 J jnl
Kleene Algebra.
CoRR
Tobias Kappé, Alexandra Silva, Jana Wagemaker
2025 J jnl
On Formal Methods Thinking in Computer Science Education.
Formal Aspects Comput.
Brijesh Dongol, Catherine Dubois, Stefan Hallerstede, Eric C. R. Hehner, Carroll Morgan, Peter Müller, Leila Ribeiro, Alexandra Silva, Graeme Smith, Erik P. de Vink
2025 J jnl
RFSeek and Ye Shall Find.
CoRR
Noga H. Rotman, Tiago Ferreira, Hila Peleg, Mark Silberstein, Alexandra Silva
2025 J jnl
StacKAT: Infinite State Network Verification.
CoRR
Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker
2025 J jnl
StacKAT: Infinite State Network Verification.
Proc. ACM Program. Lang.
Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker
2025 A* conf
Weighted GKAT: Completeness and Complexity.
ICALP
Spencer Van Koevering, Wojciech Rozowski, Alexandra Silva
2025 J jnl
Weighted GKAT: Completeness and Complexity.
CoRR
Spencer Van Koevering, Wojciech Rozowski, Alexandra Silva
2024 B ed.
32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, Naples, Italy, February 19-23, 2024
CSL
Aniello Murano, Alexandra Silva
2024 B ed.
35th International Conference on Concurrency Theory, CONCUR 2024, Calgary, Canada, September 9-13, 2024
CONCUR
Rupak Majumdar, Alexandra Silva
2024 B conf
A Categorical Approach to DIBI Models.
FSCD
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
2024 J jnl
A Categorical Approach to DIBI Models.
CoRR
Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi
2024 J jnl
A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming.
CoRR
Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi
2024 A* conf
A Completeness Theorem for Probabilistic Regular Expressions.
LICS
Wojciech Rozowski, Alexandra Silva
2024 — conf
A Cyclic Proof System for Guarded Kleene Algebra with Tests.
IJCAR (2)
Jan Rooduijn, Dexter Kozen, Alexandra Silva
2024 J jnl
A Demonic Outcome Logic for Randomized Nondeterminism.
CoRR
Noam Zilberstein, Dexter Kozen, Alexandra Silva, Joseph Tassarotti
2024 J jnl
A cyclic proof system for Guarded Kleene Algebra with Tests (full version).
CoRR
Jan Rooduijn, Dexter Kozen, Alexandra Silva
2024 B conf
Correct and Complete Symbolic Execution for Free.
IFM
Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva
2024 J jnl
KATch: A Fast Symbolic Verifier for NetKAT.
CoRR
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
2024 J jnl
KATch: A Fast Symbolic Verifier for NetKAT.
Proc. ACM Program. Lang.
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
2024 — conf
Multisets and Distributions.
Logics and Type Systems in Theory and Practice
Dexter Kozen, Alexandra Silva
2024 B conf
On Iteration in Discrete Probabilistic Programming.
FSCD
Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi
2024 J jnl
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects.
Proc. ACM Program. Lang.
Noam Zilberstein, Angelina Saliling, Alexandra Silva
2024 J jnl
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021.
Formal Methods Syst. Des.
Aws Albarghouthi, K. Rustan M. Leino, Alexandra Silva, Caterina Urban
2024 J jnl
Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants.
CoRR
Noam Zilberstein, Alexandra Silva, Joseph Tassarotti
2024 J jnl
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers.
CoRR
Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva
2024 J jnl
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers.
Proc. ACM Program. Lang.
Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva
2024 J jnl
Total Outcome Logic: Proving Termination and Nontermination in Programs with Branching.
CoRR
James Li, Noam Zilberstein, Alexandra Silva
2023 J jnl
A Coalgebraic Approach to Reducing Finitary Automata.
CoRR
Keri D'Angelo, Alexandra Silva, Gerco van Heerdt, Leon Witzman
2023 A conf
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests.
ESOP
Todd Schmid, Tobias Kappé, Alexandra Silva
2023 J jnl
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests.
CoRR
Todd Schmid, Tobias Kappé, Alexandra Silva
2023 J jnl
A Completeness Theorem for Probabilistic Regular Expressions.
CoRR
Wojciech Rozowski, Alexandra Silva
2023 J jnl
Automata Learning with an Incomplete Teacher (Artifact).
Dagstuhl Artifacts Ser.
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
2023 A conf
Automata Learning with an Incomplete Teacher.
ECOOP
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
2023 J jnl
Conflict-Aware Active Automata Learning.
CoRR
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva
2023 — conf
Conflict-Aware Active Automata Learning.
GandALF
Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva
2023 A* conf
Deterministic stream-sampling for probabilistic programming: semantics and verification.
LICS
Fredrik Dahlqvist, Alexandra Silva, William Smith
2023 J jnl
Deterministic stream-sampling for probabilistic programming: semantics and verification.
CoRR
Fredrik Dahlqvist, Alexandra Silva, William Smith
2023 B conf
Generators and Bases for Monadic Closures.
CALCO
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
2023 B conf
Joint Distributions in Probabilistic Semantics.
MFPS
Dexter Kozen, Alexandra Silva, Erik Voogd
2023 J jnl
Long-Term Mentoring for Computer Science Researchers.
Commun. ACM
Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer
2023 J jnl
Multisets and Distributions.
CoRR
Dexter Kozen, Alexandra Silva
2023 J jnl
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning.
CoRR
Noam Zilberstein, Derek Dreyer, Alexandra Silva
2023 J jnl
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning.
Proc. ACM Program. Lang.
Noam Zilberstein, Derek Dreyer, Alexandra Silva
2023 J jnl
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects.
CoRR
Noam Zilberstein, Angelina Saliling, Alexandra Silva
2023 A* conf
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity.
ICALP
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
2023 J jnl
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity.
CoRR
Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva
2023 J jnl
Symbolic Semantics for Probabilistic Programs (extended version).
CoRR
Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
2023 — conf
Symbolic Semantics for Probabilistic Programs.
QEST
Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski
2022 B ed.
47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, Vienna, Austria, August 22-26, 2022
MFCS
Stefan Szeider, Robert Ganian, Alexandra Silva
2022 — conf
A Categorical Framework for Learning Generalised Tree Automata.
CMCS
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2022 A conf
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks.
ESOP
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
2022 J jnl
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks.
CoRR
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
2022 J jnl
Formalizing Moessner's theorem and generalizations in Nuprl.
J. Log. Algebraic Methods Program.
Mark Bickford, Dexter Kozen, Alexandra Silva
2022 B conf
Guarded Kleene Algebra with Tests: Automata Learning.
MFPS
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
2022 J jnl
Long-Term Mentoring for Computer Science Researchers.
CoRR
Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer
2022 A* conf
Processes Parametrised by an Algebraic Theory.
ICALP
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
2022 J jnl
Processes Parametrised by an Algebraic Theory.
CoRR
Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot
2022 J jnl
Prognosis: Closed-Box Analysis of Network Protocol Implementations.
CoRR
Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva
2022 — conf
Tree-Based Adaptive Model Learning.
A Journey from Process Algebra via Timed Automata to Model Learning
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
2022 J jnl
Tree-Based Adaptive Model Learning.
CoRR
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
2021 B ed.
9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, Salzburg, Austria, August 31 - September 3, 2021
CALCO
Fabio Gadducci, Alexandra Silva
2021 A* conf
A Bunched Logic for Conditional Independence.
LICS
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
2021 J jnl
Actor-based model checking for Software-Defined Networks.
J. Log. Algebraic Methods Program.
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva
2021 B conf
Canonical automata via distributive law homomorphisms.
MFPS
Stefan Zetzsche, Gerco van Heerdt, Alexandra Silva, Matteo Sammartino
2021 — ed.
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
CAV (1)
Alexandra Silva, K. Rustan M. Leino
2021 — ed.
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
CAV (2)
Alexandra Silva, K. Rustan M. Leino
2021 J jnl
Distribution Bisimilarity via the Power of Convex Algebras.
Log. Methods Comput. Sci.
Filippo Bonchi, Alexandra Silva, Ana Sokolova
2021 J jnl
Equivalence checking for weak bi-Kleene algebra.
Log. Methods Comput. Sci.
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2021 A* conf
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness.
ICALP
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
2021 J jnl
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness.
CoRR
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
2021 B conf
Learning Pomset Automata.
FoSSaCS
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2021 J jnl
Learning Pomset Automata.
CoRR
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2021 C ed.
Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings
WoLLIC
Alexandra Silva, Renata Wassermann, Ruy J. G. B. de Queiroz
2021 B conf
On Star Expressions and Coalgebraic Completeness Theorems.
MFPS
Todd Schmid, Jurriaan Rot, Alexandra Silva
2021 J jnl
ProbNV: probabilistic verification of network control planes.
Proc. ACM Program. Lang.
Nick Giannarakis, Alexandra Silva, David Walker
2021 A* conf
Prognosis: closed-box analysis of network protocol implementations.
SIGCOMM
Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva
2020 J jnl
A Categorical Framework for Learning Generalised Tree Automata.
CoRR
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2020 J jnl
A Logic to Reason about Dependence and Independence.
CoRR
Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva
2020 J jnl
Actor-Based Model Checking for SDN Networks.
CoRR
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva
2020 J jnl
Bases for algebras over a monad.
CoRR
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
2020 B conf
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper).
CONCUR
Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva
2020 B conf
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.
FoSSaCS
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2020 J jnl
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness.
CoRR
Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2020 J jnl
Conditional transition systems with upgrades.
Sci. Comput. Program.
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2020 J jnl
EATCS Distinguished Dissertation Award 2020 - Call for Nominations.
Bull. EATCS
Susanne Albers, Nikhil Bansal, Elvira Mayordomo, Dale Miller, Jaroslav Nesetril, Damian Niwinski, David Peleg, Vladimiro Sassone, Alexandra Silva
2020 — book
Foundations of Probabilistic Programming
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
2020 J jnl
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time.
Proc. ACM Program. Lang.
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
2020 B conf
Hennessy-Milner Results for Probabilistic PDL.
MFPS
Tao Gu, Alexandra Silva, Fabio Zanasi
2020 — conf
Learning Automata with Side-Effects.
CMCS
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
2020 B conf
Learning Weighted Automata over Principal Ideal Domains.
FoSSaCS
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
2020 J jnl
Left-handed completeness.
Theor. Comput. Sci.
Dexter Kozen, Alexandra Silva
2020 J jnl
Minimisation in Logical Form.
CoRR
Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva
2020 B conf
Models of Concurrent Kleene Algebra.
LPAR
Alexandra Silva
2020 B conf
Partially Observable Concurrent Kleene Algebra.
CONCUR
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2020 J jnl
Partially Observable Concurrent Kleene Algebra.
CoRR
Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2020 B conf
Preservation of Equations by Monoidal Monads.
MFCS
Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan
2020 J jnl
Preservation of Equations by Monoidal Monads.
CoRR
Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan
2020 — ch.
Semantics of Probabilistic Programming: A Gentle Introduction.
Foundations of Probabilistic Programming
Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen
2020 J jnl
Toward a Uniform Theory of Effectful State Machines.
ACM Trans. Comput. Log.
Sergey Goncharov, Stefan Milius, Alexandra Silva
2019 J jnl
24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017).
Log. J. IGPL
Juliette Kennedy, Ruy J. G. B. de Queiroz, Alexandra Silva, Mehrnoosh Sadrzadeh
2019 J jnl
A (co)algebraic theory of succinct automata.
CoRR
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva
2019 J jnl
A (co)algebraic theory of succinct automata.
J. Log. Algebraic Methods Program.
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva
2019 A* conf
A Kleene Theorem for Nominal Automata.
ICALP
Paul Brunet, Alexandra Silva
2019 — conf
An Algebraic Framework to Reason About Concurrency (Invited Talk).
FSTTCS
Alexandra Silva
2019 B conf
Completeness and Incompleteness of Synchronous Kleene Algebra.
MPC
Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2019 J jnl
Completeness and Incompleteness of Synchronous Kleene Algebra.
CoRR
Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva
2019 B conf
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk).
MFCS
Alexandra Silva
2019 J jnl
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time.
CoRR
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
2019 B conf
Kleene Algebra with Observations.
CONCUR
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2019 — ed.
Language, Logic, and Computation - 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
TbiLLC
Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach
2019 J jnl
Learning Weighted Automata over Principal Ideal Domains.
CoRR
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva
2019 J jnl
On series-parallel pomset languages: Rationality, context-freeness and automata.
J. Log. Algebraic Methods Program.
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2019 J jnl
Scalable Verification of Probabilistic Networks.
CoRR
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
2019 A* conf
Scalable verification of probabilistic networks.
PLDI
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
2019 — conf
Symbolic Register Automata.
CAV (1)
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
2019 B conf
Tree Automata as Algebras: Minimisation and Determinisation.
CALCO
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2019 J jnl
Tree Automata as Algebras: Minimisation and Determinisation.
CoRR
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
2018 J jnl
A coalgebraic treatment of conditional transition systems with upgrades.
Log. Methods Comput. Sci.
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann
2018 A* conf
Almost Sure Productivity.
ICALP
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva
2018 J jnl
Almost Sure Productivity.
CoRR
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva
2018 J jnl
Borel Kernels and their Approximation, Categorically.
CoRR
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Alexandra Silva
2018 B conf
Borel Kernels and their Approximation, Categorically.
MFPS
Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier
2018 J jnl
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic.
Log. Methods Comput. Sci.
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
2018 A conf
Concurrent Kleene Algebra: Free Model and Completeness.
ESOP
Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
2018 C conf
Convex Language Semantics for Nondeterministic Probabilistic Automata.
ICTAC
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
2018 J jnl
Convex Language Semantics for Nondeterministic Probabilistic Automata.
CoRR
Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva
2018 J jnl
Equivalence checking for weak bi-Kleene algebra.
CoRR
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2018 J jnl
Kleene Algebra with Observations.
CoRR
Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi
2018 C conf
Layer by Layer - Combining Monads.
ICTAC
Fredrik Dahlqvist, Louis Parlant, Alexandra Silva
2018 — conf
Learning to Coordinate.
It's All About Coordination
Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva
2018 J jnl
On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata.
CoRR
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2018 B conf
Preface.
MFPS
Alexandra Silva
2018 B conf
SDN-Actors: Modeling and Verification of SDN Programs.
FM
Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva
2018 J jnl
Symbolic Register Automata.
CoRR
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva
2018 B ed.
The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, MFPS 2017, Ljubljana, Slovenia, June 12-15, 2017
MFPS
Alexandra Silva
2017 B conf
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk).
FSCD
Alexandra Silva
2017 B conf
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.
CONCUR
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2017 J jnl
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.
CoRR
Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
2017 B conf
CALF: Categorical Automata Learning Framework.
CSL
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
2017 J jnl
CALF: Categorical Automata Learning Framework.
CoRR
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
2017 A* conf
Cantor meets scott: semantic foundations for probabilistic networks.
POPL
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
2017 J jnl
CoCaml: Functional Programming with Regular Coinductive Types.
Fundam. Informaticae
Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva
2017 J jnl
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic.
CoRR
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
2017 J jnl
Completeness and incompleteness in nominal Kleene algebra.
J. Log. Algebraic Methods Program.
Dexter Kozen, Konstantinos Mamouras, Alexandra Silva
2017 J jnl
Concurrent Kleene Algebra: Free Model and Completeness.
CoRR
Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi
2017 J jnl
Conditional Transition Systems with Upgrades.
CoRR
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2017 Misc conf
Conditional transition systems with upgrades.
TASE
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2017 J jnl
Deciding Probabilistic Program Equivalence in NetKAT.
CoRR
Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
2017 J jnl
Enhanced coalgebraic bisimulation.
Math. Struct. Comput. Sci.
Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva
2017 C ed.
Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
FORTE
Ahmed Bouajjani, Alexandra Silva
2017 J jnl
Layer by layer - Combining Monads.
CoRR
Fredrik Dahlqvist, Louis Parlant, Alexandra Silva
2017 J jnl
Learning Automata with Side-Effects.
CoRR
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
2017 A* conf
Learning nominal automata.
POPL
Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski
2017 J jnl
Practical coinduction.
Math. Struct. Comput. Sci.
Dexter Kozen, Alexandra Silva
2017 B conf
The Power of Convex Algebras.
CONCUR
Filippo Bonchi, Alexandra Silva, Ana Sokolova
2017 J jnl
The Power of Convex Algebras.
CoRR
Filippo Bonchi, Alexandra Silva, Ana Sokolova
2017 J jnl
Well-founded coalgebras, revisited.
Math. Struct. Comput. Sci.
Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva
2016 J jnl
A coalgebraic treatment of conditional transition systems with upgrades.
CoRR
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
2016 J jnl
A coalgebraic view on decorated traces.
Math. Struct. Comput. Sci.
Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva
2016 J jnl
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming.
CoRR
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
2016 B conf
Coalgebraic Learning.
CSL
Alexandra Silva
2016 J jnl
Learning Nominal Automata.
CoRR
Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski
2016 — conf
Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq.
Theory and Practice of Formal Methods
Robbert Krebbers, Louis Parlant, Alexandra Silva
2016 A conf
Probabilistic NetKAT.
ESOP
Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva
2016 J jnl
Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira.
J. Log. Algebraic Methods Program.
Luís Soares Barbosa, Alcino Cunha, Alexandra Silva
2016 J jnl
Report on the POPL mentoring workshop (PLMW 2016).
ACM SIGLOG News
Alexandra Silva
2015 A* conf
A Coalgebraic Decision Procedure for NetKAT.
POPL
Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva, Laure Thompson
2015 J jnl
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version).
CoRR
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
2015 — conf
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning.
RTA
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
2015 J jnl
A short introduction to the coalgebraic method.
ACM SIGLOG News
Alexandra Silva
2015 B conf
Applications of Automata and Concurrency Theory in Networks (Invited Paper).
CONCUR
Alexandra Silva
2015 C conf
Completeness and Incompleteness in Nominal Kleene Algebra.
RAMiCS
Dexter Kozen, Konstantinos Mamouras, Alexandra Silva
2015 J jnl
IMC
J. Internet Serv. Inf. Secur.
Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa
2015 J jnl
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure.
Theor. Comput. Sci.
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
2015 — conf
Nominal Kleene Coalgebra.
ICALP (2)
Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva
2015 J jnl
Preface for the special issue on Interaction and Concurrency Experience 2012.
Sci. Comput. Program.
Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova
2015 J jnl
Trace semantics via determinization.
J. Comput. Syst. Sci.
Bart Jacobs, Alexandra Silva, Ana Sokolova
2014 J jnl
A compositional model to reason about end-to-end QoS in Stochastic Reo connectors.
Sci. Comput. Program.
Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab
2014 J jnl
Algebra-coalgebra duality in Brzozowski's minimization algorithm.
ACM Trans. Comput. Log.
Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva
2014 — conf
Automata Learning: A Categorical Perspective.
Horizons of the Mind
Bart Jacobs, Alexandra Silva
2014 — conf
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure.
CMCS
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
2014 J jnl
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure.
CoRR
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi
2014 — conf
Initial Algebras of Terms with Binding and Algebraic Structure.
Categories and Types in Logic, Language, and Physics
Bart Jacobs, Alexandra Silva
2014 B conf
Preface.
MFPS
Bart Jacobs, Alexandra Silva, Sam Staton
2014 B ed.
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014
MFPS
Bart Jacobs, Alexandra Silva, Sam Staton
2014 Misc conf
Quantitative analysis of Reo-based service coordination.
SAC
Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa
2014 — conf
Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract).
IFIP TCS
Sergey Goncharov, Stefan Milius, Alexandra Silva
2014 J jnl
Towards a Coalgebraic Chomsky Hierarchy.
CoRR
Sergey Goncharov, Stefan Milius, Alexandra Silva
2013 B conf
A Coalgebraic View of ε-Transitions.
CALCO
Alexandra Silva, Bram Westerbaan
2013 J jnl
A Coinductive Treatment of Infinitary Rewriting.
CoRR
Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva
2013 J jnl
Automatic Equivalence Proofs for Non-deterministic Coalgebras
CoRR
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
2013 J jnl
Automatic equivalence proofs for non-deterministic coalgebras.
Sci. Comput. Program.
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
2013 B conf
Brzozowski's and Up-To Algorithms for Must Testing.
APLAS
Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva
2013 J jnl
Generalizing determinization from automata to coalgebras
Log. Methods Comput. Sci.
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten
2013 A conf
Language Constructs for Non-Well-Founded Computation.
ESOP
Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva
2013 J jnl
On Moessner's Theorem.
Am. Math. Mon.
Dexter Kozen, Alexandra Silva
2013 J jnl
Report on CALCO 2013.
Bull. EATCS
Alexandra Silva, Pawel Sobocinski
2013 J jnl
Sound and Complete Axiomatizations of Coalgebraic Language Equivalence.
ACM Trans. Comput. Log.
Marcello M. Bonsangue, Stefan Milius, Alexandra Silva
2012 B conf
A Coalgebraic Perspective on Minimization and Determinization.
FoSSaCS
Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva
2012 J jnl
A coalgebraic perspective on linear weighted automata.
Inf. Comput.
Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva
2012 J jnl
A model of context-dependent component connectors.
Sci. Comput. Program.
Marcello M. Bonsangue, Dave Clarke, Alexandra Silva
2012 — conf
Brzozowski's Algorithm (Co)Algebraically.
Logic and Program Semantics
Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2012 B conf
Final Semantics for Decorated Traces.
MFPS
Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva
2012 C conf
Left-Handed Completeness.
RAMiCS
Dexter Kozen, Alexandra Silva
2012 — ed.
Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Logic and Program Semantics
Robert L. Constable, Alexandra Silva
2012 J jnl
Position Automata for Kleene Algebra with Tests.
Sci. Ann. Comput. Sci.
Alexandra Silva
2012 — ed.
Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012.
ICE
Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova
2012 J jnl
Towards Interaction Reliability in Concurrent Applications.
Sci. Ann. Comput. Sci.
Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva
2012 — conf
Trace Semantics via Determinization.
CMCS
Bart Jacobs, Alexandra Silva, Ana Sokolova
2011 — conf
A Specification Language for Reo Connectors.
FSEN
Alexandra Silva
2011 J jnl
Concurrency and Interaction in Complex Systems.
Sci. Ann. Comput. Sci.
Sonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina
2011 J jnl
Preface.
Theor. Comput. Sci.
Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva
2011 — ed.
Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011.
ICE
Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone
2011 J jnl
Quantitative Kleene coalgebras.
Inf. Comput.
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten
2011 B conf
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems.
MFPS
Alexandra Silva, Ana Sokolova
2011 J jnl
Sound and complete axiomatizations of coalgebraic language equivalence
CoRR
Marcello M. Bonsangue, Stefan Milius, Alexandra Silva
2010 — conf
A Compositional Semantics for Stochastic Reo Connectors
FOCLASA
Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab
2010 — conf
A Decision Procedure for Bisimilarity of Generalized Regular Expressions.
SBMF
Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva
2010 J jnl
A coinductive calculus of binary trees.
Inf. Comput.
Alexandra Silva, Jan J. M. M. Rutten
2010 — conf
Generalizing the powerset construction, coalgebraically.
FSTTCS
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten
2010 J jnl
Non-Deterministic Kleene Coalgebras
Log. Methods Comput. Sci.
Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten
2010 — conf
Preface.
CMCS@ETAPS
Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva
2010 — ed.
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010.
ICE
Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva
2010 — ed.
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010
CMCS@ETAPS
Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva
2009 B conf
A Kleene Theorem for Polynomial Coalgebras.
FoSSaCS
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2009 A* conf
An Algebra for Kripke Polynomial Coalgebras.
LICS
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2009 C conf
Automata for Context-Dependent Connectors.
COORDINATION
Marcello M. Bonsangue, Dave Clarke, Alexandra Silva
2009 B conf
Deriving Syntax and Axioms for Quantitative Regular Behaviours.
CONCUR
Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2008 — conf
Calculating Invariants as Coreflexive Bisimulations.
AMAST
Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva
2008 B conf
Coalgebraic Logic and Synthesis of Mealy Machines.
FoSSaCS
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva
2007 C conf
Behavioural Differential Equations and Coinduction for Binary Trees.
WoLLIC
Alexandra Silva, Jan J. M. M. Rutten
2006 C conf
Strong types for relational databases.
Haskell
Alexandra Silva, Joost Visser