Scholarly Index

Marı́a Luisa Bonet

Universitat Politècnica de Catalunya; 1,593 total citations; 54 total publications; best world rank #832

Universitat Politècnica de Catalunya

1,593Total citations
54Total publications
21H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Formal Methods in VerificationLifetime897ES 1393.00
Constraint Satisfaction and OptimizationLifetime919ES 3679.99
Logic, programming, and type systems2021-2025832ES 1837.53