Francisco Bueno Carrillo

Author

Also Known As

Bueno Carrillo, Francisco, Francisco Bueno Carrillo

Publications

243

Citations

H-Index

Concepts

Francisco Bueno Carrillo is an author specializing in formal methods, program analysis, and automated reasoning.

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	168
2	Computer Science	5	5	168
3	Systems Engineering	2	2	25
4	Computer Engineering	1	1	13
5	Linguistics	1	1	62

Francisco Bueno Carrillo

Publications

168

Citations

H-Index

Page 1

	Year	Citations
The ciao prolog system Francisco Bueno Carrillo, Daniel Gras, Manuel Carro Liñares, EngineeringWell-founded SemanticsSoftware EngineeringSoftware AnalysisLogic Programming	2002	62
On the role of semantic approximations in validation and diagnosis of constraint logic programs Francisco Bueno Carrillo, Pierre Deransart, Wlodek Drabent, International Colloquium on Automata, Languages and Programming Constraint SolvingEngineeringConstraint SatisfactionProgram AnalysisAutomated Reasoning	1997	60
An assertion language for debugging of constraint logic programs Alvaro Germán Puebla Sánchez, Francisco Bueno Carrillo, Manuel V. Hermenegildo Program CheckingEngineeringProgram AnalysisAutomated ReasoningSoftware Testing	1997	21
A comparative study of methods for automatic compile-time parallelization of logic programs Francisco Bueno Carrillo, María García de la Banda, Manuel V. Hermenegildo EngineeringCompiler TechnologyComputer ArchitectureLogic ProgramsSoftware Engineering	1994	13
A Framework for Verification and Debugging of Resource Usage Properties Francisco Bueno Carrillo International Conference on Logic Programming Software MaintenanceStatic DebuggingProgram CheckingEngineeringVerification	2010	12

Page 1