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.
International Conference on Learning Representations (ICLR)
EControl: Fast Distributed Optimization with Compression and Error Control.
International Conference on Learning Representations (ICLR)
An improved analysis of per-sample and per-update clipping in federated learning
International Conference on Learning Representations (ICLR)
Conformal inductive graph neural networks
International Conference on Autonomous Agents and Multiagent Systems (AAMAS)
Hyper Strategy Logic
International Conference on Autonomous Agents and Multiagent Systems (AAMAS)
Monitoring Second-Order Hyperproperties
ACM Transactions on Information and System Security Security Analysis of the Consumer Remote SIM Provisioning Protocol
International Conference on Artificial Intelligence and Statistics (AISTATS)
Identifying Confounding from Causal Mechanism Shifts.
International Conference on Artificial Intelligence and Statistics (AISTATS)
Looping in the Human: Collaborative and Explainable Bayesian Optimization.
The 27th International Conference on Artificial Intelligence and Statistics
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation