Fabian Kresse
Scholar

Fabian Kresse

Google Scholar ID: -uMbSH0AAAAJ
Institute of Science and Technology Austria (ISTA)
Machine LearningFormal VerificationLogic Gate Networks
Google Scholar↗
Citations & Impact
All-time
Citations
3
 
H-index
1
 
i10-index
0
 
Publications
5
 
Co-authors
5
list available
Contact
No contact links provided.
Publications
5 items
Differentiable Weightless Controllers: Learning Logic Circuits for Continuous Control
2025
Cited
0
Learning Quantized Continuous Controllers for Integer Hardware
2025
Cited
0
Lightweight CNNs for Embedded SAR Ship Target Detection and Classification
2025
Cited
0
Scalable Interconnect Learning in Boolean Networks
2025
Cited
0
Logic Gate Neural Networks are Good for Verification
2025
Cited
0
Resume (English only)
Co-authors
5 total
Emily Yu
Emily Yu
Assistant Professor, Leiden University
Thomas Henzinger
Thomas Henzinger
IST Austria
Kaushik Mallik
Kaushik Mallik
IMDEA Software Institute
Djordje Zikelic
Djordje Zikelic
Singapore Management University
Christoph H. Lampert
Christoph H. Lampert
Institute of Science and Technology Austria (ISTA)