Alexandra Silva

Cited by

	All	Since 2018
Citations	2375	1298
h-index	27	19
i10-index	62	42

280

140

210

200820092010201120122013201420152016201720182019202020212022202311 28 51 80 69 93 135 209 127 223 216 211 223 222 261 161

Public access

View all

39 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Jan RuttenCWIVerified email at cwi.nl
Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Tobias KappéOpen University of the Netherlands & ILLC, University of AmsterdamVerified email at uva.nl
Matteo SammartinoRoyal Holloway University of London, University College LondonVerified email at rhul.ac.uk
Nate FosterProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Gerco van HeerdtUniversity College LondonVerified email at ucl.ac.uk
Jurriaan RotRadboud UniversityVerified email at cs.ru.nl
Ana SokolovaAssociate Professor at University of SalzburgVerified email at cs.uni-salzburg.at
Fabio ZanasiAssociate ProfessorVerified email at ucl.ac.uk
Paul BrunetUniversité Paris-Est Créteil - ÉPISENVerified email at u-pec.fr
Stefan MiliusFAU Erlangen-NürnbergVerified email at stefan-milius.eu
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Steffen SmolkaGoogle IncVerified email at google.com
Justin HsuCornell UniversityVerified email at justinhsu.net
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Dimitri HendriksVU University Amsterdam, Department of Computer ScienceVerified email at vu.nl
Jörg EndrullisVU University AmsterdamVerified email at endrullis.de
Praveen KumarComputer Science, Cornell UniversityVerified email at cs.cornell.edu

Alexandra Silva

Cornell University

Verified email at cornell.edu - Homepage

Programming Languages Semantics Coalgebra Verification Formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A coalgebraic decision procedure for NetKAT N Foster, D Kozen, M Milano, A Silva, L Thompson Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	111	2015
Trace semantics via determinization B Jacobs, A Silva, A Sokolova Journal of Computer and System Sciences 81 (5), 859-879, 2015	109	2015
Non-deterministic Kleene coalgebras A Silva, M Bonsangue, J Rutten Arxiv preprint arXiv:1007.3769, 2010	98*	2010
Probabilistic netkat N Foster, D Kozen, K Mamouras, M Reitblatt, A Silva Programming Languages and Systems: 25th European Symposium on Programming …, 2016	93	2016
Generalizing determinization from automata to coalgebras A Silva, F Bonchi, M Bonsangue, J Rutten arXiv preprint arXiv:1302.1046, 2013	91	2013
Practical coinduction D Kozen, A Silva Mathematical Structures in Computer Science 27 (7), 1132-1152, 2017	81	2017
Generalizing the powerset construction, coalgebraically A Silva, F Bonchi, MM Bonsangue, JJMM Rutten IARCS Annual Conference on Foundations of Software Technology and …, 2010	77	2010
Learning nominal automata J Moerman, M Sammartino, A Silva, B Klin, M Szynwelski Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017	70	2017
Automata for context-dependent connectors M Bonsangue, D Clarke, A Silva Coordination Models and Languages: 11th International Conference …, 2009	69*	2009
A coalgebraic perspective on minimization and determinization J Adámek, F Bonchi, M Hülsbusch, B König, S Milius, A Silva Foundations of Software Science and Computational Structures: 15th …, 2012	68	2012
Algebra-coalgebra duality in Brzozowski's minimization algorithm F Bonchi, MM Bonsangue, HH Hansen, P Panangaden, JJMM Rutten, ... ACM Transactions on Computational Logic (TOCL) 15 (1), 1-29, 2014	66	2014
A coalgebraic perspective on linear weighted automata F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva Information and Computation 211, 77-105, 2012	64	2012
Sound and complete axiomatizations of coalgebraic language equivalence MM Bonsangue, S Milius, A Silva ACM Transactions on Computational Logic (TOCL) 14 (1), 1-52, 2013	62	2013
Quantitative kleene coalgebras A Silva, F Bonchi, M Bonsangue, J Rutten Information and Computation 209 (5), 822-849, 2011	57*	2011
An algebra for Kripke polynomial coalgebras M Bonsangue, J Rutten, A Silva 2009 24th Annual IEEE Symposium on Logic In Computer Science, 49-58, 2009	52	2009
Cantor meets Scott: semantic foundations for probabilistic networks S Smolka, P Kumar, N Foster, D Kozen, A Silva Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017	48	2017
A Kleene theorem for polynomial coalgebras M Bonsangue, J Rutten, A Silva Foundations of Software Science and Computational Structures, 122-136, 2009	41*	2009
Coalgebraic logic and synthesis of Mealy machines MM Bonsangue, J Rutten, A Silva Foundations of Software Science and Computational Structures: 11th …, 2008	41	2008
Brzozowski’s algorithm (co) algebraically F Bonchi, MM Bonsangue, JJMM Rutten, A Silva Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the …, 2012	39	2012
The power of convex algebras F Bonchi, A Silva, A Sokolova 28th International Conference on Concurrency Theory (CONCUR 2017), 2017	37	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors