Salvador Lucas

Cited by

	All	Since 2016
Citations	2660	504
h-index	29	13
i10-index	66	16

280

140

210

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202116 3 28 12 42 100 126 108 90 84 219 164 217 261 157 113 55 125 147 77 107 125 68 126 1

Co-authors

Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Raúl GutiérrezUniversitat Politècnica de ValènciaVerified email at dsic.upv.es
Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaVerified email at upv.es
Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)Verified email at vrain.upv.es
Francisco DuránUniversidad de MálagaVerified email at lcc.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 lsi.upc.edu
Cristina BorrallerasUniversity of VicVerified email at uvic.cat
Moreno FalaschiProfessor of Computer ScienceVerified email at unisi.it
Carsten FuhsLecturer, 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 VidalProfessor of Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
RICARDO PEÑA MARIProfesor de Informática, Universidad Complutense de MadridVerified email at sip.ucm.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
Albert OliverasTechnical University of CataloniaVerified email at lsi.upc.edu
Aart MiddeldorpUniversity of InnsbruckVerified email at uibk.ac.at

Salvador Lucas

VRAIN Valencian Institute for Artificial Intelligence, 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	189	1998
Context-sensitive rewriting strategies S Lucas Information and Computation 178 (1), 294-343, 2002	128	2002
Operational termination of conditional term rewriting systems S Lucas, C Marché, J Meseguer Information Processing Letters 95 (4), 446-453, 2005	98	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-2), 59-88, 2008	96	2008
Polynomials over the reals in proofs of termination: from theory to practice S Lucas RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2005	90	2005
mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting S Lucas International Conference on Rewriting Techniques and Applications, 200-209, 2004	70	2004
Termination of on-demand rewriting and termination of OBJ programs S Lucas Proceedings of the 3rd ACM SIGPLAN international conference on Principles …, 2001	67	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	61	2004
MTT: The Maude termination tool (system description) F Durán, S Lucas, J Meseguer International Joint Conference on Automated Reasoning, 313-319, 2008	60	2008
Termination of rewriting with strategy annotations S Lucas International Conference on Logic for Programming Artificial Intelligence …, 2001	59	2001
The Maude formal tool environment M Clavel, F Durán, J Hendrix, S Lucas, J Meseguer, P Ölveczky International Conference on Algebra and Coalgebra in Computer Science, 173-178, 2007	57	2007
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	55	2012
Termination of context-sensitive rewriting by rewriting S Lucas International Colloquium on Automata, Languages, and Programming, 122-133, 1996	53	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	51	2009
Termination modulo combinations of equational theories F Durán, S Lucas, J Meseguer International Symposium on Frontiers of Combining Systems, 246-262, 2009	48	2009
Context-sensitive dependency pairs B Alarcón, R Gutiérrez, S Lucas International Conference on Foundations of Software Technology and …, 2006	44	2006
Strongly sequential and inductively sequential term rewriting systems M Hanus, S Lucas, A Middeldorp Information Processing Letters 67 (1), 1-8, 1998	44	1998
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	41	2010
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	41	2002
Proving termination of context-sensitive rewriting with MU-TERM B Alarcón, R Gutiérrez, J Iborra, S Lucas Electronic Notes in Theoretical Computer Science 188, 105-115, 2007	38	2007

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

Upload PDF

Follow this author

Cited by

Co-authors