Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Alexandra Silva
2010 – today
- 2013
[j16]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Generalizing determinization from automata to coalgebras. Logical Methods in Computer Science 9(1) (2013)- [j15]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)
- [j14]Dexter Kozen, Alexandra Silva: On Moessner's Theorem. The American Mathematical Monthly 120(2): 131-139 (2013)
- [j13]Marcello M. Bonsangue, Stefan Milius, Alexandra Silva: Sound and Complete Axiomatizations of Coalgebraic Language Equivalence. ACM Trans. Comput. Log. 14(1): 7 (2013)
- [c18]
- [c17]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
- [j12]Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva: Towards Interaction Reliability in Concurrent Applications. Sci. Ann. Comp. Sci. 22(1): 1-4 (2012)
- [j11]Alexandra Silva: Position Automata for Kleene Algebra with Tests. Sci. Ann. Comp. Sci. 22(2): 367-394 (2012)
- [j10]Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva: Final Semantics for Decorated Traces. Electr. Notes Theor. Comput. Sci. 286: 73-86 (2012)
- [j9]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)
- [j8]Marcello M. Bonsangue, Dave Clarke, Alexandra Silva: A model of context-dependent component connectors. Sci. Comput. Program. 77(6): 685-706 (2012)
- [c16]
- [c15]Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexandra Silva: Brzozowski's Algorithm (Co)Algebraically. Logic and Program Semantics 2012: 12-23
- [c14]
- [c13]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
- [e4]Robert L. Constable, Alexandra Silva (Eds.): 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
- [e3]Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova (Eds.): Proceedings Fifth Interaction and Concurrency Experience. EPTCS 104, 2012
- 2011
- [j7]Sonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina: Concurrency and Interaction in Complex Systems. Sci. Ann. Comp. Sci. 21(1): 1-4 (2011)
- [j6]Alexandra Silva, Ana Sokolova: Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 276: 291-311 (2011)
- [j5]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Quantitative Kleene coalgebras. Inf. Comput. 209(5): 822-849 (2011)
- [j4]Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva: Preface. Theor. Comput. Sci. 412(38): 4967-4968 (2011)
- [c12]
- [e2]Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone (Eds.): Proceedings Fourth Interaction and Concurrency Experience. EPTCS 59, 2011
- [i1]Marcello M. Bonsangue, Stefan Milius, Alexandra Silva: Sound and complete axiomatizations of coalgebraic language equivalence. CoRR abs/1104.2803 (2011)
- 2010
- [j3]Alexandra Silva, Marcello M. Bonsangue, Jan J. M. M. Rutten: Non-Deterministic Kleene Coalgebras. Logical Methods in Computer Science 6(3) (2010)
- [j2]Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva: Preface. Electr. Notes Theor. Comput. Sci. 264(2): 1-2 (2010)
- [j1]Alexandra Silva, Jan J. M. M. Rutten: A coinductive calculus of binary trees. Inf. Comput. 208(5): 578-593 (2010)
- [c11]Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten: Generalizing the powerset construction, coalgebraically. FSTTCS 2010: 272-283
- [c10]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
- [c9]Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab: A Compositional Semantics for Stochastic Reo Connectors. FOCLASA 2010: 93-107
- [e1]Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva (Eds.): Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction. EPTCS 38, 2010
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]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:55 CEST by the dblp team