Silva, Alexandra
Silva, Alexandra 1984-
Silva, A.M., 1984-
Alexandra Silva investigadora portuguesa, cientista de computadores
VIAF ID: 245887223 ( Personal )
Permalink: http://viaf.org/viaf/245887223
Preferred Forms
- 100 0 _ ‡a Alexandra Silva ‡c investigadora portuguesa, cientista de computadores
- 100 1 _ ‡a Silva, A.M. ‡d 1984-
-
- 100 1 _ ‡a Silva, Alexandra
-
- 100 1 _ ‡a Silva, Alexandra
-
- 100 1 _ ‡a Silva, Alexandra ‡d 1984-
- 100 1 _ ‡a Silva, Alexandra ‡d 1984-
4xx's: Alternate Name Forms (12)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Behavioural differential equations and coinduction for binary trees | |
Coalgebraic logic and synthesis of Mealy machines | |
A coinductive calculus of binary trees | |
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II | |
Fazer história contemporânea : temas, métodos e problemas : em homenagem ao Professor Luís Miguel Oliveira Andrade | |
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings | |
Foundations of Probabilistic Programming | |
Guia para o mainstreaming de género, 2006: | |
Impacto em função do género : avaliação de medidas de política | |
Kleene coalgebra | |
Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers | |
Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday | |
New trends towards Mediterranean tourism sustainability | |
Presidentes entre o público e o privado (1910-1926) |