Scholar
Samuel Pastva
Google Scholar ID: Gv2OsMgAAAAJ
Assistant Professor, Faculty of Informatics, Masaryk University
boolean networks
automated reasoning
systems biology
formal methods
Follow
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 2
Co-author 3
Co-author 4
Jiri Srba
Professor of Computer Science, Aalborg University
Co-author 6
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up