Samuel Pastva
Orcid: 0000-0003-1993-0331
According to our database1,
Samuel Pastva
authored at least 39 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
1
4
4
1
3
1
2
2
1
3
3
5
3
4
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Computational Methods in Systems Biology, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Bioinform., April, 2023
Biosyst., March, 2023
Biosyst., January, 2023
Bioinform., 2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
Proceedings of the Computational Methods in Systems Biology, 2023
2022
Bioinform., October, 2022
Log. Methods Comput. Sci., 2022
Proceedings of the Computational Methods in Systems Biology, 2022
2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the Computational Methods in Systems Biology, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Int. J. Bifurc. Chaos, 2020
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany, 2020
Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.
Proceedings of the Computational Methods in Systems Biology, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
Proceedings of the Formal Methods and Software Engineering, 2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Proceedings of the Computational Methods in Systems Biology, 2019
2018
Fundam. Informaticae, 2018
2017
Proceedings of the Computational Methods in Systems Biology, 2017
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017
2016
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016
Proceedings of the FM 2016: Formal Methods, 2016
Proceedings of the Computational Methods in Systems Biology, 2016
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2016
2015
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015
Proceedings of the Computational Methods in Systems Biology, 2015