Francisco Durán - Concepedia

Author

Francisco Durán

Also Known As

Duran, Francisco, Durán, Francisco, F. Duran, F. Durán, Francisco Duran, Francisco Durán, Francisco Durán, Francisco Durán and José Meseguer

199

Publications

3.6K

Citations

H-Index

Concepts

All Affiliations

Universidad de Málaga SRI International University of Illinois Urbana-Champaign Universidad Complutense de Madrid Menlo School

About

Francisco Durán is an author at Universidad de Málaga specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	18	33	1.5K
2	Computer Engineering	5	5	116
3	Language Studies	4	4	79
4	Management	2	2	41
5	Business Analytics	1	1	25

Francisco Durán

Publications

1.8K

Citations

H-Index

Page 1

	Year	Citations
Maude: specification and programming in rewriting logic Manuel Clavel, Francisco Durán, Steven Eker, Theoretical Computer Science EngineeringAutomated ReasoningRegulated RewritingRewriting SystemFormal Methods	2002	737
Proving operational termination of membership equational programs Francisco Durán, Salvador Lucas, Claude Marché, LISP and Symbolic Computation	2008	69
Formal and Tool Support for Model Driven Engineering with Maude. José Raúl Romero, José E. Rivera, Francisco Durán, The Journal of Object Technology	2007	66
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories Francisco Durán, José Meseguer The Journal of Logic and Algebraic Programming Order TheoryEngineeringAutomated ReasoningClassical LogicFormal Methods	2012	62
Formal Specification and Analysis of Domain Specific Models Using Maude José E. Rivera, Francisco Durán, Antonio Vallecillo SIMULATION Model-driven Software DevelopmentEngineeringModeling NotationVerificationSoftware Engineering	2009	58
A graphical approach for modeling time-dependent behavior of DSLs José E. Rivera, Francisco Durán, Antonio Vallecillo EngineeringGraphical ApproachSoftware EngineeringDiscrete-event SimulationSoftware Analysis	2009	49
Proving termination of membership equational programs Francisco Durán, Salvador Lucas, Josß Meseguer, EngineeringSoftware EngineeringAutomated ProofSoftware AnalysisFormal Verification	2004	43
Stochastic analysis of BPMN with time in rewriting logic Francisco Durán, Camilo Rocha, Gwen Salaün Science of Computer Programming EngineeringStochastic SystemProcess ControlFormal MethodsStochastic Analysis	2018	38
Maude’s module algebra Francisco Durán, José Meseguer Science of Computer Programming Representation TheoryModern AlgebraCommutative Algebra	2007	35
Towards Maude 2.0 M. Clave, Francisco Durán, Steven Eker, Electronic Notes in Theoretical Computer Science Maude 2.0EngineeringSoftware SystemsComputer ArchitectureSoftware Engineering	2000	34

Page 1