| Nome |
# |
|
Petri nets for modelling metabolic pathways: a survey, file e4239ddb-5867-7180-e053-3705fe0a3322
|
400
|
|
Connectivity and energy-aware preorders for mobile ad-hoc networks, file e4239ddc-7429-7180-e053-3705fe0a3322
|
381
|
|
Behavioural equivalences and interference metrics for mobile ad-hoc networks, file e4239ddb-69fc-7180-e053-3705fe0a3322
|
347
|
|
Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems, file e4239ddc-0e52-7180-e053-3705fe0a3322
|
347
|
|
Analysis of performance in Depth Based Routing for Underwater Wireless Sensor Networks, file e4239ddc-adc6-7180-e053-3705fe0a3322
|
316
|
|
null, file e4239ddc-1722-7180-e053-3705fe0a3322
|
313
|
|
Performance evaluation of AQM techniques with heterogeneous traffic, file e4239ddb-e330-7180-e053-3705fe0a3322
|
310
|
|
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations, file e4239ddb-e977-7180-e053-3705fe0a3322
|
298
|
|
Guest editor's forewords: Special issue on Valuetools 2017, file e4239ddd-760a-7180-e053-3705fe0a3322
|
276
|
|
Identifying the Optimal transmission range in Depth-Based Routing For UWSN, file e4239ddc-b170-7180-e053-3705fe0a3322
|
237
|
|
Priority-based bandwidth allocation in wireless sensor networks, file e4239ddc-0829-7180-e053-3705fe0a3322
|
231
|
|
Product-form in G-networks, file e4239ddc-15be-7180-e053-3705fe0a3322
|
218
|
|
Model Checking Adaptive Service Compositions, file e4239ddb-351e-7180-e053-3705fe0a3322
|
207
|
|
Quantitative Analysis of Concurrent Reversible Computations, file e4239ddb-bbcf-7180-e053-3705fe0a3322
|
202
|
|
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs, file e4239ddc-a8ab-7180-e053-3705fe0a3322
|
172
|
|
Cheating at Craps: A Quantitative Analysis, file e4239dde-666d-7180-e053-3705fe0a3322
|
145
|
|
Frequency scaling in multilevel queues, file e4239dde-5acf-7180-e053-3705fe0a3322
|
142
|
|
Deriving the performance indices in product-form stochastic Petri nets: Open problems and simulation, file e4239ddc-15fc-7180-e053-3705fe0a3322
|
125
|
|
MPath2PN - Translating Metabolic Pathways into Petri Nets, file e4239ddb-6392-7180-e053-3705fe0a3322
|
124
|
|
On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness, file e4239dde-a1b8-7180-e053-3705fe0a3322
|
88
|
|
Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation, file 16c20569-ba70-491a-b644-81eb8efdf73d
|
71
|
|
On the optimality of opportunistic routing protocols for underwater sensor networks, file e4239dde-058b-7180-e053-3705fe0a3322
|
66
|
|
Performance Evaluation of Depth Based Routing in Underwater Sensor Networks, file e4239ddc-be16-7180-e053-3705fe0a3322
|
52
|
|
Perfect sampling in stochastic Petri nets using decision diagrams, file e4239dde-090b-7180-e053-3705fe0a3322
|
51
|
|
Computation of the normalising constant for product-form models of distributed systems with synchronisation, file e4239dde-0fbe-7180-e053-3705fe0a3322
|
51
|
|
Stochastic modeling of depth based routing in underwater sensor networks, file e4239dde-0397-7180-e053-3705fe0a3322
|
42
|
|
Control and optimization of the SRPT service policy by frequency scaling, file e4239dde-0394-7180-e053-3705fe0a3322
|
33
|
|
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses, file e4239dde-01e0-7180-e053-3705fe0a3322
|
26
|
|
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs, file e4239dde-0741-7180-e053-3705fe0a3322
|
26
|
|
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations, file e4239dde-13c8-7180-e053-3705fe0a3322
|
26
|
|
On the relations between Markov chain lumpability and reversibility, file e4239ddd-fa54-7180-e053-3705fe0a3322
|
11
|
|
Analysis of the confirmation time in proof-of-work blockchains, file 3e8fa158-4187-489f-bf6a-625daab6c5c8
|
9
|
|
A Product-form Model for the Analysis of Systems with Aging Objects, file e4239ddb-b5f4-7180-e053-3705fe0a3322
|
8
|
|
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic, file e4239dde-01c0-7180-e053-3705fe0a3322
|
7
|
|
Computation of the normalising constant for product-form models of distributed systems with synchronisation, file e4239dde-01c4-7180-e053-3705fe0a3322
|
7
|
|
Perfect sampling in stochastic Petri nets using decision diagrams, file e4239ddb-bf01-7180-e053-3705fe0a3322
|
6
|
|
Stochastic modeling of depth based routing in underwater sensor networks, file e4239ddd-91a1-7180-e053-3705fe0a3322
|
6
|
|
Theoretical and experimental evaluation of the two-level processor sharing discipline for TCP flows, file e4239ddd-fa5b-7180-e053-3705fe0a3322
|
6
|
|
null, file e4239ddc-c757-7180-e053-3705fe0a3322
|
5
|
|
Power control in saturated fork-join queueing systems, file e4239ddd-fc6d-7180-e053-3705fe0a3322
|
5
|
|
Fair workload distribution for multi-server systems with pulling strategies, file e4239ddd-fc72-7180-e053-3705fe0a3322
|
5
|
|
On the optimality of opportunistic routing protocols for underwater sensor networks, file e4239dde-00cc-7180-e053-3705fe0a3322
|
5
|
|
Control and optimization of the SRPT service policy by frequency scaling, file e4239dde-01bf-7180-e053-3705fe0a3322
|
5
|
|
Lumping and reversed processes in cooperating automata, file e4239ddb-6dd4-7180-e053-3705fe0a3322
|
4
|
|
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses, file e4239dde-014f-7180-e053-3705fe0a3322
|
4
|
|
Modeling Energy Packets Networks in the Presence of Failures, file e4239ddc-1950-7180-e053-3705fe0a3322
|
2
|
|
Product-forms for Probabilistic Input/Output Automata, file e4239ddc-1a60-7180-e053-3705fe0a3322
|
2
|
|
Proportional Lumpability, file e4239ddd-76ce-7180-e053-3705fe0a3322
|
2
|
|
A Queueing Model that Works Only on the Biggest Jobs, file e4239ddd-bd74-7180-e053-3705fe0a3322
|
2
|
|
Verifier’s Dilemma in Ethereum Blockchain: A Quantitative Analysis, file 8edd1f49-3922-4b38-b35a-b9d53924e872
|
1
|
|
Selfish Mining in Public Blockchains: A Quantitative Analysis, file 949a44d8-cf7a-43e8-bcfd-9a50ed1db41a
|
1
|
|
Proportional lumpability and proportional bisimilarity, file b8febab2-42b6-43d5-a902-6eed9db46660
|
1
|
|
Analysis of stochastic Petri nets with signals, file e4239ddb-4525-7180-e053-3705fe0a3322
|
1
|
|
A Simulation Package For an Energy-Aware Comparison of ARQ protocols, file e4239ddb-46f8-7180-e053-3705fe0a3322
|
1
|
|
Autoreversibility: exploiting symmetries in Markov chains, file e4239ddb-69fa-7180-e053-3705fe0a3322
|
1
|
|
Separable solutions for Markov processes in random environments, file e4239ddb-69fe-7180-e053-3705fe0a3322
|
1
|
|
Testing spnps perfect sampling tool on fork-join queueing networks (tool paper), file e4239ddb-fd4e-7180-e053-3705fe0a3322
|
1
|
|
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming, file e4239ddc-73c3-7180-e053-3705fe0a3322
|
1
|
|
Biased processor sharing in fork-join queues, file e4239ddd-0e1e-7180-e053-3705fe0a3322
|
1
|
|
Dynamic resource allocation in fork-join queues, file e4239ddd-ba16-7180-e053-3705fe0a3322
|
1
|
|
LB-networks: A model for dynamic load balancing in queueing networks, file e4239dde-0909-7180-e053-3705fe0a3322
|
1
|
|
A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues, file e4239dde-60f5-7180-e053-3705fe0a3322
|
1
|
| Totale |
5.437 |