Publications
You can also find a list of my publications on DBLP and Google Scholar.
2026
- Denotational Semantics for Probabilistic and Concurrent Programs
ACM TOPLAS 2026
doi bibtex
@article{Zilberstein2026b, author = {Noam Zilberstein and Daniele Gorla and Alexandra Silva}, doi = {10.1145/3840298}, journal = {ACM Transactions on Programming Languages and Systems (ACM TOPLAS)}, title = {Denotational Semantics for Probabilistic and Concurrent Programs}, year = {2026} } - Weighted NetKAT: A Programming Language for Quantitative Network Verification
PACMPL (PLDI) 2026
pdf doi bibtex
@article{Acevedo2026, pdf = {https://arxiv.org/pdf/2604.13987}, author = {Emmanuel {Su{\'{a}}rez Acevedo} and Tiago Ferreira and Kevin Batz and Oliver B{\o}ving and Nate Foster and Alexandra Silva}, doi = {10.1145/3808318}, journal = {Proceedings of the ACM Transactions on Programming Languages (PACMPL)}, number = {PLDI}, title = {Weighted NetKAT: {A} Programming Language for Quantitative Network Verification}, year = {2026} } - A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
ICALP 2026
pdf doi bibtex
@inproceedings{Rozowski2026, pdf = {https://arxiv.org/pdf/2604.27268}, author = {Wojciech Rozowski and Robin Piedeleu and Alexandra Silva and Fabio Zanasi}, booktitle = {International Colloquium on Automata, Languages, and Programming (ICALP)}, doi = {10.4230/LIPIcs.ICALP.2026.190}, title = {A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes}, year = {2026} } - SMT-Based Active Learning of Weighted Automata
CAV 2026
pdf doi bibtex
@inproceedings{Ferreira2026, pdf = {https://arxiv.org/pdf/2605.07758}, author = {Tiago Ferreira and Kevin Batz and Alexandra Silva}, booktitle = {International Conference on Computer Aided Verification (CAV)}, doi = {10.1007/978-3-032-32526-6\_15}, title = {SMT-Based Active Learning of Weighted Automata}, year = {2026} } - 40th European Conference on Object-Oriented Programming, ECOOP 2026, June 29 to July 3, 2026, Brussels, Belgium
Edited volume 2026
link bibtex
@proceedings{Krebbers2026, editor = {Robbert Krebbers and Alexandra Silva}, title = {40th European Conference on Object-Oriented Programming, {ECOOP} 2026, June 29 to July 3, 2026, Brussels, Belgium}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-423-9}, year = {2026} } - Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
PACMPL (POPL) 2026
🏆 Distinguished Paper Award
pdf doi bibtex
@article{Zilberstein2026, pdf = {https://arxiv.org/pdf/2411.11662}, author = {Noam Zilberstein and Alexandra Silva and Joseph Tassarotti}, doi = {10.1145/3776651}, journal = {Proceedings of the ACM Transactions on Programming Languages (PACMPL)}, number = {POPL}, note = {Distinguished Paper Award}, title = {Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants}, year = {2026} } - A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
CSL 2026
pdf doi bibtex
@inproceedings{TorresRuiz2026, pdf = {https://arxiv.org/pdf/2510.04649}, author = {Mateo Torres{-}Ruiz and Robin Piedeleu and Alexandra Silva and Fabio Zanasi}, booktitle = {EACSL Annual Conference on Computer Science Logic (CSL)}, doi = {10.4230/LIPICS.CSL.2026.11}, title = {A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures}, year = {2026} } - Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
ESOP 2026
pdf doi bibtex
@inproceedings{Zhang2026, pdf = {https://arxiv.org/pdf/2601.09986}, author = {Cheng Zhang and Qiancheng Fu and Hang Ji and Ines {Santacruz Del Valle} and Alexandra Silva and Marco Gaboardi}, booktitle = {European Symposium on Programming (ESOP)}, doi = {10.1007/978-3-032-22723-2\_14}, title = {Outrunning Big {KATs}: Efficient Decision Procedures for Variants of {GKAT}}, year = {2026} }
2025
- StacKAT: Infinite State Network Verification
PACMPL (PLDI) 2025
pdf doi bibtex
@article{Jacobs2025, pdf = {https://arxiv.org/pdf/2506.13383}, author = {Jules Jacobs and Nate Foster and Tobias Kapp{\'{e}} and Dexter Kozen and Lily Saada and Alexandra Silva and Jana Wagemaker}, doi = {10.1145/3729257}, journal = {Proceedings of the ACM Transactions on Programming Languages (PACMPL)}, number = {PLDI}, title = {StacKAT: Infinite State Network Verification}, year = {2025} } - Active Learning of Symbolic NetKAT Automata
PACMPL (PLDI) 2025
pdf doi bibtex
@article{Moeller2025, pdf = {https://arxiv.org/pdf/2504.13794}, author = {Mark Moeller and Tiago Ferreira and Thomas Lu and Nate Foster and Alexandra Silva}, doi = {10.1145/3729295}, journal = {Proceedings of the ACM Transactions on Programming Languages (PACMPL)}, number = {PLDI}, title = {Active Learning of Symbolic NetKAT Automata}, year = {2025} } - 39th European Conference on Object-Oriented Programming, ECOOP 2025, June 30 to July 2, 2025, Bergen, Norway
Edited volume 2025
link bibtex
@proceedings{Aldrich2025, editor = {Jonathan Aldrich and Alexandra Silva}, title = {39th European Conference on Object-Oriented Programming, {ECOOP} 2025, June 30 to July 2, 2025, Bergen, Norway}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-373-7}, year = {2025} } - Weighted GKAT: Completeness and Complexity
ICALP 2025
pdf doi bibtex
@inproceedings{Koevering2025, pdf = {https://arxiv.org/pdf/2504.20385}, author = {Spencer Van Koevering and Wojciech Rozowski and Alexandra Silva}, booktitle = {International Colloquium on Automata, Languages, and Programming (ICALP)}, doi = {10.4230/LIPICS.ICALP.2025.172}, title = {Weighted {GKAT:} Completeness and Complexity}, year = {2025} } - A Complete Diagrammatic Calculus for Automata Simulation
CSL 2025
pdf doi bibtex
@inproceedings{Antoine2025, pdf = {https://drops.dagstuhl.de/storage/00lipics/lipics-vol326-csl2025/LIPIcs.CSL.2025.27/LIPIcs.CSL.2025.27.pdf}, author = {Thibaut Antoine and Robin Piedeleu and Alexandra Silva and Fabio Zanasi}, booktitle = {EACSL Annual Conference on Computer Science Logic (CSL)}, doi = {10.4230/LIPICS.CSL.2025.27}, title = {A Complete Diagrammatic Calculus for Automata Simulation}, year = {2025} } - A Complete Inference System for Probabilistic Infinite Trace Equivalence
CSL 2025
pdf doi bibtex
@inproceedings{Cirstea2025, pdf = {https://drops.dagstuhl.de/storage/00lipics/lipics-vol326-csl2025/LIPIcs.CSL.2025.30/LIPIcs.CSL.2025.30.pdf}, author = {Corina C{\^{\i}}rstea and Lawrence S. Moss and Victoria Noquez and Todd Schmid and Alexandra Silva and Ana Sokolova}, booktitle = {EACSL Annual Conference on Computer Science Logic (CSL)}, doi = {10.4230/LIPICS.CSL.2025.30}, title = {A Complete Inference System for Probabilistic Infinite Trace Equivalence}, year = {2025} } - On Formal Methods Thinking in Computer Science Education
FAC 2025
doi bibtex
@article{Dongol2025, author = {Brijesh Dongol and Catherine Dubois and Stefan Hallerstede and Eric C. R. Hehner and Carroll Morgan and Peter M{\"{u}}ller and Leila Ribeiro and Alexandra Silva and Graeme Smith and Erik P. de Vink}, doi = {10.1145/3670419}, journal = {Formal Aspects of Computing (FAC)}, title = {On Formal Methods Thinking in Computer Science Education}, year = {2025} } - Convex language semantics for nondeterministic probabilistic automata
TCS 2025
pdf doi bibtex
@article{Heerdt2025, pdf = {https://arxiv.org/pdf/1805.11550}, author = {Gerco van Heerdt and Justin Hsu and Jo{\"{e}}l Ouaknine and Alexandra Silva}, doi = {10.1016/J.TCS.2025.115191}, journal = {Theoretical Computer Science (TCS)}, title = {Convex language semantics for nondeterministic probabilistic automata}, year = {2025} } - A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
ESOP 2025
pdf doi bibtex
@inproceedings{Piedeleu2025, pdf = {https://arxiv.org/pdf/2408.14701}, author = {Robin Piedeleu and Mateo Torres{-}Ruiz and Alexandra Silva and Fabio Zanasi}, booktitle = {European Symposium on Programming (ESOP)}, doi = {10.1007/978-3-031-91121-7\_9}, title = {A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming}, year = {2025} } - Denotational Semantics for Probabilistic and Concurrent Programs
CONCUR 2025
pdf doi bibtex
@inproceedings{Zilberstein2025a, pdf = {https://arxiv.org/pdf/2503.02768}, author = {Noam Zilberstein and Daniele Gorla and Alexandra Silva}, booktitle = {International Conference on Concurrency Theory (CONCUR)}, doi = {10.4230/LIPIcs.CONCUR.2025.39}, title = {Denotational Semantics for Probabilistic and Concurrent Programs}, year = {2025} } - A Demonic Outcome Logic for Randomized Nondeterminism
PACMPL (POPL) 2025
pdf doi bibtex
@article{Zilberstein2025, pdf = {https://arxiv.org/pdf/2410.22540}, author = {Noam Zilberstein and Dexter Kozen and Alexandra Silva and Joseph Tassarotti}, doi = {10.1145/3704855}, journal = {Proceedings of the ACM Transactions on Programming Languages (PACMPL)}, number = {POPL}, title = {A Demonic Outcome Logic for Randomized Nondeterminism}, year = {2025} }
2024
- Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021
Formal Methods in System Design 2024
doi bibtex
@article{Albarghouthi2024, author = {Aws Albarghouthi and K. Rustan M. Leino and Alexandra Silva and Caterina Urban}, doi = {10.1007/S10703-024-00459-W}, journal = {Formal Methods in System Design}, title = {Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021}, keywords={preface}, year = {2024} } - A Categorical Approach to DIBI Models
FSCD 2024
pdf doi bibtex
@inproceedings{Gu2024, pdf = {https://arxiv.org/pdf/2401.05842}, author = {Tao Gu and Jialu Bao and Justin Hsu and Alexandra Silva and Fabio Zanasi}, booktitle = {International Conference on Formal Structures for Computation and Deduction (FSCD)}, doi = {10.4230/LIPICS.FSCD.2024.17}, title = {A Categorical Approach to {DIBI} Models}, year = {2024} } - Multisets and Distributions
Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday 2024
pdf doi bibtex
@inproceedings{Kozen2024, pdf = {https://arxiv.org/pdf/2301.10812}, author = {Dexter Kozen and Alexandra Silva}, booktitle = {Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday}, doi = {10.1007/978-3-031-61716-4\_11}, title = {Multisets and Distributions}, year = {2024} } - 35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada
Edited volume 2024
link bibtex
@proceedings{Majumdar2024, editor = {Rupak Majumdar and Alexandra Silva}, title = {35th International Conference on Concurrency Theory, {CONCUR} 2024, September 9-13, 2024, Calgary, Canada}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-339-3}, year = {2024} } - KATch: A Fast Symbolic Verifier for NetKAT
PACMPL (PLDI) 2024
pdf doi bibtex
@article{Moeller2024, pdf = {https://arxiv.org/pdf/2404.04760}, author = {Mark Moeller and Jules Jacobs and Olivier Savary B{\'{e}}langer and David Darais and Cole Schlesinger and Steffen Smolka and Nate Foster and Alexandra Silva}, doi = {10.1145/3656454}, journal = {Proceedings of the ACM Transactions on Programming Languages (PACMPL)}, number = {PLDI}, title = {KATch: {A} Fast Symbolic Verifier for NetKAT}, year = {2024} } - 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy
Edited volume 2024
link bibtex
@proceedings{Murano2024, editor = {Aniello Murano and Alexandra Silva}, title = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024, February 19-23, 2024, Naples, Italy}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-310-2}, year = {2024} } - A Cyclic Proof System for Guarded Kleene Algebra with Tests
IJCAR 2024
pdf doi bibtex
@inproceedings{Rooduijn2024, pdf = {https://arxiv.org/pdf/2405.07505}, author = {Jan Rooduijn and Dexter Kozen and Alexandra Silva}, booktitle = {International Joint Conference on Automated Reasoning (IJCAR)}, doi = {10.1007/978-3-031-63501-4\_14}, title = {A Cyclic Proof System for Guarded Kleene Algebra with Tests}, year = {2024} } - A Completeness Theorem for Probabilistic Regular Expressions
LICS 2024
pdf doi bibtex
@inproceedings{Rozowski2024, pdf = {https://arxiv.org/pdf/2310.08779}, author = {Wojciech Rozowski and Alexandra Silva}, booktitle = {ACM/IEEE Symposium on Logic in Computer Science (LICS)}, doi = {10.1145/3661814.3662084}, title = {A Completeness Theorem for Probabilistic Regular Expressions}, year = {2024} } - On Iteration in Discrete Probabilistic Programming
FSCD 2024
pdf doi bibtex
@inproceedings{TorresRuiz2024, pdf = {https://drops.dagstuhl.de/storage/00lipics/lipics-vol299-fscd2024/LIPIcs.FSCD.2024.20/LIPIcs.FSCD.2024.20.pdf}, author = {Mateo Torres{-}Ruiz and Robin Piedeleu and Alexandra Silva and Fabio Zanasi}, booktitle = {International Conference on Formal Structures for Computation and Deduction (FSCD)}, doi = {10.4230/LIPICS.FSCD.2024.20}, title = {On Iteration in Discrete Probabilistic Programming}, year = {2024} } - Correct and Complete Symbolic Execution for Free
IFM 2024
pdf doi bibtex
@inproceedings{Voogd2024, pdf = {https://arxiv.org/pdf/2606.21698}, author = {Erik Voogd and Einar Broch Johnsen and {\AA}smund Aqissiaq Arild Kl{\o}vstad and Jurriaan Rot and Alexandra Silva}, booktitle = {International Conference on Integrated Formal Methods (IFM)}, doi = {10.1007/978-3-031-76554-4\_13}, title = {Correct and Complete Symbolic Execution for Free}, year = {2024} } - Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
PACMPL (OOPSLA2) 2024
pdf doi bibtex
@article{Zhang2024, pdf = {https://arxiv.org/pdf/2404.05097}, author = {Linpeng Zhang and Noam Zilberstein and Benjamin Lucien Kaminski and Alexandra Silva}, doi = {10.1145/3689740}, journal = {Proceedings of the ACM Transactions on Programming Languages (PACMPL)}, number = {OOPSLA2}, title = {Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers}, year = {2024} } - Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
PACMPL (OOPSLA1) 2024
pdf doi bibtex
@article{Zilberstein2024, pdf = {https://arxiv.org/pdf/2305.04842}, author = {Noam Zilberstein and Angelina Saliling and Alexandra Silva}, doi = {10.1145/3649821}, journal = {Proceedings of the ACM Transactions on Programming Languages (PACMPL)}, number = {OOPSLA1}, title = {Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects}, year = {2024} }
2023
- Minimisation in Logical Form
Samson Abramsky on Logic and Structure in Computer Science and Beyond 2023
pdf doi bibtex
@incollection{Bezhanishvili2023, pdf = {https://arxiv.org/pdf/2005.11551}, author = {Nick Bezhanishvili and Marcello M. Bonsangue and Helle Hvid Hansen and Dexter Kozen and Clemens Kupke and Prakash Panangaden and Alexandra Silva}, booktitle = {Samson Abramsky on Logic and Structure in Computer Science and Beyond}, doi = {10.1007/978-3-031-24117-8_3}, title = {Minimisation in Logical Form}, year = {2023} } - Deterministic stream-sampling for probabilistic programming: semantics and verification
LICS 2023
pdf doi bibtex
@inproceedings{Dahlqvist2023, pdf = {https://arxiv.org/pdf/2304.13504}, author = {Fredrik Dahlqvist and Alexandra Silva and William Smith}, booktitle = {ACM/IEEE Symposium on Logic in Computer Science (LICS)}, doi = {10.1109/LICS56636.2023.10175773}, title = {Deterministic stream-sampling for probabilistic programming: semantics and verification}, year = {2023} } - Conflict-Aware Active Automata Learning
GandALF 2023
pdf doi bibtex
@inproceedings{Ferreira2023, pdf = {https://arxiv.org/pdf/2308.14781}, author = {Tiago Ferreira and L{\'{e}}o Henry and Raquel Fernandes da Silva and Alexandra Silva}, booktitle = {International Symposium on Games, Automata, Logics, and Formal Verification (GandALF)}, doi = {10.4204/EPTCS.390.10}, title = {Conflict-Aware Active Automata Learning}, year = {2023} } - Joint Distributions in Probabilistic Semantics
MFPS 2023
pdf doi bibtex
@inproceedings{Kozen2023, pdf = {https://arxiv.org/pdf/2309.06913}, author = {Dexter Kozen and Alexandra Silva and Erik Voogd}, booktitle = {Mathematical Foundations of Programming Semantics (MFPS)}, doi = {10.46298/ENTICS.12279}, title = {Joint Distributions in Probabilistic Semantics}, year = {2023} } - Automata Learning with an Incomplete Teacher (Artifact)
Dagstuhl Artifacts Ser. 2023
doi bibtex
@article{Moeller2023, author = {Mark Moeller and Thomas Wiener and Alaia Solko{-}Breslin and Caleb Koch and Nate Foster and Alexandra Silva}, doi = {10.4230/DARTS.9.2.21}, journal = {Dagstuhl Artifacts Ser.}, title = {Automata Learning with an Incomplete Teacher (Artifact)}, keywords = {other}, year = {2023} } - Automata Learning with an Incomplete Teacher
ECOOP 2023
doi link bibtex
@inproceedings{Moeller2023a, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.21}, author = {Mark Moeller and Thomas Wiener and Alaia Solko{-}Breslin and Caleb Koch and Nate Foster and Alexandra Silva}, booktitle = {European Conference on Object-Oriented Programming (ECOOP)}, doi = {10.4230/LIPICS.ECOOP.2023.21}, title = {Automata Learning with an Incomplete Teacher}, year = {2023} } - Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
ICALP 2023
pdf doi bibtex
@inproceedings{Rozowski2023, pdf = {https://arxiv.org/pdf/2305.01755}, author = {Wojciech Rozowski and Tobias Kapp{\'{e}} and Dexter Kozen and Todd Schmid and Alexandra Silva}, booktitle = {International Colloquium on Automata, Languages, and Programming (ICALP)}, doi = {10.4230/LIPICS.ICALP.2023.136}, title = {Probabilistic Guarded {KAT} Modulo Bisimilarity: Completeness and Complexity}, year = {2023} } - Long-Term Mentoring for Computer Science Researchers
Commun. ACM 2023
pdf doi bibtex
@article{Ruppel2023, pdf = {https://arxiv.org/pdf/2208.04738}, author = {Emily Ruppel and Sihang Liu and Elba Garza and Sukyoung Ryu and Alexandra Silva and Talia Ringer}, doi = {10.1145/3564287}, journal = {Commun. ACM}, title = {Long-Term Mentoring for Computer Science Researchers}, year = {2023} } - A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
ESOP 2023
pdf doi bibtex
@inproceedings{Schmid2023, pdf = {https://arxiv.org/pdf/2301.11301}, author = {Todd Schmid and Tobias Kapp{\'{e}} and Alexandra Silva}, booktitle = {European Symposium on Programming (ESOP)}, doi = {10.1007/978-3-031-30044-8\_12}, title = {A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests}, year = {2023} } - Symbolic Semantics for Probabilistic Programs
QEST 2023
pdf doi bibtex
@inproceedings{Voogd2023, pdf = {https://arxiv.org/pdf/2307.09951}, author = {Erik Voogd and Einar Broch Johnsen and Alexandra Silva and Zachary J. Susag and Andrzej Wasowski}, booktitle = {International Conference on Quantitative Evaluation of Systems (QEST)}, doi = {10.1007/978-3-031-43835-6\_23}, title = {Symbolic Semantics for Probabilistic Programs}, year = {2023} } - Generators and Bases for Monadic Closures
CALCO 2023
pdf doi bibtex
@inproceedings{Zetzsche2023, pdf = {https://arxiv.org/pdf/2010.10223}, author = {Stefan Zetzsche and Alexandra Silva and Matteo Sammartino}, booktitle = {Conference on Algebra and Coalgebra in Computer Science (CALCO)}, doi = {10.4230/LIPICS.CALCO.2023.11}, title = {Generators and Bases for Monadic Closures}, year = {2023} } - Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
PACMPL (OOPSLA1) 2023
pdf doi bibtex
@article{Zilberstein2023, pdf = {https://arxiv.org/pdf/2303.03111}, author = {Noam Zilberstein and Derek Dreyer and Alexandra Silva}, doi = {10.1145/3586045}, journal = {Proceedings of the ACM Transactions on Programming Languages (PACMPL)}, number = {OOPSLA1}, title = {Outcome Logic: {A} Unifying Foundation for Correctness and Incorrectness Reasoning}, year = {2023} }
2022
- Formalizing Moessner's theorem and generalizations in Nuprl
JLAMP 2022
doi bibtex
@article{Bickford2022, author = {Mark Bickford and Dexter Kozen and Alexandra Silva}, doi = {10.1016/J.JLAMP.2021.100713}, journal = {Journal of Logical and Algebraic Methods in Programming (JLAMP)}, title = {Formalizing Moessner's theorem and generalizations in Nuprl}, year = {2022} } - Tree-Based Adaptive Model Learning
A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday 2022
pdf doi bibtex
@inproceedings{Ferreira2022, pdf = {https://arxiv.org/pdf/2209.00122}, author = {Tiago Ferreira and Gerco van Heerdt and Alexandra Silva}, booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday}, doi = {10.1007/978-3-031-15629-8\_10}, title = {Tree-Based Adaptive Model Learning}, year = {2022} } - A Categorical Framework for Learning Generalised Tree Automata
CMCS 2022
pdf doi bibtex
@inproceedings{Heerdt2022, pdf = {https://arxiv.org/pdf/2001.05786}, author = {Gerco van Heerdt and Tobias Kapp{\'{e}} and Jurriaan Rot and Matteo Sammartino and Alexandra Silva}, booktitle = {International Workshop on Coalgebraic Methods in Computer Science (CMCS)}, doi = {10.1007/978-3-031-10736-8\_4}, title = {A Categorical Framework for Learning Generalised Tree Automata}, year = {2022} } - Processes Parametrised by an Algebraic Theory
ICALP 2022
pdf doi bibtex
@inproceedings{Schmid2022, pdf = {https://arxiv.org/pdf/2202.06901}, author = {Todd Schmid and Wojciech Rozowski and Alexandra Silva and Jurriaan Rot}, booktitle = {International Colloquium on Automata, Languages, and Programming (ICALP)}, doi = {10.4230/LIPICS.ICALP.2022.132}, title = {Processes Parametrised by an Algebraic Theory}, year = {2022} } - 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria
Edited volume 2022
link bibtex
@proceedings{Szeider2022, editor = {Stefan Szeider and Robert Ganian and Alexandra Silva}, title = {47th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2022, August 22-26, 2022, Vienna, Austria}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-256-3}, year = {2022} } - Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks
ESOP 2022
pdf doi bibtex
@inproceedings{Wagemaker2022, pdf = {https://arxiv.org/pdf/2201.10485}, author = {Jana Wagemaker and Nate Foster and Tobias Kapp{\'{e}} and Dexter Kozen and Jurriaan Rot and Alexandra Silva}, booktitle = {European Symposium on Programming (ESOP)}, doi = {10.1007/978-3-030-99336-8\_21}, title = {Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks}, year = {2022} } - Guarded Kleene Algebra with Tests: Automata Learning
MFPS 2022
pdf doi bibtex
@inproceedings{Zetzsche2022, pdf = {https://arxiv.org/pdf/2204.14153}, author = {Stefan Zetzsche and Alexandra Silva and Matteo Sammartino}, booktitle = {Mathematical Foundations of Programming Semantics (MFPS)}, doi = {10.46298/ENTICS.10505}, title = {Guarded Kleene Algebra with Tests: Automata Learning}, year = {2022} }
2021
- Actor-based model checking for Software-Defined Networks
JLAMP 2021
pdf doi bibtex
@article{Albert2021, pdf = {https://arxiv.org/pdf/2001.10022}, author = {Elvira Albert and Miguel G{\'{o}}mez{-}Zamalloa and Miguel Isabel and Albert Rubio and Matteo Sammartino and Alexandra Silva}, doi = {10.1016/J.JLAMP.2020.100617}, journal = {Journal of Logical and Algebraic Methods in Programming (JLAMP)}, title = {Actor-based model checking for Software-Defined Networks}, year = {2021} } - A Bunched Logic for Conditional Independence
LICS 2021
pdf doi bibtex
@inproceedings{Bao2021, pdf = {https://arxiv.org/pdf/2008.09231}, author = {Jialu Bao and Simon Docherty and Justin Hsu and Alexandra Silva}, booktitle = {ACM/IEEE Symposium on Logic in Computer Science (LICS)}, doi = {10.1109/LICS52264.2021.9470712}, title = {A Bunched Logic for Conditional Independence}, year = {2021} } - Distribution Bisimilarity via the Power of Convex Algebras
LMCS 2021
pdf doi bibtex
@article{Bonchi2021, pdf = {https://arxiv.org/pdf/1707.02344}, author = {Filippo Bonchi and Alexandra Silva and Ana Sokolova}, doi = {10.46298/LMCS-17(3:10)2021}, journal = {Logical Methods in Computer Science (LMCS)}, title = {Distribution Bisimilarity via the Power of Convex Algebras}, year = {2021} } - Prognosis: closed-box analysis of network protocol implementations
SIGCOMM 2021
pdf doi bibtex
@inproceedings{Ferreira2021, pdf = {https://arxiv.org/pdf/2201.02577}, author = {Tiago Ferreira and Harrison Brewton and Loris D'Antoni and Alexandra Silva}, booktitle = {Conference of the ACM Special Interest Group on Data Communication (SIGCOMM)}, doi = {10.1145/3452296.3472938}, title = {Prognosis: closed-box analysis of network protocol implementations}, year = {2021} } - 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria
Edited volume 2021
link bibtex
@proceedings{Gadducci2021, editor = {Fabio Gadducci and Alexandra Silva}, title = {9th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2021, August 31 to September 3, 2021, Salzburg, Austria}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-212-9}, year = {2021} } - ProbNV: probabilistic verification of network control planes
PACMPL (ICFP) 2021
doi bibtex
@article{Giannarakis2021, author = {Nick Giannarakis and Alexandra Silva and David Walker}, doi = {10.1145/3473595}, journal = {Proceedings of the ACM Transactions on Programming Languages (PACMPL)}, number = {ICFP}, title = {ProbNV: probabilistic verification of network control planes}, year = {2021} } - Learning Pomset Automata
FOSSACS 2021
pdf doi bibtex
@inproceedings{Heerdt2021, pdf = {https://arxiv.org/pdf/2102.07504}, author = {Gerco van Heerdt and Tobias Kapp{\'{e}} and Jurriaan Rot and Alexandra Silva}, booktitle = {International Conference on Foundations of Software Science and Computation Structures (FOSSACS)}, doi = {10.1007/978-3-030-71995-1\_26}, title = {Learning Pomset Automata}, year = {2021} } - Equivalence checking for weak bi-Kleene algebra
LMCS 2021
pdf doi bibtex
@article{Kappe2021, pdf = {https://arxiv.org/pdf/1807.02102}, author = {Tobias Kapp{\'{e}} and Paul Brunet and Bas Luttik and Alexandra Silva and Fabio Zanasi}, doi = {10.46298/LMCS-17(3:19)2021}, journal = {Logical Methods in Computer Science (LMCS)}, title = {Equivalence checking for weak bi-Kleene algebra}, year = {2021} } - Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness
ICALP 2021
pdf doi bibtex
@inproceedings{Schmid2021, pdf = {https://arxiv.org/pdf/2102.08286}, author = {Todd Schmid and Tobias Kapp{\'{e}} and Dexter Kozen and Alexandra Silva}, booktitle = {International Colloquium on Automata, Languages, and Programming (ICALP)}, doi = {10.4230/LIPICS.ICALP.2021.142}, title = {Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness}, year = {2021} } - On Star Expressions and Coalgebraic Completeness Theorems
MFPS 2021
pdf doi bibtex
@inproceedings{Schmid2021a, pdf = {https://arxiv.org/pdf/2106.08074}, author = {Todd Schmid and Jurriaan Rot and Alexandra Silva}, booktitle = {Mathematical Foundations of Programming Semantics (MFPS)}, doi = {10.4204/EPTCS.351.15}, title = {On Star Expressions and Coalgebraic Completeness Theorems}, year = {2021} } - Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Edited volume 2021
doi bibtex
@proceedings{Silva2021, doi = {10.1007/978-3-030-81685-8}, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}}, year = {2021} } - Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Edited volume 2021
doi bibtex
@proceedings{Silva2021a, doi = {10.1007/978-3-030-81688-9}, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}}, year = {2021} } - Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings
Edited volume 2021
doi bibtex
@proceedings{Silva2021aa, doi = {10.1007/978-3-030-88853-4}, editor = {Alexandra Silva and Renata Wassermann and Ruy J. G. B. de Queiroz}, title = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings}, year = {2021} } - Canonical automata via distributive law homomorphisms
MFPS 2021
pdf doi bibtex
@inproceedings{Zetzsche2021, pdf = {https://arxiv.org/pdf/2104.13421}, author = {Stefan Zetzsche and Gerco van Heerdt and Alexandra Silva and Matteo Sammartino}, booktitle = {Mathematical Foundations of Programming Semantics (MFPS)}, doi = {10.4204/EPTCS.351.18}, title = {Canonical automata via distributive law homomorphisms}, year = {2021} }
2020
- CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)
CONCUR 2020
doi bibtex
@inproceedings{Aceto2020, author = {Luca Aceto and Jos C. M. Baeten and Patricia Bouyer{-}Decitre and Holger Hermanns and Alexandra Silva}, booktitle = {International Conference on Concurrency Theory (CONCUR)}, doi = {10.4230/LIPICS.CONCUR.2020.5}, title = {{CONCUR} Test-Of-Time Award 2020 Announcement (Invited Paper)}, keywords = {other}, year = {2020} } - EATCS Distinguished Dissertation Award 2020 - Call for Nominations
EATCS Bulletin 2020
link bibtex
@article{Albers2020, author = {Susanne Albers and Nikhil Bansal and Elvira Mayordomo and Dale Miller and Jaroslav Nesetril and Damian Niwinski and David Peleg and Vladimiro Sassone and Alexandra Silva}, journal = {EATCS Bulletin}, title = {{EATCS} Distinguished Dissertation Award 2020 - Call for Nominations}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/636}, keywords = {other}, year = {2020} } - Foundations of Probabilistic Programming
2020
doi bibtex
@book{Barthe2020, doi = {10.1017/9781108770750}, editor = {Gilles Barthe and Joost{-}Pieter Katoen and Alexandra Silva}, title = {Foundations of Probabilistic Programming}, keywords = {preface}, year = {2020} } - Conditional transition systems with upgrades
SCP 2020
pdf doi bibtex
@article{Beohar2020, pdf = {https://arxiv.org/pdf/1706.02526}, author = {Harsh Beohar and Barbara K{\"{o}}nig and Sebastian K{\"{u}}pper and Alexandra Silva}, doi = {10.1016/J.SCICO.2019.102320}, journal = {Science of Computer Programming (SCP)}, title = {Conditional transition systems with upgrades}, year = {2020} } - Semantics of Probabilistic Programming: A Gentle Introduction
Foundations of Probabilistic Programming 2020
doi link bibtex
@incollection{Dahlqvist2020, url = {https://www.cambridge.org/core/books/foundations-of-probabilistic-programming/semantics-of-probabilistic-programming-a-gentle-introduction/A7964205E44B5234A78C661192E294E1}, author = {Fredrik Dahlqvist and Alexandra Silva and Dexter Kozen}, booktitle = {Foundations of Probabilistic Programming}, doi = {10.1017/9781108770750.002}, title = {Semantics of Probabilistic Programming: {A} Gentle Introduction}, year = {2020} } - Toward a Uniform Theory of Effectful State Machines
ACM TOCL 2020
pdf doi bibtex
@article{Goncharov2020, pdf = {https://arxiv.org/pdf/1401.5277}, author = {Sergey Goncharov and Stefan Milius and Alexandra Silva}, doi = {10.1145/3372880}, journal = {ACM Transactions on Computational Logic (ACM TOCL)}, title = {Toward a Uniform Theory of Effectful State Machines}, year = {2020} } - Hennessy-Milner Results for Probabilistic PDL
MFPS 2020
doi bibtex
@inproceedings{Gu2020, author = {Tao Gu and Alexandra Silva and Fabio Zanasi}, booktitle = {Mathematical Foundations of Programming Semantics (MFPS)}, doi = {10.1016/J.ENTCS.2020.09.014}, title = {Hennessy-Milner Results for Probabilistic {PDL}}, year = {2020} } - Learning Automata with Side-Effects
CMCS 2020
doi bibtex
@inproceedings{Heerdt2020, author = {Gerco van Heerdt and Matteo Sammartino and Alexandra Silva}, booktitle = {International Workshop on Coalgebraic Methods in Computer Science (CMCS)}, doi = {10.1007/978-3-030-57201-3\_5}, title = {Learning Automata with Side-Effects}, year = {2020} } - Learning Weighted Automata over Principal Ideal Domains
FOSSACS 2020
pdf doi bibtex
@inproceedings{Heerdt2020a, pdf = {https://arxiv.org/pdf/1911.04404}, author = {Gerco van Heerdt and Clemens Kupke and Jurriaan Rot and Alexandra Silva}, booktitle = {International Conference on Foundations of Software Science and Computation Structures (FOSSACS)}, doi = {10.1007/978-3-030-45231-5\_31}, title = {Learning Weighted Automata over Principal Ideal Domains}, year = {2020} } - Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness
FOSSACS 2020
pdf doi bibtex
@inproceedings{Kappe2020, pdf = {https://arxiv.org/pdf/2002.09682}, author = {Tobias Kapp{\'{e}} and Paul Brunet and Alexandra Silva and Jana Wagemaker and Fabio Zanasi}, booktitle = {International Conference on Foundations of Software Science and Computation Structures (FOSSACS)}, doi = {10.1007/978-3-030-45231-5\_20}, title = {Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness}, year = {2020} } - Left-handed completeness
TCS 2020
- Preservation of Equations by Monoidal Monads
MFCS 2020
pdf doi bibtex
@inproceedings{Parlant2020, pdf = {https://arxiv.org/pdf/2001.06348}, author = {Louis Parlant and Jurriaan Rot and Alexandra Silva and Bas Westerbaan}, booktitle = {International Symposium on Mathematical Foundations of Computer Science (MFCS)}, doi = {10.4230/LIPICS.MFCS.2020.77}, title = {Preservation of Equations by Monoidal Monads}, year = {2020} } - Models of Concurrent Kleene Algebra
International Conference on Logic for Programming, Artificial Intelligence and Reasoning 2020
doi bibtex
@inproceedings{Silva2020, author = {Alexandra Silva}, booktitle = {International Conference on Logic for Programming, Artificial Intelligence and Reasoning}, doi = {10.29007/QP92}, title = {Models of Concurrent Kleene Algebra}, keywords = {other}, year = {2020} } - Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time
PACMPL (POPL) 2020
🏆 Distinguished Paper Award
pdf doi bibtex
@article{Smolka2020, pdf = {https://arxiv.org/pdf/1907.05920}, author = {Steffen Smolka and Nate Foster and Justin Hsu and Tobias Kapp{\'{e}} and Dexter Kozen and Alexandra Silva}, doi = {10.1145/3371129}, journal = {Proceedings of the ACM Transactions on Programming Languages (PACMPL)}, note = {Distinguished Paper Award}, number = {POPL}, title = {Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time}, year = {2020} } - Partially Observable Concurrent Kleene Algebra
CONCUR 2020
pdf doi bibtex
@inproceedings{Wagemaker2020, pdf = {https://arxiv.org/pdf/2007.07593}, author = {Jana Wagemaker and Paul Brunet and Simon Docherty and Tobias Kapp{\'{e}} and Jurriaan Rot and Alexandra Silva}, booktitle = {International Conference on Concurrency Theory (CONCUR)}, doi = {10.4230/LIPICS.CONCUR.2020.20}, title = {Partially Observable Concurrent Kleene Algebra}, year = {2020} }
2019
- A Kleene Theorem for Nominal Automata
ICALP 2019
pdf doi bibtex
@inproceedings{Brunet2019, pdf = {https://drops.dagstuhl.de/opus/volltexte/2019/10683/pdf/LIPIcs-ICALP-2019-107.pdf}, author = {Paul Brunet and Alexandra Silva}, booktitle = {International Colloquium on Automata, Languages, and Programming (ICALP)}, doi = {10.4230/LIPICS.ICALP.2019.107}, title = {A Kleene Theorem for Nominal Automata}, year = {2019} } - Symbolic Register Automata
CAV 2019
pdf doi bibtex
@inproceedings{DAntoni2019, pdf = {https://arxiv.org/pdf/1811.06968}, author = {Loris D'Antoni and Tiago Ferreira and Matteo Sammartino and Alexandra Silva}, booktitle = {International Conference on Computer Aided Verification (CAV)}, doi = {10.1007/978-3-030-25540-4\_1}, title = {Symbolic Register Automata}, year = {2019} } - A (co)algebraic theory of succinct automata
JLAMP 2019
pdf doi bibtex
@article{Heerdt2019, pdf = {https://arxiv.org/pdf/1905.05519}, author = {Gerco van Heerdt and Joshua Moerman and Matteo Sammartino and Alexandra Silva}, doi = {10.1016/J.JLAMP.2019.02.008}, journal = {Journal of Logical and Algebraic Methods in Programming (JLAMP)}, title = {A (co)algebraic theory of succinct automata}, year = {2019} } - Tree Automata as Algebras: Minimisation and Determinisation
CALCO 2019
pdf doi bibtex
@inproceedings{Heerdt2019a, pdf = {https://arxiv.org/pdf/1904.08802}, author = {Gerco van Heerdt and Tobias Kapp{\'{e}} and Jurriaan Rot and Matteo Sammartino and Alexandra Silva}, booktitle = {Conference on Algebra and Coalgebra in Computer Science (CALCO)}, doi = {10.4230/LIPICS.CALCO.2019.6}, title = {Tree Automata as Algebras: Minimisation and Determinisation}, year = {2019} } - On series-parallel pomset languages: Rationality, context-freeness and automata
JLAMP 2019
pdf doi bibtex
@article{Kappe2019, pdf = {https://arxiv.org/pdf/1812.03058}, author = {Tobias Kapp{\'{e}} and Paul Brunet and Bas Luttik and Alexandra Silva and Fabio Zanasi}, doi = {10.1016/J.JLAMP.2018.12.001}, journal = {Journal of Logical and Algebraic Methods in Programming (JLAMP)}, title = {On series-parallel pomset languages: Rationality, context-freeness and automata}, year = {2019} } - Kleene Algebra with Observations
CONCUR 2019
pdf doi bibtex
@inproceedings{Kappe2019a, pdf = {https://arxiv.org/pdf/1811.10401}, author = {Tobias Kapp{\'{e}} and Paul Brunet and Jurriaan Rot and Alexandra Silva and Jana Wagemaker and Fabio Zanasi}, booktitle = {International Conference on Concurrency Theory (CONCUR)}, doi = {10.4230/LIPICS.CONCUR.2019.41}, title = {Kleene Algebra with Observations}, year = {2019} } - 24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017)
Logic Journal of the IGPL 2019
doi bibtex
@article{Kennedy2019, author = {Juliette Kennedy and Ruy J. G. B. de Queiroz and Alexandra Silva and Mehrnoosh Sadrzadeh}, doi = {10.1093/JIGPAL/JZY011}, journal = {Logic Journal of the IGPL}, keywords = {preface}, title = {24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017)}, year = {2019} } - An Algebraic Framework to Reason About Concurrency (Invited Talk)
TCS 2019
doi bibtex
@inproceedings{Silva2019, author = {Alexandra Silva}, booktitle = {{IFIP} {TC} 1/WG 2.2 International Conference on Theoretical Computer Science (TCS)}, doi = {10.4230/LIPICS.FSTTCS.2019.6}, title = {An Algebraic Framework to Reason About Concurrency (Invited Talk)}, keywords = {other}, year = {2019} } - Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk)
MFCS 2019
doi bibtex
@inproceedings{Silva2019a, author = {Alexandra Silva}, booktitle = {International Symposium on Mathematical Foundations of Computer Science (MFCS)}, doi = {10.4230/LIPICS.MFCS.2019.2}, title = {Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk)}, keywords = {other}, year = {2019} } - Language, Logic, and Computation - 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Edited volume 2019
doi bibtex
@proceedings{Silva2019aa, doi = {10.1007/978-3-662-59565-7}, editor = {Alexandra Silva and Sam Staton and Peter Sutton and Carla Umbach}, title = {Language, Logic, and Computation - 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers}, year = {2019} } - Scalable verification of probabilistic networks
PLDI 2019
pdf doi bibtex
@inproceedings{Smolka2019, pdf = {https://arxiv.org/pdf/1904.08096}, author = {Steffen Smolka and Praveen Kumar and David M. Kahn and Nate Foster and Justin Hsu and Dexter Kozen and Alexandra Silva}, booktitle = {Programming Language Design and Implementation (PLDI)}, doi = {10.1145/3314221.3314639}, title = {Scalable verification of probabilistic networks}, year = {2019} } - Completeness and Incompleteness of Synchronous Kleene Algebra
MPC 2019
pdf doi bibtex
@inproceedings{Wagemaker2019, pdf = {https://arxiv.org/pdf/1905.08554}, author = {Jana Wagemaker and Marcello M. Bonsangue and Tobias Kapp{\'{e}} and Jurriaan Rot and Alexandra Silva}, booktitle = {International Conference on Mathematics of Program Construction (MPC)}, doi = {10.1007/978-3-030-33636-3\_14}, title = {Completeness and Incompleteness of Synchronous Kleene Algebra}, year = {2019} }
2018
- Almost Sure Productivity
ICALP 2018
pdf doi bibtex
@inproceedings{Aguirre2018, pdf = {https://arxiv.org/pdf/1802.06283}, author = {Alejandro Aguirre and Gilles Barthe and Justin Hsu and Alexandra Silva}, booktitle = {International Colloquium on Automata, Languages, and Programming (ICALP)}, doi = {10.4230/LIPICS.ICALP.2018.113}, title = {Almost Sure Productivity}, year = {2018} } - SDN-Actors: Modeling and Verification of SDN Programs
FM 2018
doi bibtex
@inproceedings{Albert2018, author = {Elvira Albert and Miguel G{\'{o}}mez{-}Zamalloa and Albert Rubio and Matteo Sammartino and Alexandra Silva}, booktitle = {International Symposium on Formal Methods (FM)}, doi = {10.1007/978-3-319-95582-7\_33}, title = {SDN-Actors: Modeling and Verification of {SDN} Programs}, year = {2018} } - A coalgebraic treatment of conditional transition systems with upgrades
LMCS 2018
pdf doi bibtex
@article{Beohar2018, pdf = {https://arxiv.org/pdf/1612.05002}, author = {Harsh Beohar and Barbara K{\"{o}}nig and Sebastian K{\"{u}}pper and Alexandra Silva and Thorsten Wi{\ss}mann}, doi = {10.23638/LMCS-14(1:19)2018}, journal = {Logical Methods in Computer Science (LMCS)}, title = {A coalgebraic treatment of conditional transition systems with upgrades}, year = {2018} } - Layer by Layer - Combining Monads
ICTAC 2018
pdf doi bibtex
@inproceedings{Dahlqvist2018, pdf = {https://arxiv.org/pdf/1712.01113}, author = {Fredrik Dahlqvist and Louis Parlant and Alexandra Silva}, booktitle = {International Colloquium on Theoretical Aspects of Computing (ICTAC)}, doi = {10.1007/978-3-030-02508-3\_9}, title = {Layer by Layer - Combining Monads}, year = {2018} } - Borel Kernels and their Approximation, Categorically
MFPS 2018
pdf doi bibtex
@inproceedings{Dahlqvist2018a, pdf = {https://arxiv.org/pdf/1803.02651}, author = {Fredrik Dahlqvist and Alexandra Silva and Vincent Danos and Ilias Garnier}, booktitle = {Mathematical Foundations of Programming Semantics (MFPS)}, doi = {10.1016/J.ENTCS.2018.11.006}, title = {Borel Kernels and their Approximation, Categorically}, year = {2018} } - Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
LMCS 2018
pdf doi bibtex
@article{Endrullis2018, pdf = {https://arxiv.org/pdf/1706.00677}, author = {J{\"{o}}rg Endrullis and Helle Hvid Hansen and Dimitri Hendriks and Andrew Polonsky and Alexandra Silva}, doi = {10.23638/LMCS-14(1:3)2018}, journal = {Logical Methods in Computer Science (LMCS)}, title = {Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic}, year = {2018} } - Learning to Coordinate
It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab 2018
doi bibtex
@inproceedings{Heerdt2018, author = {Gerco van Heerdt and Bart Jacobs and Tobias Kapp{\'{e}} and Alexandra Silva}, booktitle = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab}, doi = {10.1007/978-3-319-90089-6\_10}, title = {Learning to Coordinate}, year = {2018} } - Convex Language Semantics for Nondeterministic Probabilistic Automata
ICTAC 2018
pdf doi bibtex
@inproceedings{Heerdt2018a, pdf = {https://arxiv.org/pdf/1805.11550}, author = {Gerco van Heerdt and Justin Hsu and Jo{\"{e}}l Ouaknine and Alexandra Silva}, booktitle = {International Colloquium on Theoretical Aspects of Computing (ICTAC)}, doi = {10.1007/978-3-030-02508-3\_25}, title = {Convex Language Semantics for Nondeterministic Probabilistic Automata}, year = {2018} } - Concurrent Kleene Algebra: Free Model and Completeness
ESOP 2018
pdf doi bibtex
@inproceedings{Kappe2018, pdf = {https://arxiv.org/pdf/1710.02787}, author = {Tobias Kapp{\'{e}} and Paul Brunet and Alexandra Silva and Fabio Zanasi}, booktitle = {European Symposium on Programming (ESOP)}, doi = {10.1007/978-3-319-89884-1\_30}, title = {Concurrent Kleene Algebra: Free Model and Completeness}, year = {2018} } - The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, MFPS 2017, Ljubljana, Slovenia, June 12-15, 2017
Edited volume 2018
link bibtex
@proceedings{Silva2018a, editor = {Alexandra Silva}, title = {The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2017, Ljubljana, Slovenia, June 12-15, 2017}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/336/suppl/C}, year = {2018} }
2017
- Conditional transition systems with upgrades
TASE 2017
pdf doi bibtex
@inproceedings{Beohar2017, pdf = {https://arxiv.org/pdf/1706.02526}, author = {Harsh Beohar and Barbara K{\"{o}}nig and Sebastian K{\"{u}}pper and Alexandra Silva}, booktitle = {International Symposium on Theoretical Aspects of Software Engineering (TASE)}, doi = {10.1109/TASE.2017.8285624}, title = {Conditional transition systems with upgrades}, year = {2017} } - The Power of Convex Algebras
CONCUR 2017
pdf doi bibtex
@inproceedings{Bonchi2017, pdf = {https://arxiv.org/pdf/1707.02344}, author = {Filippo Bonchi and Alexandra Silva and Ana Sokolova}, booktitle = {International Conference on Concurrency Theory (CONCUR)}, doi = {10.4230/LIPICS.CONCUR.2017.23}, title = {The Power of Convex Algebras}, year = {2017} } - 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
Edited volume 2017
doi bibtex
@proceedings{Bouajjani2017, doi = {10.1007/978-3-319-60225-7}, editor = {Ahmed Bouajjani and Alexandra Silva}, title = {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{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings}, year = {2017} } - CALF: Categorical Automata Learning Framework
CSL 2017
pdf doi bibtex
@inproceedings{Heerdt2017, pdf = {https://arxiv.org/pdf/1704.05676}, author = {Gerco van Heerdt and Matteo Sammartino and Alexandra Silva}, booktitle = {EACSL Annual Conference on Computer Science Logic (CSL)}, doi = {10.4230/LIPICS.CSL.2017.29}, title = {{CALF:} Categorical Automata Learning Framework}, year = {2017} } - CoCaml: Functional Programming with Regular Coinductive Types
Fundam. Informaticae 2017
doi bibtex
@article{Jeannin2017, author = {Jean{-}Baptiste Jeannin and Dexter Kozen and Alexandra Silva}, doi = {10.3233/FI-2017-1473}, journal = {Fundam. Informaticae}, title = {CoCaml: Functional Programming with Regular Coinductive Types}, year = {2017} } - Well-founded coalgebras, revisited
MSCS 2017
doi bibtex
@article{Jeannin2017a, author = {Jean{-}Baptiste Jeannin and Dexter Kozen and Alexandra Silva}, doi = {10.1017/S0960129515000481}, journal = {Mathematical Structures in Computer Science (MSCS)}, title = {Well-founded coalgebras, revisited}, year = {2017} } - Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages
CONCUR 2017
pdf doi bibtex
@inproceedings{Kappe2017, pdf = {https://arxiv.org/pdf/1704.07199}, author = {Tobias Kapp{\'{e}} and Paul Brunet and Bas Luttik and Alexandra Silva and Fabio Zanasi}, booktitle = {International Conference on Concurrency Theory (CONCUR)}, doi = {10.4230/LIPICS.CONCUR.2017.25}, title = {Brzozowski Goes Concurrent - {A} Kleene Theorem for Pomset Languages}, year = {2017} } - Completeness and incompleteness in nominal Kleene algebra
JLAMP 2017
doi bibtex
@article{Kozen2017, author = {Dexter Kozen and Konstantinos Mamouras and Alexandra Silva}, doi = {10.1016/J.JLAMP.2017.06.002}, journal = {Journal of Logical and Algebraic Methods in Programming (JLAMP)}, title = {Completeness and incompleteness in nominal Kleene algebra}, year = {2017} } - Practical coinduction
MSCS 2017
doi bibtex
@article{Kozen2017a, author = {Dexter Kozen and Alexandra Silva}, doi = {10.1017/S0960129515000493}, journal = {Mathematical Structures in Computer Science (MSCS)}, title = {Practical coinduction}, year = {2017} } - Learning nominal automata
POPL 2017
pdf doi bibtex
@inproceedings{Moerman2017, pdf = {https://arxiv.org/pdf/1607.06268}, author = {Joshua Moerman and Matteo Sammartino and Alexandra Silva and Bartek Klin and Michal Szynwelski}, booktitle = {ACM SIGACT–SIGPLAN Symposium on Principles of Programming Languages (POPL)}, doi = {10.1145/3009837.3009879}, title = {Learning nominal automata}, year = {2017} } - Enhanced coalgebraic bisimulation
MSCS 2017
doi bibtex
@article{Rot2017, author = {Jurriaan Rot and Filippo Bonchi and Marcello M. Bonsangue and Damien Pous and Jan Rutten and Alexandra Silva}, doi = {10.1017/S0960129515000523}, journal = {Mathematical Structures in Computer Science (MSCS)}, title = {Enhanced coalgebraic bisimulation}, year = {2017} } - Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk)
FSCD 2017
doi bibtex
@inproceedings{Silva2017, author = {Alexandra Silva}, booktitle = {International Conference on Formal Structures for Computation and Deduction (FSCD)}, doi = {10.4230/LIPICS.FSCD.2017.3}, title = {Brzozowski Goes Concurrent - {A} Kleene Theorem for Pomset Languages (Invited Talk)}, keywords = {other}, year = {2017} } - Cantor meets Scott: semantic foundations for probabilistic networks
POPL 2017
pdf doi bibtex
@inproceedings{Smolka2017, pdf = {https://arxiv.org/pdf/1607.05830}, author = {Steffen Smolka and Praveen Kumar and Nate Foster and Dexter Kozen and Alexandra Silva}, booktitle = {ACM SIGACT–SIGPLAN Symposium on Principles of Programming Languages (POPL)}, doi = {10.1145/3009837.3009843}, title = {Cantor meets Scott: semantic foundations for probabilistic networks}, year = {2017} }
2016
- Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira
JLAMP 2016
doi bibtex
@article{Barbosa2016, author = {Lu{\'{\i}}s Soares Barbosa and Alcino Cunha and Alexandra Silva}, doi = {10.1016/J.JLAMP.2016.07.002}, journal = {Journal of Logical and Algebraic Methods in Programming (JLAMP)}, title = {Quien sabe por Algebra, sabe scientificamente: {A} tribute to Jos{\'{e}} Nuno Oliveira}, keywords = {preface}, year = {2016} } - A coalgebraic view on decorated traces
MSCS 2016
doi bibtex
@article{Bonchi2016, author = {Filippo Bonchi and Marcello M. Bonsangue and Georgiana Caltais and Jan Rutten and Alexandra Silva}, doi = {10.1017/S0960129514000449}, journal = {Mathematical Structures in Computer Science (MSCS)}, title = {A coalgebraic view on decorated traces}, year = {2016} } - Probabilistic NetKAT
ESOP 2016
doi bibtex
@inproceedings{Foster2016, author = {Nate Foster and Dexter Kozen and Konstantinos Mamouras and Mark Reitblatt and Alexandra Silva}, booktitle = {European Symposium on Programming (ESOP)}, doi = {10.1007/978-3-662-49498-1\_12}, title = {Probabilistic NetKAT}, year = {2016} } - Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday 2016
doi bibtex
@inproceedings{Krebbers2016, author = {Robbert Krebbers and Louis Parlant and Alexandra Silva}, booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday}, doi = {10.1007/978-3-319-30734-3\_21}, title = {Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq}, year = {2016} } - Report on the POPL mentoring workshop (PLMW 2016)
ACM SIGLOG News 2016
doi bibtex
@article{Silva2016, author = {Alexandra Silva}, doi = {10.1145/2948896.2948909}, journal = {ACM SIGLOG News}, title = {Report on the {POPL} mentoring workshop {(PLMW} 2016)}, keywords = {other}, year = {2016} } - Coalgebraic Learning
CSL 2016
doi bibtex
@inproceedings{Silva2016a, author = {Alexandra Silva}, booktitle = {EACSL Annual Conference on Computer Science Logic (CSL)}, doi = {10.4230/LIPICS.CSL.2016.5}, title = {Coalgebraic Learning}, keywords = {other}, year = {2016} }
2015
- Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure
TCS 2015
doi bibtex
@article{Bonchi2015, author = {Filippo Bonchi and Stefan Milius and Alexandra Silva and Fabio Zanasi}, doi = {10.1016/J.TCS.2015.03.024}, journal = {Theoretical Computer Science (TCS)}, title = {Killing epsilons with a dagger: {A} coalgebraic study of systems with algebraic label structure}, year = {2015} } - Preface for the special issue on Interaction and Concurrency Experience 2012
SCP 2015
doi bibtex
@article{Carbone2015, author = {Marco Carbone and Ivan Lanese and Alexandra Silva and Ana Sokolova}, doi = {10.1016/J.SCICO.2014.11.002}, journal = {Science of Computer Programming (SCP)}, title = {Preface for the special issue on Interaction and Concurrency Experience 2012}, keywords={preface}, year = {2015} } - A Coinductive Framework for Infinitary Rewriting and Equational Reasoning
RTA 2015
🏆 Best Paper Award
pdf doi bibtex
@inproceedings{Endrullis2015, pdf = {https://arxiv.org/pdf/1505.01128}, author = {J{\"{o}}rg Endrullis and Helle Hvid Hansen and Dimitri Hendriks and Andrew Polonsky and Alexandra Silva}, booktitle = {International Conference on Rewriting Techniques and Applications (RTA)}, doi = {10.4230/LIPICS.RTA.2015.143}, note = {Best Paper Award}, title = {A Coinductive Framework for Infinitary Rewriting and Equational Reasoning}, year = {2015} } - A Coalgebraic Decision Procedure for NetKAT
POPL 2015
doi bibtex
@inproceedings{Foster2015, author = {Nate Foster and Dexter Kozen and Mae Milano and Alexandra Silva and Laure Thompson}, booktitle = {ACM SIGACT–SIGPLAN Symposium on Principles of Programming Languages (POPL)}, doi = {10.1145/2676726.2677011}, title = {A Coalgebraic Decision Procedure for NetKAT}, year = {2015} } - Trace semantics via determinization
Journal of Computer and System Sciences 2015
doi bibtex
@article{Jacobs2015, author = {Bart Jacobs and Alexandra Silva and Ana Sokolova}, doi = {10.1016/J.JCSS.2014.12.005}, journal = {Journal of Computer and System Sciences}, title = {Trace semantics via determinization}, year = {2015} } - Completeness and Incompleteness in Nominal Kleene Algebra
RAMiCS 2015
doi bibtex
@inproceedings{Kozen2015, author = {Dexter Kozen and Konstantinos Mamouras and Alexandra Silva}, booktitle = {International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS)}, doi = {10.1007/978-3-319-24704-5\_4}, title = {Completeness and Incompleteness in Nominal Kleene Algebra}, year = {2015} } - Nominal Kleene Coalgebra
ICALP 2015
doi bibtex
@inproceedings{Kozen2015a, author = {Dexter Kozen and Konstantinos Mamouras and Daniela Petrisan and Alexandra Silva}, booktitle = {International Colloquium on Automata, Languages, and Programming (ICALP)}, doi = {10.1007/978-3-662-47666-6\_23}, title = {Nominal Kleene Coalgebra}, year = {2015} } - IMC_Reo: interactive Markov chains for Stochastic Reo
Journal of Internet Services and Information Security 2015
doi bibtex
@article{Oliveira2015, author = {Nuno Oliveira and Alexandra Silva and Lu{\'{\i}}s Soares Barbosa}, doi = {10.22667/JISIS.2015.02.31.003}, journal = {Journal of Internet Services and Information Security}, title = {IMC\({}_{\mbox{Reo}}\): interactive Markov chains for Stochastic Reo}, year = {2015} } - A short introduction to the coalgebraic method
ACM SIGLOG News 2015
doi bibtex
@article{Silva2015, author = {Alexandra Silva}, doi = {10.1145/2766189.2766193}, journal = {ACM SIGLOG News}, title = {A short introduction to the coalgebraic method}, year = {2015} } - Applications of Automata and Concurrency Theory in Networks (Invited Paper)
CONCUR 2015
doi bibtex
@inproceedings{Silva2015a, author = {Alexandra Silva}, booktitle = {International Conference on Concurrency Theory (CONCUR)}, doi = {10.4230/LIPICS.CONCUR.2015.42}, title = {Applications of Automata and Concurrency Theory in Networks (Invited Paper)}, keywords = {other}, year = {2015} }
2014
- Algebra-coalgebra duality in Brzozowski's minimization algorithm
ACM TOCL 2014
doi bibtex
@article{Bonchi2014, author = {Filippo Bonchi and Marcello M. Bonsangue and Helle Hvid Hansen and Prakash Panangaden and Jan J. M. M. Rutten and Alexandra Silva}, doi = {10.1145/2490818}, journal = {ACM Transactions on Computational Logic (ACM TOCL)}, title = {Algebra-coalgebra duality in Brzozowski's minimization algorithm}, year = {2014} } - How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure
CMCS 2014
pdf doi bibtex
@inproceedings{Bonchi2014a, pdf = {https://arxiv.org/pdf/1402.4062}, author = {Filippo Bonchi and Stefan Milius and Alexandra Silva and Fabio Zanasi}, booktitle = {International Workshop on Coalgebraic Methods in Computer Science (CMCS)}, doi = {10.1007/978-3-662-44124-4\_4}, title = {How to Kill Epsilons with a Dagger - {A} Coalgebraic Take on Systems with Algebraic Label Structure}, year = {2014} } - Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract)
TCS 2014
pdf doi bibtex
@inproceedings{Goncharov2014, pdf = {https://arxiv.org/pdf/1401.5277}, author = {Sergey Goncharov and Stefan Milius and Alexandra Silva}, booktitle = {{IFIP} {TC} 1/WG 2.2 International Conference on Theoretical Computer Science (TCS)}, doi = {10.1007/978-3-662-44602-7\_21}, title = {Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract)}, year = {2014} } - Initial Algebras of Terms with Binding and Algebraic Structure
Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday 2014
doi bibtex
@inproceedings{Jacobs2014, author = {Bart Jacobs and Alexandra Silva}, booktitle = {Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday}, doi = {10.1007/978-3-642-54789-8\_12}, title = {Initial Algebras of Terms with Binding and Algebraic Structure}, year = {2014} } - Automata Learning: A Categorical Perspective
Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday 2014
doi bibtex
@inproceedings{Jacobs2014a, author = {Bart Jacobs and Alexandra Silva}, booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday}, doi = {10.1007/978-3-319-06880-0\_20}, title = {Automata Learning: {A} Categorical Perspective}, year = {2014} } - Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014
Edited volume 2014
link bibtex
@proceedings{Jacobs2014aaa, editor = {Bart Jacobs and Alexandra Silva and Sam Staton}, title = {Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2014, Ithaca, NY, USA, June 12-15, 2014}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/308/suppl/C}, year = {2014} } - A compositional model to reason about end-to-end QoS in Stochastic Reo connectors
SCP 2014
doi bibtex
@article{Moon2014, author = {Young{-}Joo Moon and Alexandra Silva and Christian Krause and Farhad Arbab}, doi = {10.1016/J.SCICO.2011.11.007}, journal = {Science of Computer Programming (SCP)}, title = {A compositional model to reason about end-to-end QoS in Stochastic Reo connectors}, year = {2014} } - Quantitative analysis of Reo-based service coordination
Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014
doi bibtex
@inproceedings{Oliveira2014, author = {Nuno Oliveira and Alexandra Silva and Lu{\'{\i}}s Soares Barbosa}, booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014}, doi = {10.1145/2554850.2555025}, title = {Quantitative analysis of Reo-based service coordination}, year = {2014} }
2013
- Brzozowski's and Up-To Algorithms for Must Testing
APLAS 2013
doi bibtex
@inproceedings{Bonchi2013, author = {Filippo Bonchi and Georgiana Caltais and Damien Pous and Alexandra Silva}, booktitle = {Asian Symposium on Programming Languages and Systems (APLAS)}, doi = {10.1007/978-3-319-03542-0\_1}, title = {Brzozowski's and Up-To Algorithms for Must Testing}, year = {2013} } - Automatic equivalence proofs for non-deterministic coalgebras
SCP 2013
pdf doi bibtex
@article{Bonsangue2013, pdf = {https://arxiv.org/pdf/1303.1994}, author = {Marcello M. Bonsangue and Georgiana Caltais and Eugen{-}Ioan Goriac and Dorel Lucanu and Jan J. M. M. Rutten and Alexandra Silva}, doi = {10.1016/J.SCICO.2012.07.001}, journal = {Science of Computer Programming (SCP)}, title = {Automatic equivalence proofs for non-deterministic coalgebras}, year = {2013} } - Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
ACM TOCL 2013
pdf doi bibtex
@article{Bonsangue2013a, pdf = {https://arxiv.org/pdf/1104.2803}, author = {Marcello M. Bonsangue and Stefan Milius and Alexandra Silva}, doi = {10.1145/2422085.2422092}, journal = {ACM Transactions on Computational Logic (ACM TOCL)}, title = {Sound and Complete Axiomatizations of Coalgebraic Language Equivalence}, year = {2013} } - Language Constructs for Non-Well-Founded Computation
ESOP 2013
doi bibtex
@inproceedings{Jeannin2013, author = {Jean{-}Baptiste Jeannin and Dexter Kozen and Alexandra Silva}, booktitle = {European Symposium on Programming (ESOP)}, doi = {10.1007/978-3-642-37036-6\_4}, title = {Language Constructs for Non-Well-Founded Computation}, year = {2013} } - On Moessner's Theorem
The American Mathematical Monthly 2013
doi bibtex
@article{Kozen2013, author = {Dexter Kozen and Alexandra Silva}, doi = {10.4169/AMER.MATH.MONTHLY.120.02.131}, journal = {The American Mathematical Monthly}, title = {On Moessner's Theorem}, year = {2013} } - Generalizing determinization from automata to coalgebras
LMCS 2013
pdf doi bibtex
@article{Silva2013, pdf = {https://arxiv.org/pdf/1302.1046}, author = {Alexandra Silva and Filippo Bonchi and Marcello M. Bonsangue and Jan J. M. M. Rutten}, doi = {10.2168/LMCS-9(1:9)2013}, journal = {Logical Methods in Computer Science (LMCS)}, title = {Generalizing determinization from automata to coalgebras}, year = {2013} } - Report on CALCO 2013
EATCS Bulletin 2013
link bibtex
@article{Silva2013a, author = {Alexandra Silva and Pawel Sobocinski}, journal = {EATCS Bulletin}, title = {Report on {CALCO} 2013}, keywords = {other}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/195}, year = {2013} } - A Coalgebraic View of ε-Transitions
CALCO 2013
doi bibtex
@inproceedings{Silva2013aa, author = {Alexandra Silva and Bram Westerbaan}, booktitle = {Conference on Algebra and Coalgebra in Computer Science (CALCO)}, doi = {10.1007/978-3-642-40206-7\_20}, title = {A Coalgebraic View of {\(\epsilon\)}-Transitions}, year = {2013} }
2012
- A Coalgebraic Perspective on Minimization and Determinization
FOSSACS 2012
doi bibtex
@inproceedings{Adamek2012, author = {Jir{\'{\i}} Ad{\'{a}}mek and Filippo Bonchi and Mathias H{\"{u}}lsbusch and Barbara K{\"{o}}nig and Stefan Milius and Alexandra Silva}, booktitle = {International Conference on Foundations of Software Science and Computation Structures (FOSSACS)}, doi = {10.1007/978-3-642-28729-9\_4}, title = {A Coalgebraic Perspective on Minimization and Determinization}, year = {2012} } - Towards Interaction Reliability in Concurrent Applications
Scientific Annals of Computer Science 2012
doi bibtex
@article{Bliudze2012, author = {Simon Bliudze and Roberto Bruni and Marco Carbone and Alexandra Silva}, doi = {10.7561/SACS.2012.1.1}, journal = {Scientific Annals of Computer Science}, title = {Towards Interaction Reliability in Concurrent Applications}, keywords = {preface}, year = {2012} } - A coalgebraic perspective on linear weighted automata
I&C 2012
doi bibtex
@article{Bonchi2012, author = {Filippo Bonchi and Marcello M. Bonsangue and Michele Boreale and Jan J. M. M. Rutten and Alexandra Silva}, doi = {10.1016/J.IC.2011.12.002}, journal = {Information and Computation (I\&C)}, title = {A coalgebraic perspective on linear weighted automata}, year = {2012} } - Brzozowski's Algorithm (Co)Algebraically
Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday 2012
doi bibtex
@inproceedings{Bonchi2012a, author = {Filippo Bonchi and Marcello M. Bonsangue and Jan J. M. M. Rutten and Alexandra Silva}, booktitle = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday}, doi = {10.1007/978-3-642-29485-3\_2}, title = {Brzozowski's Algorithm (Co)Algebraically}, year = {2012} } - Final Semantics for Decorated Traces
MFPS 2012
doi bibtex
@inproceedings{Bonchi2012aa, author = {Filippo Bonchi and Marcello M. Bonsangue and Georgiana Caltais and Jan J. M. M. Rutten and Alexandra Silva}, booktitle = {Mathematical Foundations of Programming Semantics (MFPS)}, doi = {10.1016/J.ENTCS.2012.08.006}, title = {Final Semantics for Decorated Traces}, year = {2012} } - A model of context-dependent component connectors
SCP 2012
doi bibtex
@article{Bonsangue2012, author = {Marcello M. Bonsangue and Dave Clarke and Alexandra Silva}, doi = {10.1016/J.SCICO.2011.01.006}, journal = {Science of Computer Programming (SCP)}, title = {A model of context-dependent component connectors}, year = {2012} } - Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012
Edited volume 2012
doi bibtex
@proceedings{Carbone2012, doi = {10.4204/EPTCS.104}, editor = {Marco Carbone and Ivan Lanese and Alexandra Silva and Ana Sokolova}, title = {Proceedings Fifth Interaction and Concurrency Experience, {ICE} 2012, Stockholm, Sweden, 16th June 2012}, year = {2012} } - Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Edited volume 2012
doi bibtex
@proceedings{Constable2012, doi = {10.1007/978-3-642-29485-3}, editor = {Robert L. Constable and Alexandra Silva}, title = {Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday}, year = {2012} } - Trace Semantics via Determinization
CMCS 2012
doi bibtex
@inproceedings{Jacobs2012, author = {Bart Jacobs and Alexandra Silva and Ana Sokolova}, booktitle = {International Workshop on Coalgebraic Methods in Computer Science (CMCS)}, doi = {10.1007/978-3-642-32784-1\_7}, title = {Trace Semantics via Determinization}, year = {2012} } - Left-Handed Completeness
RAMiCS 2012
doi bibtex
@inproceedings{Kozen2012, author = {Dexter Kozen and Alexandra Silva}, booktitle = {International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS)}, doi = {10.1007/978-3-642-33314-9\_11}, title = {Left-Handed Completeness}, year = {2012} } - Position Automata for Kleene Algebra with Tests
Scientific Annals of Computer Science 2012
link bibtex
@article{Silva2012, author = {Alexandra Silva}, journal = {Scientific Annals of Computer Science}, title = {Position Automata for Kleene Algebra with Tests}, url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXII2&a=3}, year = {2012} }
2011
- Preface for the special issue of of CMCS'2010
TCS 2011
doi bibtex
@article{Jacobs2011, author = {Bart Jacobs and Milad Niqui and Jan J. M. M. Rutten and Alexandra Silva}, doi = {10.1016/J.TCS.2011.06.001}, journal = {Theoretical Computer Science (TCS)}, title = {Preface for the special issue of of CMCS'2010}, keywords = {preface}, year = {2011} } - Concurrency and Interaction in Complex Systems
Scientific Annals of Computer Science 2011
link bibtex
@article{Mokhtar2011, author = {Sonia Ben Mokhtar and Simon Bliudze and Roberto Bruni and Alexandra Silva and Angelo Troina}, journal = {Scientific Annals of Computer Science}, title = {Concurrency and Interaction in Complex Systems}, keywords={preface}, url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI1&a=6}, year = {2011} } - Quantitative Kleene coalgebras
I&C 2011
doi bibtex
@article{Silva2011, author = {Alexandra Silva and Filippo Bonchi and Marcello M. Bonsangue and Jan J. M. M. Rutten}, doi = {10.1016/J.IC.2010.09.007}, journal = {Information and Computation (I\&C)}, title = {Quantitative Kleene coalgebras}, year = {2011} } - A Specification Language for Reo Connectors
FSEN 2011
doi bibtex
@inproceedings{Silva2011a, author = {Alexandra Silva}, booktitle = {{IPM} International Conference on Fundamentals of Software Engineering (FSEN)}, doi = {10.1007/978-3-642-29320-7\_26}, title = {A Specification Language for Reo Connectors}, year = {2011} } - Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
MFPS 2011
doi bibtex
@inproceedings{Silva2011aa, author = {Alexandra Silva and Ana Sokolova}, booktitle = {Mathematical Foundations of Programming Semantics (MFPS)}, doi = {10.1016/J.ENTCS.2011.09.027}, title = {Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems}, year = {2011} } - Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011
Edited volume 2011
doi bibtex
@proceedings{Silva2011aaa, doi = {10.4204/EPTCS.59}, editor = {Alexandra Silva and Simon Bliudze and Roberto Bruni and Marco Carbone}, title = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011, Reykjavik, Iceland, 9th June 2011}, year = {2011} }
2010
- Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010
Edited volume 2010
doi bibtex
@proceedings{Bliudze2010, doi = {10.4204/EPTCS.38}, editor = {Simon Bliudze and Roberto Bruni and Davide Grohmann and Alexandra Silva}, title = {Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, {ICE} 2010, Amsterdam, The Netherlands, 10th of June 2010}, year = {2010} } - A Decision Procedure for Bisimilarity of Generalized Regular Expressions
SBMF 2010
doi bibtex
@inproceedings{Bonsangue2010, author = {Marcello M. Bonsangue and Georgiana Caltais and Eugen{-}Ioan Goriac and Dorel Lucanu and Jan J. M. M. Rutten and Alexandra Silva}, booktitle = {Brazilian Symposium on Formal Methods (SBMF)}, doi = {10.1007/978-3-642-19829-8\_15}, title = {A Decision Procedure for Bisimilarity of Generalized Regular Expressions}, year = {2010} } - Short Contributions CMCS 2010, the 10th International Workshop on Coalgebraic Methods in Computer Science
Technical Report, CWI 2010
bibtex
@techreport{Jacobs2010, author = {Bart Jacobs and Milad Niqui and Jan J. M. M. Rutten and Alexandra Silva}, institution = {CWI}, number = {SEN-1004}, title = {Short Contributions CMCS 2010, the 10th International Workshop on Coalgebraic Methods in Computer Science}, keywords = {preface}, year = {2010} } - Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS), ETAPS 2010, Paphos, Cyprus, March 26-28, 2010
Edited volume 2010
link bibtex
@proceedings{Jacobs2010aa, editor = {Bart Jacobs and Milad Niqui and Jan J. M. M. Rutten and Alexandra Silva}, title = {Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS), ETAPS 2010, Paphos, Cyprus, March 26-28, 2010}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/264/issue/2}, year = {2010} } - A Compositional Semantics for Stochastic Reo Connectors
FOCLASA 2010
pdf doi bibtex
@inproceedings{Moon2010, pdf = {https://arxiv.org/pdf/1007.5094}, author = {Young{-}Joo Moon and Alexandra Silva and Christian Krause and Farhad Arbab}, booktitle = {International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA)}, doi = {10.4204/EPTCS.30.7}, title = {A Compositional Semantics for Stochastic Reo Connectors}, year = {2010} } - Non-Deterministic Kleene Coalgebras
LMCS 2010
pdf link bibtex
@article{Silva2010, pdf = {https://arxiv.org/pdf/1007.3769}, author = {Alexandra Silva and Marcello M. Bonsangue and Jan J. M. M. Rutten}, journal = {Logical Methods in Computer Science (LMCS)}, title = {Non-Deterministic Kleene Coalgebras}, url = {https://arxiv.org/abs/1007.3769}, year = {2010} } - A coinductive calculus of binary trees
I&C 2010
doi bibtex
@article{Silva2010a, author = {Alexandra Silva and Jan J. M. M. Rutten}, doi = {10.1016/J.IC.2008.08.006}, journal = {Information and Computation (I\&C)}, title = {A coinductive calculus of binary trees}, year = {2010} } - Generalizing the powerset construction, coalgebraically
TCS 2010
doi bibtex
@inproceedings{Silva2010aa, author = {Alexandra Silva and Filippo Bonchi and Marcello M. Bonsangue and Jan J. M. M. Rutten}, booktitle = {{IFIP} {TC} 1/WG 2.2 International Conference on Theoretical Computer Science (TCS)}, doi = {10.4230/LIPICS.FSTTCS.2010.272}, title = {Generalizing the powerset construction, coalgebraically}, year = {2010} } - Kleene Coalgebra
PhD Dissertation, Radboud University Nijmegen 2010
🏆 Cum laude. Supervisors: Prof. Dr. J. Rutten and Dr. M. Bonsangue
pdf bibtex
@phdthesis{Silva2010aaa, pdf = {/files/thesis/thesis.pdf}, author = {Alexandra Silva}, note = {Cum laude. Supervisors: Prof. Dr. J. Rutten and Dr. M. Bonsangue}, school = {Radboud University Nijmegen}, title = {Kleene Coalgebra}, keywords={thesis}, year = {2010} }
2009
- Deriving Syntax and Axioms for Quantitative Regular Behaviours
CONCUR 2009
doi bibtex
@inproceedings{Bonchi2009, author = {Filippo Bonchi and Marcello M. Bonsangue and Jan J. M. M. Rutten and Alexandra Silva}, booktitle = {International Conference on Concurrency Theory (CONCUR)}, doi = {10.1007/978-3-642-04081-8\_11}, title = {Deriving Syntax and Axioms for Quantitative Regular Behaviours}, year = {2009} } - Automata for Context-Dependent Connectors
COORDINATION 2009
doi bibtex
@inproceedings{Bonsangue2009, author = {Marcello M. Bonsangue and Dave Clarke and Alexandra Silva}, booktitle = {International Conference on Coordination Models and Languages (COORDINATION)}, doi = {10.1007/978-3-642-02053-7\_10}, title = {Automata for Context-Dependent Connectors}, year = {2009} } - A Kleene Theorem for Polynomial Coalgebras
FOSSACS 2009
doi bibtex
@inproceedings{Bonsangue2009a, author = {Marcello M. Bonsangue and Jan J. M. M. Rutten and Alexandra Silva}, booktitle = {International Conference on Foundations of Software Science and Computation Structures (FOSSACS)}, doi = {10.1007/978-3-642-00596-1\_10}, title = {A Kleene Theorem for Polynomial Coalgebras}, year = {2009} } - An Algebra for Kripke Polynomial Coalgebras
LICS 2009
doi bibtex
@inproceedings{Bonsangue2009aa, author = {Marcello M. Bonsangue and Jan J. M. M. Rutten and Alexandra Silva}, booktitle = {ACM/IEEE Symposium on Logic in Computer Science (LICS)}, doi = {10.1109/LICS.2009.18}, title = {An Algebra for Kripke Polynomial Coalgebras}, year = {2009} }
2008
- Calculating Invariants as Coreflexive Bisimulations
AMAST 2008
doi bibtex
@inproceedings{Barbosa2008, author = {Lu{\'{\i}}s Soares Barbosa and Jos{\'{e}} Nuno Oliveira and Alexandra Silva}, booktitle = {International Conference on Algebraic Methodology and Software Technology (AMAST)}, doi = {10.1007/978-3-540-79980-1\_7}, title = {Calculating Invariants as Coreflexive Bisimulations}, year = {2008} } - Coalgebraic Logic and Synthesis of Mealy Machines
FOSSACS 2008
doi bibtex
@inproceedings{Bonsangue2008, author = {Marcello M. Bonsangue and Jan J. M. M. Rutten and Alexandra Silva}, booktitle = {International Conference on Foundations of Software Science and Computation Structures (FOSSACS)}, doi = {10.1007/978-3-540-78499-9\_17}, title = {Coalgebraic Logic and Synthesis of Mealy Machines}, year = {2008} }
2007
- Behavioural Differential Equations and Coinduction for Binary Trees
WoLLIC 2007
doi bibtex
@inproceedings{Silva2007, author = {Alexandra Silva and Jan J. M. M. Rutten}, booktitle = {International Workshop on Logic, Language, Information and Computation (WoLLIC)}, doi = {10.1007/978-3-540-73445-1\_23}, title = {Behavioural Differential Equations and Coinduction for Binary Trees}, year = {2007} }
2006
- Strong Types for Relational Data Stored in Databases or Spreadsheets
Master's Thesis, Universidade do Minho 2006
🏆 Final dissertation Licenciatura em Matemática e Ciências de Computação (equivalent to a master thesis). Supervisors: Prof. Dr. J. N. Oliveira and Dr. J. Visser
pdf bibtex
@mastersthesis{Silva2006a, pdf = {/files/report.pdf}, author = {Alexandra Silva}, title = {Strong Types for Relational Data Stored in Databases or Spreadsheets}, school = {Universidade do Minho}, year = {2006}, keywords={thesis}, note = {Final dissertation Licenciatura em Matemática e Ciências de Computação (equivalent to a master thesis). Supervisors: Prof. Dr. J. N. Oliveira and Dr. J. Visser} } - Strong types for relational databases
Haskell Symposium 2006
doi bibtex
@inproceedings{Silva2006, author = {Alexandra Silva and Joost Visser}, booktitle = {Haskell Symposium}, doi = {10.1145/1159842.1159846}, title = {Strong types for relational databases}, year = {2006} }