{"id":13,"date":"2018-11-18T15:53:38","date_gmt":"2018-11-18T15:53:38","guid":{"rendered":"http:\/\/pages.di.unipi.it\/nasti\/?page_id=13"},"modified":"2021-04-13T08:28:30","modified_gmt":"2021-04-13T08:28:30","slug":"publications","status":"publish","type":"page","link":"https:\/\/pages.di.unipi.it\/nasti\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"<h3>Papers:<\/h3>\n<ul>\n<li style=\"list-style-type: none\">\n<ul>\n<li><strong>Nasti L., <\/strong>Gori R., Milazzo P., <em>Formal characterization and efficient verification of a biological robustness property.<\/em> Accepted to FormaliSE 2021.<\/li>\n<li><strong>Nasti L., <\/strong>Michienzi A., Guidi B., <em>Discovering the impact of notifications on social network addiction.<\/em> DataMod 2020<i>, <\/i>Springer International Publishing, 2021.<\/li>\n<li>Barbuti R., Gori R., Milazzo P., <strong>Nasti L.<\/strong>, <em>A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models.<\/em>\u00a0Journal of Membrane Computing (2020): 1-20. &#8211; <strong><a href=\"https:\/\/doi.org\/10.1007\/s41965-020-00046-y\">DOI<\/a> <\/strong><\/li>\n<li><strong>Nasti L.<\/strong>, <em>Verification of robustness property in chemical reaction networks<\/em>, PhD Thesis, University of Pisa (2020) &#8211; <strong><a href=\"https:\/\/pages.di.unipi.it\/nasti\/wp-content\/uploads\/sites\/24\/2020\/03\/thesis_Nasti_stampa.pdf\">PDF<\/a> \u2022 <a href=\"https:\/\/pages.di.unipi.it\/nasti\/wp-content\/uploads\/sites\/24\/2020\/06\/PhD-presentation.pdf\">Slides<\/a><\/strong><\/li>\n<li>Gori R., Milazzo P., and <strong>Nasti L.<\/strong>, <em>Towards an Efficient Veri\ufb01cation Method for Monotonicity Properties of Chemical Reaction Networks<\/em>. 10th International conference on bioinformatics models, methods and algorithms (BIOINFORMATICS 2019). 2019.\u00a0 &#8211; <strong><a href=\"http:\/\/10.5220\/0007522002500257\">DOI<\/a> \u2022 <a href=\"https:\/\/pages.di.unipi.it\/nasti\/wp-content\/uploads\/sites\/24\/2020\/06\/Presentation_BIOSTEC19.pdf\">Slides<\/a><\/strong><\/li>\n<li><strong>Nasti L.<\/strong>, Gori R., and Milazzo P., <em>Formalizing a Notion of Concentration Robustness for Biochemical Networks<\/em>. Federation of International Conferences on Software Technologies: Applications and Foundations. Springer, Cham, 2018. &#8211; <strong><a href=\"http:\/\/10.1007\/978-3-030-04771-9_8\">DOI<\/a> \u2022 <a href=\"https:\/\/pages.di.unipi.it\/nasti\/wp-content\/uploads\/sites\/24\/2020\/06\/Datamod2018.pdf\">Slides<\/a><\/strong><\/li>\n<li><strong>Nasti L<\/strong>. and Milazzo P., <em>A computational model of internet addiction phenomena in social networks<\/em>. International Conference on Software Engineering and Formal Methods, 86-100. &#8211; <strong><a href=\"http:\/\/10.1007\/978-3-319-74781-1_7\">DOI<\/a> \u2022 <a href=\"https:\/\/pages.di.unipi.it\/nasti\/wp-content\/uploads\/sites\/24\/2020\/06\/DataMod2017.pdf\">Slides<\/a><\/strong><\/li>\n<li><strong>Nasti L.<\/strong> and Milazzo P., <em>A Hybrid Automata model of social networking addiction<\/em>. Journal of Logical and Algebraic Methods in Programming. Volume 100, November 2018, Pages 215-229. &#8211; <strong><a href=\"https:\/\/doi.org\/10.1016\/j.jlamp.2018.07.002\">DOI<\/a><\/strong><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<h3>Talks:<\/h3>\n<ul>\n<li><strong>Verification of robustness in Chemical Reaction Networks &#8211; <a href=\"https:\/\/pages.di.unipi.it\/nasti\/wp-content\/uploads\/sites\/24\/2020\/10\/PhD-presentation.pdf\">Slides<\/a><\/strong><br \/>\n<a href=\"http:\/\/phdevent.di.unipi.it\/\">PhD event<\/a>, <a href=\"https:\/\/di.unipi.it\/en\" target=\"_blank\" rel=\"noopener noreferrer\">University of Pisa<\/a>, December 2019<\/li>\n<li><strong>Robustness and monotonicity in biological systems<\/strong> <strong>&#8211; <a href=\"https:\/\/pages.di.unipi.it\/nasti\/wp-content\/uploads\/sites\/24\/2020\/06\/ElbePostdoc-Presentazione.pdf\">Slides<\/a><\/strong><br \/>\n<em>Invited speaker<\/em> at <a href=\"https:\/\/www.csbdresden.de\/join-us\/as-a-postdoc\/\">ELBE Postdoc Symposium<\/a>, Dresden, November 2019<\/li>\n<li><strong>The Internet addiction: a metric comparison on graphs<\/strong>\u00a0<strong>&#8211; <a href=\"https:\/\/pages.di.unipi.it\/nasti\/wp-content\/uploads\/sites\/24\/2020\/06\/GraphiMining_Presentation.pdf\">Slides<\/a><\/strong><br \/>\n<a style=\"font-size: inherit\" href=\"https:\/\/di.unipi.it\/en\" target=\"_blank\" rel=\"noopener noreferrer\">Department of Computer Science, University of Pisa<\/a>, <span style=\"font-size: inherit\">December 2018\u00a0<\/span><\/li>\n<li><strong>The Internet addiction<\/strong> <strong>&#8211; <a href=\"https:\/\/pages.di.unipi.it\/nasti\/wp-content\/uploads\/sites\/24\/2020\/06\/Kuriltai.pdf\">Slides<\/a><\/strong><br \/>\n<a href=\"http:\/\/kuriltai.altervista.org\/2017\/partecipanti.php\">Kuriltai Seminar<\/a>, <a href=\"https:\/\/di.unipi.it\/en\" target=\"_blank\" rel=\"noopener noreferrer\">University of Pisa <\/a>June 2017<\/li>\n<li><strong>Modelling and Simulation of Dopaminergic System<\/strong> <strong>&#8211; <a href=\"https:\/\/pages.di.unipi.it\/nasti\/wp-content\/uploads\/sites\/24\/2020\/06\/NastiPresentation-Mauriana-Pesaresi-Seminar.pdf\">Slides<\/a><\/strong><br \/>\nMauriana Pesaresi Seminar, <a href=\"https:\/\/di.unipi.it\/en\" target=\"_blank\" rel=\"noopener noreferrer\">Department of Computer Science, University of Pisa<\/a>, March 2017<\/li>\n<\/ul>\n<h3>Workshop and events:<\/h3>\n<ul>\n<li><strong>Organizer<\/strong> of the Second <a href=\"http:\/\/phdevent.di.unipi.it\/\">PhD event<\/a> Event in Computer Science at the University of Pisa. Pisa, 6 December 2019.<\/li>\n<li><strong>Organizer<\/strong> of the First <a href=\"http:\/\/phdevent.di.unipi.it\/\">PhD event<\/a> Event in Computer Science at the University of Pisa. Pisa, 1 February 2019.<\/li>\n<li><strong>Organizer<\/strong> of the First Informal Workshop on <a href=\"http:\/\/pages.di.unipi.it\/datamod\/wda-2018\/\">DataMod Approaches to Systems Analysis<\/a> (WDA 2018). Pisa, 1-2 March 2018.<\/li>\n<\/ul>\n<h3>Other activities:<\/h3>\n<ul>\n<li><strong>Pc member<\/strong> of\u00a0 <a href=\"http:\/\/www.grc.upv.es\/goodit2021\/\">GoodIT 2021<\/a><\/li>\n<li><strong>Social Media Chair<\/strong> of\u00a0 <a href=\"https:\/\/www.formalise.org\/\">FormaliSE 2021<\/a> @ <a href=\"https:\/\/conf.researchr.org\/home\/icse-2021\">ICSE<\/a><\/li>\n<li><strong>Pc member<\/strong> of\u00a0 <a href=\"https:\/\/datamod2020.github.io\/\">DataMod 2020<\/a> @ <a href=\"https:\/\/www.cikm2020.org\/\">CIKM 2020<\/a><\/li>\n<li><b>Reviewer <\/b>for <a href=\"https:\/\/goodtechs.eai-conferences.org\/2020\/\">EAI GOODTECHS 2020<\/a><\/li>\n<\/ul>\n<h3>Awards:<\/h3>\n<ul>\n<li class=\"li1\"><span class=\"s2\">The journal paper <i>A Hybrid Automata model of social networking addiction<\/i> was<a href=\"https:\/\/www.sciencedirect.com\/journal\/journal-of-logical-and-algebraic-methods-in-programming\/special-issue\/102QV4JRQZF\"> selected by the Editorial Board<\/a> as <strong>Top paper<\/strong>. (December 2019)<\/span><\/li>\n<li class=\"li1\"><span class=\"s2\">Pegaso Doctorate Scholarship &#8211; Scholarship funding PhD studies (October 2016)<\/span><\/li>\n<li class=\"li1\"><span class=\"s2\">Erasmus Scholarship (January 2016)<\/span><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Papers: Nasti L., Gori R., Milazzo P., Formal characterization and efficient verification of a biological robustness property. Accepted to FormaliSE 2021. Nasti L., Michienzi A., Guidi B., Discovering the impact of notifications on social network addiction. DataMod 2020, Springer International Publishing, 2021. Barbuti R., Gori R., Milazzo P., Nasti L., A survey of gene regulatory [&hellip;]<\/p>\n","protected":false},"author":138,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-13","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/pages.di.unipi.it\/nasti\/wp-json\/wp\/v2\/pages\/13","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pages.di.unipi.it\/nasti\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/pages.di.unipi.it\/nasti\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/pages.di.unipi.it\/nasti\/wp-json\/wp\/v2\/users\/138"}],"replies":[{"embeddable":true,"href":"https:\/\/pages.di.unipi.it\/nasti\/wp-json\/wp\/v2\/comments?post=13"}],"version-history":[{"count":34,"href":"https:\/\/pages.di.unipi.it\/nasti\/wp-json\/wp\/v2\/pages\/13\/revisions"}],"predecessor-version":[{"id":166,"href":"https:\/\/pages.di.unipi.it\/nasti\/wp-json\/wp\/v2\/pages\/13\/revisions\/166"}],"wp:attachment":[{"href":"https:\/\/pages.di.unipi.it\/nasti\/wp-json\/wp\/v2\/media?parent=13"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}