Concepedia

Albert Rubio

AR

18

Publications

646

Citations

15

H-Index

1995

Active since

Affiliations

Universitat Politècnica de Catalunya(Current)

Universidad Complutense de Madrid

Université Paris Cité

Laboratoire de Recherche en Informatique

Centre National de la Recherche Scientifique

Albert Rubio is an author at Universitat Politècnica de Catalunya specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisComputational ComplexitySoftware AnalysisComputer EngineeringVerification

Publications per year

1995–2022

18

Publications

18

Theorem Proving with Ordering and Equality Constrained Clauses

Robert Nieuwenhuis, Albert Rubio · Journal of Symbolic Computation · 1995 · 111 citations

Order Theory, Engineering, Automated Reasoning +3

The higher-order recursive path ordering

Jean-Pierre Jouannaud, Albert Rubio · 2003 · 85 citations

Engineering, Type Theory, Computational Complexity +16

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

Polymorphic higher-order recursive path orderings

Jean-Pierre Jouannaud, Albert Rubio · Journal of the ACM · 2007 · 50 citations · Full text

Engineering, Type Theory, Higher-order Logic +16

SAT Modulo Linear Arithmetic for Solving Polynomial Constraints

Cristina Borralleras, Salvador Lucas, Albert Oliveras et al. · Journal of Automated Reasoning · 2010 · 45 citations · Full text

Constraint Solving, Engineering, Sat Solving +4

Rows per page

1–5 of 18