Author Info
Name
Affiliation
Papers
JOSÉ IGNACIO REQUENO
Univ Zaragoza, Dept Comp Sci & Syst Engn DIIS, C Maria Luna 1, Zaragoza 50018, Spain
17
Collaborators
Citations 
PageRank 
25
41
6.92
Referers 
Referees 
References 
81
389
208
Search Limit
100389
Title
Citations
PageRank
Year
A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications00.342019
Quantitative Analysis of Apache Storm Applications: The NewsAsset Case Study30.412019
Towards the Performance Analysis of Apache Tez Applications.10.352018
A systematic approach for performance assessment using process mining00.342018
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators.30.392018
Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets30.442017
Evaluation of properties over phylogenetic trees using stochastic logics.00.342016
A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study.20.512016
Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets.90.562016
Analyzing Phylogenetic Trees With Timed And Probabilistic Model Checking: The Lactose Persistence Case Study10.362014
Timed and Probabilistic Model Checking over Phylogenetic Trees.10.362014
Temporal logics for phylogenetic analysis via model checking.30.412013
Speeding Up Phylogenetic Model Checking.10.352013
Model Checking Software For Phylogenetic Trees Using Distribution And Database Methods20.462013
Sliced Model Checking for Phylogenetic Analysis.30.422012
Compact Representation of Biological Sequences Using Set Decision Diagrams.40.422012
Phylogenetic Analysis Using an SMV Tool.50.472011