Samuel Pastva
Scholar

Samuel Pastva

Google Scholar ID: Gv2OsMgAAAAJ
Assistant Professor, Faculty of Informatics, Masaryk University
boolean networksautomated reasoningsystems biologyformal methods
Google Scholar↗
Citations & Impact
All-time
Citations
400
 
H-index
12
 
i10-index
13
 
Publications
20
 
Co-authors
6
list available
Contact
No contact links provided.
Publications
3 items
SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
2026
Cited
0
Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
2025
Cited
0
On the number of asynchronous attractors in AND-NOT Boolean networks
2025
Cited
0
Resume (English only)
Co-authors
6 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Jiri Srba
Jiri Srba
Professor of Computer Science, Aalborg University
Co-author 6
Co-author 6