ACM Computing Surveys (CSUR)
Timed Petri nets and preliminary performance evaluation
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
On the integration of delay and throughput measures in distributed processing models
On the integration of delay and throughput measures in distributed processing models
Symmetric stochastic Petri nets
IBM Journal of Research and Development
Analytic Queueing Network Models for Parallel Processing of Task Systems
IEEE Transactions on Computers
Exact performance estimates for multiprocessor memory and bus interference
IEEE Transactions on Computers
Modeling the software architecture of a prototype parallel machine
SIGMETRICS '87 Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control
IEEE Transactions on Computers
Stochastic High-Level Petri Nets and Applications
IEEE Transactions on Computers
Survey of software tools for evaluating reliability, availability, and serviceability
ACM Computing Surveys (CSUR)
IEEE Transactions on Computers
Real-time hierarchically distributed processing network interaction simulation
ANSS '88 Proceedings of the 21st annual symposium on Simulation
Stochastic Petri Net Representation of Discrete Event Simulations
IEEE Transactions on Software Engineering
Stochastic Petri Net Analysis of a Replicated File System
IEEE Transactions on Software Engineering
IEEE Transactions on Computers
Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models
IEEE Transactions on Software Engineering
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
IEEE Transactions on Computers
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
An object-oriented modelling enviornment
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Characterizations of parallelism in applications and their use in scheduling
SIGMETRICS '89 Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Modeling of Hierarchical Distributed Systems with Fault-Tolerance
IEEE Transactions on Software Engineering
Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets
IEEE Transactions on Computers
Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets
IEEE Transactions on Software Engineering
Simultaneous analysis of flow and error control strategies with congestion-dependent errors
SIGMETRICS '90 Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems
PSB graphs for simulating cooperative and distributed program behavior
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Performability Analysis Using Semi-Markov Reward Processes
IEEE Transactions on Computers
Real-time Systems Performance in the Presence of Failures
Computer - Special issue on real-time systems
Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets
IEEE Transactions on Software Engineering
Embedded Processes in Stochastic Petri Nets
IEEE Transactions on Software Engineering
Modeling and Online Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets
IEEE Transactions on Software Engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Another view on parallel speedup
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
IEEE Transactions on Software Engineering
GSPN models of random, cyclic, and optimal 1-limited multiserver multiqueue systems
SIGCOMM '91 Proceedings of the conference on Communications architecture & protocols
Performability Analysis of Distributed Real-Time Systems
IEEE Transactions on Computers
Stochastic Automata Network of Modeling Parallel Systems
IEEE Transactions on Software Engineering
Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets
IEEE Transactions on Software Engineering
Petri-net evaluation using APL2
APL '92 Proceedings of the international conference on APL
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Detailed Modeling and Reliability Analysis of Fault-Tolerant Processor Arrays
IEEE Transactions on Computers
The KSR1: experimentation and modeling of poststore
SIGMETRICS '93 Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Modeling Correlation in Software Recovery Blocks
IEEE Transactions on Software Engineering - Special issue on software reliability
Approximate mean value analysis of client-server systems with multi-class requests
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
A LOTOS extension for the performance analysis of distributed systems
IEEE/ACM Transactions on Networking (TON)
WSC '94 Proceedings of the 26th conference on Winter simulation
Quantum modeling of distributed object computing
ACM SIGSIM Simulation Digest - Special issue: joint publication of ACM SIGSIM and IEEE Computer Society TCSIM
IEEE Transactions on Computers
Petri net modeling of interconnection networks for massively parallel architectures
ICS '95 Proceedings of the 9th international conference on Supercomputing
Missing the memory wall: the case for processor/memory integration
ISCA '96 Proceedings of the 23rd annual international symposium on Computer architecture
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Numerical Analysis of Superposed GSPNs
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Analysis of techniques in the assessment of ultra-reliable computerized systems
ACM SIGSOFT Software Engineering Notes
Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach
IEEE Transactions on Software Engineering
A framework for the efficient Petri net simulation of real-time systems
ANSS '92 Proceedings of the 25th annual symposium on Simulation
SIGMETRICS '86/PERFORMANCE '86 Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation
SIGMETRICS '85 Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems
WSC '86 Proceedings of the 18th conference on Winter simulation
Rapid prototyping of control systems using high level Petri nets
ICSE '85 Proceedings of the 8th international conference on Software engineering
Extended D-timed Petri nets, timeouts, and analysis of communication protocols
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
On generation of state space for timed Petri nets
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Modified M-timed Petri nets in modelling and performance evaluation of systems
CSC '87 Proceedings of the 15th annual conference on Computer Science
METASAN: a performability evaluation tool based on stochastic activity networks
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A CAD tool for stochastic Petri nets
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
The GTPN analyzer: numerical methods and user interface
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
M-timed Petri nets and Markov chains in modelling of computer systems
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
What is scalability in multi-agent systems?
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Response time densities in generalised stochastic petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Modeling of interconnection subsystems for massively parallel computers
Performance Evaluation
Annals of Software Engineering
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks
IEEE Transactions on Computers
Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks
IEEE Transactions on Computers
Locking Performance in a Shared Nothing Parallel Database Machine
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Parallel and Distributed Systems
Performance Evaluation of Client-Server Systems
IEEE Transactions on Parallel and Distributed Systems
Distributed Performance Monitoring: Methods, Tools, and Applications
IEEE Transactions on Parallel and Distributed Systems
Performance Analysis of Four Memory Consistency Models for Multithreaded Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Dependability Modeling and Analysis of Distributed Programs
IEEE Transactions on Software Engineering
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
Discrete-Event Simulation of Fluid Stochastic Petri Nets
IEEE Transactions on Software Engineering
The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
Analysis of performance bottlenecks in multithreaded multiprocessor systems
Fundamenta Informaticae - Application of concurrency to system design
IEEE Transactions on Computers
Symbolic Performance Modeling of Parallel Systems
IEEE Transactions on Parallel and Distributed Systems
Dependability Evaluation of a Distributed Shared Memory Multiprocessor System
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
An Efficient Kronecker Representation for PEPA Models
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Advances in Model Representations
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
An Application of Case-Based Reasoning to the Adaptive Management of Wireless Networks
ECCBR '02 Proceedings of the 6th European Conference on Advances in Case-Based Reasoning
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Thread Placement on the Intel Paragon: Modeling and Experimentation
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Symbolic Cost Estimation of Parallel Applications
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Performance Evaluation: Origins and Directions
Performance Evaluation: Origins and Directions
Stochastic Modeling Formalisms for Dependability, Performance and Performability
Performance Evaluation: Origins and Directions
Performance Analysis of Asynchronous Circuits Using Markov Chains
Concurrency and Hardware Design, Advances in Petri Nets
On Combining Functional Verification and Performance Evaluation Using CADP
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Manual and Automatic Exploitation of Symmetries in SPN Models
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
SWN Analysis and Simulation of Large Knockout ATM Switches
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Performance Analysis of a WDM Bus Network Based on GSPN Models
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Hierarchical Stochastic Reward Net Solver Package
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Probability, Parallelism and the State Space Exploration Problem
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Analysis and Evaluation of Non-Markovian Stochastic Petri Nets
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Performance Validation of Fault-Tolerance Software: A Compositional Approach
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Symbolic Methods for the State Space Exploration of GSPN Models
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Towards Model Checking Stochastic Process Algebra
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
HCW '97 Proceedings of the 6th Heterogeneous Computing Workshop (HCW '97)
Simulation of Task Graph Systems in Heterogeneous Computing Environments
HCW '99 Proceedings of the Eighth Heterogeneous Computing Workshop
Well-defined stochastic Petri nets
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
An approach to formalize structural decomposition and aggregation for stochastic reward net models
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Giving a net semantics to Markovian process algebra
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Fixed point iteration using stochastic reward nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Numerical analysis of superposed GSPNs
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Aggregation and Disaggregation in Product Form Queueing Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
GSPN Analysis of ABR in ATM LANs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
All-Optical LAN Interconnection with a Wavelength Selective Router
INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
Dependability Modelling in a Prototype Development Framework
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Performance Prediction in Production Environments
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
Model checking stochastic automata
ACM Transactions on Computational Logic (TOCL)
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
IEEE Transactions on Software Engineering
Modeling and verification of a class of real-time systems by the use of high level petri nets
Journal of Systems and Software
Implicit GSPN reachability set generation using decision diagrams
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
On the performance analysis of ABR in ATM LANs with stochastic petri nets
Journal of Systems Architecture: the EUROMICRO Journal
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Journal of Parallel and Distributed Computing
QoS modelling and analysis with UML-statecharts: the StoCharts approach
ACM SIGMETRICS Performance Evaluation Review
Automatic Inclusion of Middleware Performance Attributes into Architectural UML Software Models
IEEE Transactions on Software Engineering
Future Generation Computer Systems - Systems performance analysis and evaluation
A Methodology for Architectural Design of Concurrent and Distributed Software Systems
The Journal of Supercomputing
Distributed disk-based algorithms for model checking very large Markov chains
Formal Methods in System Design
Parallel simulation of petri nets on desktop pc hardware
WSC '05 Proceedings of the 37th conference on Winter simulation
Analytical modeling of random waypoint mobility patterns
Proceedings of the 3rd ACM international workshop on Performance evaluation of wireless ad hoc, sensor and ubiquitous networks
Performability analysis of clustered systems with rejuvenation under varying workload
Performance Evaluation
Predictive performance modelling of parallel component compositions
Cluster Computing
Probabilistic performance risk analysis at system-level
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Design time deployment optimization for component based systems
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Continuous PEPA queues: individual behaviour in continuous queueing networks
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Simulation versus analytic-numeric methods: illustrative examples
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Split: a flexible and efficient algorithm to vector-descriptor product
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Bisimulation relations for weighted automata
Theoretical Computer Science
Formalization of petri nets with clocks
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
Natural Language Specification of Performance Trees
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
PIPE2: a tool for the performance evaluation of generalised stochastic Petri Nets
ACM SIGMETRICS Performance Evaluation Review
SHARPE at the age of twenty two
ACM SIGMETRICS Performance Evaluation Review
Categories of Timed Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
(Toward) discrete-event simulation of reflective Petri nets
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Fundamenta Informaticae - Application of Concurrency to System Design
Modeling a flexible manufacturing cell using stochastic Petri nets with fuzzy parameters
Expert Systems with Applications: An International Journal
Statistical Performance Analysis and Estimation for Parallel Multimedia Processing
Journal of Signal Processing Systems
One kind of petri nets with systematized changeable structure
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
Stochastic fault trees for cross-layer power management of WSN monitoring systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Component connectors with QoS guarantees
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
A set of performance and dependability analysis components for CADP
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
Performance modelling and Markov chains
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Tackling large state spaces in performance modelling
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
Faster SPDL model checking through property-driven state space generation
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Location-aware quality of service measurements for service-level agreements
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Dependability metrics
Performance evaluation and model checking join forces
Communications of the ACM
Modelling and performance analysis of component-based systems
International Journal of Critical Computer-Based Systems
Automatic modeling for performance evaluation of inventory and outbound distribution
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Transient behavior of ATM networks under overloads
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
Using stochastic Petri nets for performance modelling of application servers
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
An efficient algorithm for the parallel solution of high-dimensional differential equations
Journal of Computational and Applied Mathematics
GA optimization of Petri net-modeled concurrent service systems
Applied Soft Computing
Real-time management of air traffic flow based on the controlled stochastic petri net approach
ACMOS'05 Proceedings of the 7th WSEAS international conference on Automatic control, modeling and simulation
Simulation-based performance analysis of channel-based coordination models
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Simplification of a complex signal transduction model using invariants and flow equivalent servers
Theoretical Computer Science
Probabilistic real-time rewrite theories and their expressive power
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
A lumped Markov process for a class of dynamic Petri nets
Proceedings of the 44th Annual Simulation Symposium
Embedded Systems Design
A framework to decompose GSPN models
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Modeling execution time of selected computation and communication kernels on grids
EGC'05 Proceedings of the 2005 European conference on Advances in Grid Computing
Modeling user-perceived service availability
ISAS'05 Proceedings of the Second international conference on Service Availability
Efficient vector-descriptor product exploiting time-memory trade-offs
ACM SIGMETRICS Performance Evaluation Review
Symbolic model checking of stochastic systems: theory and implementation
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Ten years of saturation: a petri net perspective
Transactions on Petri Nets and Other Models of Concurrency V
A proactive approach towards always-on availability in broadband cable networks
Computer Communications
A stochastic reward net model for performance analysis of prioritized DQDB MAN
Computer Communications
On the product-form solution of a class of multiple-bus multiprocessor system models
Journal of Systems and Software
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Fundamenta Informaticae - Application of Concurrency to System Design
Analysis of Performance Bottlenecks in Multithreaded Multiprocessor Systems
Fundamenta Informaticae - Application of Concurrency to System Design
Performance Evaluation Of Systems Defined In Specification Language Estelle
Fundamenta Informaticae
Efficient modelling and generation of Markov automata
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Modeling and performance analysis of large scale IaaS Clouds
Future Generation Computer Systems
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
A component-based solution for reducible Markov regenerative processes
Performance Evaluation
The right timing: reflections on the modeling and analysis of time
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Confluence reduction for markov automata
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
Modelling, reduction and analysis of markov automata
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
MINIMIZING OPERATIONAL COST USING ARTIFICIAL IMMUNE ALGORITHM
Journal of Integrated Design & Process Science
Hi-index | 0.07 |