Edit Profile (opens in new tab) Silva, Alexandra Compute Distance To: Compute Author ID: silva.alexandra Published as: Silva, Alexandra; Silva, A. Homepage: https://alexandrasilva.org/#/main.html External Links: MGP · Wikidata · GND · IdRef Documents Indexed: 80 Publications since 2007, including 1 Book 16 Contributions as Editor Co-Authors: 86 Co-Authors with 90 Joint Publications 1,682 Co-Co-Authors all top 5 Co-Authors 3 single-authored 18 Rutten, Jan J. M. M. 17 Bonsangue, Marcello Maria 16 Bonchi, Filippo 15 Kozen, Dexter C. 8 Jacobs, Bart 8 Kappé, Tobias 8 Zanasi, Fabio 7 van Heerdt, Gerco 6 Milius, Stefan 6 Sammartino, Matteo 6 Sokolova, Ana 5 Brunet, Paul 4 Caltais, Georgiana 4 Mamouras, Konstantinos 4 Rot, Jurriaan 3 Barthe, Gilles 3 Dahlqvist, Fredrik 3 Foster, Nate 3 Hansen, Helle Hvid 3 Jeannin, Jean-Baptiste 3 Luttik, Bas 2 Albert, Elvira 2 Barbosa, Luís Soares 2 Bliudze, Simon 2 Bruni, Roberto 2 De Queiroz, Ruy José Guerra Barretto 2 Endrullis, Jörg 2 Gómez-Zamalloa, Miguel 2 Goncharov, Sergeĭ Savost’yanovich 2 Hendriks, Dimitri 2 Hsu, Justin 2 Katoen, Joost-Pieter 2 König, Barbara 2 Leino, K. Rustan M. 2 Moerman, Joshua 2 Niqui, Milad 2 Parlant, Louis 2 Polonsky, Andrew 2 Pous, Damien 2 Rubio, Albert 2 Staton, Sam 2 Wagemaker, Jana 1 Adámek, Jiří 1 Aguirre, Alejandro 1 Araújo, Júlio César Silva 1 Arbab, Farhad 1 Belluscio, M. 1 Ben Mokhtar, Sonia 1 Beohar, Harsh 1 Bickford, Mark 1 Boreale, Michele 1 Bouajjani, Ahmed 1 Carbone, Marco 1 Cezar, Alexandre 1 Clarke, Dave 1 Constable, Robert Lee 1 Cunha, Alcino 1 Danos, Vincent 1 dos Santos, Vinícius Fernandes 1 Fosco, Cesar Daniel 1 Gadducci, Fabio 1 Garcia-Violini, Demián 1 Garnier, Ilias 1 Goriac, Eugen-Ioan 1 Grohmann, Davide 1 Gu, Tao 1 Hülsbusch, Mathias 1 Isabel, Miguel 1 Kennedy, Juliette Cara 1 Klin, Bartek 1 Krause, Christian 1 Krebbers, Robbert 1 Kumar, Praveen 1 Kupke, Clemens 1 Küpper, Sebastian 1 Lanese, Ivan 1 Lima, Carlos Vinícius G. C. 1 Lucanu, Dorel 1 Milano, Matthew 1 Moon, Young-Joo 1 Oliveira, José Nuno 1 Ouaknine, Joel O. 1 Panangaden, Prakash 1 Petrisan, Daniela Luan 1 Piriz, J. 1 Reitblatt, Mark 1 Sadrzadeh, Mehrnoosh 1 Sánchez Peña, Ricardo S. 1 Smolka, Steffen Juilf 1 Sutton, Peter R. 1 Szynwelski, Michał 1 Thompson, Laure 1 Troina, Angelo 1 Umbach, Carla 1 Wassermann, Renata 1 Westerbaan, Bram 1 Wißmann, Thorsten all top 5 Serials 6 Lecture Notes in Computer Science 6 Logical Methods in Computer Science 6 Journal of Logical and Algebraic Methods in Programming 4 Theoretical Computer Science 4 MSCS. Mathematical Structures in Computer Science 3 Information and Computation 3 ACM Transactions on Computational Logic 3 Electronic Notes in Theoretical Computer Science 2 Science of Computer Programming 2 Scientific Annals of Computer Science 2 Electronic Proceedings in Theoretical Computer Science (EPTCS) 1 American Mathematical Monthly 1 Physics Letters. B 1 Chaos, Solitons and Fractals 1 Journal of Computer and System Sciences 1 Logic Journal of the IGPL 1 Fundamenta Informaticae 1 LIPIcs – Leibniz International Proceedings in Informatics all top 5 Fields 93 Computer science (68-XX) 17 Category theory; homological algebra (18-XX) 16 General and overarching topics; collections (00-XX) 13 Mathematical logic and foundations (03-XX) 3 Number theory (11-XX) 2 History and biography (01-XX) 2 General algebraic systems (08-XX) 1 Combinatorics (05-XX) 1 Commutative algebra (13-XX) 1 Quantum theory (81-XX) 1 Relativity and gravitational theory (83-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 59 Publications have been cited 321 times in 170 Documents Cited by ▼ Year ▼ Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra 22 2013 Generalizing determinization from automata to coalgebras. Zbl 1262.18002Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 21 2013 A coalgebraic perspective on linear weighted automata. Zbl 1279.68235Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra 18 2012 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 18 2014 Generalizing the powerset construction, coalgebraically. Zbl 1245.68141Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 16 2010 Nominal Kleene coalgebra. Zbl 1440.68174Kozen, Dexter; Mamouras, Konstantinos; Petrişan, Daniela; Silva, Alexandra 15 2015 A coalgebraic perspective on minimization and determinization. Zbl 1352.68171Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra 13 2012 Trace semantics via determinization. Zbl 1327.68158Jacobs, Bart; Silva, Alexandra; Sokolova, Ana 12 2015 Probabilistic NetKAT. Zbl 1335.68027Foster, Nate; Kozen, Dexter; Mamouras, Konstantinos; Reitblatt, Mark; Silva, Alexandra 9 2016 Trace semantics via determinization. Zbl 1328.68122Jacobs, Bart; Silva, Alexandra; Sokolova, Ana 9 2012 Learning nominal automata. Zbl 1380.68243Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra; Klin, Bartek; Szynwelski, Michał 8 2017 A coalgebraic decision procedure for NetKAT. Zbl 1346.68132Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure 8 2015 Language constructs for non-well-founded computation. Zbl 1381.68034Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 8 2013 Quantitative Kleene coalgebras. Zbl 1227.68075Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 8 2011 A Kleene theorem for polynomial coalgebras. Zbl 1234.68272Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 8 2009 A coinductive framework for infinitary rewriting and equational reasoning. Zbl 1366.68114Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 8 2015 Non-deterministic Kleene coalgebras. Zbl 1208.68141Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan 7 2010 Coalgebraic logic and synthesis of Mealy machines. Zbl 1137.68034Bonsangue, M. M.; Rutten, Jan; Silva, Alexandra 7 2008 Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra 7 2012 Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 6 2015 Sound and complete axiomatization of trace semantics for probabilistic systems. Zbl 1342.68243Silva, Alexandra; Sokolova, Ana 6 2011 Enhanced coalgebraic bisimulation. Zbl 1380.68300Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra 6 2015 Practical coinduction. Zbl 1376.68095Kozen, Dexter; Silva, Alexandra 6 2015 CoCaml: functional programming with regular coinductive types. Zbl 1374.68098Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 5 2017 A coalgebraic view of \(\varepsilon \)-transitions. Zbl 1395.68193Silva, Alexandra; Westerbaan, Bram 5 2013 Behavioural differential equations and coinduction for binary trees. Zbl 1213.68393Silva, Alexandra; Rutten, Jan 5 2007 Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 4 2009 Completeness and incompleteness in nominal Kleene algebra. Zbl 1471.68117Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra 4 2015 Concurrent Kleene algebra: free model and completeness. Zbl 1422.68035Kappé, Tobias; Brunet, Paul; Silva, Alexandra; Zanasi, Fabio 4 2018 Cantor meets Scott: semantic foundations for probabilistic networks. Zbl 1380.68132Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra 3 2017 Coinductive foundations of infinitary rewriting and infinitary equational logic. Zbl 1459.68089Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 3 2018 Final semantics for decorated traces. Zbl 1342.68224Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra 3 2012 Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085Goncharov, Sergey; Milius, Stefan; Silva, Alexandra 3 2014 Left-handed completeness. Zbl 1364.68268Kozen, Dexter; Silva, Alexandra 3 2012 A model of context-dependent component connectors. Zbl 1243.68147Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra 3 2012 Calculating invariants as coreflexive bisimulations. Zbl 1170.68426Barbosa, Luís S.; Oliveira, José N.; Silva, Alexandra 3 2008 A decision procedure for bisimilarity of generalized regular expressions. Zbl 1325.68127Bonsangue, Marcello; Caltais, Georgiana; Goriac, Eugen-Ioan; Lucanu, Dorel; Rutten, Jan; Silva, Alexandra 2 2011 The power of convex algebras. Zbl 1442.68085Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana 2 2017 Learning weighted automata over principal ideal domains. Zbl 1461.68093van Heerdt, Gerco; Kupke, Clemens; Rot, Jurriaan; Silva, Alexandra 2 2020 Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra 2 2013 A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Zbl 1412.68065Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad 1 2014 Layer by layer – combining monads. Zbl 06983506Dahlqvist, Fredrik; Parlant, Louis; Silva, Alexandra 1 2018 Convex language semantics for nondeterministic probabilistic automata. Zbl 06983522van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra 1 2018 A coalgebraic view on decorated traces. Zbl 1364.68276Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A. 1 2016 A coinductive calculus of binary trees. Zbl 1200.68082Silva, Alexandra; Rutten, Jan 1 2010 CALF: categorical automata learning framework. Zbl 1440.68146van Heerdt, Gerco; Sammartino, Matteo; Silva, Alexandra 1 2017 Brzozowski goes concurrent – a Kleene theorem for pomset languages. Zbl 1442.68145Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio 1 2017 SDN-actors: modeling and verification of SDN programs. Zbl 1460.68052Albert, Elvira; Gómez-Zamalloa, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra 1 2018 Moessner’s theorem: an exercise in coinductive reasoning in Coq. Zbl 1475.68456Krebbers, Robbert; Parlant, Louis; Silva, Alexandra 1 2016 Equivalence checking for weak bi-Kleene algebra. Zbl 07407791Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio 1 2021 Learning pomset automata. Zbl 07410441van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Silva, Alexandra 1 2021 On the proper orientation number of chordal graphs. Zbl 07401226Araujo, J.; Cezar, A.; Lima, C. V. G. C.; dos Santos, V. F.; Silva, A. 1 2021 Concurrent Kleene algebra with observations: from hypotheses to completeness. Zbl 07250948Kappé, Tobias; Brunet, Paul; Silva, Alexandra; Wagemaker, Jana; Zanasi, Fabio 1 2020 Left-handed completeness. Zbl 1436.68202Kozen, Dexter; Silva, Alexandra 1 2020 How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 1 2014 On series-parallel pomset languages: rationality, context-freeness and automata. Zbl 1417.68134Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio 1 2019 A (co)algebraic theory of succinct automata. Zbl 1423.68300van Heerdt, Gerco; Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra 1 2019 Completeness and incompleteness in nominal Kleene algebra. Zbl 1372.68064Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra 1 2017 Well-founded coalgebras, revisited. Zbl 1376.68094Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 1 2015 Equivalence checking for weak bi-Kleene algebra. Zbl 07407791Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio 1 2021 Learning pomset automata. Zbl 07410441van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Silva, Alexandra 1 2021 On the proper orientation number of chordal graphs. Zbl 07401226Araujo, J.; Cezar, A.; Lima, C. V. G. C.; dos Santos, V. F.; Silva, A. 1 2021 Learning weighted automata over principal ideal domains. Zbl 1461.68093van Heerdt, Gerco; Kupke, Clemens; Rot, Jurriaan; Silva, Alexandra 2 2020 Concurrent Kleene algebra with observations: from hypotheses to completeness. Zbl 07250948Kappé, Tobias; Brunet, Paul; Silva, Alexandra; Wagemaker, Jana; Zanasi, Fabio 1 2020 Left-handed completeness. Zbl 1436.68202Kozen, Dexter; Silva, Alexandra 1 2020 On series-parallel pomset languages: rationality, context-freeness and automata. Zbl 1417.68134Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio 1 2019 A (co)algebraic theory of succinct automata. Zbl 1423.68300van Heerdt, Gerco; Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra 1 2019 Concurrent Kleene algebra: free model and completeness. Zbl 1422.68035Kappé, Tobias; Brunet, Paul; Silva, Alexandra; Zanasi, Fabio 4 2018 Coinductive foundations of infinitary rewriting and infinitary equational logic. Zbl 1459.68089Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 3 2018 Layer by layer – combining monads. Zbl 06983506Dahlqvist, Fredrik; Parlant, Louis; Silva, Alexandra 1 2018 Convex language semantics for nondeterministic probabilistic automata. Zbl 06983522van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra 1 2018 SDN-actors: modeling and verification of SDN programs. Zbl 1460.68052Albert, Elvira; Gómez-Zamalloa, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra 1 2018 Learning nominal automata. Zbl 1380.68243Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra; Klin, Bartek; Szynwelski, Michał 8 2017 CoCaml: functional programming with regular coinductive types. Zbl 1374.68098Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 5 2017 Cantor meets Scott: semantic foundations for probabilistic networks. Zbl 1380.68132Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra 3 2017 The power of convex algebras. Zbl 1442.68085Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana 2 2017 CALF: categorical automata learning framework. Zbl 1440.68146van Heerdt, Gerco; Sammartino, Matteo; Silva, Alexandra 1 2017 Brzozowski goes concurrent – a Kleene theorem for pomset languages. Zbl 1442.68145Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio 1 2017 Completeness and incompleteness in nominal Kleene algebra. Zbl 1372.68064Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra 1 2017 Probabilistic NetKAT. Zbl 1335.68027Foster, Nate; Kozen, Dexter; Mamouras, Konstantinos; Reitblatt, Mark; Silva, Alexandra 9 2016 A coalgebraic view on decorated traces. Zbl 1364.68276Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A. 1 2016 Moessner’s theorem: an exercise in coinductive reasoning in Coq. Zbl 1475.68456Krebbers, Robbert; Parlant, Louis; Silva, Alexandra 1 2016 Nominal Kleene coalgebra. Zbl 1440.68174Kozen, Dexter; Mamouras, Konstantinos; Petrişan, Daniela; Silva, Alexandra 15 2015 Trace semantics via determinization. Zbl 1327.68158Jacobs, Bart; Silva, Alexandra; Sokolova, Ana 12 2015 A coalgebraic decision procedure for NetKAT. Zbl 1346.68132Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure 8 2015 A coinductive framework for infinitary rewriting and equational reasoning. Zbl 1366.68114Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 8 2015 Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 6 2015 Enhanced coalgebraic bisimulation. Zbl 1380.68300Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra 6 2015 Practical coinduction. Zbl 1376.68095Kozen, Dexter; Silva, Alexandra 6 2015 Completeness and incompleteness in nominal Kleene algebra. Zbl 1471.68117Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra 4 2015 Well-founded coalgebras, revisited. Zbl 1376.68094Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 1 2015 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 18 2014 Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085Goncharov, Sergey; Milius, Stefan; Silva, Alexandra 3 2014 A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Zbl 1412.68065Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad 1 2014 How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 1 2014 Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra 22 2013 Generalizing determinization from automata to coalgebras. Zbl 1262.18002Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 21 2013 Language constructs for non-well-founded computation. Zbl 1381.68034Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 8 2013 A coalgebraic view of \(\varepsilon \)-transitions. Zbl 1395.68193Silva, Alexandra; Westerbaan, Bram 5 2013 Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra 2 2013 A coalgebraic perspective on linear weighted automata. Zbl 1279.68235Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra 18 2012 A coalgebraic perspective on minimization and determinization. Zbl 1352.68171Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra 13 2012 Trace semantics via determinization. Zbl 1328.68122Jacobs, Bart; Silva, Alexandra; Sokolova, Ana 9 2012 Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra 7 2012 Final semantics for decorated traces. Zbl 1342.68224Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra 3 2012 Left-handed completeness. Zbl 1364.68268Kozen, Dexter; Silva, Alexandra 3 2012 A model of context-dependent component connectors. Zbl 1243.68147Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra 3 2012 Quantitative Kleene coalgebras. Zbl 1227.68075Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 8 2011 Sound and complete axiomatization of trace semantics for probabilistic systems. Zbl 1342.68243Silva, Alexandra; Sokolova, Ana 6 2011 A decision procedure for bisimilarity of generalized regular expressions. Zbl 1325.68127Bonsangue, Marcello; Caltais, Georgiana; Goriac, Eugen-Ioan; Lucanu, Dorel; Rutten, Jan; Silva, Alexandra 2 2011 Generalizing the powerset construction, coalgebraically. Zbl 1245.68141Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 16 2010 Non-deterministic Kleene coalgebras. Zbl 1208.68141Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan 7 2010 A coinductive calculus of binary trees. Zbl 1200.68082Silva, Alexandra; Rutten, Jan 1 2010 A Kleene theorem for polynomial coalgebras. Zbl 1234.68272Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 8 2009 Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 4 2009 Coalgebraic logic and synthesis of Mealy machines. Zbl 1137.68034Bonsangue, M. M.; Rutten, Jan; Silva, Alexandra 7 2008 Calculating invariants as coreflexive bisimulations. Zbl 1170.68426Barbosa, Luís S.; Oliveira, José N.; Silva, Alexandra 3 2008 Behavioural differential equations and coinduction for binary trees. Zbl 1213.68393Silva, Alexandra; Rutten, Jan 5 2007 all cited Publications top 5 cited Publications all top 5 Cited by 228 Authors 33 Silva, Alexandra 17 Rutten, Jan J. M. M. 15 Bonchi, Filippo 14 Bonsangue, Marcello Maria 13 Milius, Stefan 10 Kozen, Dexter C. 10 Rot, Jurriaan 7 Hansen, Helle Hvid 7 Kupke, Clemens 7 Sokolova, Ana 7 Wißmann, Thorsten 6 Zanasi, Fabio 5 Hasuo, Ichiro 5 Petrisan, Daniela Luan 5 Pous, Damien 5 Sammartino, Matteo 4 Adámek, Jiří 4 Boreale, Michele 4 Brengos, Tomasz 4 Caltais, Georgiana 4 Jacobs, Bart 4 König, Barbara 4 Mamouras, Konstantinos 4 Myers, Robert S. R. 4 Oliveira, José Nuno 4 Panangaden, Prakash 4 Pattinson, Dirk 4 Schröder, Lutz 4 Urbat, Henning 3 Ballester-Bolinches, Adolfo 3 Cosme-Llópez, Enric 3 Dagnino, Francesco 3 Endrullis, Jörg 3 Küpper, Sebastian 3 Lucanu, Dorel 3 Peressotti, Marco 3 Polonsky, Andrew 3 van Heerdt, Gerco 3 Winter, Joost 2 Albert, Elvira 2 Bacci, Giorgio 2 Bacci, Giovanni 2 Balle, Borja 2 Barbosa, Luís Soares 2 Basold, Henning 2 Brunet, Paul 2 Capretta, Venanzio 2 Cho, Kenta 2 Colcombet, Thomas 2 Czajka, Łukasz 2 de Vrijer, Roel 2 Gómez-Zamalloa, Miguel 2 Hendriks, Dimitri 2 Kappé, Tobias 2 Kataoka, Toshiki 2 Klin, Bartek 2 Klop, Jan Willem 2 Larsen, Kim Guldstrand 2 Lombardi, Carlos 2 Madeira, Alexandre 2 Manzonetto, Giulio 2 Mardare, Radu 2 Martins, Manuel António 2 Miculan, Marino 2 Moerman, Joshua 2 Neves, Renato 2 Piedeleu, Robin 2 Ríos, Alejandro 2 Rubio, Albert 2 Salamanca, Julian 2 Sobociński, Paweł 2 Sprunger, David 2 Urabe, Natsuki 2 Woracek, Harald 1 Abuhlail, Jawad Y. 1 Aceto, Luca 1 Achilleos, Antonis 1 Affeldt, Reynald 1 Agarwal, Yuvraj 1 Al-Sulaiman, Nabeela 1 Alpernas, Kalev 1 Anastasiadi, Elli 1 Ancona, Davide 1 Arbab, Farhad 1 Azevedo de Amorim, Arthur 1 Barbanera, Franco 1 Beohar, Harsh 1 Bernardo, Marco 1 Bickford, Mark 1 Blanchette, Jasmin Christian 1 Bolognesi, Tommaso 1 Bouzy, Aymeric 1 Bowler, Nathan 1 Brázdil, Tomáš 1 Breuvart, Flavien 1 Bruni, Roberto 1 Carle, Georg 1 Castiglioni, Valentina 1 Chatterjee, Krishnendu 1 Chen, Yu-Fang ...and 128 more Authors all top 5 Cited in 24 Serials 24 Logical Methods in Computer Science 16 Journal of Logical and Algebraic Methods in Programming 12 Theoretical Computer Science 11 Information and Computation 6 MSCS. Mathematical Structures in Computer Science 4 Formal Aspects of Computing 3 Journal of Computer and System Sciences 3 Journal of Automated Reasoning 3 Journal of Functional Programming 2 Acta Informatica 2 Algebra Universalis 2 Journal of Pure and Applied Algebra 2 Science of Computer Programming 1 Communications in Algebra 1 Information Processing Letters 1 Studia Logica 1 International Journal of Foundations of Computer Science 1 Formal Methods in System Design 1 Applied Categorical Structures 1 Theory and Applications of Categories 1 Soft Computing 1 Fundamenta Informaticae 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic all top 5 Cited in 19 Fields 157 Computer science (68-XX) 45 Category theory; homological algebra (18-XX) 38 Mathematical logic and foundations (03-XX) 6 General algebraic systems (08-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 4 Associative rings and algebras (16-XX) 3 Probability theory and stochastic processes (60-XX) 2 Number theory (11-XX) 2 Commutative algebra (13-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Group theory and generalizations (20-XX) 2 Ordinary differential equations (34-XX) 2 Information and communication theory, circuits (94-XX) 1 Topological groups, Lie groups (22-XX) 1 Partial differential equations (35-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.