Julian Siber
Scholar

Julian Siber

Google Scholar ID: -o-djgkAAAAJ
CISPA Helmholtz Center for Information Security
Formal MethodsCausalityExplainabilityAlgorithmic Fairness
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
157
 
H-index
6
 
i10-index
6
 
Publications
13
 
Co-authors
16
list available
Contact
No contact links provided.
Publications
6 items
Explainability Requirements as Hyperproperties
2025
Cited
0
An Information-Flow Perspective on Explainability Requirements: Specification and Verification
2025
Cited
0
Closure and Complexity of Temporal Causality
2025
Cited
0
Stream-Based Monitoring of Algorithmic Fairness
2025
Cited
0
Counterfactual Explanations for MITL Violations
Foundations of Software Technology and Theoretical Computer Science · 2024
Cited
0
Synthesis of Temporal Causality
International Conference on Computer Aided Verification · 2024
Cited
1
Resume (English only)
Academic Achievements
  • Published papers at top-tier conferences including CAV, LICS, NeurIPS, TACAS, KR, FSTTCS, ATVA, and LPAR
  • NeurIPS 2024 Spotlight Paper: "Learning Better Representations from Less Data for Propositional Satisfiability"
  • TACAS 2025 Distinguished Artifact Award: "Stream-Based Monitoring of Algorithmic Fairness"
  • Frequent collaborations with Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, etc., focusing on causality and formal verification
  • Journal publication in Acta Informatica (2025): "Explainability Requirements as Hyperproperties"
Co-authors
16 total
Bernd Finkbeiner
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
Niklas Metzger
Niklas Metzger
CISPA Helmholtz Center for Information Security
Christopher Hahn
Christopher Hahn
Google DeepMind
Co-author 4
Co-author 4
Hadar Frenkel
Hadar Frenkel
Bar Ilan University
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Christel Baier
Christel Baier
TU Dresden