PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Küsters, Ralf"

Author of the publication

copydeleteadd this publication to your clipboard
An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System.

, , and . CoRR, (2014)

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. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. rer. nat. Ralf Küsters University of Stuttgart

Ralf Sauerwald University of Stuttgart

Ralf Rettich University of Stuttgart

Dr. Ralf Klemt University of Stuttgart

Dr. Ralf Finger University of Stuttgart

 

Other publications of authors with the same name

Approximating most specific concepts in description logics with existential restrictions., and . AI Commun., 15 (1): 47-59 (2002)Characterizing the semantics of terminological cycles with the help of finite automata.. Description Logics, volume 410 of URA-CNRS, (1997)Extensions to Description Logics., , and . Description Logic Handbook, page 219-261. Cambridge University Press, (2003)A Formal Definition of Online Abuse-Freeness., , and . SecureComm, volume 50 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 484-497. Springer, (2010)Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation., and . IACR Cryptology ePrint Archive, (2008)On the Relationships Between Notions of Simulation-Based Security., , , and . IACR Cryptology ePrint Archive, (2006)Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking., , and . IACR Cryptology ePrint Archive, (2014)Approximating Most Specific Concepts in Description Logics with Existential Restrictions., and . KI/ÖGAI, volume 2174 of Lecture Notes in Computer Science, page 33-47. Springer, (2001)A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols., , and . ESORICS, volume 4734 of Lecture Notes in Computer Science, page 422-437. Springer, (2007)Computing Least Common Subsumers in Description Logics with Existential Restrictions., , and . IJCAI, page 96-103. Morgan Kaufmann, (1999)