( en | de | ru )

 

Disambiguierung von "Rossi, Sabina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Smart Contract Languages: a comparative analysis.

, , , , , , , , , , , , , und . CoRR, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Adelheid Rossi

Marcus Rossi

Gabriela Rossi

Rainer Rossi

Davide Rossi

 

Weitere Publikationen von Autoren mit dem selben Namen

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