( en | de | ru )

 

Disambiguierung von "Aldini, Alessandro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.

, , , und . CoRR, (2023)

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.

Robert Aldini

Alessandro Valeri

Fluorescence resonance energy transfer between multiple chromophores studied by single-molecule spectroscopy. Uni Düsseldorf, (2009)

Alessandro Zivelonghi

Alessandro Nova

Alessandro Topa

 

Weitere Publikationen von Autoren mit dem selben Namen

Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond.. QAPL@ETAPS, Volume 312 von EPTCS, Seite 1-19. (2019)Formal Modeling and Verification of Opportunity-enabled Risk Management., , , , und . TrustCom/BigDataSE/ISPA (1), Seite 676-684. IEEE, (2015)Analysis of Diagnostic Images of Artworks and Feature Extraction: Design of a Methodology., , , , , und . J. Imaging, 7 (3): 53 (2021)From belief to trust: A quantitative framework based on modal logic., und . J. Log. Comput., 32 (6): 1017-1047 (2022)Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices., , , und . Soft Comput., 25 (3): 2295-2314 (2021)Non-determinism in Probabilistic Timed Systems with General Distributions., und . MTCS, Volume 52 von Electronic Notes in Theoretical Computer Science, Seite 246-274. Elsevier, (2001)On the Tradeoff among Trust, Privacy, and Cost in Incentive-Based Networks., , , и . IFIPTM, том 430 из IFIP Advances in Information and Communication Technology, стр. 205-212. Springer, (2014)Logics to Reason Formally About Trust Computation and Manipulation., и . ETAA@ESORICS, том 11967 из Lecture Notes in Computer Science, стр. 1-15. Springer, (2019)Combining Trust and Aggregate Computing., , и . SEFM Workshops, том 10729 из Lecture Notes in Computer Science, стр. 507-522. Springer, (2017)Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior. QAPL, том 28 из EPTCS, стр. 1-15. (2010)