Florian Jäckle

According to our database1, Florian Jäckle authored at least 6 papers between 2018 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Neural Lower Bounds for Verification.
Proceedings of the 2023 IEEE Conference on Secure and Trustworthy Machine Learning, 2023

FastFill: Efficient Compatible Model Update.
Proceedings of the Eleventh International Conference on Learning Representations, 2023

2021
Neural Network Branch-and-Bound for Neural Network Verification.
CoRR, 2021

Generating adversarial examples with graph neural networks.
Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

2019
Risk Mitigation Capability of Flexibility Performance Contracts for demand response in electricity Systems.
Proceedings of the 27th European Conference on Information Systems, 2019

2018
On Recognising Nearly Single-Crossing Preferences.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018


  Loading...