Ricardo Rocha
Publication Activity (10 Years)
Years Active: 1999-2024
Publications (10 Years): 30
Publications (10 Years): 30
Publications
- Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
- Miguel Areias, Ricardo Rocha
- Joana Côrte-Real, Inês Dutra, Ricardo Rocha
- Miguel Areias, Ricardo Rocha
- Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
- Pedro Moreno, Miguel Areias, Ricardo Rocha
- Ricardo Leite, Ricardo Rocha
- Miguel Areias, Ricardo Rocha
- Miguel Areias, Ricardo Rocha
- Ricardo Leite, Ricardo Rocha
- Joana Côrte-Real, Inês Dutra, Ricardo Rocha
- Ricardo Gonçalves, Miguel Areias, Ricardo Rocha
- Theofrastos Mantadelis, Ricardo Rocha
- Ricardo Rocha, Tran Cao Son
- João Santos, Ricardo Rocha
- Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein
- Joana Côrte-Real, Inês Dutra, Ricardo Rocha
- Miguel Areias, Ricardo Rocha
- Miguel Areias, Ricardo Rocha
- Joana Côrte-Real, Theofrastos Mantadelis, Inês de Castro Dutra, Ricardo Rocha
- Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura
- Miguel Areias, Ricardo Rocha
- João Santos, Ricardo Rocha
- Joana Côrte-Real, Inês de Castro Dutra, Ricardo Rocha
- Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura
- Joana Côrte-Real, Inês de Castro Dutra, Ricardo Rocha
- Miguel Areias, Ricardo Rocha
- João Santos, Ricardo Rocha
- João Santos, Ricardo Rocha
- João Santos, Ricardo Rocha
- Miguel Areias, Ricardo Rocha
- Miguel Areias, Ricardo Rocha
- João Santos, Ricardo Rocha
- Miguel Areias, Ricardo Rocha
- Vítor Santos Costa, Ricardo Rocha, Luís Damas
- João Raimundo, Ricardo Rocha
- João Raimundo, Ricardo RochaGlobal Trie for Subterms CoRR (2011)
- Vítor Santos Costa, Luís Damas, Ricardo RochaThe YAP Prolog System CoRR (2011)
- Miguel Areias, Ricardo Rocha
- Flávio Cruz, Ricardo Rocha
- Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha
- João Raimundo, Ricardo Rocha
- Flávio Cruz, Ricardo Rocha
- Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha
- Paulo Moura, Ricardo Rocha, Sara C. Madeira
- Jorge Costa, João Raimundo, Ricardo Rocha
- Jorge Costa, Ricardo Rocha
- Jorge Costa, Ricardo Rocha
- Paulo Moura, Ricardo Rocha, Sara C. Madeira
- Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt
- Nuno A. Fonseca, Rui Camacho, Ricardo Rocha, Vítor Santos Costa
- Rui Camacho, Nuno A. Fonseca, Ricardo Rocha, Vítor Santos Costa
- Pedro Costa, Ricardo Rocha, Michel Ferreira
- Ricardo Rocha
- Cláudio Silva, Ricardo Rocha, Ricardo Lopes
- Tiago Soares, Ricardo Rocha, Michel Ferreira
- Ricardo Rocha, Nuno A. Fonseca, Vítor Santos Costa
- Michel Ferreira, Ricardo Rocha
- Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
- Michel Ferreira, Ricardo Rocha