Concepedia

Salvador Lucas

SL

Statistics

Publications

29

Citations

893

H-Index

18

Active since

1998

Affiliations

Universitat Politècnica de València(Current)

University of Illinois Urbana-Champaign

Universidad de Málaga

Université Paris-Sud

Institut national de recherche en sciences et technologies du numérique

Salvador Lucas is an author at Universitat Politècnica de València specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisVerificationFormal SpecificationSyntax

Publications per year

1998–2021

29

Publications

29

Context-sensitive Computations in Functional and Functional Logic Programs.

Salvador Lucas · 1998 · 128 citations

Engineering, Automated Reasoning, Program Analysis +5

Operational termination of conditional term rewriting systems

Salvador Lucas, Claude Marché, José Meseguer · Information Processing Letters · 2005 · 75 citations

Engineering, Automated Reasoning, Regulated Rewriting +7

Proving operational termination of membership equational programs

Francisco Durán, Salvador Lucas, Claude Marché et al. · LISP and Symbolic Computation · 2008 · 69 citations · Full text

Polynomials over the reals in proofs of termination : from theory to practice

Salvador Lucas · RAIRO - Theoretical Informatics and Applications · 2005 · 53 citations · Full text

Mathematical Programming, Engineering, Formal Verification +17

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

1–5 of 29