Salvador Lucas

Cited by

	All	Since 2019
Citations	2965	527
h-index	30	13
i10-index	74	22

260

130

195

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202421 3 34 11 42 109 129 104 101 69 211 183 214 247 158 123 56 130 142 72 103 119 71 121 97 100 48 87

Public access

View all

25 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Raúl GutiérrezUniversidad Politécnica de MadridVerified email at upm.es
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)Verified email at vrain.upv.es
Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaVerified email at upv.es
Francisco DuránUniversity of MálagaVerified email at uma.es
Xavier UrbainFull Professor of Computer Science, University Claude Bernard Lyon 1Verified email at liris.cnrs.fr
Michael HanusProfessor of Computer Science, Institute of Informatics, CAU KielVerified email at informatik.uni-kiel.de
Claude MarchéSenior Research Scientist, InriaVerified email at inria.fr
Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)Verified email at ucm.es
Cristina BorrallerasUniversity of VicVerified email at uvic.cat
Moreno FalaschiProfessor of Computer ScienceVerified email at unisi.it
Carsten FuhsSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
Peter Schneider-KampProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
German VidalProf. Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
Peter Csaba OlveczkyProfessor of Computer Science, University of OsloVerified email at ifi.uio.no
Manuel ClavelSenior Lecturer, Vietnamese-German UniversityVerified email at vgu.edu.vn
RICARDO PEÑA MARIProfesor de Informática, Universidad Complutense de MadridVerified email at sip.ucm.es
Albert OliverasTechnical University of CataloniaVerified email at lsi.upc.edu
Aart MiddeldorpUniversity of InnsbruckVerified email at uibk.ac.at

Salvador Lucas

DSIC & VRAIN, Universitat Politècnica de València

Verified email at dsic.upv.es - Homepage

Artificial Intelligence Formal Methods Logic Termination Theorem Proving


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Context-sensitive computations in functional and functional logic programs S Lucas Journal of Functional and Logic Programming 1 (1998), 1-61, 1998	191	1998
Context-sensitive rewriting strategies S Lucas Information and Computation 178 (1), 294-343, 2002	129	2002
Operational termination of conditional term rewriting systems S Lucas, C Marché, J Meseguer Information Processing Letters 95 (4), 446-453, 2005	111	2005
Proving operational termination of membership equational programs F Durán, S Lucas, C Marché, J Meseguer, X Urbain Higher-Order and Symbolic Computation 21 (1), 59-88, 2008	100	2008
Polynomials over the reals in proofs of termination: from theory to practice S Lucas RAIRO-Theoretical Informatics and Applications 39 (3), 547-586, 2005	92	2005
mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting S Lucas International Conference on Rewriting Techniques and Applications, 200-209, 2004	73	2004
MTT: The Maude termination tool (system description) F Durán, S Lucas, J Meseguer International Joint Conference on Automated Reasoning, 313-319, 2008	71	2008
The Maude formal tool environment M Clavel, F Durán, J Hendrix, S Lucas, J Meseguer, P Ölveczky Algebra and Coalgebra in Computer Science: Second International Conference …, 2007	70	2007
Termination of on-demand rewriting and termination of OBJ programs S Lucas Proceedings of the 3rd ACM SIGPLAN international conference on Principles …, 2001	68	2001
Proving termination of membership equational programs F Durán, S Lucas, J Meseguer, C Marché, X Urbain Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004	65	2004
SAT modulo linear arithmetic for solving polynomial constraints C Borralleras, S Lucas, A Oliveras, E Rodríguez-Carbonell, A Rubio Journal of Automated Reasoning 48 (1), 107-131, 2012	64	2012
Termination of rewriting with strategy annotations S Lucas International Conference on Logic for Programming Artificial Intelligence …, 2001	63	2001
Context-sensitive dependency pairs B Alarcón, R Gutiérrez, S Lucas Information and Computation 208 (8), 922-968, 2010	59	2010
Termination modulo combinations of equational theories F Durán, S Lucas, J Meseguer Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009 …, 2009	56	2009
Termination of context-sensitive rewriting by rewriting S Lucas Automata, Languages and Programming: 23rd International Colloquium, ICALP'96 …, 1996	56	1996
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic C Borralleras, S Lucas, R Navarro-Marset, E Rodríguez-Carbonell, ... International Conference on Automated Deduction, 294-305, 2009	52	2009
Proving Termination Properties with mu-term B Alarcón, R Gutiérrez, S Lucas, R Navarro-Marset International Conference on Algebraic Methodology and Software Technology …, 2010	45	2010
Strongly sequential and inductively sequential term rewriting systems M Hanus, S Lucas, A Middeldorp Information Processing Letters 67 (1), 1-8, 1998	45	1998
Normal forms and normal theories in conditional rewriting S Lucas, J Meseguer Journal of Logical and Algebraic Methods in Programming 85 (1), 67-97, 2016	43	2016
Abstract diagnosis of functional programs M Alpuente, M Comini, S Escobar, M Falaschi, S Lucas International Workshop on Logic-Based Program Synthesis and Transformation, 1-16, 2002	42	2002

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors