Type-based termination of recursive definitions G Barthe, MJ Frade, E Giménez, L Pinto, T Uustalu Mathematical structures in computer science 14 (1), 97-141, 2004 | 145 | 2004 |
Wild boars as reservoirs of extended‐spectrum beta‐lactamase (ESBL) producing Escherichia coli of different phylogenetic groups P Poeta, H Radhouani, L Pinto, A Martinho, V Rego, R Rodrigues, ... Journal of basic microbiology 49 (6), 584-588, 2009 | 135 | 2009 |
Genetic Detection of Extended-Spectrum β-Lactamase-Containing Escherichia coli Isolates from Birds of Prey from Serra da Estrela Natural Reserve in Portugal L Pinto, H Radhouani, C Coelho, P Martins da Costa, R Simões, ... Applied and environmental microbiology 76 (12), 4118-4120, 2010 | 91 | 2010 |
Loop-free construction of counter-models for intuitionistic propositional logic L Pinto, R Dyckhoff Symposia Gaussiana, 225-232, 1995 | 71 | 1995 |
Permutability of proofs in intuitionistic sequent calculi R Dyckhoff, L Pinto Theoretical Computer Science 212 (1-2), 141-155, 1999 | 65 | 1999 |
Detection of Escherichia coli harbouring extended-spectrum β-lactamases of the CTX-M classes in faecal samples of common buzzards (Buteo buteo) H Radhouani, L Pinto, C Coelho, A Gonçalves, R Sargo, C Torres, ... Journal of Antimicrobial Chemotherapy 65 (1), 171-173, 2010 | 55 | 2010 |
Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents L Pinto, T Uustalu Automated Reasoning with Analytic Tableaux and Related Methods: 18th …, 2009 | 55 | 2009 |
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic R Dyckhoff, L Pinto Studia Logica 60 (1), 107-118, 1998 | 55 | 1998 |
O quarto poder frustado: os meios de comunicação social no Portugal Pós-Revolucionário WK Agee, N Traquina, L Pinto, Panchita | 51 | 1988 |
Molecular Detection and Characterization of Methicillin-Resistant Staphylococcus aureus (MRSA) Isolates from Dogs in Portugal C Coelho, C Torres, H Radhouani, L Pinto, C Lozano, E Gómez-Sanz, ... Microbial Drug Resistance 17 (2), 333-337, 2011 | 46 | 2011 |
Molecular characterization of antibiotic resistance in enterococci recovered from seagulls (Larus cachinnans) representing an environmental health problem H Radhouani, G Igrejas, L Pinto, A Gonçalves, C Coelho, J Rodrigues, ... Journal of Environmental Monitoring 13 (8), 2227-2233, 2011 | 45 | 2011 |
Proteomic characterization of van A-containing Enterococcu s recovered from Seagulls at the Berlengas Natural Reserve, W Portugal H Radhouani, P Poeta, L Pinto, J Miranda, C Coelho, C Carvalho, ... Proteome science 8, 1-12, 2010 | 45 | 2010 |
MLST and a genetic study of antibiotic resistance and virulence factors in vanA‐containing Enterococcus from buzzards (Buteo buteo) H Radhouani, L Pinto, C Coelho, R Sargo, C Araujo, M Lopez, C Torres, ... Letters in applied microbiology 50 (5), 537-541, 2010 | 45 | 2010 |
Olive tree physiology and chemical composition of fruits are modulated by different deficit irrigation strategies A Gonçalves, E Silva, C Brito, S Martins, L Pinto, LT Dinis, A Luzio, ... Journal of the Science of Food and Agriculture 100 (2), 682-694, 2020 | 42 | 2020 |
Model checking embedded systems with PROMELA OR Ribeiro, JM Fernandes, LF Pinto 12th IEEE International Conference and Workshops on the Engineering of …, 2005 | 38 | 2005 |
A permutation-free sequent calculus for intuitionistic logic R Dyckhoff, L Pinto University of St Andrews Research Report CS/96/9, 1996 | 34 | 1996 |
Permutative conversions in intuitionistic multiary sequent calculi with cuts JE Santo, L Pinto Typed Lambda Calculi and Applications: 6th International Conference, TLCA …, 2003 | 33 | 2003 |
After genomics, what proteomics tools could help us understand the antimicrobial resistance of Escherichia coli? H Radhouani, L Pinto, P Poeta, G Igrejas Journal of proteomics 75 (10), 2773-2789, 2012 | 32 | 2012 |
Genomic and proteomic evaluation of antibiotic resistance in Salmonella strains L Pinto, P Poeta, S Vieira, C Caleja, H Radhouani, C Carvalho, ... Journal of proteomics 73 (8), 1535-1541, 2010 | 30 | 2010 |
Proof search in constructive logics R Dyckhoff, LF Pinto LONDON MATHEMATICAL SOCIETY LECTURE NOTE SERIES, 53-66, 1999 | 28 | 1999 |