( en | de | ru )

 

Disambiguierung von "Crafa, Silvia"

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.

Silvia Hiechinger

Die Rolle von EBF2 in der haematopoietischen Stammzellnische. Uni München, (2010)

Silvia Luttat

Silvia Budzinski

Silvia Schulz

Silvia Fach

 

Weitere Publikationen von Autoren mit dem selben Namen

PicNIc - Pi-calculus non-interference checker., , , , und . ACSD, Seite 33-38. IEEE, (2008)A Spectrum of Behavioral Relations over LTSs on Probability Distributions., und . CONCUR, Volume 6901 von Lecture Notes in Computer Science, Seite 124-139. Springer, (2011)Programming Legal Contracts - A Beginners Guide to Stipula., und . The Logic of Software. A Tasting Menu of Formal Methods, Volume 13360 von Lecture Notes in Computer Science, Seite 129-146. Springer, (2022)Communication Interference in Mobile Boxed Ambients., , , und . FSTTCS, Volume 2556 von Lecture Notes in Computer Science, Seite 71-84. Springer, (2002)A Logic for True Concurrency., und . CONCUR, Volume 6269 von Lecture Notes in Computer Science, Seite 147-161. Springer, (2010)Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation., und . ICALP (2), Volume 6756 von Lecture Notes in Computer Science, Seite 295-306. Springer, (2011)A quarter of a century of CONCUR - Report on the 2014 and 2015 editions of the Conference on Concurrency Theory., und . Bull. EATCS, (2016)Smart Contract Languages: a comparative analysis., , , , , , , , , und 4 andere Autor(en). CoRR, (2024)Secrecy in Untrusted Networks., , , und . ICALP, Volume 2719 von Lecture Notes in Computer Science, Seite 969-983. Springer, (2003)Proof search in a context-sensitive logic for molecular biology., und . J. Log. Comput., 28 (7): 1565-1600 (2018)