( en | de | ru )

 

Disambiguierung von "Horne, Ross"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus.

, , und . Theor. Comput. Sci., (Mai 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.

Ross Horne

Janet Horne

Daniela Horné

Fritz Horne

Helen Horne

 

Weitere Publikationen von Autoren mit dem selben Namen

Constructing weak simulations from linear implications for processes with private names., und . Math. Struct. Comput. Sci., 29 (8): 1275-1308 (2019)Provably Unlinkable Smart Card-based Payments., , , und . CCS, Seite 1392-1406. ACM, (2023)Extracting Threshold Conceptual Structures from Web Documents., , und . ICCS, Volume 8577 von Lecture Notes in Computer Science, Seite 130-144. Springer, (2014)Brewer-Nash Scrutinised: Mechanised Checking of Policies Featuring Write Revocation., , , und . CSF, Seite 112-126. IEEE, (2024)The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement., , und . GraMSec@FLoC, Volume 11086 von Lecture Notes in Computer Science, Seite 90-110. Springer, (2018)A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic., , und . Log. Methods Comput. Sci., (2021)Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity., , und . ICTAC, Volume 12819 von Lecture Notes in Computer Science, Seite 235-255. Springer, (2021)Theories of life and computation: Special issue on the occasion of the 65th birthday of Professor Gabriel Ciobanu., , und . Theor. Comput. Sci., (2022)The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic.. FSCD, Volume 131 von LIPIcs, Seite 23:1-23:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Graphical Proof Theory of Logical Time., , , und . FSCD, Volume 228 von LIPIcs, Seite 22:1-22:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)