Skip to main navigation
Skip to search
Skip to main content
University of Portsmouth Home
Help & FAQ
Home
Profiles
Organisations
Research outputs
Student theses
Datasets
Projects
Activities
Prizes
Press / Media
Impacts
Equipment
Search by expertise, name or affiliation
A Semiring-based Quantitative Analysis of Mobile Systems
Benjamin Aziz
*
*
Corresponding author for this work
School of Computing
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A Semiring-based Quantitative Analysis of Mobile Systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Mobile Systems
100%
Quantitative Analysis
73%
Semiring
65%
Adaptive Routing
58%
Cost Analysis
47%
Routing Algorithm
42%
Static Analysis
41%
Retrieval
37%
Adaptive Algorithm
34%
Synchronization
30%
Query
29%
Syntax
28%
Substitution
28%
Communication
27%
Calculus
23%
Language
21%
Engineering & Materials Science
Static analysis
62%
Routing algorithms
60%
Adaptive algorithms
59%
Substitution reactions
58%
Synchronization
47%
Chemical analysis
38%
Communication
29%
Costs
22%