Theo dõi
Alexandra Silva
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
1272015
Trace semantics via determinization
B Jacobs, A Silva, A Sokolova
Journal of Computer and System Sciences 81 (5), 859-879, 2015
1252015
Non-deterministic Kleene coalgebras
A Silva, M Bonsangue, J Rutten
Arxiv preprint arXiv:1007.3769, 2010
116*2010
Probabilistic netkat
N Foster, D Kozen, K Mamouras, M Reitblatt, A Silva
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
1142016
Generalizing determinization from automata to coalgebras
A Silva, F Bonchi, M Bonsangue, J Rutten
Logical Methods in Computer Science 9, 2013
1112013
Practical coinduction
D Kozen, A Silva
Mathematical Structures in Computer Science 27 (7), 1132-1152, 2017
1052017
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
872017
Generalizing the powerset construction, coalgebraically
A Silva, F Bonchi, M Bosangue, J Rutten
Schloss Dagstuhl: Leibnitz-Centrum fur Informatik, 2010
862010
A coalgebraic perspective on linear weighted automata
F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva
Information and Computation 211, 77-105, 2012
742012
Automata for context-dependent connectors
M Bonsangue, D Clarke, A Silva
International Conference on Coordination Languages and Models, 184-203, 2009
73*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
692012
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
682014
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
682013
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
612019
Foundations of probabilistic programming
G Barthe, JP Katoen, A Silva
Cambridge University Press, 2020
602020
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
592017
Quantitative kleene coalgebras
A Silva, F Bonchi, M Bonsangue, J Rutten
Information and Computation 209 (5), 822-849, 2011
59*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
532009
The power of convex algebras
F Bonchi, A Silva, A Sokolova
28th International Conference on Concurrency Theory (CONCUR 2017), 23: 1-23: 18, 2017
462017
Coalgebraic logic and synthesis of Mealy machines
MM Bonsangue, J Rutten, A Silva
International Conference on Foundations of Software Science and …, 2008
462008
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20