Alexandra Silva

Cited by

	All	Since 2020
Citations	3279	1628
h-index	32	23
i10-index	80	52

460

230

115

345

2008200920102011201220132014201520162017201820192020202120222023202420259 42 56 88 79 120 154 229 145 219 223 226 253 248 268 330 453 71

Public access

View all

53 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Jan RuttenCWIVerified email at cwi.nl
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Tobias KappéOpen Universiteit & 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
Fabio ZanasiProfessor of Computer Science, University College LondonVerified email at ucl.ac.uk
Ana SokolovaAssociate Professor at University of SalzburgVerified email at cs.uni-salzburg.at
Paul BrunetUniversité Paris-Est Créteil - ÉPISENVerified email at u-pec.fr
Steffen SmolkaGoogle IncVerified email at google.com
Stefan MiliusFAU Erlangen-NürnbergVerified email at stefan-milius.eu
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Justin HsuCornell UniversityVerified email at justinhsu.net
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Konstantinos MamourasAssistant Professor of Computer Science, Rice UniversityVerified email at rice.edu
Dimitri HendriksVU University Amsterdam, Department of Computer ScienceVerified email at vu.nl
Jörg EndrullisVU University AmsterdamVerified email at endrullis.de

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	126	2015
Trace semantics via determinization B Jacobs, A Silva, A Sokolova Journal of Computer and System Sciences 81 (5), 859-879, 2015	124	2015
Probabilistic netkat N Foster, D Kozen, K Mamouras, M Reitblatt, A Silva Programming Languages and Systems: 25th European Symposium on Programming …, 2016	118	2016
Non-deterministic Kleene coalgebras A Silva, M Bonsangue, J Rutten Arxiv preprint arXiv:1007.3769, 2010	113*	2010
Generalizing determinization from automata to coalgebras A Silva, F Bonchi, M Bonsangue, J Rutten Logical Methods in Computer Science 9, 2013	110	2013
Practical coinduction D Kozen, A Silva Mathematical Structures in Computer Science 27 (7), 1132-1152, 2017	104	2017
Composition and interannual variability of phytoplankton in a coastal upwelling region (Lisbon Bay, Portugal) A Silva, S Palma, PB Oliveira, MT Moita Journal of Sea Research 62 (4), 238-249, 2009	98	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	88	2017
Generalizing the powerset construction, coalgebraically A Silva, F Bonchi, MM Bonsangue, JJMM Rutten IARCS Annual Conference on Foundations of Software Technology and …, 2010	83	2010
Coccolithophores in the upwelling waters of Portugal: Four years of weekly distribution in Lisbon bay A Silva, S Palma, MT Moita Continental Shelf Research 28 (18), 2601-2613, 2008	78	2008
A coalgebraic perspective on linear weighted automata F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva Information and Computation 211, 77-105, 2012	73	2012
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	69	2012
Automata for context-dependent connectors M Bonsangue, D Clarke, A Silva International Conference on Coordination Languages and Models, 184-203, 2009	69*	2009
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	68	2014
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	67	2013
Foundations of probabilistic programming G Barthe, JP Katoen, A Silva Cambridge University Press, 2020	62	2020
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time S Smolka, N Foster, J Hsu, T Kappé, D Kozen, A Silva Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019	60	2019
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	60	2017
Quantitative kleene coalgebras A Silva, F Bonchi, M Bonsangue, J Rutten Information and Computation 209 (5), 822-849, 2011	56*	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

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