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.
Entropy
Lecture Notes in Computer Science
Knowledge and Information Systems
European Joint Conference on Theory and Practice of Software (ETAPS) Temporal Stream Logic modulo Theories
Proceedings on Privacy Enhancing Technologies
National Conference of the American Association for Artificial Intelligence (AAAI)
International Conference on Artificial Intelligence and Statistics (AISTATS)
Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules
ACM Transactions on Intelligent Systems and Technology FairSR: Fairness-aware Sequential Recommendation through Multi-Task Learning with Preference Graph Embeddings