No photo of Eduardo Miguel Pereira do Cano Rico Geraldo

View Scopus Profile

Eduardo Miguel Pereira do Cano Rico Geraldo

Student - Programa Doutoral em Informática

  • DI - Departamento de Informática
    Faculdade de Ciências e Tecnologia/UNL
    Edifício II
    Campus de Caparica
    2829-516 Caparica

    Portugal

Calculated based on number of publications stored in Pure and citations from Scopus
20222023

Research activity per year

Fingerprint

Dive into the research topics where Eduardo Miguel Pereira do Cano Rico Geraldo is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 2 Conference contribution

  • Data-Dependent Confidentiality in DCR Graphs

    Geraldo, E., Seco, J. C. & Hildebrandt, T., 22 Oct 2023, PPDP '23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming. New York: ACM - Association for Computing Machinery, 13 p. 7. (PPDP: Principles and Practice of Declarative Programming).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    14 Downloads (Pure)

  • SNITCH: A Platform for Information Flow Control

    Geraldo, E., 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings. ter Beek, M. H. & Monahan, R. (eds.). Springer, p. 365-368 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13274 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)