Publications

@article{BGPS:BLCS,

title = {Behavioural Logics for Configuration Structures},

author = {Paolo Baldan and Daniele Gorla and Tommaso Padoan and Ivano Salvo},

doi = {10.1016/j.tcs.2022.02.018},

year  = {2022},

date = {2022-01-01},

journal = {Theoretical Computer Science},

volume = {913},

pages = {94-112},

publisher = {Elsevier},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{BGPS:CSEESL,

title = {Characterising Spectra of Equivalences for Event Structures, Logically},

author = {Paolo Baldan and Daniele Gorla and Tommaso Padoan and Ivano Salvo},

doi = {10.1016/j.ic.2022.104887},

year  = {2022},

date = {2022-01-01},

journal = {Information and Computation},

volume = {285},

publisher = {Elsevier},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{waizmann2021improved,

title = {Improved estimations of stochastic chemical kinetics by finite-state expansion},

author = {Tabea Waizmann and Luca Bortolussi and Andrea Vandin and Mirco Tribastone},

url = {https://royalsocietypublishing.org/doi/full/10.1098/rspa.2020.0964},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

journal = {Proceedings of the Royal Society A},

volume = {477},

number = {2251},

pages = {20200964},

publisher = {The Royal Society Publishing},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{bortolussi2021adversarial,

title = {Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems},

author = {Luca Bortolussi and Francesca Cairoli and Ginevra Carbone and Francesco Franchina and Enrico Regolin},

url = {https://overlay.uniud.it/workshop/2020/papers/paper13.pdf},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

journal = {IFAC-PapersOnLine},

volume = {54},

number = {5},

pages = {223--228},

publisher = {Elsevier},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{bortolussi2021neural,

title = {Neural predictive monitoring and a comparison of frequentist and Bayesian approaches},

author = {Luca Bortolussi and Francesca Cairoli and Nicola Paoletti and Scott A Smolka and Scott D Stoller},

url = {https://link.springer.com/article/10.1007/s10009-021-00623-1},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

journal = {International Journal on Software Tools for Technology Transfer},

volume = {23},

number = {4},

pages = {615--640},

publisher = {Springer Berlin Heidelberg},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{carbone2021resilience,

title = {Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks},

author = {Ginevra Carbone and Guido Sanguinetti and Luca Bortolussi},

url = {Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

journal = {arXiv preprint arXiv:2102.11010},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{ceolin2021boundaries,

title = {At the boundaries of syntactic prehistory},

author = {Andrea Ceolin and Cristina Guardiano and Giuseppe Longobardi and Monica Alexandrina Irimia and Luca Bortolussi and Andrea Sgarro},

url = {https://royalsocietypublishing.org/doi/10.1098/rstb.2020.0197},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

journal = {Philosophical Transactions of the Royal Society B},

volume = {376},

number = {1824},

pages = {20200197},

publisher = {The Royal Society},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{randone2021refining,

title = {Refining mean-field approximations by dynamic state truncation},

author = {Francesca Randone and Luca Bortolussi and Mirco Tribastone},

url = {http://cse.lab.imtlucca.it/~mirco.tribastone/papers/SIGMETRICS2021.pdf},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

journal = {Proceedings of the ACM on Measurement and Analysis of Computing Systems},

volume = {5},

number = {2},

pages = {1--30},

publisher = {ACM New York, NY, USA},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{roncoroni2021synthetic,

title = {Synthetic seismic data generation with deep learning},

author = {Giacomo Roncoroni and Carlo Fortini and Luca Bortolussi and Nicola Bienati and Michele Pipan},

url = {https://arts.units.it/handle/11368/2993702},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

journal = {Journal of Applied Geophysics},

volume = {190},

pages = {104347},

publisher = {Elsevier},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nenzi2021logic,

title = {A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems (preprint)},

author = {Laura Nenzi and Ezio Bartocci and Luca Bortolussi and Michele Loreti},

url = {https://arxiv.org/abs/2105.11400},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/bioinformatics/CiccolellaBDBPV21,

title = {Triplet-based similarity score for fully multilabeled trees with poly-occurring  labels},

author = {Simone Ciccolella and Giulia Bernardini and Luca Denti and Paola Bonizzoni and Marco Previtali and Gianluca Della Vedova},

url = {https://academic.oup.com/bioinformatics/article/37/2/178/5878956},

doi = {10.1093/bioinformatics/btaa676},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

journal = {Bioinform.},

volume = {37},

number = {2},

pages = {178--184},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/jea/BernardiniCFLP21,

title = {Reverse-Safe Text Indexing},

author = {Giulia Bernardini and Huiping Chen and Gabriele Fici and Grigorios Loukides and Solon P. Pissis},

url = {https://dl.acm.org/doi/10.1145/3461698},

doi = {10.1145/3461698},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

journal = {ACM J. Exp. Algorithmics},

volume = {26},

pages = {1.10:1--1.10:26},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/tkdd/BernardiniCCGLP21,

title = {Combinatorial Algorithms for String Sanitization},

author = {Giulia Bernardini and Huiping Chen and Alessio Conte and Roberto Grossi and Grigorios Loukides and Nadia Pisanti and Solon P. Pissis and Giovanna Rosone and Michelle Sweering},

url = {https://arxiv.org/abs/1906.11030},

doi = {10.1145/3418683},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

journal = {ACM Trans. Knowl. Discov. Data},

volume = {15},

number = {1},

pages = {8:1--8:34},

keywords = {},

pubstate = {published},

tppubtype = {article}

}