Narciso Martí-Oliet

Cited by

	All	Since 2017
Citations	6956	1332
h-index	34	15
i10-index	73	22

520

260

130

390

1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202227 32 22 37 22 59 30 62 74 113 103 202 190 309 335 280 505 369 417 416 344 377 229 383 298 231 237 279 245 211 211 147

Public access

View all

21 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Francisco DuránUniversity of MálagaVerified email at lcc.uma.es
patrick lincolnSRIVerified email at sri.com
ISABEL PITAProfesor de Informática, Universidad Complutense de MadridVerified email at ucm.es
Adrián RiescoAssociate Professor in Computer Science, Dpto. Sistemas Informáticos y Computación, UniversidadVerified email at fdi.ucm.es
RAFAEL CABALLERO ROLDANUniversidad Complutense de MadridVerified email at ucm.es
Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaVerified email at upv.es
José Luiz FiadeiroDean of Science and Engineering, University of DundeeVerified email at dundee.ac.uk
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityVerified email at maibaum.org
DAVID DE FRUTOS ESCRIGUniv.Complutense de Madrid (Spain)Verified email at ucm.es
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Christiano BragaAssociate Professor of Computer Science, Universidade Federal FluminenseVerified email at ic.uff.br
Joaquin SalvachuaAsociated Professor DIT-ETSIT, Universidad Politecnica de MadridVerified email at upm.es

Narciso Martí-Oliet

Full professor, Facultad de Informática, Universidad Complutense de Madrid

Verified email at ucm.es

Theoretical Computer Science Semantics Rewriting Logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott Springer, 2007	1515	2007
Maude: Specification and programming in rewriting logic M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ... Theoretical Computer Science 285 (2), 187-243, 2002	1077	2002
Rewriting logic as a logical and semantic framework N Martí-Oliet, J Meseguer Handbook of Philosophical Logic, 2002	437*	2002
The maude 2.0 system M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott International Conference on Rewriting Techniques and Applications, 76-87, 2003	403	2003
Rewriting logic: roadmap and bibliography N Martı-Oliet, J Meseguer Theoretical Computer Science 285 (2), 121-154, 2002	282	2002
Maude manual (version 2.1) M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott SRI International, Menlo Park (April 2005), 2004	250	2004
All About Maude, A High-Performance Logical Framework, volume 4350 of Lecture Notes in Computer Science M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott Springer, 2007	233	2007
From Petri nets to linear logic N Marti-Oliet, J Meseguer Category Theory and Computer Science, 313-340, 1989	201	1989
Towards a strategy language for Maude N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 117, 417-441, 2005	113	2005
Implementing ccs in maude 2 A Verdejo, N Martí-Oliet Electronic Notes in Theoretical Computer Science 71, 282-300, 2004	109	2004
The maude system M Clavel, F Duran, S Eker, P Lincoln, N Marti-Oliet, J Meseguer, ... International Conference on Rewriting Techniques and Applications, 240-243, 1999	108	1999
Executable structural operational semantics in Maude A Verdejo, N Martí-Oliet The Journal of Logic and Algebraic Programming 67 (1-2), 226-293, 2006	97	2006
Equational abstractions J Meseguer, M Palomino, N Martí-Oliet Theoretical Computer Science 403 (2-3), 239-264, 2008	90	2008
Deduction, strategies, and rewriting S Eker, N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 174 (11), 3-25, 2007	90	2007
Equational abstractions J Meseguer, M Palomino, N Martí-Oliet International Conference on Automated Deduction, 2-16, 2003	86	2003
From Petri nets to linear logic through categories: A survey N Martí-Oliet, J Meseguer International Journal of Foundations of Computer Science 2 (04), 297-399, 1991	76	1991
An executable specification of asynchronous Pi-Calculus semantics and may testing in Maude 2.0 P Thati, K Sen, N Martí-Oliet Electronic Notes in Theoretical Computer Science 71, 261-281, 2004	66	2004
Maude 2.0 Manual M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott Available in http://maude. cs. uiuc. edu, 2003	66	2003
General logics and logical frameworks N Martí-Oliet, J Meseguer What is a logical system?, 355-391, 1994	64	1994
Estructuras de datos y métodos algorítmicos: ejercicios resueltos NM Oliet, YO Mallén, JAV López Pearson educación, 2004	59	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors