Miguel Isabel - Concepedia

Author

Miguel Isabel

Also Known As

Isabel, Miguel, Miguel Isabel, Miguel M. Isabel, Miguel María Isabel, Santelli, A.

Publications

223

Citations

H-Index

Concepts

All Affiliations

Miguel Isabel is an author at Universidad Complutense de Madrid specializing in computer science, formal methods, and formal verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	117
2	Computer Science	3	3	117
3	Computer Engineering	2	2	90
4	Systems Engineering	2	2	49
5	Data Security	1	1	68

Miguel Isabel

Publications

138

Citations

H-Index

Page 1

	Year	Citations
Circom: A Circuit Description Language for Building Zero-Knowledge Applications Marta Bellés-Muñoz, Miguel Isabel, José L. Muñoz, IEEE Transactions on Dependable and Secure Computing EngineeringVerificationComputational ComplexityCryptographic ProtocolFormal Verification	2022	68
Testing of Concurrent Programs Miguel Isabel DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) EngineeringVerificationSyco ToolConcurrent SystemSoftware Analysis	2016	27
SYCO: a systematic testing tool for concurrent objects Elvira Albert, Miguel Gómez‐Zamalloa, Miguel Isabel EngineeringVerificationPotential Deadlock PathsSoftware EngineeringConcurrent System	2016	22
Exploring the Frequency Domain of Continuous Glucose Monitoring Signals to Improve Characterization of Glucose Variability and of Diabetic Profiles Giuseppe Fico, Liss Hernández, Jorge Cancela, Journal of Diabetes Science and Technology	2017	21

Page 1