( en | de | ru )

 

Disambiguation of "Rossi, Sabina"

Author of the publication

copydeleteadd this publication to your clipboard
Performance Analysis and Formal Verification of Cognitive Wireless Networks.

, , and . EPEW, volume 8168 of Lecture Notes in Computer Science, page 236-250. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Adelheid Rossi

Gabriela Rossi

Marcus Rossi

Rainer Rossi

Davide Rossi

 

Other publications of authors with the same name

A Proof System for Information Flow Security., , , and . LOPSTR, volume 2664 of Lecture Notes in Computer Science, page 199-218. Springer, (2002)Proportional Lumpability., , and . FORMATS, volume 11750 of Lecture Notes in Computer Science, page 265-281. Springer, (2019)Bisimulation and Unwinding for Verifying Possibilistic Security Properties., , , and . VMCAI, volume 2575 of Lecture Notes in Computer Science, page 223-237. Springer, (2003)Specialising Logic Programs with Respect to Call?Post Specifications., and . LOPSTR, volume 1559 of Lecture Notes in Computer Science, page 159-178. Springer, (1998)Declarative Semantics of Input Consuming Logic Programs., , , and . Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, Springer, (2004)On Discrete Time Reversibility modulo State Renaming and its Applications., and . VALUETOOLS, ICST, (2014)DOI:10.4108/icst.valuetools.2014.258200 reused by journals/sas/RossiM15.Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation., , , and . EPEW, volume 13104 of Lecture Notes in Computer Science, page 3-21. Springer, (2021)Selfish Mining in Public Blockchains: A Quantitative Analysis., , and . VALUETOOLS, volume 539 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 18-32. Springer, (2023)A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues., , and . QEST, volume 12289 of Lecture Notes in Computer Science, page 144-147. Springer, (2020)Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach., , , and . Blockchain, page 436-441. IEEE, (2020)