Albert Rubio
Universidad Complutense de Madrid(ES)Kean University(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Security and Verification in Computing, Blockchain Technology Applications and Security
Most-Cited Works
- → Paramodulation-Based Theorem Proving(2001)357 cited
- → Theorem Proving with Ordering and Equality Constrained Clauses(1995)111 cited
- → The higher-order recursive path ordering(2003)85 cited
- → The Barcelogic SMT Solver(2008)80 cited
- → Circom: A Circuit Description Language for Building Zero-Knowledge Applications(2022)70 cited
- → Basic superposition is complete(1992)61 cited
- → Theorem proving with ordering constrained clauses(1992)59 cited