4
Publications
160
Citations
4
H-Index
1996
Active since
Alvaro Germán Puebla Sánchez is an author specializing in automated reasoning, program analysis, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisLogic ProgrammingAutomated ReasoningVerificationSoftware AnalysisFormal VerificationSoftware Engineering
Publications per year
1996–2002
4
4
Francisco Bueno Carrillo, Daniel Gras, Manuel Carro Liñares et al. · 2002 · 62 citations
Engineering, Well-founded Semantics, Software Engineering +19
On the role of semantic approximations in validation and diagnosis of constraint logic programs
Francisco Bueno Carrillo, Pierre Deransart, Wlodek Drabent et al. · International Colloquium on Automata, Languages and Programming · 1997 · 60 citations
Constraint Solving, Engineering, Constraint Satisfaction +12
Rows per page
1–4 of 4