8
Publications
560
Citations
8
H-Index
2012
Active since
Santiago Videla is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, automated reasoning, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningData ScienceSystems BiologyNetwork AnalysisLogic ProgrammingComputational BiologyAnswer Set Programming
Publications per year
2012–2019
8
8
Rows per page
1–5 of 8