Francisco Durán

Cited by

	All	Since 2016
Citations	6142	1507
h-index	32	16
i10-index	78	29

420

210

105

315

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202115 92 76 195 170 251 280 223 410 309 356 408 361 353 269 396 307 255 281 330 295 273 69

New!

Public access

View all

18 articles

3 articles

available

not available

Based on funding mandates

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
Ernesto PimentelFull Professor of Computer Science, University of MalagaVerified email at uma.es
Salvador LucasVRAIN Valencian Institute for Artificial Intelligence, Universitat 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
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 MálagaVerified email at uma.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	1478*	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	1049	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	399*	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	393	2003
Maude as a formal meta-tool M Clavel, F Durán, S Eker, J Meseguer, MO Stehr Formal Methods (FM'99), 1684-1703, 1999	112	1999
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	110	2000
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	106	2007
A reflective module algebra with applications to the Maude language F Durán PhDThesis, University of Mlaga, 1999	105	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	104	1999
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	97	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	88	2009
Programación orientada a objetos con Java DMF JAVIER, F GUTIERREZ LOPEZ, E PIMENTEL SANCHEZ Editorial Paraninfo, 2007	76	2007
A graphical approach for modeling time-dependent behavior of DSLs JE Rivera, F Durán, A Vallecillo 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2009	75	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	68	2012
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	65	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	62	2004
MTT: The Maude termination tool (system description) F Durán, S Lucas, J Meseguer International Joint Conference on Automated Reasoning, 313-319, 2008	61	2008
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	58	2007
Principles of Mobile Maude F Durán, S Eker, P Lincoln, J Meseguer Agent Systems, Mobile Agents, and Applications, 73-85, 2000	58	2000
A maude tutorial M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ... Computer Science Laboratory, SRI International, 2000	56	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