Mário José Parreira Pereira

Doctor of Philosophy

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

    Portugal

  • Source: Scopus
  • Calculated based on number of publications stored in Pure and citations from Scopus
20192021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Computer Science, Doctorate

Award Date: 10 Dec 2018

Fingerprint

Dive into the research topics where Mário José Parreira Pereira is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Cameleer: A Deductive Verification Tool for OCaml

    Pereira, M. & Ravara, A., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (eds.). Cham: Springer, p. 677-689 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12760 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Animated logic: Correct functional conversion to conjunctive normal form

    Barroso, P., Pereira, M. & Ravara, A., 2020, In: CEUR Workshop Proceedings. 2752, p. 1-20 20 p.

    Research output: Contribution to journalConference articlepeer-review

    1 Citation (Scopus)
  • A tool for proving Michelson Smart Contracts in WHY3

    Arrojado Da Horta, L. P., Santos Reis, J., De Sousa, S. M. & Pereira, M., Nov 2020, Proceedings - 2020 IEEE International Conference on Blockchain, Blockchain 2020. Institute of Electrical and Electronics Engineers Inc., p. 409-414 6 p. 9284726

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Citations (Scopus)
  • GOSPEL—providing OCaml with a formal specification language

    Charguéraud, A., Filliâtre, J. C., Lourenço, C. & Pereira, M., 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Cham: Springer, p. 484-501 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11800 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Citation (Scopus)