|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 28 occurrences of 18 keywords
|
|
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alberto Verdejo, Narciso Martí-Oliet |
Basic completion strategies as another application of the Maude strategy language  |
WRS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet |
A Complete Declarative Debugger for Maude. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet |
Declarative Debugging of Missing Answers for Maude. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet |
Enhancing the Debugging of Maude Specifications. |
WRLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Narciso Martí-Oliet, José Meseguer, Alberto Verdejo |
A Rewriting Semantics for Maude Strategies. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco, Alberto Verdejo |
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo |
A Declarative Debugger for Maude Functional Modules. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero |
A Declarative Debugger for Maude. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet |
Declarative Debugging of Rewriting Logic Specifications. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo |
Declarative Debugging of Membership Equational Logic Specifications. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
Maude, functional modules, membership equational logic, declarative debugging |
| 1 | Gustavo Santos-García, Miguel Palomino, Alberto Verdejo |
Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude. |
DCAI |
2008 |
DBLP DOI BibTeX RDF |
Neural networks, strategies, rewriting logic, Maude, executability |
| 1 | Steven Eker, Narciso Martí-Oliet, José Meseguer, Alberto Verdejo |
Deduction, Strategies, and Rewriting. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Adrián Riesco, Alberto Verdejo |
A Distributed Implementation of Mobile Maude. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christiano Braga, Alberto Verdejo |
Modular Structural Operational Semantics with Strategies. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo |
Strategies and simulations in a semantic framework. |
J. Algorithms |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco, Alberto Verdejo |
Distributed Applications Implemented in Maude with Parameterized Skeletons. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
distributed applications, parameterization, Maude, Algorithmic skeletons |
| 1 | Alberto Verdejo, Narciso Martí-Oliet |
Executable structural operational semantics in Maude. |
J. Log. Algebr. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo |
Typed Mobile Ambients in Maude. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Palomino, Narciso Martí-Oliet, Alberto Verdejo |
Playing with Maude. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Narciso Martí-Oliet, José Meseguer, Alberto Verdejo |
Towards a Strategy Language for Maude. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo |
A Tutorial on Specifying Data Structures in Maude. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Verdejo, Narciso Martí-Oliet |
Two Case Studies of Semantics Execution in Maude: CCS and LOTOS. |
Formal Methods in System Design |
2005 |
DBLP DOI BibTeX RDF |
executable semantic framework, internal strategies, Hennessy-Milner modal logic, symbolic semantics for LOTOS, ACT ONE, rewriting logic, CCS, Maude |
| 1 | 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 |
DBLP DOI BibTeX RDF |
Semantic Web, formal methods, RDF, rewriting logic, Maude |
| 1 | Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet |
Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Tree identify protocol, Rewriting logic, Maude, Object-oriented specifications, IEEE 1394 |
| 1 | Francisco Durán, Alberto Verdejo |
A Conference Reviewing System in Mobile Maude. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Verdejo, Narciso Martí-Oliet |
Implementing CCS in Maude 2. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Verdejo |
Building Tools for LOTOS Symbolic Semantics in Maude. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
Full LOTOS, symbolic semantics, rewriting logic, Maude, meta-language |
| 1 | Carron Shankland, Alberto Verdejo |
A case study in abstraction using E-LOTOS and the FireWire. |
Computer Networks |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet |
The Leader Election Protocol of IEEE 1394 in Maude. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Verdejo, Narciso Martí-Oliet |
Implementing CCS in Maude. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")