Alle PubliKationen
Das wichtigste Messinstrument für unsere wissenschaftliche Exzellenz und unseren Impact sind wissenschaftliche Publikationen. In den vergangenen Jahren haben CISPA-WissenschaftlerInnen Papiere auf wissenschaftlichen Konferenzen – die meisten davon auf den Top-Konferenzen – und Artikel in angesehenen Zeitschriften veröffentlicht. In unserer Publikationsdatenbank sind die Publikationen ab dem Jahr 2011 aufgeführt und jeweils direkt mit dem Originalpapier verlinkt.
NASA Formal Methods Symposium (NFM)
International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
IEEE/ACM Transactions on Networking
IEEE International Conference on Communications (ICC)
IEEE Transactions on Pattern Analysis and Machine Intelligence
Logical Methods in Computer Science
Usenix Security Symposium (USENIX-Security)
IEEE Symposium on Security and Privacy (S&P)