Paolo Milazzo

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Lucia Nasti

> Home > Persons > Paolo Milazzo

Publications

2021
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/datamod/NastiGM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/datamod/NastiGM21
Lucia Nasti, Roberta Gori, Paolo Milazzo:
Analysis and Verification of Robustness Properties in Becker-Döring Model. DataMod 2021: 27-43
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NastiGM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NastiGM21
Lucia Nasti, Roberta Gori, Paolo Milazzo:
Formal characterization and efficient verification of a biological robustness property. FormaliSE@ICSE 2021: 13-18
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-13831
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-13831
Lucia Nasti, Roberta Gori, Paolo Milazzo:
Formal characterization and efficient verification of a biological robustness property. CoRR abs/2104.13831 (2021)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-00289
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-00289
Lucia Nasti, Roberta Gori, Paolo Milazzo, Federico Poloni:
Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity. CoRR abs/2107.00289 (2021)
2020
[j41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jmemcom/BarbutiGMN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jmemcom/BarbutiGMN20
Roberto Barbuti, Roberta Gori, Paolo Milazzo, Lucia Nasti:
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models. J. Membr. Comput. 2(3): 207-226 (2020)
2019
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/biostec/GoriMN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/biostec/GoriMN19
Roberta Gori, Paolo Milazzo, Lucia Nasti:
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks. BIOINFORMATICS 2019: 250-257
2018
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/NastiM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/NastiM18
Lucia Nasti, Paolo Milazzo:
A Hybrid Automata model of social networking addiction. J. Log. Algebraic Methods Program. 100: 215-229 (2018)
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/staf/NastiGM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/staf/NastiGM18
Lucia Nasti, Roberta Gori, Paolo Milazzo:
Formalizing a Notion of Concentration Robustness for Biochemical Networks. STAF Workshops 2018: 81-97
2017
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/NastiM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/NastiM17
Lucia Nasti, Paolo Milazzo:
A Computational Model of Internet Addiction Phenomena in Social Networks. SEFM Workshops 2017: 86-100

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.