


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


default search action
Alexandra Silva 0001
Person information

- affiliation: Cornell University, Ithaca, NY, USA
- affiliation: University College London, UK
- affiliation: Radboud University Nijmegen, The Netherlands
Other persons with the same name
- Alexandra Silva 0002 — University of Illinois at Chicago, Chicago, IL, USA
- Alexandra Silva 0003
(aka: Alexandra D. Silva) — IPMA, Lisbon, Portugal
- Alexandra Silva 0004
— University of Porto, IBMC / Instituto de Investigação e Inovação em Saúde, Portugal
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j46]Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer:
Long-Term Mentoring for Computer Science Researchers. Commun. ACM 66(5): 33-35 (2023) - [j45]Noam Zilberstein
, Derek Dreyer
, Alexandra Silva
:
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning. Proc. ACM Program. Lang. 7(OOPSLA1): 522-550 (2023) - [c78]Todd Schmid
, Tobias Kappé
, Alexandra Silva
:
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. ESOP 2023: 309-336 - [i54]Dexter Kozen, Alexandra Silva:
Multisets and Distributions. CoRR abs/2301.10812 (2023) - [i53]Todd Schmid, Tobias Kappé, Alexandra Silva:
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. CoRR abs/2301.11301 (2023) - [i52]Noam Zilberstein, Derek Dreyer, Alexandra Silva:
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning. CoRR abs/2303.03111 (2023) - [i51]Keri D'Angelo, Alexandra Silva, Gerco van Heerdt, Leon Witzman:
A Coalgebraic Approach to Reducing Finitary Automata. CoRR abs/2303.14916 (2023) - [i50]Fredrik Dahlqvist, Alexandra Silva, William Smith:
Deterministic stream-sampling for probabilistic programming: semantics and verification. CoRR abs/2304.13504 (2023) - [i49]Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva:
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. CoRR abs/2305.01755 (2023) - [i48]Noam Zilberstein, Angelina Saliling, Alexandra Silva:
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects. CoRR abs/2305.04842 (2023) - 2022
- [j44]Mark Bickford, Dexter Kozen, Alexandra Silva:
Formalizing Moessner's theorem and generalizations in Nuprl. J. Log. Algebraic Methods Program. 124: 100713 (2022) - [c77]Tiago Ferreira
, Gerco van Heerdt
, Alexandra Silva
:
Tree-Based Adaptive Model Learning. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 164-179 - [c76]Gerco van Heerdt
, Tobias Kappé
, Jurriaan Rot, Matteo Sammartino
, Alexandra Silva
:
A Categorical Framework for Learning Generalised Tree Automata. CMCS 2022: 67-87 - [c75]Jana Wagemaker
, Nate Foster
, Tobias Kappé
, Dexter Kozen
, Jurriaan Rot, Alexandra Silva
:
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. ESOP 2022: 575-602 - [c74]Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot:
Processes Parametrised by an Algebraic Theory. ICALP 2022: 132:1-132:20 - [e14]Stefan Szeider
, Robert Ganian
, Alexandra Silva
:
47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria. LIPIcs 241, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-256-3 [contents] - [i47]Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva:
Prognosis: Closed-Box Analysis of Network Protocol Implementations. CoRR abs/2201.02577 (2022) - [i46]Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva:
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks. CoRR abs/2201.10485 (2022) - [i45]Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot:
Processes Parametrised by an Algebraic Theory. CoRR abs/2202.06901 (2022) - [i44]Stefan Zetzsche, Alexandra Silva, Matteo Sammartino:
Guarded Kleene Algebra with Tests: Automata Learning. CoRR abs/2204.14153 (2022) - [i43]Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer:
Long-Term Mentoring for Computer Science Researchers. CoRR abs/2208.04738 (2022) - [i42]Tiago Ferreira
, Gerco van Heerdt, Alexandra Silva:
Tree-Based Adaptive Model Learning. CoRR abs/2209.00122 (2022) - 2021
- [j43]Elvira Albert, Miguel Gómez-Zamalloa
, Miguel Isabel, Albert Rubio
, Matteo Sammartino, Alexandra Silva:
Actor-based model checking for Software-Defined Networks. J. Log. Algebraic Methods Program. 118: 100617 (2021) - [j42]Filippo Bonchi, Alexandra Silva, Ana Sokolova:
Distribution Bisimilarity via the Power of Convex Algebras. Log. Methods Comput. Sci. 17(3) (2021) - [j41]Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi
:
Equivalence checking for weak bi-Kleene algebra. Log. Methods Comput. Sci. 17(3) (2021) - [j40]Nick Giannarakis, Alexandra Silva
, David Walker:
ProbNV: probabilistic verification of network control planes. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021) - [c73]Gerco van Heerdt
, Tobias Kappé
, Jurriaan Rot, Alexandra Silva
:
Learning Pomset Automata. FoSSaCS 2021: 510-530 - [c72]Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva:
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. ICALP 2021: 142:1-142:14 - [c71]Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva:
A Bunched Logic for Conditional Independence. LICS 2021: 1-14 - [c70]Tiago Ferreira
, Harrison Brewton, Loris D'Antoni, Alexandra Silva:
Prognosis: closed-box analysis of network protocol implementations. SIGCOMM 2021: 762-774 - [c69]Todd Schmid, Jurriaan Rot, Alexandra Silva:
On Star Expressions and Coalgebraic Completeness Theorems. MFPS 2021: 242-259 - [c68]Stefan Zetzsche, Gerco van Heerdt, Alexandra Silva, Matteo Sammartino:
Canonical automata via distributive law homomorphisms. MFPS 2021: 296-313 - [e13]Fabio Gadducci
, Alexandra Silva
:
9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria. LIPIcs 211, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-212-9 [contents] - [e12]Alexandra Silva, K. Rustan M. Leino:
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I. Lecture Notes in Computer Science 12759, Springer 2021, ISBN 978-3-030-81684-1 [contents] - [e11]Alexandra Silva, K. Rustan M. Leino:
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Lecture Notes in Computer Science 12760, Springer 2021, ISBN 978-3-030-81687-2 [contents] - [e10]Alexandra Silva, Renata Wassermann
, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings. Lecture Notes in Computer Science 13038, Springer 2021, ISBN 978-3-030-88852-7 [contents] - [i41]Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva:
Learning Pomset Automata. CoRR abs/2102.07504 (2021) - [i40]Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva:
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. CoRR abs/2102.08286 (2021) - 2020
- [j39]Susanne Albers, Nikhil Bansal, Elvira Mayordomo, Dale Miller, Jaroslav Nesetril, Damian Niwinski, David Peleg, Vladimiro Sassone, Alexandra Silva:
EATCS Distinguished Dissertation Award 2020 - Call for Nominations. Bull. EATCS 132 (2020) - [j38]Steffen Smolka, Nate Foster, Justin Hsu
, Tobias Kappé
, Dexter Kozen, Alexandra Silva:
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time. Proc. ACM Program. Lang. 4(POPL): 61:1-61:28 (2020) - [j37]Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva:
Conditional transition systems with upgrades. Sci. Comput. Program. 186 (2020) - [j36]Dexter Kozen
, Alexandra Silva:
Left-handed completeness. Theor. Comput. Sci. 807: 220-233 (2020) - [j35]Sergey Goncharov
, Stefan Milius, Alexandra Silva:
Toward a Uniform Theory of Effectful State Machines. ACM Trans. Comput. Log. 21(3): 23:1-23:63 (2020) - [c67]Gerco van Heerdt
, Matteo Sammartino
, Alexandra Silva
:
Learning Automata with Side-Effects. CMCS 2020: 68-89 - [c66]Luca Aceto
, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva:
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper). CONCUR 2020: 5:1-5:3 - [c65]Jana Wagemaker
, Paul Brunet
, Simon Docherty
, Tobias Kappé
, Jurriaan Rot, Alexandra Silva
:
Partially Observable Concurrent Kleene Algebra. CONCUR 2020: 20:1-20:22 - [c64]Tobias Kappé
, Paul Brunet
, Alexandra Silva
, Jana Wagemaker
, Fabio Zanasi
:
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. FoSSaCS 2020: 381-400 - [c63]Gerco van Heerdt, Clemens Kupke
, Jurriaan Rot, Alexandra Silva:
Learning Weighted Automata over Principal Ideal Domains. FoSSaCS 2020: 602-621 - [c62]Alexandra Silva:
Models of Concurrent Kleene Algebra. LPAR 2020: 516 - [c61]Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan
:
Preservation of Equations by Monoidal Monads. MFCS 2020: 77:1-77:14 - [c60]Tao Gu, Alexandra Silva, Fabio Zanasi
:
Hennessy-Milner Results for Probabilistic PDL. MFPS 2020: 283-304 - [i39]Gerco van Heerdt, Tobias Kappé
, Jurriaan Rot, Matteo Sammartino, Alexandra Silva:
A Categorical Framework for Learning Generalised Tree Automata. CoRR abs/2001.05786 (2020) - [i38]Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan:
Preservation of Equations by Monoidal Monads. CoRR abs/2001.06348 (2020) - [i37]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva:
Actor-Based Model Checking for SDN Networks. CoRR abs/2001.10022 (2020) - [i36]Tobias Kappé
, Paul Brunet
, Alexandra Silva, Jana Wagemaker, Fabio Zanasi:
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness. CoRR abs/2002.09682 (2020) - [i35]Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva:
Minimisation in Logical Form. CoRR abs/2005.11551 (2020) - [i34]Jana Wagemaker, Paul Brunet
, Simon Docherty, Tobias Kappé
, Jurriaan Rot, Alexandra Silva:
Partially Observable Concurrent Kleene Algebra. CoRR abs/2007.07593 (2020) - [i33]Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva:
A Logic to Reason about Dependence and Independence. CoRR abs/2008.09231 (2020) - [i32]Stefan Zetzsche, Alexandra Silva, Matteo Sammartino:
Bases for algebras over a monad. CoRR abs/2010.10223 (2020)
2010 – 2019
- 2019
- [j34]Juliette Kennedy, Ruy J. G. B. de Queiroz, Alexandra Silva, Mehrnoosh Sadrzadeh:
24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017). Log. J. IGPL 27(1): 118-134 (2019) - [j33]Tobias Kappé
, Paul Brunet
, Bas Luttik
, Alexandra Silva, Fabio Zanasi
:
On series-parallel pomset languages: Rationality, context-freeness and automata. J. Log. Algebraic Methods Program. 103: 130-153 (2019) - [j32]Gerco van Heerdt, Joshua Moerman
, Matteo Sammartino
, Alexandra Silva:
A (co)algebraic theory of succinct automata. J. Log. Algebraic Methods Program. 105: 112-125 (2019) - [c59]Gerco van Heerdt
, Tobias Kappé
, Jurriaan Rot, Matteo Sammartino
, Alexandra Silva
:
Tree Automata as Algebras: Minimisation and Determinisation. CALCO 2019: 6:1-6:22 - [c58]Loris D'Antoni, Tiago Ferreira
, Matteo Sammartino
, Alexandra Silva:
Symbolic Register Automata. CAV (1) 2019: 3-21 - [c57]Tobias Kappé
, Paul Brunet
, Jurriaan Rot, Alexandra Silva
, Jana Wagemaker, Fabio Zanasi
:
Kleene Algebra with Observations. CONCUR 2019: 41:1-41:16 - [c56]Alexandra Silva:
An Algebraic Framework to Reason About Concurrency (Invited Talk). FSTTCS 2019: 6:1-6:1 - [c55]Paul Brunet
, Alexandra Silva
:
A Kleene Theorem for Nominal Automata. ICALP 2019: 107:1-107:13 - [c54]Alexandra Silva:
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk). MFCS 2019: 2:1-2:1 - [c53]Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé
, Jurriaan Rot, Alexandra Silva:
Completeness and Incompleteness of Synchronous Kleene Algebra. MPC 2019: 385-413 - [c52]Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu
, Dexter Kozen, Alexandra Silva:
Scalable verification of probabilistic networks. PLDI 2019: 190-203 - [e9]Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach:
Language, Logic, and Computation - 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers. Lecture Notes in Computer Science 11456, Springer 2019, ISBN 978-3-662-59564-0 [contents] - [i31]Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva:
Scalable Verification of Probabilistic Networks. CoRR abs/1904.08096 (2019) - [i30]Gerco van Heerdt, Tobias Kappé
, Jurriaan Rot, Matteo Sammartino, Alexandra Silva:
Tree Automata as Algebras: Minimisation and Determinisation. CoRR abs/1904.08802 (2019) - [i29]Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva:
A (co)algebraic theory of succinct automata. CoRR abs/1905.05519 (2019) - [i28]Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé
, Jurriaan Rot, Alexandra Silva:
Completeness and Incompleteness of Synchronous Kleene Algebra. CoRR abs/1905.08554 (2019) - [i27]Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé
, Dexter Kozen, Alexandra Silva:
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time. CoRR abs/1907.05920 (2019) - [i26]Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva:
Learning Weighted Automata over Principal Ideal Domains. CoRR abs/1911.04404 (2019) - 2018
- [j31]Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann
:
A coalgebraic treatment of conditional transition systems with upgrades. Log. Methods Comput. Sci. 14(1) (2018) - [j30]Jörg Endrullis
, Helle Hvid Hansen
, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva:
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. Log. Methods Comput. Sci. 14(1) (2018) - [c51]Gerco van Heerdt, Bart Jacobs, Tobias Kappé
, Alexandra Silva:
Learning to Coordinate. It's All About Coordination 2018: 139-159 - [c50]Tobias Kappé
, Paul Brunet
, Alexandra Silva
, Fabio Zanasi
:
Concurrent Kleene Algebra: Free Model and Completeness. ESOP 2018: 856-882 - [c49]Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino
, Alexandra Silva:
SDN-Actors: Modeling and Verification of SDN Programs. FM 2018: 550-567 - [c48]Alejandro Aguirre
, Gilles Barthe
, Justin Hsu
, Alexandra Silva:
Almost Sure Productivity. ICALP 2018: 113:1-113:15 - [c47]Fredrik Dahlqvist, Louis Parlant, Alexandra Silva:
Layer by Layer - Combining Monads. ICTAC 2018: 153-172 - [c46]Gerco van Heerdt, Justin Hsu
, Joël Ouaknine, Alexandra Silva:
Convex Language Semantics for Nondeterministic Probabilistic Automata. ICTAC 2018: 472-492 - [c45]Alexandra Silva:
Preface. MFPS 2018: 1-3 - [c44]Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier:
Borel Kernels and their Approximation, Categorically. MFPS 2018: 91-119 - [e8]Alexandra Silva:
The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, MFPS 2017, Ljubljana, Slovenia, June 12-15, 2017. Electronic Notes in Theoretical Computer Science 336, Elsevier 2018 [contents] - [i25]Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva:
Almost Sure Productivity. CoRR abs/1802.06283 (2018) - [i24]Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Alexandra Silva:
Borel Kernels and their Approximation, Categorically. CoRR abs/1803.02651 (2018) - [i23]Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva:
Convex Language Semantics for Nondeterministic Probabilistic Automata. CoRR abs/1805.11550 (2018) - [i22]Tobias Kappé
, Paul Brunet
, Bas Luttik, Alexandra Silva, Fabio Zanasi:
Equivalence checking for weak bi-Kleene algebra. CoRR abs/1807.02102 (2018) - [i21]Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva:
Symbolic Register Automata. CoRR abs/1811.06968 (2018) - [i20]Tobias Kappé
, Paul Brunet
, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi:
Kleene Algebra with Observations. CoRR abs/1811.10401 (2018) - [i19]Tobias Kappé
, Paul Brunet
, Bas Luttik, Alexandra Silva, Fabio Zanasi:
On Series-Parallel Pomset Languages: Rationality, Context-Freeness and Automata. CoRR abs/1812.03058 (2018) - 2017
- [j29]Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva:
CoCaml: Functional Programming with Regular Coinductive Types. Fundam. Informaticae 150(3-4): 347-377 (2017) - [j28]Dexter Kozen, Konstantinos Mamouras, Alexandra Silva:
Completeness and incompleteness in nominal Kleene algebra. J. Log. Algebraic Methods Program. 91: 17-32 (2017) - [j27]Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva:
Well-founded coalgebras, revisited. Math. Struct. Comput. Sci. 27(7): 1111-1131 (2017) - [j26]Dexter Kozen, Alexandra Silva:
Practical coinduction. Math. Struct. Comput. Sci. 27(7): 1132-1152 (2017) - [j25]Jurriaan Rot, Filippo Bonchi
, Marcello M. Bonsangue
, Damien Pous
, Jan Rutten, Alexandra Silva:
Enhanced coalgebraic bisimulation. Math. Struct. Comput. Sci. 27(7): 1236-1264 (2017) - [c43]Filippo Bonchi
, Alexandra Silva, Ana Sokolova
:
The Power of Convex Algebras. CONCUR 2017: 23:1-23:18 - [c42]Tobias Kappé, Paul Brunet
, Bas Luttik, Alexandra Silva
, Fabio Zanasi
:
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. CONCUR 2017: 25:1-25:16 - [c41]Gerco van Heerdt, Matteo Sammartino
, Alexandra Silva
:
CALF: Categorical Automata Learning Framework. CSL 2017: 29:1-29:24 - [c40]Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
:
Cantor meets scott: semantic foundations for probabilistic networks. POPL 2017: 557-571 - [c39]Joshua Moerman
, Matteo Sammartino
, Alexandra Silva
, Bartek Klin
, Michal Szynwelski:
Learning nominal automata. POPL 2017: 613-625 - [c38]Alexandra Silva:
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk). FSCD 2017: 3:1-3:1 - [c37]Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva:
Conditional transition systems with upgrades. TASE 2017: 1-8 - [e7]Ahmed Bouajjani, Alexandra Silva:
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. Lecture Notes in Computer Science 10321, Springer 2017, ISBN 978-3-319-60224-0 [contents] - [i18]Gerco van Heerdt, Matteo Sammartino, Alexandra Silva:
CALF: Categorical Automata Learning Framework. CoRR abs/1704.05676 (2017) - [i17]Tobias Kappé
, Paul Brunet
, Bas Luttik, Alexandra Silva, Fabio Zanasi:
Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages. CoRR abs/1704.07199 (2017) - [i16]Gerco van Heerdt, Matteo Sammartino, Alexandra Silva:
Learning Automata with Side-Effects. CoRR abs/1704.08055 (2017) - [i15]Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva:
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic. CoRR abs/1706.00677 (2017) - [i14]Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva:
Conditional Transition Systems with Upgrades. CoRR abs/1706.02526 (2017) - [i13]Filippo Bonchi, Alexandra Silva, Ana Sokolova:
The Power of Convex Algebras. CoRR abs/1707.02344 (2017) - [i12]Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva:
Deciding Probabilistic Program Equivalence in NetKAT. CoRR abs/1707.02772 (2017) - [i11]Tobias Kappé
, Paul Brunet
, Alexandra Silva, Fabio Zanasi:
Concurrent Kleene Algebra: Free Model and Completeness. CoRR abs/1710.02787 (2017) - [i10]Fredrik Dahlqvist, Louis Parlant, Alexandra Silva:
Layer by layer - Combining Monads. CoRR abs/1712.01113 (2017) - 2016
- [j24]Luís Soares Barbosa
, Alcino Cunha
, Alexandra Silva:
Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira. J. Log. Algebraic Methods Program. 85(5): 805 (2016) - [j23]Filippo Bonchi
, Marcello M. Bonsangue
, Georgiana Caltais, Jan Rutten, Alexandra Silva:
A coalgebraic view on decorated traces. Math. Struct. Comput. Sci. 26(7): 1234-1268 (2016) - [j22]