Scholar
Julian Parsert
Google Scholar ID: 6y3DpL4AAAAJ
RPTU Kaiserslautern
Automated Reasoning
Formal Verification
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
127
H-index
6
i10-index
5
Publications
20
Co-authors
7
list available
Contact
No contact links provided.
Publications
3 items
Neuro-Symbolic Software Verification: Hyper-charging Local Language Models with Symbolic Reasoning at Scale
2026
Cited
0
Extracting Robust Register Automata from Neural Networks over Data Sequences
2025
Cited
0
One is all you need: Second-order Unification without First-order Variables
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
7 total
Cezary Kaliszyk
Professor, University of Melbourne
Elizabeth Polgreen
Lecturer, University of Edinburgh
Mirco Giacobbe
University of Birmingham
Daniel Kroening
Amazon
Yutaka Nagashima
Institute of Computer Science, the Czech Academy of Sciences
Co-author 6
Mikoláš Janota
CTU Prague
