Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Rossi, Sabina
633  Ergebnisse:
Personensuche X
?
1

A Product-form Network for Systems with Job Stealing Polici..:

Olliaro, Diletta ; Casale, Giuliano ; Marin, Andrea.
ACM Transactions on Modeling and Performance Evaluation of Computing Systems.  9 (2024)  2 - p. 1-26 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Compressing neural networks via formal methods:

Ressi, Dalila ; Romanello, Riccardo ; Rossi, Sabina.
Neural Networks.  178 (2024)  - p. 106411 , 2024
Link: https://doi.org/10.1016/..
 
?
3

Selfish Mining in Public Blockchains: A Quantitative Analys..:

, In: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Performance Evaluation Methodologies and Tools,
Smuseva, Daria ; Marin, Andrea ; Rossi, Sabina - p. 18-32 , 2024
Link: https://doi.org/10.1007/..
 
?
4

AI-enhanced blockchain technology: A review of advancements..:

Ressi, Dalila ; Romanello, Riccardo ; Piazza, Carla.
Journal of Network and Computer Applications.  225 (2024)  - p. 103858 , 2024
Link: https://doi.org/10.1016/..
 
?
5

Confirmed or Dropped? Reliability Analysis of Transactions ..:

Malakhov, Ivan ; Marin, Andrea ; Rossi, Sabina.
IEEE Transactions on Network Science and Engineering.  11 (2024)  4 - p. 3276-3288 , 2024
Link: https://doi.org/10.1109/..
 
?
6

Efficient Algorithm for Proportional Lumpability and Its Ap..:

Piazza, Carla ; Rossi, Sabina ; Smuseva, Daria
Algorithms.  17 (2024)  4 - p. 159 , 2024
Link: https://doi.org/10.3390/..
 
?
7

Reverse Bisimilarity vs. Forward Bisimilarity:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Bernardo, Marco ; Rossi, Sabina - p. 265-284 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Analysis of the confirmation time in proof-of-work blockcha..:

Malakhov, Ivan ; Marin, Andrea ; Rossi, Sabina
Future Generation Computer Systems.  147 (2023)  - p. 275-291 , 2023
Link: https://doi.org/10.1016/..
 
?
9

A product-form network for systems with job stealing polici..:

Marin, Andrea ; Rossi, Sabina ; Olliaro, Diletta
ACM SIGMETRICS Performance Evaluation Review.  50 (2023)  4 - p. 2-4 , 2023
Link: https://doi.org/10.1145/..
 
?
10

ALGOMOVE – A Move Embedding for Algorand:

, In: 2023 IEEE International Conference on Blockchain (Blockchain),
Benetollo, Lorenzo ; Bugliesi, Michele ; Crafa, Silvia.. - p. 62-67 , 2023
Link: https://doi.org/10.1109/..
 
?
11

Causal Reversibility Implies Time Reversibility:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Bernardo, Marco ; Lanese, Ivan ; Marin, Andrea... - p. 270-287 , 2023
Link: https://doi.org/10.1007/..
 
?
12

Crisis of Trust: Analyzing the Verifier's Dilemma in Ethere..:

, In: 2023 IEEE International Conference on Blockchain (Blockchain),
Smuseva, Daria ; Malakhov, Ivan ; Marin, Andrea. - p. 332-339 , 2023
Link: https://doi.org/10.1109/..
 
?
13

Neural Networks Reduction via Lumping:

, In: AIxIA 2022 – Advances in Artificial Intelligence; Lecture Notes in Computer Science,
Ressi, Dalila ; Romanello, Riccardo ; Piazza, Carla. - p. 75-90 , 2023
Link: https://doi.org/10.1007/..
 
?
14

Verifier's Dilemma in Ethereum Blockchain: A Quantitative A..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Smuseva, Daria ; Malakhov, Ivan ; Marin, Andrea.. - p. 317-336 , 2022
Link: https://doi.org/10.1007/..
 
?
15

Prevalence of Intestinal Parasitoses in a Non-Endemic Setti..:

Calderaro, Adriana ; Buttrini, Mirko ; Montecchini, Sara...
Microorganisms.  10 (2022)  2 - p. 426 , 2022
Link: https://doi.org/10.3390/..
 
1-15