Ricardo Almeida
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
16
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ANT | A Challenge-Led Digital Twin Federation Architecture For Urban Passenger Transport Decarbonisation. | Jingjun Li, Heather Steele, Joseph D. Preece, David Kirkwood, Shiqi Sun, Wenhua Jiang, Alan Logan, Susmoy Das, Ricardo Almeida, Michele Sevegnani, John M. Easton, Clive Roberts, David Flynn, Philip Greening |
| 2026 | ITP | Certified Intersection of Commutative Regular Expressions as Solutions of Systems of Linear Diophantine Equations. | Ricardo Almeida, Blair Archibald, Basile Pesin, Michele Sevegnani |
| 2025 | CPP | A CHERI C Memory Model for Verified Temporal Safety. | Vadim Zaliva, Kayvan Memarian, Brian Campbell, Ricardo Almeida, Nathaniel Wesley Filardo, Ian Stark, Peter Sewell |
| 2025 | MMAR | Theoretical Approach to Finite-Time Stability of Switched Fractional-Order Systems. | Ricardo Almeida, Ewa Girejko, Lus Machado, Agnieszka B. Malinowska, Natlia Martins, Andrzej Ruszewski |
| 2025 | MMAR | Numerical Approach to Finite-Time Stability of Switched Fractional-Order Systems. | Ricardo Almeida, Ewa Girejko, Lus Machado, Agnieszka B. Malinowska, Natlia Martins, Andrzej Ruszewski |
| 2025 | SAFECOMP | Formal Analysis of Resilience in Transport Systems with Bigraphs. | Susmoy Das, Ricardo Almeida, Blair Archibald, Michele Sevegnani |
| 2024 | ASPLOS | Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance. | Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell |
| 2023 | DIS | A Numerical Scheme for a Generalized Fractional Derivative with Variable Order. | Ricardo Almeida |
| 2022 | ICARCV | Multi-agent systems with memories under DoS attacks. | Ricardo Almeida, Ewa Girejko, Lus Machado, Agnieszka B. Malinowska, Natlia Martins |
| 2020 | EDUCON | Blended Academic International Mobility: tearing down barriers to mobility in a sustainable way. | Nuno Escudeiro, Ana Barata, Paula Escudeiro, Tatjana Welzer, Ricardo Almeida, Giorgos Papadourakis |
| 2019 | EDUCON | Work in Progress: Improving Learning Performance using Programming Methodology. | Maria Emilia Bigotte de Almeida, Ana Rita Assuno Teixeira, Ricardo Almeida |
| 2019 | ITiCSE | The Peanut Butter and Jelly Sandwich Challenge as an Approach to Improve Students Abilities in Test Case Writing. | Kiev Gama, Andrew Diniz da Costa, Ricardo Almeida, Hendi Coelho |
| 2018 | CLEI | Hybrid Approach to Provide Situational Awareness for Information Security in Computational Environments. | Ricardo Almeida, Roger da Silva Machado, Dirgenes Yuri Leal da Rosa, Ana Marilza Pernas, Adenauer C. Yamin |
| 2018 | FIE | Learning to think like a trainer: bringing Scratch for Educational Sciences professional's formation. | Ricardo Almeida, Teresa Pessoa, Anabela Gomes |
| 2018 | MMAR | Fractional Opinion Formation Models with Leadership. | Ricardo Almeida, Agnieszka B. Malinowska, Tatiana Odzijewicz |
| 2016 | TACAS | Reduction of Nondeterministic Tree Automata. | Ricardo Almeida, Luks Holk, Richard Mayr |
| 2015 | IC3K | An Ontology-based Methodology for Reusing Data Cleaning Knowledge. | Ricardo Almeida, Paulo Maio, Paulo Oliveira, Joo Barroso |
| 2015 | WorldCIST | Towards Reusing Data Cleaning Knowledge. | Ricardo Almeida, Paulo Maio, Paulo Oliveira, Joo Barroso |
| 2011 | ETFA | A communication protocol for open environment housings. | Vasco Baptista, Paulo Bartolomeu, Ricardo Almeida, Pedro Mar, Jos Alberto Fonseca |