TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 6.

Basin, David ; Caronni, Germano ; Ereth, Sarah ; Harvan, Matus ; Klaedtke, Felix ; Mantel, Heiko :
Scalable Offline Monitoring.
In: Proceedings of the 14th International Conference on Runtime Verification (RV), Heidelberg, Germany. Springer , Heidelberg, Germany
[ Konferenzveröffentlichung] , (2014)

Backes, Michael ; Basin, David ; Waidner, Michael :
Preface.
In: Journal of Computer Security, 15 (6) S. 561.
[Artikel] , (2007)

Sprenger, Christoph ; Backes, Michael ; Basin, David ; Pfitzmann, Birgit ; Waidner, Michael :
Cryptographically Sound Theorem Proving.
IEEE Computer Security Foundations Workshop (CSFW) IEEE Computer Society Press
[ Konferenzveröffentlichung] , (2006)

Atluri, Vijayalakshmi ; Backes, Michael ; Basin, David ; Waidner, Michael :
Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004.
FMSE ACM
[ Konferenzveröffentlichung] , (2004)

Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip
Basin, David ; D'Agostino, Marcello ; Gabbay, Dov ; Matthews, Seán ; Viganò, Luca (eds.) :

The SAT Problem of Signed CNF Formulas.
In: Labelled Deduction. Applied Logic Series, 17. Kluwer, Dordrecht , 61--82. ISBN 0-7923-6237-3
[Buchkapitel] , (2000)

Basin, David ; Fronhöfer, Bertram ; Hähnle, Reiner ; Posegga, Joachim ; Schwind, Camilla (eds.) :
2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille/France.
Basin, David ; Fronhöfer, Bertram ; Hähnle, Reiner ; Posegga, Joachim ; Schwind, Camilla (eds.), Max-Planck-Institut für Informatik, Saarbrücken, {MPI}-Report
[ Konferenzveröffentlichung] , (1993)

Diese Liste wurde am Sat Mar 23 03:54:32 2019 CET generiert.