Pedro T. Monteiro

.- Boolean and Qualitative Networks.- Source-Target Control of Boolean Networks with Minimal Edge Perturbations..- Modulation-Reaction Networks..- Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT..- pyModRev: a Python Tool for Model Revision of Boolean Networks..- Rule-Based and Stochastic Models.- Statistical model checking for rule-based models in the Kappa language..- Efficient Stochastic Trace Generation for Transcriptio..- Mamdani-Driven Fuzzy Reaction Systems..- Incremental KaSa: Static Analysis of Kappa Models at Edit Time..- Constraint-Based Modeling...