Mário Florido - Concepedia

Author

Mário Florido

Also Known As

Florido, M., Florido, Mario, Florido, Mário, Flórido, M, M FLÓRIDO, M Flórido, M. FLORIDO, M. Florido, M. Flórido, Mario Florido

Publications

669

Citations

H-Index

Concepts

All Affiliations

Universidade do Porto Polytechnic Institute of Porto University of St Andrews

About

Mário Florido is an author at Universidade do Porto specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	101
2	Medicine	3	3	183
3	Allergy	2	2	149
4	Language Studies	1	1	22
5	Biochemistry	1	1	128

Mário Florido

Publications

397

Citations

H-Index

Page 1

	Year	Citations
Improved clearance of Mycobacterium avium upon disruption of the inducible nitric oxide synthase gene. Maria Salomé Gomes, Mário Florido, Teresa F. Pais, PubMed BacteriologyImmunologySynthase GeneInos-/- MacrophagesInnate Immunity	1999	128
Characterization of the virulence of <i>Mycobacterium avium</i> complex (MAC) isolates in mice Jorge Pedrosa, Mário Florido, Z. M. Kunze, Clinical & Experimental Immunology	1994	79
Evidence for a reduced chemokine response in the lungs of beige mice infected with <i>Mycobacterium avium</i> Mário Florido, Rui Appelberg, Ian M. Orme, Immunology Inflammatory Lung DiseaseLung InflammationImmunologyImmunologic MechanismImmunotherapy	1997	34
Automatic amortised analysis of dynamic memory allocation for lazy functional programs Hugo Simões, Pedro Vasconcelos, Mário Florido, Mathematical ProgrammingEngineeringComputer ArchitectureComputational ComplexityCost Model	2012	32
XCentric Jorge Coelho, Mário Florido Xml LibraryXml TransformationXml DatabaseEngineeringAutomated Reasoning	2007	22
Gödel’s system <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi mathvariant="script">T</mml:mi></mml:math> revisited Sandra Alves, Maribel Fernández, Mário Florido, Theoretical Computer Science Math XmlnsComputer AlgebraMathematical FoundationsMathematical Model	2009	22
The cytolytic activity of natural killer cells is not involved in the restriction of Mycobacterium avium growth Mário Florido International Immunology Mycobacterium Avium GrowthImmunologyBacteriologyB6.scid MiceImmunologic Mechanism	2003	21
Type-Based Cost Analysis for Lazy Functional Languages Steffen Jost, Pedro Vasconcelos, Mário Florido, Journal of Automated Reasoning EngineeringAutomated ReasoningProgram AnalysisDependently Typed ProgrammingFormal Methods	2017	21
Type-Based Static and Dynamic Website Verification Jorge Coelho, Mário Florido EngineeringWeb SitesVerificationComputer-aided VerificationOntology Versioning	2007	15
Influence of HLA class I, HLA class II and KIRs on vertical transmission and chronicity of hepatitis C virus in children A. Ruiz‐Extremera, Esther José Pavón-Castillero, Mário Florido, PLoS ONE	2017	12

Page 1