Alexandra Silva

According to our database, Alexandra Silva authored at least 154 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021.

Aws Albarghouthi, K. Rustan M. Leino, Alexandra Silva, Caterina Urban

Formal Methods Syst. Des., October, 2024

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects.

Noam Zilberstein, Angelina Saliling, Alexandra Silva

Proc. ACM Program. Lang., 2024

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers.

Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva

Proc. ACM Program. Lang., 2024

KATch: A Fast Symbolic Verifier for NetKAT.

Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva

Proc. ACM Program. Lang., 2024

Total Outcome Logic: Proving Termination and Nontermination in Programs with Branching.

James Li, Noam Zilberstein, Alexandra Silva

CoRR, 2024

A Demonic Outcome Logic for Randomized Nondeterminism.

Noam Zilberstein, Dexter Kozen, Alexandra Silva, Joseph Tassarotti

CoRR, 2024

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming.

Robin Piedeleu, Mateo Torres-Ruiz, Alexandra Silva, Fabio Zanasi

CoRR, 2024

A cyclic proof system for Guarded Kleene Algebra with Tests (full version).

Jan Rooduijn, Dexter Kozen, Alexandra Silva

CoRR, 2024

A Completeness Theorem for Probabilistic Regular Expressions.

Wojciech Rozowski, Alexandra Silva

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

A Cyclic Proof System for Guarded Kleene Algebra with Tests.

Jan Rooduijn, Dexter Kozen, Alexandra Silva

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Correct and Complete Symbolic Execution for Free.

Erik Voogd, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Jurriaan Rot, Alexandra Silva

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

On Iteration in Discrete Probabilistic Programming.

Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

A Categorical Approach to DIBI Models.

Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

Multisets and Distributions.

Dexter Kozen, Alexandra Silva

Proceedings of the Logics and Type Systems in Theory and Practice, 2024

2023

Long-Term Mentoring for Computer Science Researchers.

Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer

Commun. ACM, May, 2023

Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning.

Noam Zilberstein, Derek Dreyer, Alexandra Silva

Proc. ACM Program. Lang., April, 2023

Automata Learning with an Incomplete Teacher (Artifact).

Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva

Dagstuhl Artifacts Ser., 2023

Conflict-Aware Active Automata Learning.

Tiago Ferreira, Léo Henry, Raquel Fernandes da Silva, Alexandra Silva

Proceedings of the Fourteenth International Symposium on Games, 2023

Joint Distributions in Probabilistic Semantics.

Dexter Kozen, Alexandra Silva, Erik Voogd

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Symbolic Semantics for Probabilistic Programs (extended version).

Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski

CoRR, 2023

A Coalgebraic Approach to Reducing Finitary Automata.

Keri D'Angelo, Alexandra Silva, Gerco van Heerdt, Leon Witzman

CoRR, 2023

Symbolic Semantics for Probabilistic Programs.

Erik Voogd, Einar Broch Johnsen, Alexandra Silva, Zachary J. Susag, Andrzej Wasowski

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Deterministic stream-sampling for probabilistic programming: semantics and verification.

Fredrik Dahlqvist, Alexandra Silva, William Smith

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity.

Wojciech Rozowski, Tobias Kappé, Dexter Kozen, Todd Schmid, Alexandra Silva

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests.

Todd Schmid, Tobias Kappé, Alexandra Silva

Proceedings of the Programming Languages and Systems, 2023

Automata Learning with an Incomplete Teacher.

Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Generators and Bases for Monadic Closures.

Stefan Zetzsche, Alexandra Silva, Matteo Sammartino

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Formalizing Moessner's theorem and generalizations in Nuprl.

Mark Bickford, Dexter Kozen, Alexandra Silva

J. Log. Algebraic Methods Program., 2022

Guarded Kleene Algebra with Tests: Automata Learning.

Stefan Zetzsche, Alexandra Silva, Matteo Sammartino

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

Processes Parametrised by an Algebraic Theory.

Todd Schmid, Wojciech Rozowski, Alexandra Silva, Jurriaan Rot

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks.

Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva

Proceedings of the Programming Languages and Systems, 2022

A Categorical Framework for Learning Generalised Tree Automata.

Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva

Proceedings of the Coalgebraic Methods in Computer Science, 2022

Tree-Based Adaptive Model Learning.

Tiago Ferreira, Gerco van Heerdt, Alexandra Silva

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

ProbNV: probabilistic verification of network control planes.

Nick Giannarakis, Alexandra Silva, David Walker

Proc. ACM Program. Lang., 2021

Equivalence checking for weak bi-Kleene algebra.

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

Log. Methods Comput. Sci., 2021

Distribution Bisimilarity via the Power of Convex Algebras.

Filippo Bonchi, Alexandra Silva, Ana Sokolova

Log. Methods Comput. Sci., 2021

Actor-based model checking for Software-Defined Networks.

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva

J. Log. Algebraic Methods Program., 2021

On Star Expressions and Coalgebraic Completeness Theorems.

Todd Schmid, Jurriaan Rot, Alexandra Silva

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Canonical automata via distributive law homomorphisms.

Stefan Zetzsche, Gerco van Heerdt, Alexandra Silva, Matteo Sammartino

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Prognosis: closed-box analysis of network protocol implementations.

Tiago Ferreira, Harrison Brewton, Loris D'Antoni, Alexandra Silva

Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

A Bunched Logic for Conditional Independence.

Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness.

Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

Learning Pomset Automata.

Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

Toward a Uniform Theory of Effectful State Machines.

Sergey Goncharov, Stefan Milius, Alexandra Silva

ACM Trans. Comput. Log., 2020

Left-handed completeness.

Dexter Kozen, Alexandra Silva

Theor. Comput. Sci., 2020

Conditional transition systems with upgrades.

Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva

Sci. Comput. Program., 2020

Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time.

Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva

Proc. ACM Program. Lang., 2020

EATCS Distinguished Dissertation Award 2020 - Call for Nominations.

Susanne Albers, Nikhil Bansal, Elvira Mayordomo, Dale Miller, Jaroslav Nesetril, Damian Niwinski, David Peleg, Vladimiro Sassone, Alexandra Silva

Bull. EATCS, 2020

Bases for algebras over a monad.

Stefan Zetzsche, Alexandra Silva, Matteo Sammartino

CoRR, 2020

A Logic to Reason about Dependence and Independence.

Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva

CoRR, 2020

Minimisation in Logical Form.

Nick Bezhanishvili, Marcello M. Bonsangue, Helle Hvid Hansen, Dexter Kozen, Clemens Kupke, Prakash Panangaden, Alexandra Silva

CoRR, 2020

Actor-Based Model Checking for SDN Networks.

Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva

CoRR, 2020

Hennessy-Milner Results for Probabilistic PDL.

Tao Gu, Alexandra Silva, Fabio Zanasi

Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

Preservation of Equations by Monoidal Monads.

Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

Models of Concurrent Kleene Algebra.

Alexandra Silva

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness.

Tobias Kappé, Paul Brunet, Alexandra Silva, Jana Wagemaker, Fabio Zanasi

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Learning Weighted Automata over Principal Ideal Domains.

Gerco van Heerdt, Clemens Kupke, Jurriaan Rot, Alexandra Silva

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Partially Observable Concurrent Kleene Algebra.

Jana Wagemaker, Paul Brunet, Simon Docherty, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Proceedings of the 31st International Conference on Concurrency Theory, 2020

CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper).

Luca Aceto, Jos C. M. Baeten, Patricia Bouyer-Decitre, Holger Hermanns, Alexandra Silva

Proceedings of the 31st International Conference on Concurrency Theory, 2020

Learning Automata with Side-Effects.

Gerco van Heerdt, Matteo Sammartino, Alexandra Silva

Proceedings of the Coalgebraic Methods in Computer Science, 2020

2019

On series-parallel pomset languages: Rationality, context-freeness and automata.

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

J. Log. Algebraic Methods Program., 2019

A (co)algebraic theory of succinct automata.

Gerco van Heerdt, Joshua Moerman, Matteo Sammartino, Alexandra Silva

J. Log. Algebraic Methods Program., 2019

24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017).

Juliette Kennedy, Ruy J. G. B. de Queiroz, Alexandra Silva, Mehrnoosh Sadrzadeh

Log. J. IGPL, 2019

Scalable verification of probabilistic networks.

Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Completeness and Incompleteness of Synchronous Kleene Algebra.

Jana Wagemaker, Marcello M. Bonsangue, Tobias Kappé, Jurriaan Rot, Alexandra Silva

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk).

Alexandra Silva

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

A Kleene Theorem for Nominal Automata.

Paul Brunet, Alexandra Silva

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

An Algebraic Framework to Reason About Concurrency (Invited Talk).

Alexandra Silva

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

Kleene Algebra with Observations.

Tobias Kappé, Paul Brunet, Jurriaan Rot, Alexandra Silva, Jana Wagemaker, Fabio Zanasi

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Symbolic Register Automata.

Loris D'Antoni, Tiago Ferreira, Matteo Sammartino, Alexandra Silva

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Tree Automata as Algebras: Minimisation and Determinisation.

Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2018

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic.

Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

Log. Methods Comput. Sci., 2018

A coalgebraic treatment of conditional transition systems with upgrades.

Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann

Log. Methods Comput. Sci., 2018

Borel Kernels and their Approximation, Categorically.

Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Preface.

Alexandra Silva

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Convex Language Semantics for Nondeterministic Probabilistic Automata.

Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

Layer by Layer - Combining Monads.

Fredrik Dahlqvist, Louis Parlant, Alexandra Silva

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

Almost Sure Productivity.

Alejandro Aguirre, Gilles Barthe, Justin Hsu, Alexandra Silva

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

SDN-Actors: Modeling and Verification of SDN Programs.

Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Concurrent Kleene Algebra: Free Model and Completeness.

Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi

Proceedings of the Programming Languages and Systems, 2018

Learning to Coordinate.

Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva

Proceedings of the It's All About Coordination, 2018

2017

Enhanced coalgebraic bisimulation.

Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva

Math. Struct. Comput. Sci., 2017

Practical coinduction.

Dexter Kozen, Alexandra Silva

Math. Struct. Comput. Sci., 2017

Well-founded coalgebras, revisited.

Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva

Math. Struct. Comput. Sci., 2017

Completeness and incompleteness in nominal Kleene algebra.

Dexter Kozen, Konstantinos Mamouras, Alexandra Silva

J. Log. Algebraic Methods Program., 2017

CoCaml: Functional Programming with Regular Coinductive Types.

Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva

Fundam. Informaticae, 2017

Deciding Probabilistic Program Equivalence in NetKAT.

Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva

CoRR, 2017

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages (Invited Talk).

Alexandra Silva

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Cantor meets scott: semantic foundations for probabilistic networks.

Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Learning nominal automata.

Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

CALF: Categorical Automata Learning Framework.

Gerco van Heerdt, Matteo Sammartino, Alexandra Silva

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages.

Tobias Kappé, Paul Brunet, Bas Luttik, Alexandra Silva, Fabio Zanasi

Proceedings of the 28th International Conference on Concurrency Theory, 2017

The Power of Convex Algebras.

Filippo Bonchi, Alexandra Silva, Ana Sokolova

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Report on the POPL mentoring workshop (PLMW 2016).

Alexandra Silva

ACM SIGLOG News, 2016

A coalgebraic view on decorated traces.

Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva

Math. Struct. Comput. Sci., 2016

Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira.

Luís Soares Barbosa, Alcino Cunha, Alexandra Silva

J. Log. Algebraic Methods Program., 2016

Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming.

Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva

CoRR, 2016

A coalgebraic treatment of conditional transition systems with upgrades.

Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva

CoRR, 2016

Probabilistic NetKAT.

Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva

Proceedings of the Programming Languages and Systems, 2016

Coalgebraic Learning.

Alexandra Silva

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq.

Robbert Krebbers, Louis Parlant, Alexandra Silva

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure.

Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi

Theor. Comput. Sci., 2015

A short introduction to the coalgebraic method.

Alexandra Silva

ACM SIGLOG News, 2015

Preface for the special issue on Interaction and Concurrency Experience 2012.

Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova

Sci. Comput. Program., 2015

IMC_Reo: interactive Markov chains for Stochastic Reo.

Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa

J. Internet Serv. Inf. Secur., 2015

Trace semantics via determinization.

Bart Jacobs, Alexandra Silva, Ana Sokolova

J. Comput. Syst. Sci., 2015

A Coinductive Framework for Infinitary Rewriting and Equational Reasoning (Extended Version).

Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

CoRR, 2015

A Coinductive Framework for Infinitary Rewriting and Equational Reasoning.

Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

A Coalgebraic Decision Procedure for NetKAT.

Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva, Laure Thompson

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Nominal Kleene Coalgebra.

Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Applications of Automata and Concurrency Theory in Networks (Invited Paper).

Alexandra Silva

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Algebra-coalgebra duality in Brzozowski's minimization algorithm.

Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva

ACM Trans. Comput. Log., 2014

A compositional model to reason about end-to-end QoS in Stochastic Reo connectors.

Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab

Sci. Comput. Program., 2014

Preface.

Bart Jacobs, Alexandra Silva, Sam Staton

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Towards a Coalgebraic Chomsky Hierarchy.

Sergey Goncharov, Stefan Milius, Alexandra Silva

CoRR, 2014

Quantitative analysis of Reo-based service coordination.

Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa

Proceedings of the Symposium on Applied Computing, 2014

Towards a Coalgebraic Chomsky Hierarchy - (Extended Abstract).

Sergey Goncharov, Stefan Milius, Alexandra Silva

Proceedings of the Theoretical Computer Science, 2014

How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure.

Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi

Proceedings of the Coalgebraic Methods in Computer Science, 2014

Automata Learning: A Categorical Perspective.

Bart Jacobs, Alexandra Silva

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

Initial Algebras of Terms with Binding and Algebraic Structure.

Bart Jacobs, Alexandra Silva

Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2013

Sound and Complete Axiomatizations of Coalgebraic Language Equivalence.

Marcello M. Bonsangue, Stefan Milius, Alexandra Silva

ACM Trans. Comput. Log., 2013

On Moessner's Theorem.

Dexter Kozen, Alexandra Silva

Am. Math. Mon., 2013

Automatic equivalence proofs for non-deterministic coalgebras.

Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva

Sci. Comput. Program., 2013

Report on CALCO 2013.

Alexandra Silva, Pawel Sobocinski

Bull. EATCS, 2013

Generalizing determinization from automata to coalgebras

Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten

Log. Methods Comput. Sci., 2013

A Coinductive Treatment of Infinitary Rewriting.

Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

CoRR, 2013

Language Constructs for Non-Well-Founded Computation.

Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva

Proceedings of the Programming Languages and Systems, 2013

A Coalgebraic View of ε-Transitions.

Alexandra Silva, Bram Westerbaan

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

Brzozowski's and Up-To Algorithms for Must Testing.

Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

A model of context-dependent component connectors.

Marcello M. Bonsangue, Dave Clarke, Alexandra Silva

Sci. Comput. Program., 2012

A coalgebraic perspective on linear weighted automata.

Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva

Inf. Comput., 2012

Final Semantics for Decorated Traces.

Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

Position Automata for Kleene Algebra with Tests.

Alexandra Silva

Sci. Ann. Comput. Sci., 2012

Towards Interaction Reliability in Concurrent Applications.

Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva

Sci. Ann. Comput. Sci., 2012

A Coalgebraic Perspective on Minimization and Determinization.

Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva

Proceedings of the Foundations of Software Science and Computational Structures, 2012

Brzozowski's Algorithm (Co)Algebraically.

Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva

Proceedings of the Logic and Program Semantics, 2012

2011

Preface.

Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva

Theor. Comput. Sci., 2011

Quantitative Kleene coalgebras.

Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten

Inf. Comput., 2011

Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems.

Alexandra Silva, Ana Sokolova

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

Concurrency and Interaction in Complex Systems.

Sonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina

Sci. Ann. Comput. Sci., 2011

A Specification Language for Reo Connectors.

Alexandra Silva

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

A coinductive calculus of binary trees.

Alexandra Silva, Jan J. M. M. Rutten

Inf. Comput., 2010

A Compositional Semantics for Stochastic Reo Connectors

Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab

Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

Non-Deterministic Kleene Coalgebras

Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten

Log. Methods Comput. Sci., 2010

A Decision Procedure for Bisimilarity of Generalized Regular Expressions.

Marcello M. Bonsangue, Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Jan J. M. M. Rutten, Alexandra Silva

Proceedings of the Formal Methods: Foundations and Applications, 2010

Generalizing the powerset construction, coalgebraically.

Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

2009

An Algebra for Kripke Polynomial Coalgebras.

Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

A Kleene Theorem for Polynomial Coalgebras.

Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Automata for Context-Dependent Connectors.

Marcello M. Bonsangue, Dave Clarke, Alexandra Silva

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

Deriving Syntax and Axioms for Quantitative Regular Behaviours.

Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Coalgebraic Logic and Synthesis of Mealy Machines.

Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva

Proceedings of the Foundations of Software Science and Computational Structures, 2008

Calculating Invariants as Coreflexive Bisimulations.

Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Behavioural Differential Equations and Coinduction for Binary Trees.

Alexandra Silva, Jan J. M. M. Rutten

Proceedings of the Logic, 2007

2006

Strong types for relational databases.

Alexandra Silva, Joost Visser

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006