( en | de | ru )

 

Disambiguation of "Pastva, Samuel"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.

, , , , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 353-369. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Samuel Taddese

Samuel Sossalla

Samuel Buttenwieser

Samuel Glasscheib

Samuel Cydulka

 

Other publications of authors with the same name

Toward Model Selection by Formal Methods., and . SASB, volume 350 of Electronic Notes in Theoretical Computer Science, page 57-71. Elsevier, (2020)High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems., , , and . HSB, volume 9271 of Lecture Notes in Computer Science, page 58-74. Springer, (2015)Phenotype Control of Partially Specified Boolean Networks., , , , and . CMSB, volume 14137 of Lecture Notes in Computer Science, page 18-35. Springer, (2023)Accelerating Parameter Synthesis Using Semi-algebraic Constraints., , , , and . IFM, volume 11918 of Lecture Notes in Computer Science, page 27-45. Springer, (2019)Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation., , , , , , , , , and 1 other author(s). Petri Nets, volume 10258 of Lecture Notes in Computer Science, page 139-158. Springer, (2017)A Distributed Fixed-Point Algorithm for Extended Dependency Graphs., , , , , , , , , and 2 other author(s). Fundam. Informaticae, 161 (4): 351-381 (2018)AEON.py: Python library for attractor analysis in asynchronous Boolean networks., , , , , and . Bioinform., 38 (21): 4978-4980 (October 2022)Parallel parameter synthesis algorithm for hybrid CTL., , , and . Sci. Comput. Program., (2020)Computing Bottom SCCs Symbolically Using Transition Guided Reduction., , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 505-528. Springer, (2021)Binary Decision Diagrams on Modern Hardware., and . FMCAD, page 122-131. IEEE, (2023)