@article {261,
	title = {Systemic liquidity contagion in the European interbank market},
	journal = {Journal of Economic Interaction and Coordination},
	year = {2021},
	keywords = {Epidemic model, European Interbank market, Financial contagion, Liquidity shocks},
	doi = {https://doi.org/10.1007/s11403-021-00338-1},
	author = {V. Macchiati and G. Brandi and T. Di Matteo and D. Paolotti and G. Caldarelli and G. Cimini}
}
@article {271,
	title = {Drivers of change in biodiversity and ecosystem services in the Cantareira System Protected Area : A prospective analysis of the implementation of public policies},
	journal = {Biota Neotropica},
	volume = {20},
	year = {2020},
	month = {05/2020},
	type = {Article},
	abstract = {The lack of implementation of well-designed public policies aimed at the conservation of natural ecosystems has resulted, at a global level, in the decline of ecosystem functioning and, consequently, of the contributions they make to people. The poor enforcement of important environmental legislation in Brazil - for instance, the {\textquotedblleft}Atlantic Forest Law{\textquotedblright} (Law n.11.428/2006) and the {\textquotedblleft}Forest Code{\textquotedblright} (Law n.12.651/2012) - could compromise the overall maintenance of ecosystems and the services they provide. To explore the implications of different levels of federal laws{\textquoteright} enforcement within the Cantareira System Protected Area (PA) - a PA in southeastern Brazil that provides fresh water for 47\% of the Sao Paulo Metropolitan Area -, we developed a conceptual framework to identify indirect and direct drives of biodiversity and ecosystem changes. We also projected four land-use scenarios to 2050 to test the effects of deforestation control and forest restoration practices on biodiversity and ecosystem services maintenance: the {\textquotedblleft}business-as-usual{\textquotedblright} scenario (BAU), which assumes that all trends in land-use cover changes observed in the past will continue in the future, and three alternative exploratory scenarios considering the Atlantic Forest Law implementation, the partial implementation of the Forest Code and the full implementation of the Forest Code. Using the land-use maps generated for each scenario, we assessed the impacts of land-use changes on biodiversity conservation and soil retention. Our results revealed all alternative scenarios could increase biodiversity conservation (by 7\%; 12\%; and 12\%, respectively), reduce soil loss (by 24.70\%; 34.70\%; and 38.12\%, respectively) and sediment exportation to water (by 27.47\%; 55.06\%; and 59.28\%, respectively), when compared to the BAU scenario. Our findings highlight the importance of restoring and conserving native vegetation for the maintenance and improvement of biodiversity conservation and for the provision of ecosystem services.},
	keywords = {Biodiversity, Cantareira System Protected Area, Ecosystem services, GLOBIO, InVEST, Modeling, Scenarios},
	issn = {1676-0611},
	doi = {https://doi.org/10.1590/1676-0611-bn-2019-0915 },
	url = {https://www.scielo.br/scielo.php?script=sci_arttext\&pid=S1676-06032020000500201},
	author = {Viviane Dib and Marco Aur{\'e}lio Nalon and Nino Tavares Amazonas and Cristina Yuri Vidal and Iv{\'a}n A. Ortiz-Rodr{\'\i}guez and Jan Dan{\v e}k and Ma{\'\i}ra Formis de Oliveira and Paola Alberti and Rafaela Aparecida da Silva and Ra{\'\i}za Salom{\~a}o Precinoto and Taciana Figueiredo Gomes}
}
@article {262,
	title = {Network Sensitivity of Systemic Risk},
	journal = {Journal of Network Theory in Finance},
	year = {2019},
	doi = {https://doi.org/10.21314/JNTF.2019.056},
	author = {D. Di Gangi and D. R. Lo Sardo and V. Macchiati and T. P. Minh and F. Pinotti and A. Ramadiah and M. Wilinski and P. Barucca and G. Cimini}
}
@conference {257,
	title = {Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning},
	booktitle = {28th International Conference on Automated Planning and Scheduling (ICAPS 2018)},
	year = {2018},
	abstract = {Conformance checking is the problem of verifying if the actual executions of business processes, which are recorded by information systems in dedicated event logs, are compliant with a process model that encodes the process{\textquoteright} constraints. Within conformance checking, alignment-based techniques can exactly pinpoint where deviations are observed. Existing alignment-based techniques rely on the assumption of a perfect knowledge of the order with which process{\textquoteright} activities were executed in reality. However, experience shows that, due to logging errors and inaccuracies, it is not always possible to determine the exact order with which certain activities were executed. This paper illustrates an alignment-based technique where the perfect knowledge assumption of the execution{\textquoteright}s order is removed. The technique transforms the problem of alignment-based conformance checking into a planning problem encoded in PDDL, for which planners can find a correct solution in a finite amount of time. We implemented the technique as a software tool that is integrated with state-of-the-art planners. To showcase its practical relevance and scalability, we report on experiments with a real-life case study and several synthetic ones of increasing complexity.},
	keywords = {Automated Planning, Conformance Checking, PDDL, Process Mining, Trace Alignment},
	url = {https://www.aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17739/16951},
	author = {Massimiliano de Leoni and Giacomo Lanciano and Andrea Marrella}
}
@article {253,
	title = {Maximum entropy approach to link prediction in bipartite networks},
	journal = {arXiv preprint arXiv:1805.04307},
	year = {2018},
	author = {Baltakiene, M and Baltakys, K and Cardamone, D and Parisi, F and Tommaso Radicioni and Torricelli, M and de Jeude, JA and Saracco, F}
}
@article {258,
	title = {Models and Logs used in the paper {\textquoteleft}Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning{\textquoteright} accepted for ICAPS 2018},
	year = {2018},
	publisher = {TU Eindhoven},
	keywords = {Computation Theory and Mathematics, Event Logs, Petri nets},
	doi = {10.4121/UUID:A02AFEC8-B7C7-42B7-8DFF-36D3DE3032BE},
	url = {https://data.4tu.nl/repository/uuid:a02afec8-b7c7-42b7-8dff-36d3de3032be},
	author = {Giacomo Lanciano and Massimiliano de Leoni}
}
@conference {267,
	title = {Is this Sentence Difficult? Do you Agree?},
	booktitle = {Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing},
	year = {2018},
	author = {Brunato, Dominique and De Mattei, Lorenzo and Dell{\textquoteright}Orletta, Felice and Iavarone, Benedetta and Venturi, Giulia}
}
@article {251,
	title = {The calorimeter of the Mu2e experiment at Fermilab},
	journal = {Journal of Instrumentation},
	volume = {12},
	year = {2017},
	abstract = {The Mu2e experiment at Fermilab looks for Charged Lepton Flavor Violation (CLFV) improving by 4 orders of magnitude the current experimental sensitivity for the muon to electron conversion in a muonic atom. A positive signal could not be explained in the framework of the current Standard Model of particle interactions and therefore would be a clear indication of new physics. In 3 years of data taking, Mu2e is expected to observe less than one background event mimicking the electron coming from muon conversion. Achieving such a level of background suppression requires a deep knowledge of the experimental apparatus: a straw tube tracker, measuring the electron momentum and time, a cosmic ray veto system rejecting most of cosmic ray background and a pure CsI crystal calorimeter, that will measure time of flight, energy and impact position of the converted electron. The calorimeter has to operate in a harsh radiation environment, in a 10-4 Torr vacuum and inside a 1 T magnetic field. The results of the first qualification tests of the calorimeter components are reported together with the energy and time performances expected from the simulation and measured in beam tests of a small scale prototype.},
	doi = {10.1088/1748-0221/12/01/c01061},
	url = {https://doi.org/10.1088\%2F1748-0221\%2F12\%2F01\%2Fc01061},
	author = {N. Atanov and V. Baranov and J. Budagov and F. Cervelli and F. Colao and M. Cordelli and G. Corradi and E. Dan{\'e} and Y.I. Davydov and S. Di Falco and E. Diociaiuti and S. Donati and R. Donghia and B. Echenard and K. Flood and S. Giovannella and V. Glagolev and F. Grancagnolo and F. Happacher and D.G. Hitlin and M. Martini and S. Miscetti and T. Miyashita and L. Morescalchi and P. Murat and G. Pezzullo and F. Porter and F. Raffaelli and Tommaso Radicioni and M. Ricci and A. Saputi and I. Sarra and F. Spinella and G. Tassielli and V. Tereshchenko and Z. Usubov and R.Y. Zhu}
}
@conference {256,
	title = {A Tool for Aligning Event Logs and Prescriptive Process Models through Automated Planning},
	booktitle = {Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017)},
	year = {2017},
	abstract = {In Conformance Checking, alignment is the problem of detecting and repairing nonconformity between the actual execution of a business process, as recorded in an event log, and the model of the same process. Literature proposes solutions for the alignment problem that are implementations of planning algorithms built ad-hoc for the specific problem. Unfortunately, in the era of big data, these ad-hoc implementations do not scale sufficiently compared with well-established planning systems. In this paper, we tackle the above issue by presenting a tool, also available in ProM, to represent instances of the alignment problem as automated planning problems in PDDL (Planning Domain Definition Language) for which state-of-the-art planners can find a correct solution in a finite amount of time. If alignment problems are converted into planning problems, one can seamlessly update to the recent versions of the best performing automated planners, with advantages in term of versatility and customization. Furthermore, by employing several processes and event logs of different sizes, we show how our tool outperforms existing approaches of several order of magnitude and, in certain cases, carries out the task while existing approaches run out of memory.},
	url = {http://ceur-ws.org/Vol-1920/BPM_2017_paper_187.pdf},
	author = {Massimiliano de Leoni and Giacomo Lanciano and Andrea Marrella}
}
