Publications
Scientific Publications are the most important measure of our scientific excellence and impact. In the past years, CISPA researchers have published many papers at scientific conferences – most of which were in top-tier conferences – and articles in prestigious journals. The publications from 2011 onwards are listed in our publications database, including a direct link to the original paper.
International Conference on Machine Learning (ICML)
International Conference on Network and Service Management (CNSM)
IEEE Visualization Conference (VIS)
IEEE/ACM International Symposium on Microarchitecture (MICRO)
Proceedings of the ACM on Programming Languages
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Automated Technology for Verification and Analysis