Francisco Durán

Cited by

	All	Since 2016
Citations	5977	1437
h-index	31	16
i10-index	74	27

420

210

105

315

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202196 70 199 166 250 278 216 350 312 354 403 371 344 268 399 308 252 269 337 292 277 6

Co-authors

Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Narciso Martí-OlietFull professor, Facultad de Informática, Universidad Complutense de MadridVerified email at ucm.es
patrick lincolnSRIVerified email at sri.com
Manuel ClavelSenior Lecturer, Vietnamese-German UniversityVerified email at vgu.edu.vn
Antonio VallecilloUniversidad de MalagaVerified email at lcc.uma.es
Salvador LucasVRAIN Valencian Institute for Artificial Intelligence, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
Ernesto PimentelFull Professor of Computer Science, University of MalagaVerified email at uma.es
Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaVerified email at upv.es
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaVerified email at inria.fr
Manuel RoldánProfesor de la Universidad de MálagaVerified email at lcc.uma.es
Steffen ZschalerSenior Lecturer, Department of Informatics, King's College LondonVerified email at acm.org
Jose CarrascoUniversidad de MalagaVerified email at lcc.uma.es
Camilo RochaAssociate Professor, Pontificia Universidad Javeriana Cali, ORCID: 0000-0003-4356-7704Verified email at javerianacali.edu.co
Javier TroyaUniversidad de SevillaVerified email at us.es
Antonio Moreno-DelgadoUniversity of MálagaVerified email at lcc.uma.es
Alberto VerdejoAssociate Professor, Facultad de Informatica, Universidad Complutense de MadridVerified email at ucm.es
José Raúl RomeroUniversity of CórdobaVerified email at uco.es
Peter Csaba OlveczkyProfessor of Computer Science, University of OsloVerified email at ifi.uio.no
Javier CuboUniversidad Internacional de la RiojaVerified email at unir.net
Claude MarchéSenior Research Scientist, InriaVerified email at inria.fr

Francisco Durán

Universidad de Málaga

Verified email at lcc.uma.es

Rewriting Formal Verification Component-Based Software Cloud Computing Model-Driven Engineering


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
All About Maude, A High-Performance Logical Framework M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott Lecture Notes in Computer Science 4350, 2007	1457*	2007
Maude: Specification and programming in rewriting logic M Clavel, F Durán, S Eker, P Lincoln, N Marti-Oliet, J Meseguer, ... Theoretical Computer Science 285 (2), 187-243, 2002	1035	2002
Maude 2.0 Manual M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott Available in http://maude. cs. uiuc. edu, 2003	397*	2003
The Maude 2.0 System M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott International Conference on Rewriting Techniques and Applications (RTA), 76-87, 2003	388	2003
Building equational proving tools by reflection in rewriting logic M Clavel, F Durán, S Eker, J Meseguer CAFE: An Industrial-Strength Algebraic Formal Method, 1-31, 2000	108	2000
Maude as a formal meta-tool M Clavel, F Durán, S Eker, J Meseguer, MO Stehr Formal Methods (FM'99), 1684-1703, 1999	108	1999
The Maude system M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, ... 10th International Conference on Rewriting Techniques and Applications (RTA …, 1999	105	1999
A reflective module algebra with applications to the Maude language F Durán PhDThesis, University of Mlaga, 1999	103	1999
Formal and Tool Support for Model Driven Engineering with Maude JR Romero, JE Rivera, F Durán, A Vallecillo Journal of Object Technology 6 (9), 187-207, 2007	102	2007
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
Formal specification and analysis of domain specific models using Maude JE Rivera, F Durán, A Vallecillo Simulation 85 (11-12), 778-792, 2009	84	2009
A graphical approach for modeling time-dependent behavior of DSLs JE Rivera, F Duran, A Vallecillo 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2009	72	2009
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories F Durán, J Meseguer The Journal of Logic and Algebraic Programming 81 (7-8), 816-850, 2012	66	2012
Programación orientada a objetos con Java F Durán, F Gutiérrez, E Pimentel Editorial Paraninfo, 2007	66	2007
A Church-Rosser checker tool for conditional order-sorted equational Maude specifications F Durán, J Meseguer International Workshop on Rewriting Logic and its Applications, 69-85, 2010	64	2010
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	60	2004
MTT: The Maude termination tool (system description) F Durán, S Lucas, J Meseguer International Joint Conference on Automated Reasoning, 313-319, 2008	58	2008
Principles of Mobile Maude F Durán, S Eker, P Lincoln, J Meseguer Agent Systems, Mobile Agents, and Applications, 73-85, 2000	58	2000
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	56	2007
A maude tutorial M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ... Computer Science Laboratory, SRI International, 2000	55	2000

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