Concepedia

Miguel Isabel

MI

4

Publications

138

Citations

4

H-Index

2016

Active since

Affiliations

Universidad Complutense de Madrid(Current)

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

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware TestingSoftware AnalysisSystems EngineeringComputer Engineering

Publications per year

2016–2022

4

Publications

4

Circom: A Circuit Description Language for Building Zero-Knowledge Applications

Marta Bellés-Muñoz, Miguel Isabel, José L. Muñoz et al. · IEEE Transactions on Dependable and Secure Computing · 2022 · 68 citations · Full text

Engineering, Verification, Computational Complexity +18

Testing of Concurrent Programs

Miguel Isabel · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 27 citations · Full text

Engineering, Verification, Syco Tool +17

SYCO: a systematic testing tool for concurrent objects

Elvira Albert, Miguel Gómez‐Zamalloa, Miguel Isabel · 2016 · 22 citations

Engineering, Verification, Potential Deadlock Paths +19

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 et al. · Journal of Diabetes Science and Technology · 2017 · 21 citations · Full text

Rows per page

1–4 of 4