No photo of Ricardo De Oliveira Almeida

Ricardo De Oliveira Almeida

MR.

Fingerprint

Dive into the research topics where Ricardo De Oliveira Almeida is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

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
  • Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and Undefined Behaviour

    Zaliva, V., Memarian, K., De Oliveira Almeida, R., Clarke, J., Davis, B., Richardson, A., Chisnall, D., Campbell, B., Stark, I., Watson, R. N. M. & Sewell, P., 19 Sept 2023, (Accepted/In press) ASPLOS 2024: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. ACM, p. 1-16 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Reducing Nondeterministic Tree Automata by Adding Transitions

    Almeida, R. M. D. O., 13 Dec 2016, 1th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, rm Telč, Czech Republic, 21st-23rd October 2016. Bouda, J., Holík, L., Kofroň, J., Strejček, J. & Rambousek, A. (eds.). Open Publishing Association, Vol. 233. p. 33-51 19 p. (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Reduction of Nondeterministic Tree Automata

    De Oliveira Almeida, R., Holik, L. & Mayr, R., Apr 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Springer Berlin Heidelberg, p. 717-735 19 p. (Lecture Notes in Computer Science; vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Deciding KAT and Hoare Logic with Derivatives

    Almeida, R., Broda, S. & Moreira, N., 7 Oct 2012, Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification. Faella, M. & Murano, A. (eds.). Open Publishing Association, Vol. 96. p. 127-140 14 p. (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File