| 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 | 125 | 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 | 117 | 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 | 87 | 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 | 67 | 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 | 59 | 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 |
Dexter KozenProfessor of Computer Science, Cornell University確認したメール アドレス: cs.cornell.edu