22
Publications
879
Citations
16
H-Index
2003
Active since
Loreto Bravo is an author at University of Edinburgh specializing in engineering, formal methods, and data science.
Top concepts
EngineeringData ScienceFormal MethodsComputer ScienceFormal VerificationData ManagementData IntegrationManagementSemantic WebVerification
Publications per year
2003–2024
22
22
Extending dependencies with conditions
Loreto Bravo, Wenfei Fan, Shuai Ma · Edinburgh Research Explorer (University of Edinburgh) · 2007 · 108 citations · Full text
Logic programs for consistently querying data integration systems
Loreto Bravo, Leopoldo Bertossi · 2003 · 107 citations
Modeling consistency of spatio-temporal graphs
Géraldine Del Mondo, M. Andrea Rodríguez, Christophe Claramunt et al. · Data & Knowledge Engineering · 2013 · 75 citations
Rows per page
1–5 of 22