Tomás Barros
Publications by Year
Research Areas
Advanced Software Engineering Methodologies, Logic, programming, and type systems, Service-Oriented Architecture and Web Services, Formal Methods in Verification, Obstructive Sleep Apnea Research
Most-Cited Works
- → CPAP in patients with obstructive sleep apnea and type 2 diabetes mellitus: Systematic review and meta‐analysis(2018)103 cited
- → Efficacy of continuous positive airway pressure (CPAP) preventing type 2 diabetes mellitus in patients with obstructive sleep apnea hypopnea syndrome (OSAHS) and insulin resistance: a systematic review and meta-analysis(2019)85 cited
- → Behavioural models for distributed Fractal components(2009)61 cited
- → Behavioural Models for Hierarchical Components(2005)39 cited
- → Parameterized Models for Distributed Java Objects(2004)24 cited
- → Model-checking Distributed Components: The Vercors Platform(2007)23 cited
- → Verification of Distributed Hierarchical Components(2006)23 cited
- → The Chilean Internet: Did it survive the earthquake?(2012)9 cited
- → Specifying Fractal and GCM Components with UML(2007)8 cited