PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Scedrov, Andre"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Declarative privacy policy: finite models and attribute-based encryption.

, , , , und . IHI, Seite 323-332. ACM, (2012)

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.

Andre Leippi University of Stuttgart

Andre Heining University of Stuttgart

André Jaquemod University of Stuttgart

Dr. Andre Schmidt University of Stuttgart

Emil Andreas University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Analysis of Multi-Party Contract Signing., , und . CSFW, Seite 266-265. IEEE Computer Society, (2004)Linear logic proof games and optimization., , und . Bulletin of Symbolic Logic, 2 (3): 322-338 (1996)Some aspects of categorial semantics: sheves and glueing.. Logic Colloquium, Seite 281-302. Elsevier, (1985)A reduction-based approach towards scaling up formal analysis of internet configurations., , , , , , und . INFOCOM, Seite 637-645. IEEE, (2014)A Brief Guide to Linear Logic.. Current Trends in Theoretical Computer Science, Volume 40 von World Scientific Series in Computer Science, World Scientific, (1993)A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols., , , , , und . Foundations of Security, Protocols, and Equational Reasoning, Volume 11565 von Lecture Notes in Computer Science, Seite 192-213. Springer, (2019)Reduction-Based Formal Analysis of BGP Instances., , , , und . TACAS, Volume 7214 von Lecture Notes in Computer Science, Seite 283-298. Springer, (2012)On Lambek's Restriction in the Presence of Exponential Modalities., , und . LFCS, Volume 9537 von Lecture Notes in Computer Science, Seite 146-158. Springer, (2016)Decision Problems for Propositional Linear Logic., , , und . Ann. Pure Appl. Logic, 56 (1-3): 239-311 (1992)L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit., , und . WoLLIC, Volume 11541 von Lecture Notes in Computer Science, Seite 373-391. Springer, (2019)