Paulo Matos
Paulo Matos
Institute Polytechnic of Bragança
Verified email at ipb.pt
Title
Cited by
Cited by
Year
Derecho tributario municipal ecuatoriano: fundamentos y práctica
C Montaño Galarza
Quito: Corporación Editora Nacional, CEN; Universidad Andina Simón Bolívar …, 2014
38*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
352015
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
292000
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
282006
O doente oncológico ea sua família
MGPC Lopes, P Matos
252002
Prevalencia de lesiones bucales asociadas al uso de prótesis dentales removibles, en un servicio de estomatología
G Matos Paraguassú, P Andrade Pimentel, A Rode Santos, ...
Revista Cubana de Estomatología 48 (3), 268-276, 2011
212011
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
172000
A MAX-SAT Algorithm Portfolio.
PJ Matos, J Planes, F Letombe, J Marques-Silva
ECAI, 911-912, 2008
162008
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
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
102006
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
92011
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
82016
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
82005
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
72011
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20