Narciso Martí-Oliet

Hivatkozott rá

	Összes	2016 óta
Hivatkozások	6529	1226
h-index	34	15
i10-index	68	20

460

230

115

345

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202125 28 23 37 21 59 30 57 69 111 90 189 190 293 347 279 450 375 410 417 359 366 241 380 304 242 233 292 236 219 3

Társszerzők

Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignE-mail megerősítve itt: illinois.edu
Francisco DuránUniversidad de MálagaE-mail megerősítve itt: lcc.uma.es
patrick lincolnSRIE-mail megerősítve itt: sri.com
Alberto VerdejoAssociate Professor, Facultad de Informatica, Universidad Complutense de MadridE-mail megerősítve itt: ucm.es
Adrián RiescoPhD Assistant Professor in Computer Science, Dpto. Sistemas Informáticos y Computación, UniversidadE-mail megerősítve itt: fdi.ucm.es
ISABEL PITAProfesor de Informática, Universidad Complutense de MadridE-mail megerősítve itt: ucm.es
RAFAEL CABALLERO ROLDANUniversidad Complutense de MadridE-mail megerősítve itt: ucm.es
Santiago EscobarVRAIN Valencian Research Institute for Artificial Intelligence. Universitat Politècnica de ValènciaE-mail megerősítve itt: upv.es
José Luiz FiadeiroDean of Science and Engineering, University of DundeeE-mail megerősítve itt: dundee.ac.uk
Tom MaibaumProfessor of the Foundations of Software Engineering, McMaster UniversityE-mail megerősítve itt: maibaum.org
DAVID DE FRUTOS ESCRIGUniv.Complutense de Madrid (Spain)E-mail megerősítve itt: ucm.es
Koushik SenProfessor of Computer Science, University of California, BerkeleyE-mail megerősítve itt: cs.berkeley.edu
Joaquin SalvachuaAsociated Professor DIT-ETSIT, Universidad Politecnica de MadridE-mail megerősítve itt: upm.es
Christiano BragaAssociate Professor of Computer Science, Universidade Federal FluminenseE-mail megerősítve itt: ic.uff.br

Narciso Martí-Oliet

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

E-mail megerősítve itt: ucm.es

Theoretical Computer Science Semantics Rewriting Logic


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
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	1357	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	1035	2002
Rewriting logic as a logical and semantic framework N Martí-Oliet, J Meseguer Handbook of Philosophical Logic, 2002	406*	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	388	2003
Rewriting logic: roadmap and bibliography N Martı-Oliet, J Meseguer Theoretical Computer Science 285 (2), 121-154, 2002	268	2002
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	229	2007
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, 2005	224	2005
From Petri nets to linear logic N Martí-Oliet, J Meseguer Category Theory and Computer Science, 313-340, 1989	194	1989
Implementing ccs in maude 2 A Verdejo, N Martí-Oliet Electronic Notes in Theoretical Computer Science 71, 282-300, 2004	106	2004
The maude system M Clavel, F Duran, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, ... International Conference on Rewriting Techniques and Applications, 240-243, 1999	105	1999
Towards a strategy language for Maude N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 117, 417-441, 2005	103	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	92	2006
Equational abstractions J Meseguer, M Palomino, N Martí-Oliet Theoretical Computer Science 403 (2-3), 239-264, 2008	81	2008
Equational abstractions J Meseguer, M Palomino, N Martí-Oliet International Conference on Automated Deduction, 2-16, 2003	80	2003
Deduction, strategies, and rewriting S Eker, N Martí-Oliet, J Meseguer, A Verdejo Electronic Notes in Theoretical Computer Science 174 (11), 3-25, 2007	75	2007
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	71	1991
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	64	2003
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), 90, 2004	61	2004
General logics and logical frameworks N Martí-Oliet, J Meseguer What is a logical system?, 355-391, 1994	60	1994
Estructuras de datos y métodos algorítmicos: ejercicios resueltos NM Oliet, YO Mallén, JAV López Pearson educación, 2004	56	2004

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

PDF feltöltése

A szerző követése

Hivatkozott rá

Társszerzők