Alberto Verdejo

2008
27	EE	Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero: A Declarative Debugger for Maude. AMAST 2008: 116-121
26	EE	Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo: Declarative Debugging of Membership Equational Logic Specifications. Concurrency, Graphs and Models 2008: 174-193
25	EE	Gustavo Santos-García, Miguel Palomino, Alberto Verdejo: Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. DCAI 2008: 424-433
2007
24	EE	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
23	EE	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
22	EE	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
21	EE	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
20	EE	Adrián Riesco, Alberto Verdejo: Distributed Applications Implemented in Maude with Parameterized Skeletons. FMOODS 2007: 91-106
19	EE	Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén: Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. Electr. Notes Theor. Comput. Sci. 174(10): 119-137 (2007)
18	EE	Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo: Deduction, Strategies, and Rewriting. Electr. Notes Theor. Comput. Sci. 174(11): 3-25 (2007)
17	EE	Christiano Braga, Alberto Verdejo: Modular Structural Operational Semantics with Strategies. Electr. Notes Theor. Comput. Sci. 175(1): 3-17 (2007)
16	EE	Francisco Durán, Adrián Riesco, Alberto Verdejo: A Distributed Implementation of Mobile Maude. Electr. Notes Theor. Comput. Sci. 176(4): 113-131 (2007)
15	EE	Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo: Strategies and simulations in a semantic framework. J. Algorithms 62(3-4): 95-116 (2007)
2006
14	EE	Fernando Rosa Velardo, Clara Segura, Alberto Verdejo: Typed Mobile Ambients in Maude. Electr. Notes Theor. Comput. Sci. 147(1): 135-161 (2006)
13	EE	Alberto Verdejo, Narciso Martí-Oliet: Executable structural operational semantics in Maude. J. Log. Algebr. Program. 67(1-2): 226-293 (2006)
2005
12	EE	Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley: Transforming Information in RDF to Rewriting Logic. FMOODS 2005: 227-242
11	EE	Narciso Martí-Oliet, José Meseguer, Alberto Verdejo: Towards a Strategy Language for Maude. Electr. Notes Theor. Comput. Sci. 117: 417-441 (2005)
10	EE	Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo: Playing with Maude. Electr. Notes Theor. Comput. Sci. 124(1): 3-23 (2005)
9	EE	Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo: A Tutorial on Specifying Data Structures in Maude. Electr. Notes Theor. Comput. Sci. 137(1): 105-132 (2005)
8	EE	Alberto Verdejo, Narciso Martí-Oliet: Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. Formal Methods in System Design 27(1-2): 113-172 (2005)
2003
7	EE	Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet: Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. Formal Asp. Comput. 14(3): 228-246 (2003)
2002
6	EE	Alberto Verdejo: Building Tools for LOTOS Symbolic Semantics in Maude. FORTE 2002: 292-307
5	EE	Francisco Durán, Alberto Verdejo: A Conference Reviewing System in Mobile Maude. Electr. Notes Theor. Comput. Sci. 71: (2002)
4	EE	Alberto Verdejo, Narciso Martí-Oliet: Implementing CCS in Maude 2. Electr. Notes Theor. Comput. Sci. 71: (2002)
2001
3	EE	Carron Shankland, Alberto Verdejo: A case study in abstraction using E-LOTOS and the FireWire. Computer Networks 37(3/4): 481-502 (2001)
2000
2		Alberto Verdejo, Narciso Martí-Oliet: Implementing CCS in Maude. FORTE 2000: 351-366
1	EE	Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet: The Leader Election Protocol of IEEE 1394 in Maude. Electr. Notes Theor. Comput. Sci. 36: (2000)

Coauthor Index

1	Margarita Bradley	[12]
2	Christiano Braga (Christiano de O. Braga)	[17] [21]
3	Rafael Caballero	[26] [27]
4	Manuel Clavel	[21] [22] [23] [24]
5	Francisco Durán	[5] [16] [21] [22] [23] [24]
6	Steven Eker	[18] [21] [22] [23] [24]
7	Azadeh Farzan	[21]
8	Joe Hendrix	[21]
9	Mercedes Hidalgo-Herrero	[19]
10	Patrick Lincoln	[21] [22] [23] [24]
11	Luis Llana	[12]
12	Narciso Martí-Oliet	[1] [2] [4] [7] [8] [9] [10] [11] [12] [13] [15] [18] [21] [22] [23] [24] [26] [27]
13	José Meseguer	[11] [18] [21] [22] [23] [24]
14	Peter Csaba Ölveczky	[21]
15	Yolanda Ortega-Mallén	[19]
16	Miguel Palomino	[9] [10] [15] [21] [23] [24] [25]
17	Isabel Pita	[1] [7]
18	Adrián Riesco	[16] [20] [22] [26] [27]
19	Tomás Robles	[12]
20	Joaquín Salvachúa	[12]
21	Gustavo Santos-García	[25]
22	Ralf Sasse	[21]
23	Clara Segura	[14]
24	Carron Shankland	[3]
25	Mark-Oliver Stehr	[21]
26	Carolyn L. Talcott	[21] [22] [23] [24]
27	Fernando Rosa Velardo	[14]

Colors in the list of coauthors