logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
S

Salvador Tamarit

Universitat Politecnica de Valencia

9H-index
73Paper Count
287Citation Count
Published Papers 3
Publication Date
logo
Reversible CSP Computations
errIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF6
err2021-06-01
err0
errOAAI
errGalindo, Carlos; Nishida, Naoki; Silva, Josep; Tamarit, Salvador
errShare
errSave
A unified framework for declarative debugging and testing
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2021-01-01
err1
PREAI
errCaballero, Rafael; Martin-Martin, Enrique; Riesco, Adrian; Tamarit, Salvador
errShare
errSave
Generating a Petri net from a CSP specification: A semantics-based method
errADVANCES IN ENGINEERING SOFTWARE
IF5.7
err2012-08-01
err5
PREAI
errLlorens, M.; Oliver, J.; Silva, J.; Tamarit, S.
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
J
Josep Silva
H-index: 17 · Papers: 191
N
Naoki Nishida
H-index: 14 · Papers: 152
R
Rafael Caballero
H-index: 13 · Papers: 89
A
Adrián Riesco
H-index: 13 · Papers: 83
E
Enrique Martin-Martin
H-index: 9 · Papers: 45
View more