José–Luis Ruiz–Reina

Author

Also Known As

J. -l. Ruiz-reina, J. L. Ruiz-Reina, J. L. Ruiz–reina, JOSÉ LUIS RUIZ-REINA, Jose-Luis Ruiz-Reina, José -Luis Ruiz-Reina, José L. Ruiz-Reina, José L. Ruiz-reina, José Luis Ruiz-Reina, José Luis Ruiz-reina

Publications

196

Citations

H-Index

Concepts

All Affiliations

Universidad de Sevilla

About

José–Luis Ruiz–Reina is an author at Universidad de Sevilla specializing in engineering, formal verification, and algorithm design.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	1	1	11
2	Computer Science	1	1	11
3	Algorithm Design	1	1	11
4	Automated Reasoning	1	1	11
5	Formal Methods	1	1	11

José–Luis Ruiz–Reina

Publications

Citations

H-Index

Page 1

	Year	Citations

Page 1