Autor der Publikation

A Generic Model for Analyzing Security Protocols.

, , , und . MMM-ACNS, Volume 3685 von Lecture Notes in Computer Science, Seite 119-128. Springer, (2005)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Genomic Scaffold Filling Revisited., , , , , und . CPM, Volume 54 von LIPIcs, Seite 15:1-15:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)The Buffered π-Calculus: A Model for Concurrent Languages, , , und . CoRR, (2012)Filling Scaffolds with Gene Repetitions: Maximizing the Number of Adjacencies., , und . CPM, Volume 6661 von Lecture Notes in Computer Science, Seite 55-64. Springer, (2011)The Buffered π-Calculus: A Model for Concurrent Languages., , , und . LATA, Volume 7810 von Lecture Notes in Computer Science, Seite 250-261. Springer, (2013)On the Exact Block Cover Problem., , , , , und . AAIM, Volume 8546 von Lecture Notes in Computer Science, Seite 13-22. Springer, (2014)A Web Services Selection Approach Based on Personalized QoS Prediction., , und . ISPDC, Seite 199-206. IEEE Computer Society, (2011)A meta-model for large-scale software system., , und . SMC, Seite 3501-3505. IEEE, (2003)The Early and Late Congruences for Asymmetric chi!=-Calculus.. CIS, Volume 3314 von Lecture Notes in Computer Science, Seite 371-378. Springer, (2004)Choosing a heuristic and root node for edge ordering in BDD-based network reliability analysis., , , , und . Reliab. Eng. Syst. Saf., (2014)A Visual Modeling Framework of Workflow Systems Based on CCS., , und . SKG, Seite 200-207. IEEE Computer Society, (2009)