Samuel Pastva

Available identifiers

zbMath Open pastva.samuelMaRDI QIDQ832199

List of research outcomes

Publication	Date of Publication	Type
Accelerating parameter synthesis using semi-algebraic constraints	2024-04-19	Paper
Phenotype control of partially specified Boolean networks	2024-02-28	Paper
Digital bifurcation analysis of TCP dynamics	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
https://portal.mardi4nfdi.de/entity/Q5094123	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	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	2019-12-04	Paper
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT	2019-10-22	Paper
Detecting Attractors in Biological Models with Uncertain Parameters	2019-07-25	Paper
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems	2019-05-21	Paper
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs*	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