default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlexandra 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
![[0000-0003-0384-4447]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-0384-4447")
(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
- 2025
[j54]Brijesh Dongol, Catherine Dubois, Stefan Hallerstede, Eric C. R. Hehner, Carroll Morgan, Peter Müller, Leila Ribeiro, Alexandra Silva, Graeme Smith, Erik P. de Vink:
On Formal Methods Thinking in Computer Science Education. Formal Aspects Comput. 37(1): 8:1-8:23 (2025)- [j53]Noam Zilberstein, Dexter Kozen, Alexandra Silva, Joseph Tassarotti:
A Demonic Outcome Logic for Randomized Nondeterminism. Proc. ACM Program. Lang. 9(POPL): 539-568 (2025) - [j52]Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva:
Convex language semantics for nondeterministic probabilistic automata. Theor. Comput. Sci. 1040: 115191 (2025) - [c94]Thibaut Antoine, Robin Piedeleu, Alexandra Silva, Fabio Zanasi:
A Complete Diagrammatic Calculus for Automata Simulation. CSL 2025: 27:1-27:22 - [c93]Corina Cîrstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova:
A Complete Inference System for Probabilistic Infinite Trace Equivalence. CSL 2025: 30:1-30:23 - [i65]Noam Zilberstein, Daniele Gorla, Alexandra Silva:
Denotational Semantics for Probabilistic and Concurrent Programs. CoRR abs/2503.02768 (2025) - 2024
- [j51]Aws Albarghouthi, K. Rustan M. Leino, Alexandra Silva, Caterina Urban:
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021. Formal Methods Syst. Des. 63(1): 1-4 (2024) - [j50]Noam Zilberstein, Angelina Saliling, Alexandra Silva:
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects. Proc. ACM Program. Lang. 8(OOPSLA1): 276-304 (2024) - [j49]Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva:
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers. Proc. ACM Program. Lang. 8(OOPSLA2): 817-845 (2024) - [j48]Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva:
KATch: A Fast Symbolic Verifier for NetKAT. Proc. ACM Program. Lang. 8(PLDI): 1905-1928 (2024) - [c92]Dexter Kozen, Alexandra Silva:
Multisets and Distributions. Logics and Type Systems in Theory and Practice 2024: 168-187 - [c91]Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi:
A Categorical Approach to DIBI Models. FSCD 2024: 17:1-17:20 - [c90]Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi:
On Iteration in Discrete Probabilistic Programming. FSCD 2024: 20:1-20:21 - [c89]Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva:
Correct and Complete Symbolic Execution for Free. IFM 2024: 237-255 - [c88]Jan Rooduijn, Dexter Kozen, Alexandra Silva:
A Cyclic Proof System for Guarded Kleene Algebra with Tests. IJCAR (2) 2024: 257-275 - [c87]Wojciech Rozowski, Alexandra Silva:
A Completeness Theorem for Probabilistic Regular Expressions. LICS 2024: 66:1-66:14 - [e17]Rupak Majumdar, Alexandra Silva:
35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada. LIPIcs 311, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-339-3 [contents] - [e16]Aniello Murano, Alexandra Silva:
32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy. LIPIcs 288, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-310-2 [contents] - [i64]Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi:
A Categorical Approach to DIBI Models. CoRR abs/2401.05842 (2024) - [i63]Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva:
KATch: A Fast Symbolic Verifier for NetKAT. CoRR abs/2404.04760 (2024) - [i62]Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva:
Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers. CoRR abs/2404.05097 (2024) - [i61]Jan Rooduijn, Dexter Kozen, Alexandra Silva:
A cyclic proof system for Guarded Kleene Algebra with Tests (full version). CoRR abs/2405.07505 (2024) - [i60]Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi:
A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming. CoRR abs/2408.14701 (2024) - [i59]Noam Zilberstein, Dexter Kozen, Alexandra Silva, Joseph Tassarotti:
A Demonic Outcome Logic for Randomized Nondeterminism. CoRR abs/2410.22540 (2024) - [i58]James Li, Noam Zilberstein, Alexandra Silva:
Total Outcome Logic: Proving Termination and Nontermination in Programs with Branching. CoRR abs/2411.00197 (2024) - [i57]Noam Zilberstein, Alexandra Silva, Joseph Tassarotti:
Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants. CoRR abs/2411.11662 (2024) - 2023
- [j47]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) - [j46]Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva:
Automata Learning with an Incomplete Teacher (Artifact). Dagstuhl Artifacts Ser. 9(2): 21:1-21:3 (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) - [c86]Stefan Zetzsche, Alexandra Silva, Matteo Sammartino:
Generators and Bases for Monadic Closures. CALCO 2023: 11:1-11:19 - [c85]Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva:
Automata Learning with an Incomplete Teacher. ECOOP 2023: 21:1-21:30 - [c84]Todd Schmid, Tobias Kappé, Alexandra Silva:
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. ESOP 2023: 309-336 - [c83]Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva:
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. ICALP 2023: 136:1-136:20 - [c82]Fredrik Dahlqvist, Alexandra Silva, William Smith:
Deterministic stream-sampling for probabilistic programming: semantics and verification. LICS 2023: 1-13 - [c81]Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski:
Symbolic Semantics for Probabilistic Programs. QEST 2023: 329-345 - [c80]Dexter Kozen, Alexandra Silva, Erik Voogd:
Joint Distributions in Probabilistic Semantics. MFPS 2023 - [c79]Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva:
Conflict-Aware Active Automata Learning. GandALF 2023: 150-167 - [i56]Dexter Kozen, Alexandra Silva:
Multisets and Distributions. CoRR abs/2301.10812 (2023) - [i55]Todd Schmid, Tobias Kappé, Alexandra Silva:
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. CoRR abs/2301.11301 (2023) - [i54]Noam Zilberstein, Derek Dreyer, Alexandra Silva:
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning. CoRR abs/2303.03111 (2023) - [i53]Keri D'Angelo, Alexandra Silva, Gerco van Heerdt, Leon Witzman:
A Coalgebraic Approach to Reducing Finitary Automata. CoRR abs/2303.14916 (2023) - [i52]Fredrik Dahlqvist, Alexandra Silva, William Smith:
Deterministic stream-sampling for probabilistic programming: semantics and verification. CoRR abs/2304.13504 (2023) - [i51]Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva:
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity. CoRR abs/2305.01755 (2023) - [i50]Noam Zilberstein, Angelina Saliling, Alexandra Silva:
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects. CoRR abs/2305.04842 (2023) - [i49]Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski:
Symbolic Semantics for Probabilistic Programs (extended version). CoRR abs/2307.09951 (2023) - [i48]Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva:
Conflict-Aware Active Automata Learning. CoRR abs/2308.14781 (2023) - [i47]Wojciech Rozowski, Alexandra Silva:
A Completeness Theorem for Probabilistic Regular Expressions. CoRR abs/2310.08779 (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) - [c78]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 - [c77]Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva:
A Categorical Framework for Learning Generalised Tree Automata. CMCS 2022: 67-87 - [c76]Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva:
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. ESOP 2022: 575-602 - [c75]Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot:
Processes Parametrised by an Algebraic Theory. ICALP 2022: 132:1-132:20 - [c74]Stefan Zetzsche, Alexandra Silva, Matteo Sammartino:
Guarded Kleene Algebra with Tests: Automata Learning. MFPS 2022 - [e15]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] - [i46]Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva:
Prognosis: Closed-Box Analysis of Network Protocol Implementations. CoRR abs/2201.02577 (2022) - [i45]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) - [i44]Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot:
Processes Parametrised by an Algebraic Theory. CoRR abs/2202.06901 (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 - [e14]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] - [e13]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] - [e12]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] - [e11]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 - [p1]Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen:
Semantics of Probabilistic Programming: A Gentle Introduction. Foundations of Probabilistic Programming 2020: 1-42 - [e10]Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva:
Foundations of Probabilistic Programming. Cambridge University Press 2020, ISBN 9781108770750 [contents] - [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]Alexandra Silva:
Report on the POPL mentoring workshop (PLMW 2016). ACM SIGLOG News 3(2): 82-83 (2016) - [c36]Robbert Krebbers, Louis Parlant, Alexandra Silva:
Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq. Theory and Practice of Formal Methods 2016: 309-324 - [c35]Alexandra Silva:
Coalgebraic Learning. CSL 2016: 5:1-5:1 - [c34]Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva:
Probabilistic NetKAT. ESOP 2016: 282-309 - [i9]Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva:
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming. CoRR abs/1607.05830 (2016) - [i8]Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski:
Learning Nominal Automata. CoRR abs/1607.06268 (2016) - [i7]Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva:
A coalgebraic treatment of conditional transition systems with upgrades. CoRR abs/1612.05002 (2016) - 2015
- [j21]Bart Jacobs, Alexandra Silva, Ana Sokolova:
Trace semantics via determinization. J. Comput. Syst. Sci. 81(5): 859-879 (2015) - [j20]Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa:
IMCReo: interactive Markov chains for Stochastic Reo. J. Internet Serv. Inf. Secur. 5(1): 3-28 (2015) - [j19]Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova:
Preface for the special issue on Interaction and Concurrency Experience 2012. Sci. Comput. Program. 100: 1 (2015) - [j18]Alexandra Silva:
A short introduction to the coalgebraic method. ACM SIGLOG News 2(2): 16-27 (2015) - [j17]Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi:
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure. Theor. Comput. Sci. 604: 102-126 (2015) - [c33]Dexter Kozen, Konstantinos Mamouras, Alexandra Silva:
Completeness and Incompleteness in Nominal Kleene Algebra. RAMiCS 2015: 51-66 - [c32]Alexandra Silva:
Applications of Automata and Concurrency Theory in Networks (Invited Paper). CONCUR 2015: 42-43 - [c31]Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva:
Nominal Kleene Coalgebra. ICALP (2) 2015: 286-298 - [c30]Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva, Laure Thompson:
A Coalgebraic Decision Procedure for NetKAT. POPL 2015: 343-355 - [c29]Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva:
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning. RTA 2015: 143-159 - [i6]Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva:
A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version). CoRR abs/1505.01128 (2015) - 2014
- [j16]Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab:
A compositional model to reason about end-to-end QoS in Stochastic Reo connectors. Sci. Comput. Program. 80: 3-24 (2014) - [j15]Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva:
Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. 15(1): 3:1-3:29 (2014) - [c28]Bart Jacobs, Alexandra Silva:
Initial Algebras of Terms with Binding and Algebraic Structure. Categories and Types in Logic, Language, and Physics 2014: 211-234 - [c27]Bart Jacobs, Alexandra Silva:
Automata Learning: A Categorical Perspective. Horizons of the Mind 2014: 384-406 - [c26]Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi:
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. CMCS 2014: 53-74 - [c25]Sergey Goncharov, Stefan Milius, Alexandra Silva:
Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract). IFIP TCS 2014: 265-280 - [c24]Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa:
Quantitative analysis of Reo-based service coordination. SAC 2014: 1247-1254 - [c23]Bart Jacobs, Alexandra Silva, Sam Staton:
Preface. MFPS 2014: 1-2 - [e6]Bart Jacobs, Alexandra Silva, Sam Staton:
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014. Electronic Notes in Theoretical Computer Science 308, Elsevier 2014 [contents] - [i5]Sergey Goncharov, Stefan Milius, Alexandra Silva:
Towards a Coalgebraic Chomsky Hierarchy. CoRR abs/1401.5277 (2014) - [i4]Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi:
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. CoRR abs/1402.4062 (2014) - 2013
- [j14]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten:
Generalizing determinization from automata to coalgebras. Log. Methods Comput. Sci. 9(1) (2013) - [j13]Alexandra Silva, Pawel Sobocinski:
Report on CALCO 2013. Bull. EATCS 111 (2013) - [j12]Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva:
Automatic equivalence proofs for non-deterministic coalgebras. Sci. Comput. Program. 78(9): 1324-1345 (2013) - [j11]Dexter Kozen, Alexandra Silva:
On Moessner's Theorem. Am. Math. Mon. 120(2): 131-139 (2013) - [j10]Marcello M. Bonsangue, Stefan Milius, Alexandra Silva:
Sound and Complete Axiomatizations of Coalgebraic Language Equivalence. ACM Trans. Comput. Log. 14(1): 7:1-7:52 (2013) - [c22]Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva:
Brzozowski's and Up-To Algorithms for Must Testing. APLAS 2013: 1-16 - [c21]Alexandra Silva, Bram Westerbaan:
A Coalgebraic View of ε-Transitions. CALCO 2013: 267-281 - [c20]Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva:
Language Constructs for Non-Well-Founded Computation. ESOP 2013: 61-80 - [i3]Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva:
Automatic Equivalence Proofs for Non-deterministic Coalgebras. CoRR abs/1303.1994 (2013) - [i2]Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva:
A Coinductive Treatment of Infinitary Rewriting. CoRR abs/1306.6224 (2013) - 2012
- [j9]Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva:
Towards Interaction Reliability in Concurrent Applications. Sci. Ann. Comput. Sci. 22(1): 1-4 (2012) - [j8]Alexandra Silva:
Position Automata for Kleene Algebra with Tests. Sci. Ann. Comput. Sci. 22(2): 367-394 (2012) - [j7]Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva:
A coalgebraic perspective on linear weighted automata. Inf. Comput. 211: 77-105 (2012) - [j6]Marcello M. Bonsangue, Dave Clarke, Alexandra Silva:
A model of context-dependent component connectors. Sci. Comput. Program. 77(6): 685-706 (2012) - [c19]Dexter Kozen, Alexandra Silva:
Left-Handed Completeness. RAMiCS 2012: 162-178 - [c18]Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva:
Brzozowski's Algorithm (Co)Algebraically. Logic and Program Semantics 2012: 12-23 - [c17]Bart Jacobs, Alexandra Silva, Ana Sokolova:
Trace Semantics via Determinization. CMCS 2012: 109-129 - [c16]Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva:
A Coalgebraic Perspective on Minimization and Determinization. FoSSaCS 2012: 58-73 - [c15]Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva:
Final Semantics for Decorated Traces. MFPS 2012: 73-86 - [e5]Robert L. Constable, Alexandra Silva:
Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7230, Springer 2012, ISBN 978-3-642-29484-6 [contents] - [e4]Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova:
Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012. EPTCS 104, 2012 [contents] - 2011
- [j5]Sonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina:
Concurrency and Interaction in Complex Systems. Sci. Ann. Comput. Sci. 21(1): 1-4 (2011) - [j4]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten:
Quantitative Kleene coalgebras. Inf. Comput. 209(5): 822-849 (2011) - [j3]Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva:
Preface. Theor. Comput. Sci. 412(38): 4967-4968 (2011) - [c14]Alexandra Silva:
A Specification Language for Reo Connectors. FSEN 2011: 368-376 - [c13]Alexandra Silva, Ana Sokolova:
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. MFPS 2011: 291-311 - [e3]Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone:
Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 59, 2011 [contents] - [i1]Marcello M. Bonsangue, Stefan Milius, Alexandra Silva:
Sound and complete axiomatizations of coalgebraic language equivalence. CoRR abs/1104.2803 (2011) - 2010
- [j2]Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten:
Non-Deterministic Kleene Coalgebras. Log. Methods Comput. Sci. 6(3) (2010) - [j1]Alexandra Silva, Jan J. M. M. Rutten:
A coinductive calculus of binary trees. Inf. Comput. 208(5): 578-593 (2010) - [c12]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten:
Generalizing the powerset construction, coalgebraically. FSTTCS 2010: 272-283 - [c11]Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva:
A Decision Procedure for Bisimilarity of Generalized Regular Expressions. SBMF 2010: 226-241 - [c10]Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab:
A Compositional Semantics for Stochastic Reo Connectors. FOCLASA 2010: 93-107 - [c9]Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva:
Preface. CMCS@ETAPS 2010: 1-2 - [e2]Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva:
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010. Electronic Notes in Theoretical Computer Science 264(2), Elsevier 2010 [contents] - [e1]Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva:
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010. EPTCS 38, 2010 [contents]
2000 – 2009
- 2009
- [c8]Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva:
Deriving Syntax and Axioms for Quantitative Regular Behaviours. CONCUR 2009: 146-162 - [c7]Marcello M. Bonsangue, Dave Clarke, Alexandra Silva:
Automata for Context-Dependent Connectors. COORDINATION 2009: 184-203 - [c6]Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva:
A Kleene Theorem for Polynomial Coalgebras. FoSSaCS 2009: 122-136 - [c5]Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva:
An Algebra for Kripke Polynomial Coalgebras. LICS 2009: 49-58 - 2008
- [c4]Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva:
Calculating Invariants as Coreflexive Bisimulations. AMAST 2008: 83-99 - [c3]Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva:
Coalgebraic Logic and Synthesis of Mealy Machines. FoSSaCS 2008: 231-245 - 2007
- [c2]Alexandra Silva, Jan J. M. M. Rutten:
Behavioural Differential Equations and Coinduction for Binary Trees. WoLLIC 2007: 322-336 - 2006
- [c1]Alexandra Silva, Joost Visser:
Strong types for relational databases. Haskell 2006: 25-36
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-14 01:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
