Paulo Matos
Paulo Matos
Institute Polytechnic of Bragança
Verified email at ipb.pt
TitleCited byYear
Derecho tributario municipal ecuatoriano
MG Cesar, JC Mogrovejo
Corporación Editora Nacional, 2014
36*2014
An international survey on noninvasive ventilation use for acute respiratory failure in general non-monitored wards
L Cabrini, A Esquinas, L Pasin, P Nardelli, E Frati, M Pintaudi, P Matos, ...
Respiratory care 60 (4), 586-592, 2015
302015
A edificação dos TEIP como sistemas de acção educativa concreta
M Sarmento, C Parente, P Matos, O Silva
Territórios educativos de intervenção prioritária: construção “ecológica” da …, 2000
282000
Ultrasonometric evaluation of bone healing: Experimental study using a model of diaphyseal transverse osteotomy of sheep tibiae
G Barbieri, CH Barbieri, PS De Matos, CA Pelá, N Mazzer
Ultrasound in medicine & biology 32 (6), 875-882, 2006
272006
Model checking Event-B by encoding into Alloy
PJ Matos, J Marques-Silva
arXiv preprint arXiv:0805.3256, 2008
172008
Territórios educativos de intervenção prioritária(construção" ecológica" da acção educativa)
AM Bettencourt, MV De Sousa, MR Fernandes, JA Gonçalves, JA Costa, ...
Temas de investigação, 2000
162000
A MAX-SAT Algorithm Portfolio.
PJ Matos, J Planes, F Letombe, J Marques-Silva
ECAI, 911-912, 2008
152008
Cytokine expression in the duodenal mucosa of patients with visceral leishmaniasis
KG Luz, FF Tuon, MIS Duarte, GM Maia, P Matos, AMO Ramos, ...
Revista da Sociedade Brasileira de Medicina Tropical 43 (4), 393-395, 2010
112010
An ISM 2.4 GHz low-IF receiver frontend
A Esteves, J Dores, P Matos, MA Martins, JR Fernandes
2011 IEEE International Symposium of Circuits and Systems (ISCAS), 546-549, 2011
102011
Prevalencia de lesiones bucales asociadas al uso de prótesis dentales removibles, en un servicio de estomatología
G Matos, P Andrade, A Rode, C Araújo, V Almeida
Rev Cubana Estomatol [Internet] 48 (3), 268-76, 2011
102011
A Lazy Unbounded Model Checker for Event-B
PJ Matos, B Fischer, J Marques-Silva
International Conference on Formal Engineering Methods, 485-503, 2009
102009
Counting models in integer domains
A Morgado, P Matos, V Manquinho, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2006
92006
Estudo Retrospectivo dos Padrões Terapêuticos Referentes à Hiperglicémia, Hipertensão arterial e Dislipidémia na Diabetes tipo 2 numa população Portuguesa: Estudo PATER
R Duarte, S Pratas, F Gonçalves, C Valadas, L Pereira, C Fernandes, ...
Rev Port Diabetes 4 (1), 5-14, 2006
72006
Residual stresses around an expanded hole in an aluminum clad sheet
P Matos, PMGP Moreira, JCP Pina, AM Dias, PMST de Castro
Materials Science Forum 490, 41-46, 2005
72005
DOLPHIN framework
P Matos, P Henriques
Technical Report, University of Minho, 2002
72002
Hematologia clínica
MS Matos, PF Matos
Laboratório clínico médico veterinário. Matos, MS; Matos, PF, eds. Atheneu …, 1995
71995
Brucella abortus detected in cheese from the Amazon region: differentiation of a vaccine strain (B19) from the field strain in the states of Pará, Amapá and Rondônia, Brazil
J Silva, CM Moraes, CL Silva, GA Sales, LB Keid, P Matos, APSS Lara, ...
Pesquisa Veterinária Brasileira 36 (8), 705-710, 2016
62016
Evaluation of PCR and multiplex PCR in relation to nested PCR for diagnosing Theileria equi
DC Leal, CR Madruga, PF Matos, BMPS Souza, CR Franke
Pesquisa Veterinária Brasileira 31 (7), 575-578, 2011
62011
DOLPHIN-FEW: An example of a Web system to analyze and study compilers behavior
P Matos, P Henriques
IADIS International Conference e-Society, Lisbon, Portugal, 66-970, 2003
62003
A solution to dynamically build an interactive visualization system to the DOLPHIN-FEW
P Matos, P Henriques
In proceedings of International Conference on Visualization, Imaging, and …, 2003
52003
The system can't perform the operation now. Try again later.
Articles 1–20