Ricardo Almeida

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 18

Top Topics

Automatic Detection

Top Venues

Comput. Math. Methods

Publications

Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance. ASPLOS (1) (2024)
Isabel Duque, Ricardo Almeida, Maria Emilia Bigotte de Almeida, Marlene Migueis
PRO(G)NATURA: technologie and outdoor education as a complement to improve the child learning process. SIIE (2023)
Ricardo Almeida
A Report on Achieving Complete Regular-Expression Matching using Mealy Machines. CoRR (2022)
Maria Emilia Bigotte de Almeida, Ricardo Almeida, Carolina Rocha, Rui Ferreira
Impact Evaluation: Scratch in Basic Education. SIIE (2021)
Ricardo Almeida, M. Teresa T. Monteiro, Ezio Venturino, Luís Machado
epidemiological model. Comput. Math. Methods 3 (6) (2021)
Ricardo Almeida, Nuno André Silva, André Vasconcelos
A Machine Learning Approach for Real Time Prediction of Last Minute Medical Appointments No-shows. HEALTHINF (2021)
Nuno Escudeiro, Paula Escudeiro, Ricardo Almeida, Paulo Matos
The ATHENA European University model for Sustainable Education: Mainstreaming good practices for all-inclusive life-long sustainable learning in the digital era. TEEM (2020)
Ricardo Almeida, Rui Abrantes, Mário Romão, Isabel Proença
The Impact of Uncertainty in the Measurement of Progress in Earned Value Analysis. CENTERIS/ProjMAN/HCist (2020)
Nuno Escudeiro, Ana Barata, Paula Escudeiro, Tatjana Welzer, Ricardo Almeida, Giorgos Papadourakis
Blended Academic International Mobility: tearing down barriers to mobility in a sustainable way. EDUCON (2020)
Kiev Gama, Andrew Diniz da Costa, Ricardo Almeida, Hendi Coelho
The Peanut Butter and Jelly Sandwich Challenge as an Approach to Improve Students Abilities in Test Case Writing. ITiCSE (2019)
Filipa Ferrada, Ana-Inês Oliveira, João Rosas, Patrícia Macedo, Ricardo Almeida, Luis M. Camarinha-Matos
Development of a Conceptual Architecture for the Energy Management of Building Ecosystems. PRO-VE (2019)
Patrícia Mergulhão, Maria Lencastre, Melina Soares, Ricardo Almeida, Aline F. Barbosa
Uso de Metodologias Criativas no Processo de Ensino da Disciplina Engenharia de Requisitos. WER (2019)
Maria Emilia Bigotte de Almeida, Ana Rita Assunção Teixeira, Ricardo Almeida
Work in Progress: Improving Learning Performance using Programming Methodology. EDUCON (2019)
Ricardo Almeida, Teresa Pessoa, Anabela Gomes
Learning to think like a trainer: bringing Scratch for Educational Sciences professional's formation. FIE (2018)
Ricardo Almeida, Paulo Oliveira, João Barroso
Rewritting Data Cleaning Operations Defined at a Conceptual Level. ICIQ (2016)
Ricardo Almeida, Paulo Maio, Paulo Oliveira, João Barroso
Ontology Based Rewriting Data Cleaning Operations. C3S2E (2016)
Ricardo Almeida, Maria Paula Queluz
Automatic detection & classification of static video segments. ICMCS (2016)
Ricardo Almeida, Lukás Holík, Richard Mayr
Reduction of Nondeterministic Tree Automata. TACAS (2016)
Ricardo Almeida, Paulo Maio, Paulo Oliveira, João Barroso
An Ontology-based Methodology for Reusing Data Cleaning Knowledge. KEOD (2015)
Ricardo Almeida, Lukás Holík, Richard Mayr
Reduction of Nondeterministic Tree Automata. CoRR (2015)
Ricardo Almeida, Paulo Maio, Paulo Oliveira, João Barroso
Towards Reusing Data Cleaning Knowledge. WorldCIST (1) (2015)
Alok Lele, Orlando Moreira, João Bastos, Ricardo Almeida, Paulo Pedreiras, Kees van Berkel
Analyzing preemptive fixed priority scheduling of data flow graphs. ESTIMedia (2014)
Ahm Shamsuzzoha, Timo Kankaanpaa, Luis Maia Carneiro, Ricardo Almeida, Andrea Chiodi, Rosanna Fornasiero
Dynamic and collaborative business networks in the fashion industry. Int. J. Comput. Integr. Manuf. 26 (1-2) (2013)
Ricardo Almeida, Paulo Oliveira, Luís Braga, João Barroso
Ontologies for Reusing Data Cleaning Knowledge. ICSC (2012)
Ahm Shamsuzzoha, Timo Kankaanpaa, Luis Maia Carneiro, Ricardo Almeida
Methodological support to establish a collaborative non-hierarchical business network for complex product manufacturing. Int. J. Netw. Virtual Organisations 11 (3/4) (2012)
Ricardo Almeida, Sabine Broda, Nelma Moreira
Deciding KAT and Hoare Logic with Derivatives GandALF (2012)
Vasco Baptista, Paulo Bartolomeu, Ricardo Almeida, Pedro Mar, José Alberto Fonseca
A communication protocol for open environment housings. ETFA (2011)
Ricardo Almeida, Cesar Toscano, Luis Maia Carneiro, Américo Lopes Azevedo
Aggregate Collaborative Planning in Non-hierarchical Business Networks. PRO-VE (2011)
Luis Maia Carneiro, Ricardo Almeida, Américo Lopes Azevedo, Timo Kankaanpaa, Ahm Shamsuzzoha
An Innovative Framework Supporting SME Networks for Complex Product Manufacturing. PRO-VE (2010)
Ricardo Almeida, Miguel Teixeira
Evaluating the Success of ERP Systems' Implementation: A Study about Portugal. CENTERIS (1) (2010)
Ahm Shamsuzzoha, Timo Kankaanpaa, Petri Helo, Luis Maia Carneiro, Ricardo Almeida, Rosanna Fornasiero
Non-hierarchical Collaboration in Dynamic Business Communities. PRO-VE (2010)
Nuno Bettencourt, Paulo Maio, Ricardo Almeida, Nuno Silva, João Rocha
Semantically Collaborative Knowledge Management System. AAAI Spring Symposium: Symbiotic Relationships between Semantic Web and Knowledge Engineering (2008)
Luís E. T. Rodrigues, Hugo Miranda, Ricardo Almeida, João Martins, Pedro Vicente
The GlobData Fault-Tolerant Replicated Distributed Object Database. EurAsia-ICT (2002)