( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Monitoring the Internet Computer.

, , , , , , и . FM, том 14000 из Lecture Notes in Computer Science, стр. 383-402. Springer, (2023)

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.

Stesia Basina

Sobha Rani Basineni

Christiane Basiner

lin A David

David A Traill

 

Другие публикации лиц с тем же именем

Information-Flow Control for Database-Backed Applications., , , , и . EuroS&P, стр. 79-94. IEEE, (2019)Refining Authenticated Key Agreement with Strong Adversaries., , и . EuroS&P, стр. 92-107. IEEE, (2017)FAST: An Efficient Decision Procedure for Deduction and Static Equivalence., , и . RTA, том 10 из LIPIcs, стр. 11-20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)IsaWhelk Interpreted in Isabelle.. ICLP, стр. 741. MIT Press, (1994)A Proof of Concept Implementation of SSL/TLS Session-Aware User Authentication (TLS-SA)., , , , и . KiVS, стр. 225-236. Springer, (2007)Constructing Mid-Points for Two-Party Asynchronous Protocols., , и . OPODIS, том 7109 из Lecture Notes in Computer Science, стр. 481-496. Springer, (2011)Efficient Evaluation of Arbitrary Relational Calculus Queries., , , и . CoRR, (2022)A Calculus for and Termination of Rippling., и . J. Autom. Reason., 16 (1-2): 147-180 (1996)Scalable Online Monitoring of Distributed Systems., , , и . RV, том 12399 из Lecture Notes in Computer Science, стр. 197-220. Springer, (2020)Multi-head Monitoring of Metric Dynamic Logic., , и . ATVA, том 12302 из Lecture Notes in Computer Science, стр. 233-250. Springer, (2020)