Alexandra Silva

Cited by

	All	Since 2016
Citations	3602	2867
h-index	25	20
i10-index	47	32

1600

800

400

1200

200820092010201120122013201420152016201720182019202020219 27 53 85 65 96 134 229 134 223 229 633 1520 101

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
Matteo SammartinoRoyal Holloway University of London, University College LondonVerified email at rhul.ac.uk
Nate FosterAssociate Professor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Tobias KappéUniversity College LondonVerified email at cs.ucl.ac.uk
Stefan MiliusFAU Erlangen-NürnbergVerified email at stefan-milius.eu
Fabio ZanasiAssociate Professor at University College LondonVerified email at ucl.ac.uk
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Ana SokolovaAssociate Professor at University of SalzburgVerified email at cs.uni-salzburg.at
Jurriaan RotUniversity College London & Radboud UniversityVerified email at cs.ru.nl
Paul BrunetUniversity College LondonVerified email at ucl.ac.uk
Gerco van HeerdtUniversity College LondonVerified email at ucl.ac.uk
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
Konstantinos MamourasAssistant Professor of Computer Science, Rice UniversityVerified email at rice.edu
Steffen SmolkaCornell UniversityVerified email at cs.cornell.edu
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl

Alexandra Silva

Professor at University College London

Verified email at ucl.ac.uk - Homepage

Programming Languages Semantics Coalgebra Verification Formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Minimal information for studies of extracellular vesicles 2018 (MISEV2018): a position statement of the International Society for Extracellular Vesicles and update of the … C Théry, KW Witwer, E Aikawa, MJ Alcaraz, JD Anderson, ... Journal of extracellular vesicles 7 (1), 1535750, 2018	1841	2018
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	87	2015
Non-deterministic Kleene coalgebras A Silva, M Bonsangue, J Rutten Arxiv preprint arXiv:1007.3769, 2010	85*	2010
Generalizing determinization from automata to coalgebras A Silva, F Bonchi, M Bonsangue, J Rutten arXiv preprint arXiv:1302.1046, 2013	76	2013
Generalizing the powerset construction, coalgebraically A Silva, F Bonchi, MM Bonsangue, JJMM Rutten IARCS Annual Conference on Foundations of Software Technology and …, 2010	66	2010
Automata for context-dependent connectors M Bonsangue, D Clarke, A Silva International Conference on Coordination Languages and Models, 184-203, 2009	62*	2009
A coalgebraic perspective on minimization and determinization J Adámek, F Bonchi, M Hülsbusch, B König, S Milius, A Silva International Conference on Foundations of Software Science and …, 2012	60	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	59	2014
Probabilistic netkat N Foster, D Kozen, K Mamouras, M Reitblatt, A Silva European Symposium on Programming, 282-309, 2016	58	2016
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	55	2013
Practical coinduction D Kozen, A Silva Mathematical Structures in Computer Science 27 (7), 1132-1152, 2017	53*	2017
Trace semantics via determinization B Jacobs, A Silva, A Sokolova International Workshop on Coalgebraic Methods in Computer Science, 109-129, 2012	53	2012
A coalgebraic perspective on linear weighted automata F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva Information and Computation 211, 77-105, 2012	53	2012
Quantitative kleene coalgebras A Silva, F Bonchi, M Bonsangue, J Rutten Information and Computation 209 (5), 822-849, 2011	52*	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	48	2009
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	44	2017
Trace semantics via determinization B Jacobs, A Silva, A Sokolova Journal of Computer and System Sciences 81 (5), 859-879, 2015	41	2015
A Kleene theorem for polynomial coalgebras M Bonsangue, J Rutten, A Silva Foundations of Software Science and Computational Structures, 122-136, 2009	40*	2009
Coalgebraic logic and synthesis of Mealy machines MM Bonsangue, J Rutten, A Silva International Conference on Foundations of Software Science and …, 2008	38	2008
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	34	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

Upload PDF

Follow this author

Cited by

Co-authors