Jan Jakubuv
Scholar

Jan Jakubuv

Google Scholar ID: -9PelKYAAAAJ
Czech Technical University in Prague, CIIRC
Automated reasoningAutomated planningDistributed computingProcess calculiMultiagent systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
618
 
H-index
13
 
i10-index
15
 
Publications
20
 
Co-authors
10
list available
Contact
CVOpen ↗
Publications
2 items
First Experiments with Neural cvc5
Logic Programming and Automated Reasoning · 2025
Cited
3
Automated Strategy Invention for Confluence of Term Rewrite Systems
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
10 total
Josef Urban
Josef Urban
Distinguished Researcher at Czech Technical University in Prague
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Cezary Kaliszyk
Cezary Kaliszyk
Professor, University of Melbourne
Martin Suda
Martin Suda
Czech Technical University in Prague
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8