Paolo Milazzo
Orcid: 0000-0002-7309-6424Affiliations:
- University of Pisa, Italy
According to our database1,
Paolo Milazzo
authored at least 98 papers
between 2005 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on di.unipi.it
On csauthors.net:
Bibliography
2023
Exploiting the structure of biochemical pathways to investigate dynamical properties with neural networks for graphs.
Bioinform., October, 2023
Neural Comput. Appl., March, 2023
IoT based dynamic Bayesian prediction of crop evapotranspiration in soilless cultivations.
Comput. Electron. Agric., February, 2023
2021
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation.
Theor. Comput. Sci., 2021
Soft Comput., 2021
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks.
Fundam. Informaticae, 2021
Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity.
CoRR, 2021
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems.
Proceedings of the Theory and Practice of Natural Computing, 2021
Formal characterization and efficient verification of a biological robustness property.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021
Proceedings of the From Data to Models and Back, 2021
2020
Bayesian Sigmoid-Type Time Series Forecasting with Missing Data for Greenhouse Crops.
Sensors, 2020
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models.
J. Membr. Comput., 2020
Comput. Electron. Agric., 2020
Proceedings of the 28th European Symposium on Artificial Neural Networks, 2020
Proceedings of the From Data to Models and Back - 9th International Symposium, 2020
Proceedings of the Biomedical Engineering Systems and Technologies, 2020
Prediction of Dynamical Properties of Biochemical Pathways with Graph Neural Networks.
Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2020), 2020
2019
Objective/MC: A high-level model checking language - Formalization of the imperative core and translation into PRISM.
J. Intell. Inf. Syst., 2019
Innov. Syst. Softw. Eng., 2019
Fundam. Informaticae, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks.
Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), 2019
2018
J. Log. Algebraic Methods Program., 2018
Generalized contexts for reaction systems: definition and study of dynamic causalities.
Acta Informatica, 2018
Proceedings of the Theory and Practice of Natural Computing - 7th International Conference, 2018
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018
Proceedings of the 27th International Workshop on Concurrency, 2018
Proceedings of the 27th International Workshop on Concurrency, 2018
2017
Proceedings of the Software Engineering and Formal Methods, 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Proceedings of the Membrane Computing, 2017
2016
Fundam. Informaticae, 2016
Proceedings of the Software Technologies: Applications and Foundations, 2016
Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems.
Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016
2015
Theor. Comput. Sci., 2015
Proceedings of the Software Engineering and Formal Methods, 2015
Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates.
Proceedings of the Software Engineering and Formal Methods, 2015
Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design.
Proceedings of the 4th IEEE/ACM International Workshop on Games and Software Engineering, 2015
2014
Compositional semantics and behavioural equivalences for reaction systems with restriction.
Theor. Comput. Sci., 2014
Identification of components in biochemical pathways: extensive application to SBML models.
Nat. Comput., 2014
A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer.
Proceedings of the Software Engineering and Formal Methods, 2014
Proceedings of the Computing with New Resources, 2014
2013
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013
Sci. Ann. Comput. Sci., 2013
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models.
Proceedings of the Proceedings Wivace 2013, 2013
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations.
Proceedings of the Software Engineering and Formal Methods, 2013
Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013
2012
Theor. Comput. Sci., 2012
Foundational aspects of multiscale modeling of biological systems with process algebras.
Theor. Comput. Sci., 2012
Fundam. Informaticae, 2012
Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012
2011
Trans. Comp. Sys. Biology, 2011
Int. J. Found. Comput. Sci., 2011
Fundam. Informaticae, 2011
2010
J. Log. Algebraic Methods Program., 2010
A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday.
Fundam. Informaticae, 2010
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security.
Fundam. Informaticae, 2010
Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010
Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010
Dynamic Sync-Programs for Modular Verification of Biological Systems.
Proceedings of the Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23, 2010
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings.
Proceedings of the Membrane Computing, 2010
2009
Theor. Comput. Sci., 2009
Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009
Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+.
Proceedings of the Perspectives of Systems Informatics, 2009
2008
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways.
Trans. Comp. Sys. Biology, 2008
Theor. Comput. Sci., 2008
Sci. Comput. Program., 2008
A P Systems Flat Form Preserving Step-by-step Behaviour.
Fundam. Informaticae, 2008
Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008
Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008
Proceedings of the Formal Methods for Computational Systems Biology, 2008
2007
Proceedings of the First Workshop "From Biology To Concurrency and back", 2007
Proceedings of the Membrane Computing, 8th International Workshop, 2007
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level.
Proceedings of the Bioinformatics Research and Applications, Third International Symposium, 2007
2006
Fundam. Informaticae, 2006
Proceedings of the Theoretical Aspects of Computing, 2006
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006
2005
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005