Alberto Verdejo

Executable structural operational semantics in Maude

Alberto Verdejo, Narciso Martı́-Oliet · The Journal of Logic and Algebraic Programming · 2005 · 76 citations · Full text

Computing, Computer Science, Formal Methods +8

Towards a Strategy Language for Maude

Narciso Martı́-Oliet, José Meseguer, Alberto Verdejo · Electronic Notes in Theoretical Computer Science · 2005 · 75 citations · Full text

Computing, Computer Science, Computer Systems +15

Implementing CCS in Maude 2

Alberto Verdejo, Narciso Martı́-Oliet · Electronic Notes in Theoretical Computer Science · 2004 · 63 citations · Full text

Humanities, Computer Science, Computer Systems +15

Deduction, Strategies, and Rewriting

Steven Eker, Narciso Martı́-Oliet, José Meseguer et al. · Electronic Notes in Theoretical Computer Science · 2007 · 55 citations · Full text

Computing, Computer Science, High-performance Computing +12

A Rewriting Semantics for Maude Strategies

Narciso Martı́-Oliet, José Meseguer, Alberto Verdejo · Electronic Notes in Theoretical Computer Science · 2009 · 31 citations · Full text

Computing, Computer Science, Strategy +9