Skip to content

Salvador Lucas

  • PHD
  • Full Professor
  • Polytechnic University of Valencia
  • 18h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 981CitationsNumber of citations received by Salvador's publications. Updated daily.

Research interests

Constraint solvingComputational logicProgram TerminationProgramming languages and Programming Paradigms

Co-authors (61)

Publications (5)

  • Using representation theorems for proving polynomials non-negative

    • Lucas S
    N/AReaders
    0Citations
  • Termination of just/fair computations in term rewriting

    • Lucas S
    • Meseguer J
    N/AReaders
    4Citations
    Get full text
  • Usable rules for context-sensitive rewrite systems

    • Gutiérrez R
    • Lucas S
    • Urbain X
    N/AReaders
    4Citations
    Get full text
  • Correct and complete (positive) strategy annotations for OBJ

    • Alpuente M
    • Escobar S
    • Lucas S
    N/AReaders
    11Citations
    Get full text
  • Proving termination of membership equational programs

    • Durán F
    • Lucas S
    • Meseguer J
    • et al.
    N/AReaders
    39Citations

Editorships

Journal of Computer and System Sciences

Member of the Editorial Board

2014 - Present

ERCIM News

Member of the Editorial Board

2003 - 2008(5 years)

Journal of Symbolic Computation

Co-editor of an special issue

2005

Professional experience

Full Professor

Universitat Politecnica de Valencia

November 2007 - Present

Education

PhD in Computer Science

Universitat Politecnica de Valencia

September 1994 - October 1998(4 years)

Licenciado en Informática

Universitat Politecnica de Valencia

October 1987 - June 1994(7 years)