Alberto Verdejo

Citado por

	Total	Desde 2019
Citas	2943	879
Índice h	19	12
Índice i10	40	17

240

120

180

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 8 20 20 31 40 45 143 128 206 178 157 185 122 179 149 108 130 150 135 116 129 222 145 129

Acceso público

Ver todo

17 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Narciso Martí-OlietFull professor, Facultad de Informática, Universidad Complutense de MadridDirección de correo verificada de ucm.es
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignDirección de correo verificada de illinois.edu
Francisco DuránUniversity of MálagaDirección de correo verificada de uma.es
Adrián RiescoAssociate Professor in Computer Science, Dpto. Sistemas Informáticos y Computación, UniversidadDirección de correo verificada de fdi.ucm.es
ISABEL PITAProfesor de Informática, Universidad Complutense de MadridDirección de correo verificada de ucm.es
RAFAEL CABALLERO ROLDANUniversidad Complutense de MadridDirección de correo verificada de ucm.es
Christiano BragaAssociate Professor of Computer Science, Universidade Federal FluminenseDirección de correo verificada de ic.uff.br
Óscar MartínUniversidad Complutense de MadridDirección de correo verificada de ucm.es
Carron ShanklandProfessor of Computing Science, University of StirlingDirección de correo verificada de cs.stir.ac.uk
Mercedes Hidalgo-Herrero (orcid 000...Universidad Complutense de Madrid (ROR: 02p0gd045)Dirección de correo verificada de ucm.es
YOLANDA ORTEGA-MALLÉNUniversidad Complutense de MadridDirección de correo verificada de ucm.es
LUIS LLANAUniversidad Compludense de MadridDirección de correo verificada de ucm.es
CLARA MARIA SEGURA DIAZUniversidad Complutense de MadridDirección de correo verificada de ucm.es
Fernando Rosa-VelardoUniversidad Complutense de MadridDirección de correo verificada de sip.ucm.es

Seguir

Alberto Verdejo

Associate Professor, Facultad de Informática, Universidad Complutense de Madrid, Spain

Dirección de correo verificada de ucm.es

rewritting logic strategies semantic frameworks formal methods declarative debugging


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Some tools M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ... All About Maude-A High-Performance Logical Framework: How to Specify …, 2007	1610	2007
Towards a strategy language for Maude N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 117, 417-441, 2005	123	2005
Executable structural operational semantics in Maude A Verdejo, N Martí-Oliet The Journal of Logic and Algebraic Programming 67 (1-2), 226-293, 2006	102	2006
Deduction, strategies, and rewriting S Eker, N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 174 (11), 3-25, 2007	99	2007
Implementing ccs in maude 2 A Verdejo, N Martí-Oliet Electronic Notes in Theoretical Computer Science 71, 282-300, 2004	95	2004
A rewriting semantics for Maude strategies N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 238 (3), 227-247, 2009	59	2009
Declarative debugging of rewriting logic specifications A Riesco, A Verdejo, N Martí-Oliet, R Caballero The Journal of Logic and Algebraic Programming 81 (7-8), 851-897, 2012	37	2012
Implementing CCS in Maude A Verdejo, N Marti-Oliet International Conference on Protocol Specification, Testing and Verification …, 2000	33	2000
Strategies, model checking and branching-time properties in Maude R Rubio, N Martí-Oliet, I Pita, A Verdejo Journal of Logical and Algebraic Methods in Programming 123, 100700, 2021	31	2021
Maude como marco semántico ejecutable A Verdejo PhD thesis, Facultad de Informática, Universidad Complutense, Madrid, Spain, 2003	30	2003
Typed mobile ambients in Maude F Rosa-Velardo, C Segura, A Verdejo Electronic Notes in Theoretical Computer Science 147 (1), 135-161, 2006	29	2006
Two case studies of semantics execution in Maude: CCS and LOTOS A Verdejo, N Martí-Oliet Formal Methods in System Design 27, 113-172, 2005	28	2005
Model checking strategy-controlled systems in rewriting logic R Rubio, N Martí-Oliet, I Pita, A Verdejo Automated Software Engineering 29 (1), 7, 2022	26	2022
Parameterized strategies specification in Maude R Rubio, N Martí-Oliet, I Pita, A Verdejo Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 …, 2019	24	2019
A declarative debugger for Maude functional modules R Caballero, N Martí-Oliet, A Riesco, A Verdejo Electronic Notes in Theoretical Computer Science 238 (3), 63-81, 2009	24	2009
Using Maude and its strategies for defining a framework for analyzing Eden semantics M Hidalgo-Herrero, A Verdejo, Y Ortega-Mallén Electronic Notes in Theoretical Computer Science 174 (10), 119-137, 2007	23	2007
Implementing and analyzing in Maude the enhanced interior gateway routing protocol A Riesco, A Verdejo Electronic notes in theoretical computer science 238 (3), 249-266, 2009	22	2009
Declarative debugging of rewriting logic specifications A Riesco, A Verdejo, R Caballero, N Martí-Oliet International Workshop on Algebraic Development Techniques, 308-325, 2008	22	2008
Model checking strategy-controlled rewriting systems (system description) R Rubio, N Martí-Oliet, I Pita, A Verdejo 4th International Conference on Formal Structures for Computation and …, 2019	19	2019
Basic completion strategies as another application of the Maude strategy language A Verdejo, N Martí-Oliet arXiv preprint arXiv:1204.5542, 2012	19	2012

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores