Send email Copy Email Address

Publications

Scientific publications are the most important measure of our academic excellence and impact. In the past years, CISPA researchers have published many papers at scientific top-tier conferences and in prestigious journals. Our publications are listed in our publications database, including a link to the original paper.

Filter

Year 2022

Conference / Medium

ACM-SIAM Symposium on Discrete Algorithms (SODA)

Conference / Medium

IEEE International Conference on Cluster Computing (CLUSTER)

Conference / Medium

International Conference on Learning Representations (ICLR)

chapter

The Logic of Software. A Tasting Menu of Formal Method