Samuel Pastva

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Accelerating parameter synthesis using semi-algebraic constraints	2024-04-19	Paper
Phenotype control of partially specified Boolean networks Computational Methods in Systems Biology	2024-02-28	Paper
Digital bifurcation analysis of TCP dynamics Tools and Algorithms for the Construction and Analysis of Systems	2023-11-24	Paper
Variable stabilisation in Boolean monotonic model pools	2023-01-18	Paper
Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications	2022-12-22	Paper
scientific article; zbMATH DE number 7566051 (Why is no real title available?) (available as arXiv preprint)	2022-08-02	Paper
scientific article; zbMATH DE number 7566051 (Why is no real title available?)	2022-08-02	Paper
Aeon 2021: bifurcation decision trees in Boolean networks	2022-05-25	Paper
Computing bottom SCCs symbolically using transition guided reduction	2022-03-25	Paper
Symbolic coloured SCC decomposition	2021-10-18	Paper
Toward model selection by formal methods	2021-02-22	Paper
AEON: attractor bifurcation analysis of parametrised Boolean networks	2021-02-04	Paper
Digital bifurcation analysis of Internet congestion control protocols International Journal of Bifurcation and Chaos in Applied Sciences and Engineering	2020-12-03	Paper
A model checking approach to discrete bifurcation analysis	2020-01-03	Paper
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways Hybrid Systems Biology	2019-12-04	Paper
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	2019-10-22	Paper
Detecting attractors in biological models with uncertain parameters Computational Methods in Systems Biology	2019-07-25	Paper
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems Hybrid Systems Biology	2019-05-21	Paper
A distributed fixed-point algorithm for extended dependency graphs Fundamenta Informaticae	2018-10-02	Paper
Extended dependency graphs and efficient distributed fixed-point computation	2018-08-20	Paper

Research outcomes over time

This page was built for person: Samuel Pastva