Francisco Durán

	2009
68		Francisco Durán, Salvador Lucas, José Meseguer: Termination Modulo Combinations of Equational Theories. FroCos 2009: 246-262
67		Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Unification and Narrowing in Maude 2.4. RTA 2009: 380-390
66		Francisco Durán, Manuel Roldán, Emilie Balland, Mark van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Schevchenko, Eelco Visser: The Second Rewrite Engines Competition. Electr. Notes Theor. Comput. Sci. 238(3): 281-291 (2009)
65		Francisco Durán, Peter Csaba Ölveczky: A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. Electr. Notes Theor. Comput. Sci. 238(3): 83-102 (2009)
64		Francisco Durán, Salvador Lucas, José Meseguer, Francisco Gutiérrez: Web Services and Interoperability for the Maude Termination Tool. Electr. Notes Theor. Comput. Sci. 248: 83-92 (2009)
63		Francisco Durán, Salvador Lucas, José Meseguer: Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. Electr. Notes Theor. Comput. Sci. 248: 93-113 (2009)
62		Francisco Durán, Meriem Ouederni, Gwen Salaün: Checking Protocol Compatibility using Maude. Electr. Notes Theor. Comput. Sci. 255: 65-81 (2009)
61		Manuel Roldán, Francisco Durán, Antonio Vallecillo: Invariant-driven specifications in Maude. Sci. Comput. Program. 74(10): 812-835 (2009)
	2008
60		Jordi Cabot, Francisco Durán, Nathalie Moreno, Antonio Vallecillo, José Raúl Romero: From programming to modeling: our experience with a distributed software engineering course. ICSE 2008: 749-758
59		Francisco Durán, Salvador Lucas, José Meseguer: MTT: The Maude Termination Tool (System Description). IJCAR 2008: 313-319
58		Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain: Proving operational termination of membership equational programs. Higher-Order and Symbolic Computation 21(1-2): 59-88 (2008)
	2007
57		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic Springer 2007
56		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Introduction. All About Maude 2007: 1-28
55		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: A Hierarchy of Data Types: From Trees to Sets. All About Maude 2007: 119-129
54		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: System Modules. All About Maude 2007: 131-157
53		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo: Playing with Maude. All About Maude 2007: 159-184
52		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Module Operations. All About Maude 2007: 185-230
51		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Predefined Data Modules. All About Maude 2007: 231-305
50		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo: Specifying Parameterized Data Structures in Maude. All About Maude 2007: 307-338
49		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Using Maude. All About Maude 2007: 31-37
48		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Object-Based Programming. All About Maude 2007: 339-372
47		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Model Checking Invariants Through Search. All About Maude 2007: 373-384
46		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: LTL Model Checking. All About Maude 2007: 385-418
45		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Syntax and Basic Parsing. All About Maude 2007: 39-59
44		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Reflection, Metalevel Computation, and Strategies. All About Maude 2007: 419-458
43		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Metaprogramming Applications. All About Maude 2007: 459-483
42		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo: Mobile Maude. All About Maude 2007: 485-522
41		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: User Interfaces and Metalanguage Applications. All About Maude 2007: 523-555
40		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Full Maude: Extending Core Maude. All About Maude 2007: 559-597
39		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Object-Oriented Modules. All About Maude 2007: 599-642
38		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Functional Modules. All About Maude 2007: 61-118
37		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: A Sampler of Application Areas. All About Maude 2007: 645-665
36		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo: Some Tools. All About Maude 2007: 667-693
35		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Debugging and Troubleshooting. All About Maude 2007: 697-736
34		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Complete List of Maude Commands. All About Maude 2007: 737-749
33		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Core Maude Grammar. All About Maude 2007: 751-756
32		Manuel Clavel, Francisco Durán, Joe Hendrix, Salvador Lucas, José Meseguer, Peter Csaba Ölveczky: The Maude Formal Tool Environment. CALCO 2007: 173-178
31		José Raúl Romero, Antonio Vallecillo, Francisco Durán: Writing and executing ODP computational viewpoint specifications using Maude. Computer Standards & Interfaces 29(4): 481-498 (2007)
30		Francisco Durán, Adrián Riesco, Alberto Verdejo: A Distributed Implementation of Mobile Maude. Electr. Notes Theor. Comput. Sci. 176(4): 113-131 (2007)
29		José Raúl Romero, José Eduardo Rivera, Francisco Durán, Antonio Vallecillo: Formal and Tool Support for Model Driven Engineering with Maude. Journal of Object Technology 6(9): 187-207 (2007)
28		Francisco Durán, José Meseguer: Maude's module algebra. Sci. Comput. Program. 66(2): 125-153 (2007)
	2005
27		Francisco Durán, Manuel Roldán, Antonio Vallecillo: Using Maude to write and execute ODP information viewpoint specifications. Computer Standards & Interfaces 27(6): 597-620 (2005)
26		Francisco Durán, Santiago Escobar, Salvador Lucas: New Evaluation Commands for Maude Within Full Maude. Electr. Notes Theor. Comput. Sci. 117: 263-284 (2005)
25		Francisco Durán, Santiago Escobar, Salvador Lucas: On-demand Evaluation for Maude. Electr. Notes Theor. Comput. Sci. 124(1): 25-39 (2005)
24		Francisco Durán: Maude's Internal Strategies. Electr. Notes Theor. Comput. Sci. 124(2): 11-15 (2005)
23		Francisco Durán, Manuel Roldán, Antonio Vallecillo: Invariant-Driven Strategies for Maude. Electr. Notes Theor. Comput. Sci. 124(2): 17-28 (2005)
	2004
22		Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain: Proving termination of membership equational programs. PEPM 2004: 147-158
	2003
21		Francisco Durán, Javier Herrador, Antonio Vallecillo: Using UML and Maude for Writing and Reasoning about ODP Policies. POLICY 2003: 15-25
20		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: The Maude 2.0 System. RTA 2003: 76-87
19		Francisco Durán, Antonio Vallecillo: Formalizing ODP enterprise specifications in Maude. Computer Standards & Interfaces 25(2): 83-102 (2003)
18		Francisco Durán, José Meseguer: Structured theories and institutions. Theor. Comput. Sci. 309(1-3): 357-380 (2003)
	2002
17		Francisco Durán, Alberto Verdejo: A Conference Reviewing System in Mobile Maude. Electr. Notes Theor. Comput. Sci. 71: (2002)
16		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2): 187-243 (2002)
	2001
15		Antonio Albarrán, Francisco Durán, Antonio Vallecillo: From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition. JISBD 2001: 419-434
14		Francisco Durán, Antonio Vallecillo: Writing ODP Enterprise Specifications in Maude. WOODPECKER 2001: 55-68
	2000
13		Francisco Durán: The Extensibility of Maude's Module Algebra. AMAST 2000: 422-437
12		Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer: Principles of Mobile Maude. ASA/MA 2000: 73-85
11		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Using Maude. FASE 2000: 371-374
10		Francisco Durán: The Reflective Design of Maude's Module Algebra. WFLP 2000: 128-134
9		Francisco Durán, José Meseguer: Parameterized Theories and Views in Full Maude 2.0. Electr. Notes Theor. Comput. Sci. 36: (2000)
8		Manuel Clavel, Francisco Durán, Narciso Martí-Oliet: Polytypic Programming in Maude. Electr. Notes Theor. Comput. Sci. 36: (2000)
7		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Towards Maude 2.0. Electr. Notes Theor. Comput. Sci. 36: (2000)
	1999
6		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: The Maude System. RTA 1999: 240-243
5		Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr: Maude as a Formal Meta-tool. World Congress on Formal Methods 1999: 1684-1703
4		Francisco Durán, José Meseguer: Structured Theories and Institutions. Electr. Notes Theor. Comput. Sci. 29: (1999)
	1998
3		Francisco Durán, José Meseguer: An extensible module algebra for Maude. Electr. Notes Theor. Comput. Sci. 15: (1998)
2		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Maude as a metalanguage. Electr. Notes Theor. Comput. Sci. 15: (1998)
1		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer: Metalevel computation in Maude. Electr. Notes Theor. Comput. Sci. 15: (1998)

Coauthor Index

1	Antonio Albarrán	[15]
2	Emilie Balland	[66]
3	Christiano Braga (Christiano de O. Braga)	[36]
4	Mark van den Brand (M. G. J. van den Brand)	[66]
5	Jordi Cabot	[60]
6	Manuel Clavel	[1] [2] [5] [6] [7] [8] [11] [16] [20] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [67]
7	Steven Eker	[1] [2] [5] [6] [7] [11] [12] [16] [20] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [66] [67]
8	Santiago Escobar	[25] [26] [67]
9	Azadeh Farzan	[36]
10	Francisco Gutiérrez	[64]
11	Joe Hendrix	[32] [36]
12	Javier Herrador	[21]
13	Karl Trygve Kalleberg	[66]
14	Lennart C. L. Kats	[66]
15	Patrick Lincoln	[1] [2] [6] [7] [11] [12] [16] [20] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [67]
16	Salvador Lucas	[22] [25] [26] [32] [58] [59] [63] [64] [68]
17	Claude Marché	[22] [58]
18	Narciso Martí-Oliet	[1] [2] [6] [7] [8] [11] [16] [20] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [67]
19	José Meseguer	[1] [2] [3] [4] [5] [6] [7] [9] [11] [12] [16] [18] [20] [22] [28] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [63] [64] [67] [68]
20	Pierre-Etienne Moreau	[66]
21	Nathalie Moreno	[60]
22	Peter Csaba Ölveczky	[32] [36] [65]
23	Meriem Ouederni	[62]
24	Miguel Palomino	[36] [50] [53]
25	Jose F. Quesada	[2] [6] [7] [11] [16]
26	Adrián Riesco	[30] [42]
27	José Eduardo Rivera	[29]
28	Manuel Roldán	[23] [27] [61] [66]
29	José Raúl Romero	[29] [31] [60]
30	Gwen Salaün	[62]
31	Ralf Sasse	[36]
32	Ruslan Schevchenko	[66]
33	Mark-Oliver Stehr	[5] [36]
34	Carolyn L. Talcott	[20] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [67]
35	Xavier Urbain	[22] [58]
36	Antonio Vallecillo	[14] [15] [19] [21] [23] [27] [29] [31] [60] [61]
37	Alberto Verdejo	[17] [30] [36] [42] [50] [53]
38	Eelco Visser	[66]

Colors in the list of coauthors