???global.info.a_carregar???
Ricardo Rocha is an Associate Professor at the Department of Computer Science, Faculty of Sciences, University of Porto, Portugal and a researcher at the CRACS & INESC TEC research unit. He received his PhD degree in Computer Science from the University of Porto in 2001 and his main research topics are the Design and Implementation of Logic Programming Systems, Tabling in Logic Programming and Parallel and Distributed Computing. Another areas of interest include Lock-Free Data Structures, Inductive Logic Programming, Probabilistic Logic Programming and Deductive Databases. He is also one of the main developers of Yap Prolog system, and in particular of the execution models that support tabling and parallel evaluation. He has published more than 100 refereed papers in international journals, conferences and workshops, has served the Association for Logic Programming (ALP) Board and the ALP Newsletter as area co-editor for the Implementations and Systems track, has supervised 20 PhD/MSc students and has leading role in two national projects: project STAMPA and project LEAP. Currently, he is the coordinator of the CRACS center at INESC TEC.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Ricardo Jorge Gomes Lopes da Rocha

Nomes de citação

  • Rocha, Ricardo

Identificadores de autor

Ciência ID
6314-5FD6-F882
ORCID iD
0000-0003-4502-8835
Google Scholar ID
1tmBNwQAAAAJ
Researcher Id
B-2862-2012
Scopus Author Id
7102962159

Endereços de correio eletrónico

  • ricroc@dcc.fc.up.pt (Profissional)
  • rlrocha@fc.up.pt (Profissional)

Telefones

Telefone
  • 220402926 (Profissional)

Moradas

  • Faculdade de Ciências da Universidade do Porto. Rua do Campo Alegre, 1021/1055, 4169-007, Porto, Porto, Portugal (Profissional)

Websites

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português (Idioma materno)
Inglês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1) Utilizador proficiente (C1)
Formação
Grau Classificação
2001
Concluído
 Ciências de Computadores (Doutoramento)
Especialização em Sem especialidade
Universidade do Porto Faculdade de Ciências, Portugal
"On Applying Or-parallelism and Tabling to Logic Programs" (TESE/DISSERTAÇÃO)
1996
Concluído
 Informática (Mestrado)
Universidade do Minho Escola de Engenharia, Portugal
"Um Sistema Baseado na Cópia de Ambientes para a Execução de Prolog em Paralelo" (TESE/DISSERTAÇÃO)
 Muito Bom
1994
Concluído
 Matématica Aplicada (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
 16 Valores
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2018/06/01 - Atual Professor Associado (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
2002/02/01 - 2018/05/31 Professor Auxiliar (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
1998/02/01 - 2002/01/31 Assistente (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2022/07 - Atual Codiretor de curso da Licenciatura em Engenharia Informática e Computação (L.EIC) Universidade do Porto Faculdade de Ciências, Portugal
2021/10 - Atual Coordenador de Centro Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2007/07/01 - Atual Investigador Sénior Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal
2007/07 - Atual Membro da Comissão Executiva Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal
2002/01 - Atual Membro da Comissão Científica do Departamento de Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2020/07 - 2022/11 Presidente da Comissão Científica do Programa Doutoral MAPi Universidade do Porto Faculdade de Ciências, Portugal
2021/09 - 2022 Membro da Comissão Científica do Programa Doutoral MAPi Universidade do Porto Faculdade de Ciências, Portugal
2018/06/01 - 2021/09 Coordenador Adjunto de Centro Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal
2020/09 - 2021/08 Diretor de curso do Programa Doutoral MAPi Universidade do Porto Faculdade de Ciências, Portugal
2015/09 - 2020/07 Membro da Comissão Científica do Mestrado em Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2018/07 - 2019/05 Membro da Comissão Científica Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2013/09 - 2015/08 Diretor de curso do Mestrado em Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2011/03 - 2015/08 Membro da Comissão Científica do Programa Doutoral em Ciência de Computadores Universidade do Porto, Portugal
2010/05 - 2013/08 Membro da Comissão Científica do Mestrado em Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
2007/05 - 2010/03 Membro da Comissão Científica do Mestrado Integrado em Engenharia de Redes e Sistemas Informáticos Universidade do Porto Faculdade de Ciências, Portugal
2006/09 - 2008/08 Membro da Comissão de Coordenação do Mestrado em Informática Universidade do Porto Faculdade de Ciências, Portugal
2006/01 - 2008/01 Membro da Comissão Executiva do Departamento de Ciência de Computadores Universidade do Porto Faculdade de Ciências, Portugal
1995 - 2007/06/30 Investigador Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
Projetos

Projeto

Designação Financiadores
2016 - Atual ELVEN - Expressive Logics for VErifying the Net
POCI-01-0145-FEDER-016844
Investigador
2016 - Atual NanoSTIMA - Macro-to-Nano Human Sensing: Towards Integrated Multimodal Health Monitoring and Analytics
NORTE-01-0145-FEDER-000016
Investigador
2013 - Atual SIBILA - Towards Smart Interacting Blocks that Improve Learned Advice
NORTE-07-124-FEDER-000059
Investigador
2012 - Atual DAAD - Leveraging Object-Oriented Logic Programming for Software Quality Enforcement
DAAD-2012
Investigador
2011 - Atual LEAP - Logic Environments with Advanced Parallelism
info:eu-repo/grantAgreement/FCT/5876-PPCDTI/112158/PT
Investigador responsável
Concluído
2010 - Atual Horus - Horn Representations of Uncertain Systems
PTDC/EIA-EIA/100897/2008
Investigador
2008 - Atual STAMPA - Sophisticated TAbling Mechanisms for Prolog and their Applications
info:eu-repo/grantAgreement/FCT/5876-PPCDTI/67738/PT
Investigador responsável
Concluído
2008 - Atual JEDI - Joint Environment for Deduction and Induction and its Application over Spatial Data
PTDC/EIA/70840/2006
Investigador
2005/05/20 - Atual myddas - MySQL/Yap Deductive Database System
info:eu-repo/grantAgreement/FCT/Orçamento de Funcionamento/POSC/59154/PT
Investigador
Fundação para a Ciência e a Tecnologia
2002 - Atual APRIL - Applications using Parallelism in Induction and Logic
POSI/SRI/40749/2001
Investigador
1997 - Atual DOLPHIN - High Performance Computing Environments for Parallel Computation
PRAXIS/2/2.1/TIT/1577/95
Investigador
1997 - Atual MELODIA - Advanced Design and Implementation of Logic Programming Execution Models
JNICT/PBIC/C/TIT/2495/95
Investigador
1995 - Atual PROLOPPE - Parallel Logic Programming with Extensions
PRAXIS/3/3.1/TIT/24/94
Investigador
Produções

Publicações

Artigo em conferência
  1. Pedro Moreno; Ricardo Rocha. "Releasing Memory with Optimistic Access: A Hybrid Approach to Memory Reclamation and Allocation in Lock-Free Programs". 2023.
    10.1145/3558481.3591089
  2. Areias, M; Rocha, R. "Towards an Elastic Lock-Free Hash Trie Design". 2021.
    10.1109/ispdc52870.2021.9521630
  3. Moreno, P; Areias, M; Rocha, R. "Memory Reclamation Methods for Lock-Free Hash Tries". 2019.
    10.1109/sbac-pad.2019.00039
  4. Leite, R; Rocha, R. "LRMalloc: A Modern and Competitive Lock-Free Dynamic Memory Allocator". 2019.
    10.1007/978-3-030-15996-2_17
  5. Leite, R; Rocha, R. "A lock-free coalescing-capable mechanism for memory management". 2019.
    10.1145/3315573.3329982
  6. Real, JC; Dries, A; Dutra, I; Rocha, R. "Improving Candidate Quality of Probabilistic Logic Models". 2018.
    10.4230/oasics.iclp.2018.6
  7. Areias, M; Rocha, R. "On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys". 2018.
    10.1109/bdcloud.2018.00070
  8. Gonçalves, R; Areias, M; Rocha, R. "Towards an Automated Test Bench Environment for Prolog Systems". 2017.
    10.4230/oasics.slate.2017.2
  9. Mantadelis, T; Rocha, R. "Using Iterative Deepening for Probabilistic Logic Inference". 2017.
    10.1007/978-3-319-51676-9_14
  10. Real, JC; Dutra, I; Rocha, R. "On Applying Probabilistic Logic Programming to Breast Cancer Data". 2017.
    10.1007/978-3-319-78090-0_3
  11. Areias, MJG; Da Rocha, RJGL. "Towards a Lock-Free, Fixed Size and Persistent Hash Map Design". 2017.
    10.1109/sbac-pad.2017.26
  12. Real, JC; Dutra, I; Rocha, R. "Estimation-Based Search Space Traversal in PILP Environments". 2016.
    10.1007/978-3-319-63342-8_1
  13. Cruz, F; Rocha, R. "On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities". 2015.
    10.1007/978-3-319-19686-2_3
  14. Areias, M; Rocha, R. "Batched Evaluation of Full-Sharing Multithreaded Tabling". 2015.
    10.1007/978-3-319-27653-3_11
  15. Cruz, F; Rocha, R; Goldstein, SC. "Thread-aware logic programming for data-driven parallel programs". 2015.
  16. Corte Real, J; Mantadelis, T; Dutra, I; Rocha, R; Burnside, E. "SkILL - a Stochastic Inductive Logic Learner". 2015.
    10.1109/icmla.2015.159
  17. Corte-Real, J.; Dutra, I.; Rocha, R.. "A hybrid mapreduce model for prolog". 2015.
    10.1109/ISICIR.2014.7029555
  18. Mantadelis, T; Rocha, R. "A portable prolog predicate for printing rational terms". 2014.
  19. Cruz, F; Rocha, R; Goldstein, SC. "A parallel virtual machine for executing forward-chaining linear logic programs". 2014.
  20. Cruz, F; Rocha, R; Goldstein, SC. "Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs". 2014.
    10.1145/2643135.2643150
  21. Côrte-Real, J.; Dutra, I.; Rocha, R.. "Prolog programming with a map-reduce parallel construct". 2013.
    10.1145/2505879.2505882
  22. Santos, J.; Rocha, R.. "Or-parallel prolog execution on clusters of multicores". 2013.
    10.4230/OASIcs.SLATE.2013.9
  23. Areias, M; Rocha, R. "On Extending a Linear Tabling Framework to Support Batched Scheduling". 2012.
    10.4230/oasics.slate.2012.9
  24. Santos, J; Rocha, R. "Mode-Directed Tabling and Applications in the YapTab System". 2012.
    10.4230/oasics.slate.2012.25
  25. Dutra, I.; Rocha, R.; Costa, V.S.; Silva, F.; Santos, J.. "Scheduling OR-parallelism in YapOr and ThOr on multi-core machines". 2012.
    10.1109/IPDPSW.2012.199
  26. Vieira, R.; Rocha, R.; Silva, F.. "Or-parallel Prolog execution on multicores based on stack splitting". 2012.
    10.1145/2103736.2103738
  27. Areias, M.; Rocha, R.. "An efficient and scalable memory allocator for multithreaded tabled evaluation of logic programs". 2012.
    10.1109/icpads.2012.91
  28. Fonseca, N.A.; Costa, V.S.; Rocha, R.; Camacho, R.. "K-RNN: K-relational nearest neighbour algorithm". 2008.
    10.1145/1363686.1363901
  29. Ferreira, M; Rocha, R. "Coupling OPTYAP with a database system". 2005.
  30. Rocha, R.; Silva, F.; Costa, V.S.. "Dynamic mixed-strategy evaluation of tabled logic programs". 2005.
    10.1007/11562931_20
  31. Rocha, R.; Lopes, R.; Silva, F.; Costa, V.S.. "IMPACT: Innovative Models for Prolog with Advanced Control and Tabling". 2005.
    10.1007/11562931_36
  32. Ferreira, M.; Rocha, R.. "The MyYapDB deductive database system". 2004.
    10.1007/978-3-540-30227-8_63
  33. Fonseca, N.; Rocha, R.; Camacho, R.; Silva, F.. "Efficient data structures for inductive logic programming". 2003.
    10.1007/978-3-540-39917-9_10
  34. Rocha, R; Silva, FMA; Costa, VS. "Achieving Scalability in Parallel Tabled Logic Programs". 2002.
    10.1109/IPDPS.2002.1015488
  35. Rocha, R; Silva, FMA; Costa, VS. "YapOr: an Or-Parallel Prolog System Based on Environment Copying". 1999.
    10.1007/3-540-48159-1_13
Artigo em revista
  1. Areias, M; Rocha, R. "On the correctness of a lock-free compression-based elastic mechanism for a hash trie design". COMPUTING (2022):
    10.1007/s00607-022-01085-2
  2. Dovier, A; Formisano, A; Gupta, G; Hermenegildo, MV; Pontelli, E; Rocha, R. "Parallel Logic Programming: A Sequel". THEORY AND PRACTICE OF LOGIC PROGRAMMING (2022):
    10.1017/s1471068422000059
  3. Areias, Miguel; Rocha, Ricardo. "On the correctness and efficiency of a novel lock-free hash trie map design". Journal of Parallel and Distributed Computing 150 (2021): 184-195. http://dx.doi.org/10.1016/j.jpdc.2021.01.001.
    10.1016/j.jpdc.2021.01.001
  4. Moreno, P; Areias, M; Rocha, R. "On the implementation of memory reclamation methods in a lock-free hash trie design". JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING (2021):
    10.1016/j.jpdc.2021.04.007
  5. Corte Real, J; Dutra, I; Rocha, R. "Pruning strategies for the efficient traversal of the search space in PILP environments". KNOWLEDGE AND INFORMATION SYSTEMS (2021):
    10.1007/s10115-021-01620-1
  6. Miguel Areias; Ricardo Rocha. "Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog". Concurrency and Computation: Practice and Experience (2019): e4491-e4491. https://doi.org/10.1002/cpe.4491.
    10.1002/cpe.4491
  7. MIGUEL AREIAS; RICARDO ROCHA. "Table space designs for implicit and explicit concurrent tabled evaluation". Theory and Practice of Logic Programming 18 5-6 (2018): 950-992. https://doi.org/10.1017/S147106841800039X.
    10.1017/S147106841800039X
  8. Areias, M; Rocha, R. "Table space designs for implicit and explicit concurrent tabled evaluation". THEORY AND PRACTICE OF LOGIC PROGRAMMING (2018):
    10.1017/s147106841800039x
  9. RICARDO ROCHA; TRAN CAO SON. "Introduction to the 33rd international conference on logic programming special issue". Theory and Practice of Logic Programming 17 5-6 (2017): 684-688. https://doi.org/10.1017/S1471068417000448.
    10.1017/S1471068417000448
  10. Goncalves, R; Areias, M; Rocha, R. "On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems". INFORMATION (2017):
    10.3390/info8040129
  11. Areias, M; Rocha, R. "On scaling dynamic programming problems with a multithreaded tabling, Prolog system". JOURNAL OF SYSTEMS AND SOFTWARE (2017):
    10.1016/j.jss.2016.06.060
  12. JÕAO SANTOS; RICARDO ROCHA. "On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores". Theory and Practice of Logic Programming 16 5-6 (2016): 899-915. https://doi.org/10.1017/S1471068416000296.
    10.1017/S1471068416000296
  13. Areias, M; Rocha, R. "A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs". INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING (2016):
    10.1007/s10766-014-0346-1
  14. Cruz, F; Rocha, R; Goldstein, SC. "Declarative Coordination of Graph-based Parallel Programs". ACM SIGPLAN NOTICES (2016):
    10.1145/2851141.2851153
  15. Santos, J; Rocha, R. "On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores". THEORY AND PRACTICE OF LOGIC PROGRAMMING (2016):
    10.1017/s1471068416000296
  16. Mantadelis, T.; Rocha, R.; Moura, P.. "Tabling, rational terms, and coinduction finally together!". Theory and Practice of Logic Programming 14 4-5 (2014): 429-443. http://www.scopus.com/inward/record.url?eid=2-s2.0-84904634557&partnerID=MN8TOARS.
    10.1017/S147106841400012X
  17. Santos, J.; Rocha, R.. "A team-based scheduling model for interfacing or-parallel prolog engines". Computer Science and Information Systems 11 4 (2014): 1435-1454. http://www.scopus.com/inward/record.url?eid=2-s2.0-84923868513&partnerID=MN8TOARS.
    10.2298/CSIS131025050S
  18. Cruz, F.; Rocha, R.; Goldstein, S.C.; Pfenning, F.. "A linear logic programming language for concurrent programming over graph structures". Theory and Practice of Logic Programming 14 4-5 (2014): 493-507. http://www.scopus.com/inward/record.url?eid=2-s2.0-84904669976&partnerID=MN8TOARS.
    10.1017/S1471068414000167
  19. Areias, M.; Rocha, R.. "Batched evaluation of linear tabled logic programs". Computer Science and Information Systems 10 4 SPEC.ISS (2013): 1775-1797. http://www.scopus.com/inward/record.url?eid=2-s2.0-84886781092&partnerID=MN8TOARS.
    10.2298/csis121129066a
  20. Areias, M.; Rocha, R.. "Towards multi-threaded local tabling using a common table space". Theory and Practice of Logic Programming 12 4-5 (2012): 427-443. http://www.scopus.com/inward/record.url?eid=2-s2.0-84871959735&partnerID=MN8TOARS.
    10.1017/s1471068412000117
  21. Costa, V.S.; Rocha, R.; Damas, L.. "The YAP Prolog system". Theory and Practice of Logic Programming 12 1-2 (2012): 5-34. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856156645&partnerID=MN8TOARS.
    10.1017/S1471068411000512
  22. Kimmig, A.; Demoen, B.; De Raedt, L.; Costa, V.S.; Rocha, R.. "On the implementation of the probabilistic logic programming language ProbLog". Theory and Practice of Logic Programming 11 2-3 (2011): 235-262. http://www.scopus.com/inward/record.url?eid=2-s2.0-79960372387&partnerID=MN8TOARS.
    10.1017/S1471068410000566
  23. Areias, M.; Rocha, R.. "On combining linear-based strategies for tabled evaluation of logic programs". Theory and Practice of Logic Programming 11 4-5 (2011): 681-696. http://www.scopus.com/inward/record.url?eid=2-s2.0-80054960868&partnerID=MN8TOARS.
    10.1017/S147106841100024X
  24. Cruz, F.; Rocha, R.. "Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs". Theory and Practice of Logic Programming 11 4-5 (2011): 697-712. http://www.scopus.com/inward/record.url?eid=2-s2.0-80054948835&partnerID=MN8TOARS.
    10.1017/s1471068411000251
  25. Santos Costa, V.; Dutra, I.; Rocha, R.. "Threads and or-parallelism unified". Theory and Practice of Logic Programming 10 4-6 (2010): 417-432. http://www.scopus.com/inward/record.url?eid=2-s2.0-77957240853&partnerID=MN8TOARS.
    10.1017/s1471068410000190
  26. Freitas, F.; Oliveira, S.; Rocha, R.; Pereira, L.. "mtDNA GeneExtractor: A computer tool for mtDNA gene/region information extraction". Mitochondrion 9 1 (2009): 36-40. http://www.scopus.com/inward/record.url?eid=2-s2.0-60249086820&partnerID=MN8TOARS.
    10.1016/j.mito.2008.11.003
  27. Fonseca, N.A.; Costa, V.S.; Rocha, R.; Camacho, R.; Silva, F.. "Improving the efficiency of inductive logic programming systems". Software - Practice and Experience 39 2 (2009): 189-219. http://www.scopus.com/inward/record.url?eid=2-s2.0-60349091006&partnerID=MN8TOARS.
    10.1002/spe.896
  28. Pereira, L.; Freitas, F.; Fernandes, V.; Pereira, J.B.; Costa, M.D.; Costa, S.; Máximo, V.; et al. "The Diversity Present in 5140 Human Mitochondrial Genomes". American Journal of Human Genetics 84 5 (2009): 628-640. http://www.scopus.com/inward/record.url?eid=2-s2.0-65149104318&partnerID=MN8TOARS.
    10.1016/j.ajhg.2009.04.013
  29. Fonseca, N.A.; Camacho, R.; Rocha, R.; Costa, V.S.. "Compile the hypothesis space: Do it once, use it often". Fundamenta Informaticae 89 1 (2008): 45-67. http://www.scopus.com/inward/record.url?eid=2-s2.0-58149520441&partnerID=MN8TOARS.
  30. Goios, A.; Meirinhos, J.; Rocha, R.; Lopes, R.; Amorim, A.; Pereira, L.. "RepeatAround: A software tool for finding and visualizing repeats in circular genomes and its application to a human mtDNA database". Mitochondrion 6 4 (2006): 218-224. http://www.scopus.com/inward/record.url?eid=2-s2.0-33748180150&partnerID=MN8TOARS.
    10.1016/j.mito.2006.06.001
  31. Rocha, R.; Silva, F.; Costa, V.S.. "On applying or-parallelism and tabling to logic programs". Theory and Practice of Logic Programming 5 1-2 (2005): 161-205. http://www.scopus.com/inward/record.url?eid=2-s2.0-14544285474&partnerID=MN8TOARS.
    10.1017/s1471068404002030
Capítulo de livro
  1. Pedro Moreno; Miguel Areias; Ricardo Rocha. "A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map". 2020.
    10.1007/978-3-030-57675-2_29
Edição de livro
  1. Rocha, R; Son, TC; Mears, C; Saeedloei, N. Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia. 2018.
  2. Hanus, M; Rocha, R. Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers. 2014.
    10.1007/978-3-319-08909-6
  3. Leal, JP; Rocha, R; Simões, A. 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal. 2013.
Livro
  1. Areias, M.; Rocha, R.. On the correctness and efficiency of lock-free expandable tries for tabled logic programs. 2014.
    10.1007/978-3-319-04132-2_12
  2. Santos, J.; Rocha, R.. On the efficient implementation of mode-directed tabling. 2013.
    10.1007/978-3-642-45284-0_10
  3. Rocha, R.; Launchbury, J.. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. 2011.
    10.1007/978-3-642-18378-2
  4. Raimundo, J.; Rocha, R.. A subterm-based global trie for tabled evaluation of logic programs. 2011.
    10.1007/978-3-642-24769-9_18
  5. Cruz, F.; Rocha, R.. Retroactive subsumption-based tabled evaluation of logic programs. 2010.
    10.1007/978-3-642-15675-5_13
  6. Mantadelis, T.; Rocha, R.; Kimmig, A.; Janssens, G.. Preprocessing Boolean formulae for BDDs in a probabilistic context. 2010.
    10.1007/978-3-642-15675-5_23
  7. Raimundo, J.; Rocha, R.. Compact lists for tabled evaluation. 2010.
    10.1007/978-3-642-11503-5_21
  8. Areias, M.; Rocha, R.. An efficient implementation of linear tabling based on dynamic reordering of alternatives. 2010.
    10.1007/978-3-642-11503-5_23
  9. Areias, M.; Rocha, R.. On improving the efficiency of deterministic calls and answers in tabled logic programs. 2009.
    10.1007/978-3-642-04686-5_10
  10. Moura, P.; Rocha, R.; Madeira, S.C.. High level thread-based competitive or-parallelism in logtalk. 2009.
    10.1007/978-3-540-92995-6_8
  11. Costa, J.; Raimundo, J.; Rocha, R.. A term-based global trie for tabled logic programs. 2009.
    10.1007/978-3-642-02846-5_20
  12. Costa, P.; Rocha, R.; Ferreira, M.. Relational models for tabling logic programs in a database. 2009.
    10.1007/978-3-642-00675-3_7
  13. Costa, J.; Rocha, R.. One table fits All. 2009.
    10.1007/978-3-540-92995-6_14
  14. Moura, P.; Rocha, R.; Madeira, S.C.. Thread-based competitive or-parallelism. 2008.
    10.1007/978-3-540-89982-2_63
  15. Kimmig, A.; Santos Costa, V.; Rocha, R.; Demoen, B.; De Raedt, L.. On the efficient execution of problog programs. 2008.
    10.1007/978-3-540-89982-2_22
  16. Camacho, R.; Fonseca, N.A.; Rocha, R.; Costa, V.S.. ILP :- Just trie it. 2008.
    10.1007/978-3-540-78469-2_11
  17. Costa, J.; Rocha, R.. Global storing mechanisms for tabled evaluation. 2008.
    10.1007/978-3-540-89982-2_62
  18. Rocha, R.. On improving the efficiency and robustness of table storage mechanisms for tabled evaluation. 2007.
    10.1007/978-3-540-69611-7-10
  19. Rocha, R.; Silva, C.; Lopes, R.. On applying program transformation to implement suspension-based tabling in prolog. 2007.
    10.1007/978-3-540-74610-2_38
  20. Chico De Guzmán, P.; Carro, M.; Hermenegildo, M.V.; Silva, C.; Rocha, R.. An improved continuation call-based implementation of tabling. 2007.
    10.1007/978-3-540-77442-6_14
  21. Ferreira, M.; Fonseca, N.A.; Rocha, R.; Soares, T.. Efficient and scalable induction of logic programs using a deductive database system. 2007.
    10.1007/978-3-540-73847-3_22
  22. Rocha, R.. Handling incomplete and complete tables in tabled logic programs. 2006.
    10.1007/11799573_34
  23. Silva, C.; Rocha, R.; Lopes, R.. An external module for implementing linear tabling in Prolog. 2006.
    10.1007/11799573_35
  24. Rocha, R.; Fonseca, N.; Costa, V.S.. On applying tabling to inductive logic programming. 2005.
    10.1007/11564096_72
  25. Soares, T.; Rocha, R.; Ferreira, M.. Generic cut actions for external Prolog predicates. 2005.
    10.1007/11603023_2
  26. Rocha, R.; Silva, F.; Costa, V.S.. Concurrent table accesses in parallel tabled logic programs. 2004.
    10.1007/978-3-540-27866-5_87
  27. Rocha, R.; Silva, F.; Costa, V.S.. Speculative computations in or-parallel tabled logic programs. 2004.
    10.1007/978-3-540-27775-0_18
  28. Rocha, R.; Silva, F.; Martins, R.. YapDss: An or-parallel prolog system for scalable Beowulf clusters. 2003.
    10.1007/978-3-540-24580-3_21
  29. Rocha, R.; Silva, F.; Costa, V.S.. On a tabling engine that can exploit or-parallelism. 2001.
    10.1007/3-540-45635-X_11
  30. Costa, V.S.; Rocha, R.; Silva, F.. Novel models for or-parallel logic programs: A performance analysis. 2000.
    10.1007/3-540-44520-X_102
  31. Rocha, R.; Silva, F.; Costa, V.S.. Or-parallelism within tabling. 1999.
    10.1007/3-540-49201-1_10

Outros

Outra produção
  1. Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation. 2018. Areias, M; Rocha, R.
  2. Introduction to the 33rd international conference on logic programming special issue. 2017. Rocha, R; Son, TC.
    10.1017/s1471068417000448
  3. A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling. 2014. Areias, M; Rocha, R.
  4. On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores. 2013. Vieira, Rui; Rocha, Ricardo; Silva, FernandoM.A..
  5. Efficient Support for Mode-Directed Tabling in the YapTab Tabling System. 2013. Santos, Joao; Rocha, Ricardo.
  6. Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems. 2013. Rocha, Ricardo; Have, ChristianTheil.
  7. Single Time-Stamped Tries for Retroactive Call Subsumption. 2011. Cruz, Flavio; Rocha, Ricardo.
  8. Global Trie for Subterms. 2011. Raimundo, Joao; Rocha, Ricardo.
  9. Preface. 2011. Rocha, R; Launchbury, J.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2016 On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores 32nd International Conference on Logic Programming (ICLP 2016)
(New York City, New York, USA, October 2016)
2013 Or-Parallel Prolog Execution on Clusters of Multicores 2nd Symposium on Languages, Applications and Technologies (SLATE 2013)
(Porto, Portugal, June 2013)
2012 On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores 12th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012)
(Budapest, Hungary, September 2012)
2012 Or-Parallel Prolog Execution on Multicores Based on Stack Splitting 7th International Workshop on Declarative Aspects and Applications of Multicore Programming (DAMP 2012)
(Philadelphia, Pennsylvania, USA, January 2012)
2011 Tabling and Or-Parallelism in Yap Prolog: Past, Present and Future 21st Workshop on Logic-based methods in Programming Environments (WLPE 2011)
(Lexington, Kentucky, USA, July 2011)
2011 A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs 15th Portuguese Conference on Artificial Intelligence (EPIA 2011)
(Lisboa, Portugal, October 2011)
2011 A Simple Table Space Design for Retroactive Call Subsumption 15th Portuguese Conference on Artificial Intelligence (EPIA 2011)
(Lisboa, Portugal, October 2011)
2011 Global Trie for Subterms 11th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2011)
(Lexington, Kentucky, USA, July 2011)
2010 Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs 4th International Conference on Compilers, Programming Languages, Related Technologies and Applications (CoRTA 2010)
(Braga, Portugal, September 2010)
2009 A Term-Based Global Trie for Tabled Logic Programs 25th International Conference on Logic Programming (ICLP 2009)
(Pasadena, California, USA, July 2009)
2009 One Table Fits All 11th International Symposium on Practical Aspects of Declarative Languages (PADL 2009)
(Savannah, Georgia, USA, January 2009)
2008 Tabling Logic Programs in a Common Global Trie 8th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2008)
(Udine, Italy, December 2008)
2008 Efficient Evaluation of Deterministic Tabled Calls 8th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2008)
(Udine, Italy, December 2008)
2008 Global Storing Mechanisms for Tabled Evaluation 24th International Conference on Logic Programming (ICLP 2008)
(Udine, Italy, December 2008)
2007 Implementation of Suspension-Based Tabling in Prolog using External Primitives 13th Portuguese Conference on Artificial Intelligence (EPIA 2007)
(Guimarães, Portugal, December 2007)
2007 Tabling Logic Programs in a Database 21st Workshop on (Constraint) Logic Programming (WLP 2007)
(Würzburg, Germany, October 2007)
2007 On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog 23rd International Conference on Logic Programming (ICLP 2007)
(Porto, Portugal, September 2007)
2007 On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation 9th International Symposium on Practical Aspects of Declarative Languages (PADL 2007)
(Nice, France, January 2007)
2006 Efficient Support for Incomplete and Complete Tables in the YapTab Tabling System 6th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2006)
(Seattle, Washington, USA, August 2006)
2006 DBTAB: a Relational Storage Model for the YapTab Tabling System 6th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2006)
(Seattle, Washington, USA, August 2006)
2006 Handling Incomplete and Complete Tables in Tabled Logic Programs 22nd International Conference on Logic Programming (ICLP 2006)
(Seattle, Washington, USA, August 2006)
2006 An External Module for Implementing Linear Tabling in Prolog 22nd International Conference on Logic Programming (ICLP 2006)
(Seattle, Washington, USA, August 2006)
2005 Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs 21st International Conference on Logic Programming (ICLP 2005)
(Sitges, Spain, October 2005)
2005 Coupling OPTYap with a Database System IADIS International Conference Applied Computing (IADIS-AC 2005)
(Algarve, Portugal, February 2005)
2004 Speculative Computations in Or-Parallel Tabled Logic Programs 20th International Conference on Logic Programming (ICLP 2004)
(Saint-Malo, France, September 2004)
2004 Concurrent Table Accesses in Parallel Tabled Logic Programs 10th International Euro-Par Conference (EURO-PAR 2004)
(Pisa, Italy, August/September 2004)
2003 A Tabling Engine Designed to Support Mixed-Strategy Evaluation 3rd Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2003)
(Mumbai, India, December 2003)
2003 YapDss: an Or-Parallel Prolog System for Scalable Beowulf Clusters 11th Portuguese Conference on Artificial Intelligence (EPIA 2003)
(Beja, Portugal, December 2003)
2001 On a Tabling Engine That Can Exploit Or-Parallelism 17th International Conference on Logic Programming (ICLP 2001)
(Paphos, Chiprus, November/December 2001)
2000 A Tabling Engine for the Yap Prolog System APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP 2000)
(La Habana, Cuba, December 2000)
2000 YapTab: A Tabling Engine Designed to Support Parallelism 2nd Conference on Tabulation in Parsing and Deduction (TAPD 2000)
(Vigo, Spain, September 2000)
1999 YapOr: an Or-Parallel Prolog System Based on Environment Copying 9th Portuguese Conference on Artificial Intelligence (EPIA 1999)
(Évora, Portugal, September 1999)
1999 Or-Parallelism within Tabling 1st International Workshop on Practical Aspects of Declarative Languages (PADL 1999)
(San Antonio, Texas, USA, January 1999)
1997 On Applying Or-Parallelism to Tabled Evaluations 1st International Workshop on Tabling in Logic Programming (TLP 1997)
(Leuven, Belgium, June 1997)

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2021 - 2022 Memory Reclamation for an Elastic Lock-free Hash Trie Map
Coorientador
 Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2019 - 2020 Lock-Free Memory Reclamation for Concurrent Hash Tries
Orientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2017 - 2018 Memory Reclamation Methods for Lock-Free Hash Tries
Orientador
 Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2017 - 2018 Practical Lock-Free Dynamic Memory Allocation Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2018 Towards Efficient and Scalable Probabilistic Inductive Logic Programming Computer Science (MAPi Program) (Doutoramento)
Universidade do Porto, Portugal
2012 - 2016 Logic Programming Environments with Advanced Parallelism Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2011 - 2015 Linear Logic and Coordination for Parallel Programming Informática (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2011 - 2015 Multithreaded Tabling for Logic Programming Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2013 - 2014 High-Level Constructors for Solution Searching in Or-Parallel Prolog Systems Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2012 - 2013 A MapReduce Construct for Yap Prolog Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2010 - 2011 Or-Parallel Prolog Execution on Multicores Based on Stack Splitting Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2009 - 2010 Efficient Storing Mechanisms for Tabled Logic Programs Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2009 - 2010 Tabulação com Operadores de Modo em Programas Lógicos Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2009 - 2010 On Applying Linear Tabling to Logic Programs Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2009 - 2010 Controle de Fluxo em Prolog por Utilização de Primitivas de Suspensão Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2009 - 2010 Call Subsumption Mechanisms for Tabled Logic Programs Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
2006 - 2007 Relational Storage Mechanisms for Tabled Logic Programs Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2006 - 2007 An External Module for Implementing Linear Tabling in Prolog Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2006 - 2007 Relação entre a energia de ligação do DNA mitocondrial e mutabilidade Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
2004 - 2005 Coupling Logic Programming with Relational Databases Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2004 - 2005 Interface Yap/MySQL ao nível da WAM Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
2003 - 2004 Gestor de Tarefas para Clusters Beowulf Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
2003 - 2004 Tablet PC-Notes Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
2003 - 2004 Computação de Repetições em ADN Mitocondrial Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
2002 - 2003 A Distributed Prolog System based on Sack Splitting Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2002 - 2003 Representação Gráfica de Objectos 3D Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2021 - 2021 General chair. 37th International Conference on Logic Programming (ICLP 2021). Online event, September 2021. (2021 - 2021)
Conferência (Presidente da Comissão Organizadora)
2020 - 2020 Program co-chair. 13th International Symposium on High-level Parallel Programming and Applications (HLPP 2020). Porto, Portugal, July 2020. (2020 - 2020)
Conferência (Membro da Comissão Científica)
2020 - 2020 Local organizer. 13th International Symposium on High-level Parallel Programming and Applications (HLPP 2020). Porto, Portugal, July 2020. (2020 - 2020)
Conferência (Coorganizador)
2017 - 2017 Program co-chair. 33rd International Conference on Logic Programming (ICLP 2017). Melbourne, Australia, August/September 2017. (2017 - 2017)
Conferência (Membro da Comissão Científica)
2015 - 2015 Program co-chair. 7th INForum - Simpósio de Informática (INForum 2015). Covilhã, Portugal, September 2015. (2015 - 2015)
Conferência (Membro da Comissão Científica)
2014 - 2014 Local organizer. 20th International Euro-Par Conference (Euro-Par 2014). Porto, Portugal, August 2014. (2014 - 2014)
Conferência (Membro da Comissão Organizadora)
2014 - 2014 Topic chair. 20th International Euro-Par Conference (Euro-Par 2014). Porto, Portugal, August 2014. (2014 - 2014)
Conferência (Membro da Comissão Científica)
2013 - 2013 Program co-chair. 2nd Symposium on Languages, Applications and Technologies (SLATE 2013). Porto, Portugal, June 2013. (2013 - 2013)
Conferência (Membro da Comissão Científica)
2013 - 2013 Program co-chair. 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2013). Istanbul, Turkey, August 2013. (2013 - 2013)
Conferência (Membro da Comissão Científica)
2013 - 2013 Conference chair. 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013). Kiel, Germany, September 2013. (2013 - 2013)
Conferência (Membro da Comissão Científica)
2011 - 2011 Program co-chair. 13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011). Austin, Texas, USA, January 2011. (2011 - 2011)
Conferência (Membro da Comissão Científica)
2009 - 2009 Co-organizer. Spring School in Advanced Computing TACC @ UP. Porto, Portugal, May 2009. (2009 - 2009)
Outro (Membro da Comissão Organizadora)
2009 - 2009 Publicity chair. 25th International Conference on Logic Programming (ICLP 2009). Pasadena, California, USA, July 2009. (2009 - 2009)
Conferência (Membro da Comissão Organizadora)
2007 - 2007 Local chair. 23rd International Conference on Logic Programming (ICLP 2007). Porto, Portugal, September 2007. (2007 - 2007)
Conferência (Membro da Comissão Organizadora)
2005 - 2005 Program co-chair. 5th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2005). Sitges, Spain, October 2005. (2005 - 2005)
Conferência (Membro da Comissão Científica)

Arbitragem científica em conferência

Nome da conferência Local da conferência
2023 - 2023 12th Symposium on Languages, Applications and Technologies (SLATE 2023) Vila do Conde, Portugal
2023 - 2023 39th International Conference on Logic Programming (ICLP 2023) London, UK
2022 - 2022 16th International Symposium on Functional and Logic Programming (FLOPS 2022) Kyoto, Japan
2022 - 2022 11th Symposium on Languages, Applications and Technologies (SLATE 2022) Covilhã, Portugal
2022 - 2022 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022) Tbilisi, Georgia
2021 - 2021 10th Symposium on Languages, Applications and Technologies (SLATE 2021)
2021 - 2021 12th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2021)
2020 - 2020 11th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2020) Nice, France
2020 - 2020 15th International Symposium on Functional and Logic Programming (FLOPS 2020) Akita, Japan
2020 - 2020 36th International Conference on Logic Programming (ICLP 2020)
2020 - 2020 32nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2020)
2020 - 2020 9th Symposium on Languages, Applications and Technologies (SLATE 2020)
2019 - 2019 35th International Conference on Logic Programming (ICLP 2019) Las Cruces, New Mexico, USA, September 2019
2019 - 2019 22nd International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2019) Cottbus, Germany, September 2019
2019 - 2019 8th Symposium on Languages, Applications and Technologies (SLATE 2019) Coimbra, Portugal, June 2019
2019 - 2019 10th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2019) Venice, Italy, May 2019
2019 - 2019 21st International Symposium on Practical Aspects of Declarative Languages (PADL 2019) Cascais, Portugal, January 2019
2018 - 2018 13th International Meeting on High Performance Computing for Computational Science (VECPAR 2018) São Pedro, São Paulo, Brazil, September 2018
2018 - 2018 10th INForum - Simpósio de Informática (INForum 2018) Coimbra, Portugal, September 2018
2018 - 2018 34th International Conference on Logic Programming (ICLP 2018) Oxford, UK, July 2018
2018 - 2018 16th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2018) Oxford, UK, July 2018
2018 - 2018 7th Symposium on Languages, Applications and Technologies (SLATE 2018) Guimarães, Portugal, June 2018
2018 - 2018 9th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2018) Barcelona, Spain, February 2018
2018 - 2018 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018) Los Angeles, California, USA, January 2018
2017 - 2017 33rd International Conference on Logic Programming (ICLP 2017) Melbourne, Australia, August/September 2017
2017 - 2017 6th Symposium on Languages, Applications and Technologies (SLATE 2017) Vila do Conde, Portugal, June 2017
2017 - 2017 8th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2017) Athens, Greece, February 2017
2017 - 2017 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017) Paris, France, January 2017
2016 - 2016 32nd International Conference on Logic Programming (ICLP 2016) New York City, New York, USA, October 2016
2016 - 2016 Workshop on Big Data & Deep Learning in High Performance Computing (BDL 2016) Porto, Portugal, June 2016
2016 - 2016 12th International Meeting on High Performance Computing for Computational Science (VECPAR 2016) Porto, Portugal, June 2016
2016 - 2016 5th Symposium on Languages, Applications and Technologies (SLATE 2016) Maribor, Slovenia, June 2016
2016 - 2016 7th International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS 2016) Rome, Italy, March 2016
2016 - 2016 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016) St. Petersburg, Florida, USA, January 2016
2015 - 2015 2nd Workshop on Software Engineering for Parallel Systems (SEPS 2015) Pittsburgh, Pennsylvania, USA, October 2015
2015 - 2015 7th INForum - Simpósio de Informática (INForum 2015) Covilhã, Portugal, September 2015
2015 - 2015 17th International Symposium on Practical Aspects of Declarative Languages (PADL 2015) Portland, Oregon, USA, June 2015
2015 - 2015 4th Symposium on Languages, Applications and Technologies (SLATE 2015) Madrid, Spain, June 2015
2014 - 2014 20th International Euro-Par Conference (Euro-Par 2014) Porto, Portugal, August 2014
2014 - 2014 3rd Symposium on Languages, Applications and Technologies (SLATE 2014) Bragança, Portugal, June 2014
2013 - 2013 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) Kiel, Germany, September 2013
2013 - 2013 29th International Conference on Logic Programming (ICLP 2013) Istanbul, Turkey, August 2013
2013 - 2013 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2013) Istanbul, Turkey, August 2013
2013 - 2013 2nd Symposium on Languages, Applications and Technologies (SLATE 2013) Porto, Portugal, June 2013
2012 - 2012 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012) Budapest, Hungary, September 2012
2012 - 2012 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012) Philadelphia, Pennsylvania, USA, January 2012
2011 - 2011 13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011) Austin, Texas, USA, January 2011
2010 - 2010 5th International Workshop on Declarative Aspects of Multicore Programming (DAMP 2010) Madrid, Spain, January 2010
2009 - 2009 25th International Conference on Logic Programming (ICLP 2009) Pasadena, California, USA, July 2009
2008 - 2008 8th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2008) Udine, Italy, December 2008
2007 - 2007 7th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2007) Porto, Portugal, September 2007
2005 - 2005 5th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2005) Sitges, Spain, October 2005
2003 - 2003 11th Portuguese Conference on Artificial Intelligence (EPIA 2003) Beja, Portugal, December 2003

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2019 - 2019 Journal of Theory and Practice of Logic Programming Cambridge University Press
2017 - 2017 Journal of Theory and Practice of Logic Programming Cambridge University Press
2016 - 2016 Revista de Informática Teórica e Aplicada
2015 - 2015 Journal of Logical and Algebraic Methods in Programming Elsevier
2013 - 2013 Information Sciences Elsevier
2009 - 2013 Journal of Theory and Practice of Logic Programming Cambridge University Press
2008 - 2008 Journal of Computer Science and Information Systems
2007 - 2007 Journal of Theory and Practice of Logic Programming Cambridge University Press
2005 - 2005 Journal of Theory and Practice of Logic Programming Cambridge University Press

Membro de associação

Nome da associação Tipo de participação
2014/08 - Atual International Euro-Par Conference Advisory board member

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2019/09 - 2021/09 INForum - President
Presidente / Vice-presidente
 INForum - Simpósio de Informática, Portugal
2014/07 - 2020/07 Association for Logic Programming - Executive committee member Association for Logic Programming, Reino Unido
2016/10 - 2019/09 International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking - Steering committee member
2014/09 - 2019/09 INForum - Executive committee member INForum - Simpósio de Informática, Portugal
2010/05 - 2016/03 Area co-editor for the ALP Newsletter Association for Logic Programming, Reino Unido
Distinções

Outra distinção

2014 ICLP 2014 Best Paper Award
1996 PhD Grant
1994 Prize Eng. António de Almeida
Fundação Engenheiro António de Almeida, Portugal
1994 MSc Grant