default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Pietro Sala"
download as .bib file
@article{DBLP:journals/access/SalaCMS24,
author = {Riccardo Della Sala and
Francesco Centurelli and
Pietro Monsurr{\`{o}} and
Giuseppe Scotti},
title = {On the Feasibility of Cascode and Regulated Cascode Amplifier Stages
in {ULV} Circuits Exploiting {MOS} Transistors in Deep Subthreshold
Operation},
journal = {{IEEE} Access},
volume = {12},
pages = {73292--73303},
year = {2024},
url = {https://doi.org/10.1109/ACCESS.2024.3404037},
doi = {10.1109/ACCESS.2024.3404037},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/SalaCMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fbinf/SalaLDVBDFCGN24,
author = {Claudia Sala and
Pietro Di Lena and
Danielle Fernandes Durso and
{\`{I}}talo Faria do Valle and
Maria Giulia Bacalini and
Daniele Dall'Olio and
Claudio Franceschi and
Gastone C. Castellani and
Paolo Garagnani and
Christine Nardini},
title = {Where are we in the implementation of tissue-specific epigenetic clocks?},
journal = {Frontiers Bioinform.},
volume = {4},
year = {2024},
url = {https://doi.org/10.3389/fbinf.2024.1306244},
doi = {10.3389/FBINF.2024.1306244},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fbinf/SalaLDVBDFCGN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AmicoCRS24,
author = {Beatrice Amico and
Carlo Combi and
Romeo Rizzi and
Pietro Sala},
title = {Predictive mining of multi-temporal relations},
journal = {Inf. Comput.},
volume = {301},
pages = {105228},
year = {2024},
url = {https://doi.org/10.1016/j.ic.2024.105228},
doi = {10.1016/J.IC.2024.105228},
timestamp = {Thu, 17 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AmicoCRS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BozzelliMPS24,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {The addition of temporal neighborhood makes the logic of prefixes
and sub-intervals EXPSPACE-complete},
journal = {Log. Methods Comput. Sci.},
volume = {20},
number = {1},
year = {2024},
url = {https://doi.org/10.46298/lmcs-20(1:23)2024},
doi = {10.46298/LMCS-20(1:23)2024},
timestamp = {Mon, 29 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BozzelliMPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/SozioSRABDFSSTS24,
author = {Angelo Sozio and
Vincenzo Mariano Scarrica and
Angela Rizzo and
Pietro Patrizio Ciro Aucelli and
Giovanni Barracane and
Luca Antonio Dimuccio and
Rui Ferreira and
Marco La Salandra and
Antonino Staiano and
Maria Pia Tarantino and
Giovanni Scicchitano},
title = {Application of Direct and Indirect Methodologies for Beach Litter
Detection in Coastal Environments},
journal = {Remote. Sens.},
volume = {16},
number = {19},
pages = {3617},
year = {2024},
url = {https://doi.org/10.3390/rs16193617},
doi = {10.3390/RS16193617},
timestamp = {Wed, 06 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/SozioSRABDFSSTS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/BallarinSMRBA24,
author = {Pietro Ballarin and
Giuseppe Sala and
Marco Macchi and
Irene Roda and
Andrea Baldi and
Alessandro Airoldi},
title = {Application of Artificial Neural Networks to a Model of a Helicopter
Rotor Blade for Damage Identification in Realistic Load Conditions},
journal = {Sensors},
volume = {24},
number = {16},
pages = {5411},
year = {2024},
url = {https://doi.org/10.3390/s24165411},
doi = {10.3390/S24165411},
timestamp = {Thu, 03 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/BallarinSMRBA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/PlancherBEGKSL024,
author = {Brian Plancher and
Sebastian B{\"{u}}ttrich and
Jeremy Ellis and
Neena Goveas and
Laila D. Kazimierski and
Jes{\'{u}}s Alfonso L{\'{o}}pez Sotelo and
Milan Lukic and
Diego Mendez and
Rosdiadee Nordin and
Andr{\'{e}}s Oliva Trevisan and
Massimo Pavan and
Manuel Roveri and
Marcus R{\"{u}}b and
Jackline Tum and
Marian Verhelst and
Salah Abdeljabar and
Segun Adebayo and
Thomas Amberg and
Halleluyah Aworinde and
Jos{\'{e}} Bagur and
Gregg Barrett and
Nabil Benamar and
Bharat S. Chaudhari and
Ronald Criollo and
David Cuartielles and
Jos{\'{e}} A. Ferreira Filho and
Solomon Gizaw and
Evgeni Gousev and
Alessandro Grande and
Shawn Hymel and
Peter Ing and
Prashant Manandhar and
Pietro Manzoni and
Boris Murmann and
Eric Pan and
Rytis Paskauskas and
Ermanno Pietrosemoli and
Tales C. Pimenta and
Marcelo Rovai and
Marco Zennaro and
Vijay Janapa Reddi},
editor = {Ron P. A. Petrick and
Christopher W. Geib},
title = {TinyML4D: Scaling Embedded Machine Learning Education in the Developing
World},
booktitle = {Proceedings of the {AAAI} 2024 Spring Symposium Series, Stanford,
CA, USA, March 25-27, 2024},
pages = {508--515},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaaiss.v3i1.31265},
doi = {10.1609/AAAISS.V3I1.31265},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaaiss/PlancherBEGKSL024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/SalaZ24,
author = {Pietro Sala and
Omid Zare},
title = {Sequence-Walking Decision Tree for Multivariate Healthcare Data},
booktitle = {12th {IEEE} International Conference on Healthcare Informatics, {ICHI}
2024, Orlando, FL, USA, June 3-6, 2024},
pages = {21--30},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICHI61247.2024.00011},
doi = {10.1109/ICHI61247.2024.00011},
timestamp = {Fri, 18 Oct 2024 11:26:48 +0200},
biburl = {https://dblp.org/rec/conf/ichi/SalaZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/ZabalaSGAMS24,
author = {Mikel Zabala and
Pietro Soglia and
Paula Gonzalez and
Izar Azpiroz and
Mikel Maiza and
Sergio Salata},
title = {Averaging Strategy to Improve SAR-To-NDVI Estimations in {A} Region
of Interest},
booktitle = {{IGARSS} 2024 - 2024 {IEEE} International Geoscience and Remote Sensing
Symposium, Athens, Greece, July 7-12, 2024},
pages = {7142--7145},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/IGARSS53475.2024.10641880},
doi = {10.1109/IGARSS53475.2024.10641880},
timestamp = {Thu, 26 Sep 2024 12:36:11 +0200},
biburl = {https://dblp.org/rec/conf/igarss/ZabalaSGAMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwinac/HashemiKMZJNASG24,
author = {Mohammad Hashemi and
Seyedeh Somayeh Salehi Komamardakhi and
Mohammad Maftoun and
Omid Zare and
Javad Hassannataj Joloudari and
Mohammad Ali Nematollahi and
Roohallah Alizadehsani and
Pietro Sala and
Juan Manuel G{\'{o}}rriz},
editor = {Jos{\'{e}} Manuel Ferr{\'{a}}ndez de Vicente and
Mikel Val{-}Calvo and
Hojjat Adeli},
title = {Enhancing Coronary Artery Disease Classification Using Optimized {MLP}
Based on Genetic Algorithm},
booktitle = {Artificial Intelligence for Neuroscience and Emotional Systems - 10th
International Work-Conference on the Interplay Between Natural and
Artificial Computation, {IWINAC} 2024, Olh{\^{a}}o, Portugal, June
4-7, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14674},
pages = {108--117},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-61140-7\_11},
doi = {10.1007/978-3-031-61140-7\_11},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwinac/HashemiKMZJNASG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2024,
editor = {Pietro Sala and
Michael Sioutis and
Fusheng Wang},
title = {31st International Symposium on Temporal Representation and Reasoning,
{TIME} 2024, October 28-30, 2024, Montpellier, France},
series = {LIPIcs},
volume = {318},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-349-2},
isbn = {978-3-95977-349-2},
timestamp = {Tue, 22 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-02447,
author = {Riccardo Salami and
Pietro Buzzega and
Matteo Mosconi and
Mattia Verasani and
Simone Calderara},
title = {Reducing Bias in Federated Class-Incremental Learning with Hierarchical
Generative Prototypes},
journal = {CoRR},
volume = {abs/2406.02447},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.02447},
doi = {10.48550/ARXIV.2406.02447},
eprinttype = {arXiv},
eprint = {2406.02447},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-02447.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-12625,
author = {Daniele A. Di Pietro and
Marien Hanot and
Marwa Salah},
title = {Serendipity discrete complexes with enhanced regularity},
journal = {CoRR},
volume = {abs/2407.12625},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.12625},
doi = {10.48550/ARXIV.2407.12625},
eprinttype = {arXiv},
eprint = {2407.12625},
timestamp = {Tue, 27 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-12625.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/SalaCMST23,
author = {Riccardo Della Sala and
Francesco Centurelli and
Pietro Monsurr{\`{o}} and
Giuseppe Scotti and
Alessandro Trifiletti},
title = {A 0.3V Rail-to-Rail Three-Stage {OTA} With High {DC} Gain and Improved
Robustness to {PVT} Variations},
journal = {{IEEE} Access},
volume = {11},
pages = {19635--19644},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3248303},
doi = {10.1109/ACCESS.2023.3248303},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/SalaCMST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzelliMPS23,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Pspace-completeness of the temporal logic of sub-intervals and suffixes},
journal = {Inf. Comput.},
volume = {294},
pages = {105083},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2023.105083},
doi = {10.1016/J.IC.2023.105083},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BozzelliMPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcta/SalaCMST23,
author = {Riccardo Della Sala and
Francesco Centurelli and
Pietro Monsurr{\`{o}} and
Giuseppe Scotti and
Alessandro Trifiletti},
title = {A body-driven rail-to-rail 0.3 {V} operational transconductance amplifier
exploiting current gain stages},
journal = {Int. J. Circuit Theory Appl.},
volume = {51},
number = {5},
pages = {1971--1987},
year = {2023},
url = {https://doi.org/10.1002/cta.3520},
doi = {10.1002/CTA.3520},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcta/SalaCMST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/natmi/DittmerRGBSBTWGKJLYPSTBSTPWHWLSSP23,
author = {S{\"{o}}ren Dittmer and
Michael Roberts and
Julian D. Gilbey and
Ander Biguri and
Ian Selby and
Anna Breger and
Matthew Thorpe and
Jonathan R. Weir{-}McCall and
Effrossyni Gkrania{-}Klotsas and
Anna Korhonen and
Emily R. Jefferson and
Georg Langs and
Guang Yang and
Helmut Prosch and
Jan Stanczuk and
Jing Tang and
Judith Babar and
Lorena Escudero Sanchez and
Philip Teare and
Mishal Patel and
Marcel Wassin and
Markus Holzer and
Nicholas Walton and
Pietro Li{\'{o}} and
Tolou Shadbahr and
Evis Sala and
Jacobus Preller and
James H. F. Rudd and
John A. D. Aston and
Carola{-}Bibiane Sch{\"{o}}nlieb},
title = {Navigating the development challenges in creating complex data systems},
journal = {Nat. Mac. Intell.},
volume = {5},
number = {7},
pages = {681--686},
year = {2023},
url = {https://doi.org/10.1038/s42256-023-00665-x},
doi = {10.1038/S42256-023-00665-X},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/natmi/DittmerRGBSBTWGKJLYPSTBSTPWHWLSSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MonicaMS23,
author = {Dario Della Monica and
Angelo Montanari and
Pietro Sala},
title = {An interval temporal logic characterization of extended \emph{{\(\omega\)}}-regular
languages},
journal = {Theor. Comput. Sci.},
volume = {962},
pages = {113929},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.113929},
doi = {10.1016/J.TCS.2023.113929},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MonicaMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/RossiSBSALMC23,
author = {Matteo Rossi and
Davide Sala and
Dario Bovio and
Caterina Salito and
Giulia Alessandrelli and
Carolina Lombardi and
Luca T. Mainardi and
Pietro Cerveri},
title = {{SLEEP-SEE-THROUGH:} Explainable Deep Learning for Sleep Event Detection
and Quantification From Wearable Somnography},
journal = {{IEEE} J. Biomed. Health Informatics},
volume = {27},
number = {7},
pages = {3129--3140},
year = {2023},
url = {https://doi.org/10.1109/JBHI.2023.3267087},
doi = {10.1109/JBHI.2023.3267087},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/titb/RossiSBSALMC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bats/GiancottiVSTGIV23,
author = {Raffaele Giancotti and
Patrizia Vizza and
Martina De Salazar and
Giuseppe Tradigo and
Pietro Hiram Guzzi and
Concetta Irace and
Pierangelo Veltri},
title = {Predicting Glycemia by Using RNNs and Heart Rate Patient Data},
booktitle = {International Workshop on Biomedical Applications, Technologies and
Sensors, {BATS} 2023, Catanzaro, Italy, September 28-29, 2023},
pages = {79--82},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/BATS59463.2023.10303191},
doi = {10.1109/BATS59463.2023.10303191},
timestamp = {Mon, 13 Nov 2023 12:10:21 +0100},
biburl = {https://dblp.org/rec/conf/bats/GiancottiVSTGIV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/SogliaGAOQS23,
author = {Pietro Soglia and
Paula Gonzalez and
Izar Azpiroz and
Urtzi Otamendi and
Marco Quartulli and
Sergio Salata},
title = {Estimating {NDVI} from {SAR} Images Using Conditional Generative Adversarial
Networks},
booktitle = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
2023, Pasadena, CA, USA, July 16-21, 2023},
pages = {5222--5225},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IGARSS52108.2023.10282916},
doi = {10.1109/IGARSS52108.2023.10282916},
timestamp = {Tue, 07 Nov 2023 16:21:25 +0100},
biburl = {https://dblp.org/rec/conf/igarss/SogliaGAOQS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MonicaMPS23,
author = {Dario Della Monica and
Angelo Montanari and
Gabriele Puppis and
Pietro Sala},
title = {The Logic of Prefixes and Suffixes is Elementary under Homogeneity\({}^{\mbox{*}}\)},
booktitle = {38th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2023, Boston, MA, USA, June 26-29, 2023},
pages = {1--12},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175824},
doi = {10.1109/LICS56636.2023.10175824},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/MonicaMPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/RandineSMP23,
author = {Pietro Randine and
Eliot Salant and
Miroslav Muzny and
Louise Pape{-}Haugaard},
editor = {Jen Bichel{-}Findlay and
Paula Otero and
Philip Scott and
Elaine Huesing},
title = {Consent Management System on Patient-Generated Health Data},
booktitle = {{MEDINFO} 2023 - The Future Is Accessible - Proceedings of the 19th
World Congress on Medical and Health Informatics, Sydney, NSW, Australia,
8-12 July 2023},
series = {Studies in Health Technology and Informatics},
volume = {310},
pages = {204--208},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/SHTI230956},
doi = {10.3233/SHTI230956},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/medinfo/RandineSMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/AmicoCRS23,
author = {Beatrice Amico and
Carlo Combi and
Romeo Rizzi and
Pietro Sala},
editor = {Alexander Artikis and
Florian Bruse and
Luke Hunsberger},
title = {Discovering Predictive Dependencies on Multi-Temporal Relations},
booktitle = {30th International Symposium on Temporal Representation and Reasoning,
{TIME} 2023, September 25-26, 2023, {NCSR} Demokritos, Athens, Greece},
series = {LIPIcs},
volume = {278},
pages = {4:1--4:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.TIME.2023.4},
doi = {10.4230/LIPICS.TIME.2023.4},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/time/AmicoCRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-11483,
author = {Dario Della Monica and
Angelo Montanari and
Gabriele Puppis and
Pietro Sala},
title = {The Logic of Prefixes and Suffixes is Elementary under Homogeneity},
journal = {CoRR},
volume = {abs/2304.11483},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.11483},
doi = {10.48550/ARXIV.2304.11483},
eprinttype = {arXiv},
eprint = {2304.11483},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-11483.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-10139,
author = {Konstantinos Lampropoulos and
Apostolis Zarras and
Eftychia Lakka and
Polyanthi Barmpaki and
Kostas Drakonakis and
Manos Athanatos and
Herv{\'{e}} Debar and
Andreas Alexopoulos and
Aristeidis Sotiropoulos and
George Tsakirakis and
Nikos Dimakopoulos and
Dimitris Tsolovos and
Matthias Pocs and
Michalis Smyrlis and
Ioannis Basdekis and
Georgios Spanoudakis and
Ovidiu Mihaila and
Bogdan Prelipcean and
Eliot Salant and
Sotiris Athanassopoulos and
Petros Papachristou and
Ioannis Ladakis and
John Chang and
Evangelos Floros and
Konstantinos Smyrlis and
Rouven Besters and
Pietro Randine and
Karianna Fjeld Lovaas and
John Cooper and
Iulia Ilie and
Gabriel Danciu and
Marwan Darwish Khabbaz},
title = {White paper on cybersecurity in the healthcare sector. The {HEIR}
solution},
journal = {CoRR},
volume = {abs/2310.10139},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.10139},
doi = {10.48550/ARXIV.2310.10139},
eprinttype = {arXiv},
eprint = {2310.10139},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-10139.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/LenaSN22,
author = {Pietro Di Lena and
Claudia Sala and
Christine Nardini},
title = {Evaluation of different computational methods for {DNA} methylation-based
biological age},
journal = {Briefings Bioinform.},
volume = {23},
number = {4},
year = {2022},
url = {https://doi.org/10.1093/bib/bbac274},
doi = {10.1093/BIB/BBAC274},
timestamp = {Fri, 29 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bib/LenaSN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ecoi/ScarricaACCFSRS22,
author = {Vincenzo Mariano Scarrica and
Pietro Patrizio Ciro Aucelli and
Cosimo Cagnazzo and
Angelo Casolaro and
Pierpaolo Fiore and
Marco La Salandra and
Angela Rizzo and
Giovanni Scardino and
Giovanni Scicchitano and
Antonino Staiano},
title = {A novel beach litter analysis system based on {UAV} images and Convolutional
Neural Networks},
journal = {Ecol. Informatics},
volume = {72},
pages = {101875},
year = {2022},
url = {https://doi.org/10.1016/j.ecoinf.2022.101875},
doi = {10.1016/J.ECOINF.2022.101875},
timestamp = {Mon, 04 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ecoi/ScarricaACCFSRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fi/MusaZLP22,
author = {Salahadin Seid Musa and
Marco Zennaro and
Mulugeta Libsie and
Ermanno Pietrosemoli},
title = {Convergence of Information-Centric Networks and Edge Intelligence
for IoV: Challenges and Future Directions},
journal = {Future Internet},
volume = {14},
number = {7},
pages = {192},
year = {2022},
url = {https://doi.org/10.3390/fi14070192},
doi = {10.3390/FI14070192},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fi/MusaZLP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BozzelliMMPS22,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Satisfiability and Model Checking for the Logic of Sub-Intervals under
the Homogeneity Assumption},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:24)2022},
doi = {10.46298/LMCS-18(1:24)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BozzelliMMPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/MusaZLP22,
author = {Salahadin Seid Musa and
Marco Zennaro and
Mulugeta Libsie and
Ermanno Pietrosemoli},
title = {Mobility-Aware Proactive Edge Caching Optimization Scheme in Information-Centric
IoV Networks},
journal = {Sensors},
volume = {22},
number = {4},
pages = {1387},
year = {2022},
url = {https://doi.org/10.3390/s22041387},
doi = {10.3390/S22041387},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/MusaZLP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MontanariS22,
author = {Angelo Montanari and
Pietro Sala},
title = {Reactive synthesis from interval temporal logic specifications},
journal = {Theor. Comput. Sci.},
volume = {899},
pages = {48--79},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2021.11.023},
doi = {10.1016/J.TCS.2021.11.023},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MontanariS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prime/SalaCMS22,
author = {Riccardo Della Sala and
Francesco Centurelli and
Pietro Monsurr{\`{o}} and
Giuseppe Scotti},
title = {High-efficiency 0.3V {OTA} in {CMOS} 130nm technology using current
mirrors with gain},
booktitle = {17th Conference on Ph.D Research in Microelectronics and Electronics,
{PRIME} 2022, Villasimius, SU, Italy, June 12-15, 2022},
pages = {69--72},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/PRIME55000.2022.9816823},
doi = {10.1109/PRIME55000.2022.9816823},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prime/SalaCMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prime/SalaCMS22a,
author = {Riccardo Della Sala and
Francesco Centurelli and
Pietro Monsurr{\`{o}} and
Giuseppe Scotti},
title = {Sub-{\(\mu\)}W Front-End Low Noise Amplifier for Neural Recording
Applications},
booktitle = {17th Conference on Ph.D Research in Microelectronics and Electronics,
{PRIME} 2022, Villasimius, SU, Italy, June 12-15, 2022},
pages = {305--308},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/PRIME55000.2022.9816833},
doi = {10.1109/PRIME55000.2022.9816833},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prime/SalaCMS22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-07881,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {The addition of temporal neighborhood makes the logic of prefixes
and sub-intervals EXPSPACE-complete},
journal = {CoRR},
volume = {abs/2202.07881},
year = {2022},
url = {https://arxiv.org/abs/2202.07881},
eprinttype = {arXiv},
eprint = {2202.07881},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-07881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-08478,
author = {Tolou Shadbahr and
Michael Roberts and
Jan Stanczuk and
Julian D. Gilbey and
Philip Teare and
S{\"{o}}ren Dittmer and
Matthew Thorpe and
Ram{\'{o}}n Vi{\~{n}}as Torn{\'{e}} and
Evis Sala and
Pietro Li{\'{o}} and
Mishal Patel and
AIX{-}COVNET Collaboration and
James H. F. Rudd and
Tuomas Mirtti and
Antti Rannikko and
John A. D. Aston and
Jing Tang and
Carola{-}Bibiane Sch{\"{o}}nlieb},
title = {Classification of datasets with imputed missing values: does imputation
quality matter?},
journal = {CoRR},
volume = {abs/2206.08478},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.08478},
doi = {10.48550/ARXIV.2206.08478},
eprinttype = {arXiv},
eprint = {2206.08478},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-08478.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-07194,
author = {Michele Botti and
Daniele A. Di Pietro and
Marwa Salah},
title = {A serendipity fully discrete div-div complex on polygonal meshes},
journal = {CoRR},
volume = {abs/2207.07194},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.07194},
doi = {10.48550/ARXIV.2207.07194},
eprinttype = {arXiv},
eprint = {2207.07194},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-07194.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aeog/SalandraMNIDMDC21,
author = {Marco La Salandra and
Giorgia Miniello and
Stefano Nicotri and
Alessandro Italiano and
Giacinto Donvito and
Giorgio Pietro Maggi and
Pierfrancesco Dellino and
Domenico Capolongo},
title = {Generating {UAV} high-resolution topographic data within a {FOSS}
photogrammetric workflow using high-performance computing clusters},
journal = {Int. J. Appl. Earth Obs. Geoinformation},
volume = {105},
pages = {102600},
year = {2021},
url = {https://doi.org/10.1016/j.jag.2021.102600},
doi = {10.1016/J.JAG.2021.102600},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aeog/SalandraMNIDMDC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/AparoSBG21,
author = {Antonino Aparo and
Pietro Sala and
Vincenzo Bonnici and
Rosalba Giugno},
title = {{TEDAR:} Temporal dynamic signal detection of adverse reactions},
journal = {Artif. Intell. Medicine},
volume = {122},
pages = {102212},
year = {2021},
url = {https://doi.org/10.1016/j.artmed.2021.102212},
doi = {10.1016/J.ARTMED.2021.102212},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/artmed/AparoSBG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CombiRS21,
author = {Carlo Combi and
Romeo Rizzi and
Pietro Sala},
title = {Checking Sets of Pure Evolving Association Rules},
journal = {Fundam. Informaticae},
volume = {178},
number = {4},
pages = {283--313},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2008},
doi = {10.3233/FI-2021-2008},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CombiRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/NicholsAAAAAAAA21,
author = {Emma Nichols and
Foad Abd{-}Allah and
Amir Abdoli and
Ahmed Abualhasan and
Eman Abu{-}Gharbieh and
Ashkan Afshin and
Rufus Akinyemi and
Fahad Mashhour Alanezi and
Vahid Alipour and
Amir Almasi{-}Hashiani and
Jalal Arabloo and
Amir Ashraf{-}Ganjouei and
Getinet Ayano and
Jos{\'{e}} Luis Ayuso{-}Mateos and
Atif Amin Baig and
Maciej Banach and
Miguel A. Barboza and
Suzanne Lyn Barker{-}Collo and
Bernhard T. Baune and
Akshaya Srikanth Bhagavathula and
Krittika Bhattacharyya and
Ali Bijani and
Atanu Biswas and
Archith Boloor and
Carol Brayne and
Hermann Brenner and
Katrin Burkart and
Sharath Burugina Nagaraja and
Felix Carvalho and
Luis F. S. Castro{-}de{-}Araujo and
Ferr{\'{a}}n Catal{\'{a}}{-}L{\'{o}}pez and
Ester Cerin and
Nicolas Cherbuin and
Dinh{-}Toi Chu and
Xiaochen Dai and
Antonio Reis de S{\'{a}}{-}Junior and
Shirin Djalalinia and
Abdel Douiri and
David Edvardsson and
Shaimaa I. El{-}Jaafary and
Sharareh Eskandarieh and
Andre Faro and
Farshad Farzadfar and
Valery Feigin and
Seyed{-}Mohammad Fereshtehnejad and
Eduarda Fernandes and
Pietro Ferrara and
Irina Filip and
Florian Fischer and
Shilpa Gaidhane and
Lucia Galluzzo and
Gebreamlak Gebremedhn Gebremeskel and
Ahmad Ghashghaee and
Alessandro Gialluisi and
Elena V. Gnedovskaya and
Mahaveer Golechha and
Rajeev Gupta and
Vladimir Hachinski and
Mohammad R. Haider and
Teklehaimanot Gereziher Haile and
Mohammad Hamiduzzaman and
Graeme J. Hankey and
Simon I. Hay and
Golnaz Heidari and
Reza Heidari{-}Soureshjani and
Hung Chak Ho and
Mowafa S. Househ and
Bing{-}Fang Hwang and
Licia Iacoviello and
Olayinka Stephen Ilesanmi and
Irena M. Ilic and
Milena D. Ilic and
Seyed Sina Naghibi Irvani and
Masao Iwagami and
Ihoghosa Osamuyi Iyamu and
Ravi Prakash Jha and
Rizwan Kalani and
Andr{\'{e}} Karch and
Ayele Semachew Kasa and
Yousef S. Khader and
Ejaz Ahmad Khan and
Mahalaqua Nazli Khatib and
Yun Jin Kim and
Sezer Kisa and
Adnan Kisa and
Mika Kivim{\"{a}}ki and
Ai Koyanagi and
Manasi Kumar and
Iv{\'{a}}n Landires and
Savita Lasrado and
Bingyu Li and
Stephen S. Lim and
Xuefeng Liu and
Shilpashree Madhava Kunjathur and
Azeem Majeed and
Preeti Malik and
Man Mohan Mehndiratta and
Ritesh G. Menezes and
Yousef Mohammad and
Salahuddin Mohammed and
Ali H. Mokdad and
Mohammad Ali Moni and
Gabriele Nagel and
Muhammad Naveed and
Vinod C. Nayak and
Cuong Tat Nguyen and
Thi Lan Huong Nguyen and
Virginia Nunez{-}Samudio and
Andrew T. Olagunju and
Samuel M. Ostroff and
Nikita Otstavnov and
Mayowa Owolabi and
Fatemeh Pashazadeh Kan and
Urvish K. Patel and
Michael R. Phillips and
Michael A. Piradov and
Constance Dimity Pond and
Faheem Hyder Pottoo and
Sergio I. Prada and
Amir Radfar and
Fakher Rahim and
Juwel Rana and
Vahid Rashedi and
Salman Rawaf and
David Laith Rawaf and
Nickolas Reinig and
Andre M. N. Renzaho and
Nima Rezaei and
Aziz Rezapour and
Michele Romoli and
Gholamreza Roshandel and
Perminder S. Sachdev and
Amirhossein Sahebkar and
Mohammad Ali Sahraian and
Mehrnoosh Samaei and
Mete Saylan and
Feng Sha and
Masood Ali Shaikh and
Kenji Shibuya and
Mika Shigematsu and
Jae Il Shin and
Rahman Shiri and
Diego Augusto Santos Silva and
Jasvinder A. Singh and
Deepika Singhal and
Valentin Yurievich Skryabin and
Anna Aleksandrovna Skryabina and
Amin Soheili and
Houman Sotoudeh and
Emma Elizabeth Spurlock and
Cassandra E. I. Szoeke and
Rafael Tabar{\'{e}}s{-}Seisdedos and
Biruk Wogayehu Taddele and
Marcos Roberto Tovani{-}Palone and
Gebiyaw Wudie Tsegaye and
Marco Vacante and
Narayanaswamy Venketasubramanian and
Simone Vidale and
Vasily Vlassov and
Giang Thu Vu and
Yuan{-}Pang Wang and
Jordan Weiss and
Abrha Hailay Weldemariam and
Ronny Westerman and
Anders Wimo and
Andrea Sylvia Winkler and
Chenkai Wu and
Ali Yadollahpour and
Metin Yesiltepe and
Naohiro Yonemoto and
Chuanhua Yu and
Mikhail Sergeevich Zastrozhin and
Anasthasia Zastrozhina and
Zhi{-}Jiang Zhang and
Christopher J. L. Murray and
Theo Vos},
title = {Use of multidimensional item response theory methods for dementia
prevalence prediction: an example using the Health and Retirement
Survey and the Aging, Demographics, and Memory Study},
journal = {{BMC} Medical Informatics Decis. Mak.},
volume = {21},
number = {1},
pages = {241},
year = {2021},
url = {https://doi.org/10.1186/s12911-021-01590-y},
doi = {10.1186/S12911-021-01590-Y},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/midm/NicholsAAAAAAAA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/LenaSN21,
author = {Pietro Di Lena and
Claudia Sala and
Christine Nardini},
title = {Estimage: a webserver hub for the computation of methylation age},
journal = {Nucleic Acids Res.},
volume = {49},
number = {Webserver-Issue},
pages = {199--206},
year = {2021},
url = {https://doi.org/10.1093/nar/gkab426},
doi = {10.1093/NAR/GKAB426},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/nar/LenaSN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/PyasikRBSSGRP21,
author = {Maria Pyasik and
Irene Ronga and
Dalila Burin and
Adriana Salatino and
Pietro Sarasso and
Francesca Garbarini and
Raffaella Ricci and
Lorenzo Pia},
title = {I'm a believer: Illusory self-generated touch elicits sensory attenuation
and somatosensory evoked potentials similar to the real self-touch},
journal = {NeuroImage},
volume = {229},
pages = {117727},
year = {2021},
url = {https://doi.org/10.1016/j.neuroimage.2021.117727},
doi = {10.1016/J.NEUROIMAGE.2021.117727},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/neuroimage/PyasikRBSSGRP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/MedinaS21,
author = {Manuel Medina and
Pietro Sala},
title = {On the early detection of Sepsis in {MIMIC-III}},
booktitle = {9th {IEEE} International Conference on Healthcare Informatics, {ICHI}
2021, Victoria, BC, Canada, August 9-12, 2021},
pages = {171--180},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICHI52183.2021.00035},
doi = {10.1109/ICHI52183.2021.00035},
timestamp = {Wed, 20 Oct 2021 16:44:24 +0200},
biburl = {https://dblp.org/rec/conf/ichi/MedinaS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MonicaMS21,
author = {Dario Della Monica and
Angelo Montanari and
Pietro Sala},
editor = {Claudio Sacerdoti Coen and
Ivano Salvo},
title = {Extended {\(\omega\)}-Regular Languages and Interval Temporal Logic},
booktitle = {Proceedings of the 22nd Italian Conference on Theoretical Computer
Science, Bologna, Italy, September 13-15, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3072},
pages = {70--86},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3072/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MonicaMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BozzelliMPS21,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Carlo Combi and
Johann Eder and
Mark Reynolds},
title = {Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes},
booktitle = {28th International Symposium on Temporal Representation and Reasoning,
{TIME} 2021, September 27-29, 2021, Klagenfurt, Austria},
series = {LIPIcs},
volume = {206},
pages = {9:1--9:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.TIME.2021.9},
doi = {10.4230/LIPICS.TIME.2021.9},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/time/BozzelliMPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08320,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Pierre Ganty and
Davide Bresolin},
title = {Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes
makes it EXPSPACE-Complete},
booktitle = {Proceedings 12th International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
2021},
series = {{EPTCS}},
volume = {346},
pages = {179--194},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.346.12},
doi = {10.4204/EPTCS.346.12},
timestamp = {Mon, 29 Nov 2021 16:32:06 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08320.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/LenaSPN20,
author = {Pietro Di Lena and
Claudia Sala and
Andrea Prodi and
Christine Nardini},
title = {Methylation data imputation performances under different representations
and missingness patterns},
journal = {{BMC} Bioinform.},
volume = {21},
number = {1},
pages = {268},
year = {2020},
url = {https://doi.org/10.1186/s12859-020-03592-5},
doi = {10.1186/S12859-020-03592-5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/LenaSPN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sncs/SalaCMR20,
author = {Pietro Sala and
Carlo Combi and
Matteo Mantovani and
Romeo Rizzi},
title = {Discovering Evolving Temporal Information: Theory and Application
to Clinical Databases},
journal = {{SN} Comput. Sci.},
volume = {1},
number = {3},
pages = {153},
year = {2020},
url = {https://doi.org/10.1007/s42979-020-00160-9},
doi = {10.1007/S42979-020-00160-9},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sncs/SalaCMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarozziniFMMS20,
author = {David Barozzini and
David de Frutos{-}Escrig and
Dario Della Monica and
Angelo Montanari and
Pietro Sala},
title = {Beyond \emph{{\(\omega\)}}-regular languages: \emph{{\(\omega\)}T}-regular
expressions and their automata and logic counterparts},
journal = {Theor. Comput. Sci.},
volume = {813},
pages = {270--304},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.12.029},
doi = {10.1016/J.TCS.2019.12.029},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BarozziniFMMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BozzelliMPS20,
author = {Laura Bozzelli and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Javier Esparza and
Daniel Kr{\'{a}}l'},
title = {On a Temporal Logic of Prefixes and Infixes},
booktitle = {45th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2020, August 24-28, 2020, Prague, Czech Republic},
series = {LIPIcs},
volume = {170},
pages = {21:1--21:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2020.21},
doi = {10.4230/LIPICS.MFCS.2020.21},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BozzelliMPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobicom/SeidZLP20,
author = {Salahadin Seid and
Marco Zennaro and
Mulugeta Libsie and
Ermanno Pietrosemoli},
title = {Mobile Crowdsensing Based Road Surface Monitoring Using Smartphone
Vibration Sensor and Lorawan},
booktitle = {Proceedings of the 1st Workshop on Experiences with the Design and
Implementation of Frugal Smart Objects, FRUGALTHINGS@MOBICOM 2020,
September 21, 2020, London, {UK}},
pages = {36--41},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3410670.3410858},
doi = {10.1145/3410670.3410858},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mobicom/SeidZLP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msn/SeidZLPM20,
author = {Salahadin Seid and
Marco Zennaro and
Mulugeta Libsie and
Ermanno Pietrosemoli and
Pietro Manzoni},
title = {A Low Cost Edge Computing and LoRaWAN Real Time Video Analytics for
Road Traffic Monitoring},
booktitle = {16th International Conference on Mobility, Sensing and Networking,
{MSN} 2020, Tokyo, Japan, December 17-19, 2020},
pages = {762--767},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/MSN50589.2020.00130},
doi = {10.1109/MSN50589.2020.00130},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msn/SeidZLPM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-04652,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Satisfiability and Model Checking for the Logic of Sub-Intervals under
the Homogeneity Assumption},
journal = {CoRR},
volume = {abs/2006.04652},
year = {2020},
url = {https://arxiv.org/abs/2006.04652},
eprinttype = {arXiv},
eprint = {2006.04652},
timestamp = {Fri, 12 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-04652.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Munoz-VelascoPS19,
author = {Emilio Mu{\~{n}}oz{-}Velasco and
Mercedes Pelegr{\'{\i}}n{-}Garc{\'{\i}}a and
Pietro Sala and
Guido Sciavicco and
Ionel Eduard Stan},
title = {On coarser interval temporal logics},
journal = {Artif. Intell.},
volume = {266},
pages = {1--26},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2018.09.001},
doi = {10.1016/J.ARTINT.2018.09.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Munoz-VelascoPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/LenaSPN19,
author = {Pietro Di Lena and
Claudia Sala and
Andrea Prodi and
Christine Nardini},
title = {Missing value estimation methods for {DNA} methylation data},
journal = {Bioinform.},
volume = {35},
number = {19},
pages = {3786--3793},
year = {2019},
url = {https://doi.org/10.1093/bioinformatics/btz134},
doi = {10.1093/BIOINFORMATICS/BTZ134},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/LenaSPN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BresolinMMSS19,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {Decidability and complexity of the fragments of the modal logic of
Allen's relations over the rationals},
journal = {Inf. Comput.},
volume = {266},
pages = {97--125},
year = {2019},
url = {https://doi.org/10.1016/j.ic.2019.02.002},
doi = {10.1016/J.IC.2019.02.002},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BresolinMMSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BozzelliMMPS19,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Which fragments of the interval temporal logic {HS} are tractable
in model checking?},
journal = {Theor. Comput. Sci.},
volume = {764},
pages = {125--144},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.04.011},
doi = {10.1016/J.TCS.2018.04.011},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BozzelliMMPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BozzelliMMPS19,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Interval vs. Point Temporal Logic Model Checking: An Expressiveness
Comparison},
journal = {{ACM} Trans. Comput. Log.},
volume = {20},
number = {1},
pages = {4:1--4:31},
year = {2019},
url = {https://doi.org/10.1145/3281028},
doi = {10.1145/3281028},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/BozzelliMMPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahfe/GiardinaBCRS19,
author = {Mariarosa Giardina and
Pietro Buffa and
Pablo Cirrone and
Luigi Raffaele and
Vincenzo Salamone},
editor = {Ronald L. Boring},
title = {Linguistic Approach to Support Human Reliability Analysis and Validation
Work in Advanced Radiotherapy Technologies},
booktitle = {Advances in Human Error, Reliability, Resilience, and Performance
- Proceedings of the 3rd International Conference on Human Error,
Reliability, Resilience, and Performance, {AHFE-HERRP} 2019, Washington,
DC, USA, July 24-28, 2019},
series = {Advances in Intelligent Systems and Computing},
volume = {956},
pages = {258--270},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20037-4\_23},
doi = {10.1007/978-3-030-20037-4\_23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ahfe/GiardinaBCRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucnc/AbdelsalamBLMPQ19,
author = {A. Abdel Salam and
Armir Bujari and
Michele Luglio and
Daniele Munaretto and
Claudio E. Palazzi and
Mattia Quadrini and
Simon Pietro Romano and
Cesare Roseti and
Francesco Zampognaro},
title = {Implementation of Virtualised Network Functions (VNFs) for Broadband
Satellite Networks},
booktitle = {European Conference on Networks and Communications, EuCNC 2019, Valencia,
Spain, June 18-21, 2019},
pages = {182--186},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EuCNC.2019.8801954},
doi = {10.1109/EUCNC.2019.8801954},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eucnc/AbdelsalamBLMPQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/SalaMST19,
author = {Riccardo Della Sala and
Pietro Monsurr{\`{o}} and
Giuseppe Scotti and
Alessandro Trifiletti},
title = {Area-Efficient Low-Power Bandpass Gm-C Filter for Epileptic Seizure
Detection in 130nm {CMOS}},
booktitle = {26th {IEEE} International Conference on Electronics, Circuits and
Systems, {ICECS} 2019, Genoa, Italy, November 27-29, 2019},
pages = {298--301},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICECS46596.2019.8964753},
doi = {10.1109/ICECS46596.2019.8964753},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/SalaMST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/CombiOS19,
author = {Carlo Combi and
Barbara Oliboni and
Pietro Sala},
editor = {Johann Gamper and
Sophie Pinchinat and
Guido Sciavicco},
title = {Customizing {BPMN} Diagrams Using Timelines},
booktitle = {26th International Symposium on Temporal Representation and Reasoning,
{TIME} 2019, October 16-19, 2019, M{\'{a}}laga, Spain},
series = {LIPIcs},
volume = {147},
pages = {5:1--5:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TIME.2019.5},
doi = {10.4230/LIPICS.TIME.2019.5},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/time/CombiOS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computation/TerentjevCCPSF18,
author = {Aleksandr V. Terentjev and
Pietro Cortona and
Lucian A. Constantin and
Jos{\'{e}} M. Pitarke and
Fabio Della Sala and
Eduardo Fabiano},
title = {Solid-State Testing of a Van-Der-Waals-Corrected Exchange-Correlation
Functional Based on the Semiclassical Atom Theory},
journal = {Comput.},
volume = {6},
number = {1},
pages = {7},
year = {2018},
url = {https://doi.org/10.3390/computation6010007},
doi = {10.3390/COMPUTATION6010007},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computation/TerentjevCCPSF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BozzelliMMPS18,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Model checking for fragments of the interval temporal logic {HS} at
the low levels of the polynomial time hierarchy},
journal = {Inf. Comput.},
volume = {262},
pages = {241--264},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.09.006},
doi = {10.1016/J.IC.2018.09.006},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BozzelliMMPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/CombiSZ18,
author = {Carlo Combi and
Pietro Sala and
Francesca Zerbato},
editor = {Mathias Weske and
Marco Montali and
Ingo Weber and
Jan vom Brocke},
title = {A Logical Formalization of Time-Critical Processes with Resources},
booktitle = {Business Process Management Forum - {BPM} Forum 2018, Sydney, NSW,
Australia, September 9-14, 2018, Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {329},
pages = {20--36},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98651-7\_2},
doi = {10.1007/978-3-319-98651-7\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/CombiSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Sala18,
author = {Pietro Sala},
editor = {Paolo Felli and
Marco Montali},
title = {An Algorithm for Verifying Approximate Pure Evolving Functional Dependencies},
booktitle = {Proceedings of the 33rd Italian Conference on Computational Logic,
Bolzano, Italy, September 20-22, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2214},
pages = {2--16},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2214/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Sala18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/Sala18,
author = {Pietro Sala},
editor = {Alessandro Aldini and
Marco Bernardo},
title = {Metric Right Propositional Neighborhood Logic with an Equivalence
Relation},
booktitle = {Proceedings of the 19th Italian Conference on Theoretical Computer
Science, Urbino, Italy, September 18-20, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2243},
pages = {140--151},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2243/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/Sala18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MonicaGMS18,
author = {Dario Della Monica and
Nicola Gigante and
Angelo Montanari and
Pietro Sala},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {A Novel Automata-Theoretic Approach to Timeline-Based Planning},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {541--550},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18024},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/MonicaGMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memea/TarabiniMSMGS18,
author = {Marco Tarabini and
Daniele Marchisotti and
Remo Sala and
Pietro Marzaroli and
Hermes Giberti and
Michele Sculati},
title = {A prototype for the automatic measurement of the hand dimensions using
the Microsoft Kinect {V2}},
booktitle = {2018 {IEEE} International Symposium on Medical Measurements and Applications,
MeMeA 2018, Rome, Italy, June 11-13, 2018},
pages = {1--6},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MeMeA.2018.8438789},
doi = {10.1109/MEMEA.2018.8438789},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memea/TarabiniMSMGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BozzelliMMPS17,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Ioannis Chatzigiannakis and
Piotr Indyk and
Fabian Kuhn and
Anca Muscholl},
title = {Satisfiability and Model Checking for the Logic of Sub-Intervals under
the Homogeneity Assumption},
booktitle = {44th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
series = {LIPIcs},
volume = {80},
pages = {120:1--120:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.120},
doi = {10.4230/LIPICS.ICALP.2017.120},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BozzelliMMPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/CombiMS17,
author = {Carlo Combi and
Matteo Mantovani and
Pietro Sala},
title = {Discovering Quantitative Temporal Functional Dependencies on Clinical
Data},
booktitle = {2017 {IEEE} International Conference on Healthcare Informatics, {ICHI}
2017, Park City, UT, USA, August 23-26, 2017},
pages = {248--257},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICHI.2017.80},
doi = {10.1109/ICHI.2017.80},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ichi/CombiMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BarozziniMMS17,
author = {David Barozzini and
Dario Della Monica and
Angelo Montanari and
Pietro Sala},
editor = {Dario Della Monica and
Aniello Murano and
Sasha Rubin and
Luigi Sauro},
title = {Counter-queue Automata with an Application to a Meaningful Extension
of Omega-regular Languages},
booktitle = {Joint Proceedings of the 18th Italian Conference on Theoretical Computer
Science and the 32nd Italian Conference on Computational Logic co-located
with the 2017 {IEEE} International Workshop on Measurements and Networking
{(2017} {IEEE} M{\&}N), Naples, Italy, September 26-28, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1949},
pages = {27--38},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1949/ICTCSpaper01.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BarozziniMMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MonicaGMSS17,
author = {Dario Della Monica and
Nicola Gigante and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Carles Sierra},
title = {Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based
Planning with Bounded Constraints},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1008--1014},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/140},
doi = {10.24963/IJCAI.2017/140},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MonicaGMSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CombiSZ17,
author = {Carlo Combi and
Pietro Sala and
Francesca Zerbato},
editor = {Ahmed Seffah and
Birgit Penzenstadler and
Carina Alves and
Xin Peng},
title = {Driving time-dependent paths in clinical {BPMN} processes},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
Morocco, April 3-7, 2017},
pages = {743--750},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3019612.3019620},
doi = {10.1145/3019612.3019620},
timestamp = {Wed, 01 Feb 2023 17:58:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/CombiSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02104,
author = {Dario Della Monica and
Angelo Montanari and
Pietro Sala},
editor = {Patricia Bouyer and
Andrea Orlandini and
Pierluigi San Pietro},
title = {Beyond {\(\omega\)}BS-regular Languages: {\(\omega\)}T-regular Expressions
and Counter-Check Automata},
booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
2017},
series = {{EPTCS}},
volume = {256},
pages = {223--237},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.256.16},
doi = {10.4204/EPTCS.256.16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02104.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-08191,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
title = {Interval vs. Point Temporal Logic Model Checking: an Expressiveness
Comparison},
journal = {CoRR},
volume = {abs/1711.08191},
year = {2017},
url = {http://arxiv.org/abs/1711.08191},
eprinttype = {arXiv},
eprint = {1711.08191},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-08191.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CombiS16,
author = {Carlo Combi and
Pietro Sala},
title = {Mining approximate interval-based temporal dependencies},
journal = {Acta Informatica},
volume = {53},
number = {6-8},
pages = {547--585},
year = {2016},
url = {https://doi.org/10.1007/s00236-015-0246-x},
doi = {10.1007/S00236-015-0246-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CombiS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MontanariPS16,
author = {Angelo Montanari and
Marco Pazzaglia and
Pietro Sala},
title = {Metric propositional neighborhood logic with an equivalence relation},
journal = {Acta Informatica},
volume = {53},
number = {6-8},
pages = {621--648},
year = {2016},
url = {https://doi.org/10.1007/s00236-016-0256-3},
doi = {10.1007/S00236-016-0256-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/MontanariPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/CastellaniMGBPF16,
author = {Gastone C. Castellani and
Giulia Menichetti and
Paolo Garagnani and
Maria Giulia Bacalini and
Chiara Pirazzini and
Claudio Franceschi and
Sebastiano Collino and
Claudia Sala and
Daniel Remondini and
Enrico Giampieri and
Ettore Mosca and
Matteo Bersanelli and
Silvia Vitali and
{\`{I}}talo Faria do Valle and
Pietro Li{\`{o}} and
Luciano Milanesi},
title = {Systems medicine of inflammaging},
journal = {Briefings Bioinform.},
volume = {17},
number = {3},
pages = {527--540},
year = {2016},
url = {https://doi.org/10.1093/bib/bbv062},
doi = {10.1093/BIB/BBV062},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bib/CastellaniMGBPF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ffa/PeterlongoST16,
author = {Pietro Peterlongo and
Massimiliano Sala and
Claudia Tinnirello},
title = {A discrete logarithm-based approach to compute low-weight multiples
of binary polynomials},
journal = {Finite Fields Their Appl.},
volume = {38},
pages = {57--71},
year = {2016},
url = {https://doi.org/10.1016/j.ffa.2015.12.005},
doi = {10.1016/J.FFA.2015.12.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ffa/PeterlongoST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MontanariPS16,
author = {Angelo Montanari and
Marco Pazzaglia and
Pietro Sala},
title = {Adding one or more equivalence relations to the interval temporal
logic},
journal = {Theor. Comput. Sci.},
volume = {629},
pages = {116--134},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.11.030},
doi = {10.1016/J.TCS.2015.11.030},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MontanariPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BozzelliMMPS16,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Nicola Olivetti and
Ashish Tiwari},
title = {Interval Temporal Logic Model Checking: The Border Between Good and
Bad {HS} Fragments},
booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9706},
pages = {389--405},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40229-1\_27},
doi = {10.1007/978-3-319-40229-1\_27},
timestamp = {Mon, 26 Jun 2023 20:45:22 +0200},
biburl = {https://dblp.org/rec/conf/cade/BozzelliMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BozzelliMMPS16,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {Interval vs. Point Temporal Logic Model Checking: an Expressiveness
Comparison},
booktitle = {36th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
Chennai, India},
series = {LIPIcs},
volume = {65},
pages = {26:1--26:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.26},
doi = {10.4230/LIPICS.FSTTCS.2016.26},
timestamp = {Tue, 30 Nov 2021 13:29:05 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BozzelliMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BozzelliMMPS16,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Vittorio Bil{\`{o}} and
Antonio Caruso},
title = {Interval Temporal Logic Model Checking Based on Track Bisimilarity
and Prefix Sampling},
booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
Science, Lecce, Italy, September 7-9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1720},
pages = {49--61},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1720/full4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/BozzelliMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MonicaMMS16,
author = {Dario Della Monica and
Angelo Montanari and
Aniello Murano and
Pietro Sala},
editor = {Loizos Michael and
Antonis C. Kakas},
title = {Prompt Interval Temporal Logic},
booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10021},
pages = {207--222},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48758-8\_14},
doi = {10.1007/978-3-319-48758-8\_14},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MonicaMMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MolinariMPS16,
author = {Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Model Checking Well-Behaved Fragments of {HS:} The (Almost) Final
Picture},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {473--483},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12792},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/MolinariMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BozzelliMMPS16,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Model Checking the Logic of Allen's Relations Meets and Started-by
is P\({}^{\mbox{NP}}\)-Complete},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {76--90},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.6},
doi = {10.4204/EPTCS.226.6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BozzelliMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbm/CombiMSSAMP15,
author = {Carlo Combi and
Matteo Mantovani and
Alberto Sabaini and
Pietro Sala and
Francesco Amaddeo and
Ugo Moretti and
Giuseppe Pozzi},
title = {Mining approximate temporal functional dependencies with pure temporal
grouping in clinical databases},
journal = {Comput. Biol. Medicine},
volume = {62},
pages = {306--324},
year = {2015},
url = {https://doi.org/10.1016/j.compbiomed.2014.08.004},
doi = {10.1016/J.COMPBIOMED.2014.08.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cbm/CombiMSSAMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MontanariPS15,
author = {Angelo Montanari and
Gabriele Puppis and
Pietro Sala},
title = {A decidable weakening of Compass Logic based on cone-shaped cardinal
directions},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {4},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(4:7)2015},
doi = {10.2168/LMCS-11(4:7)2015},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MontanariPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/WannerLRGMHSADD15,
author = {Lucas Francisco Wanner and
Liangzhen Lai and
Abbas Rahimi and
Mark Gottscho and
Pietro Mercati and
Chu{-}Hsiang Huang and
Frederic Sala and
Yuvraj Agarwal and
Lara Dolecek and
Nikil D. Dutt and
Puneet Gupta and
Rajesh K. Gupta and
Ranjit Jhala and
Rakesh Kumar and
Sorin Lerner and
Subhasish Mitra and
Alexandru Nicolau and
Tajana Simunic Rosing and
Mani B. Srivastava and
Steven Swanson and
Dennis Sylvester and
Yuanyuan Zhou},
title = {{NSF} expedition on variability-aware software: Recent results and
contributions},
journal = {it Inf. Technol.},
volume = {57},
number = {3},
pages = {181--198},
year = {2015},
url = {https://doi.org/10.1515/itit-2014-1085},
doi = {10.1515/ITIT-2014-1085},
timestamp = {Wed, 14 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/WannerLRGMHSADD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/SmedleyHDPPAAAB15,
author = {Damian Smedley and
Syed Haider and
Steffen Durinck and
Luca Pandini and
Paolo Provero and
James E. Allen and
Olivier Arnaiz and
Mohammad Hamza Awedh and
Richard A. Baldock and
Giulia Barbiera and
Philippe Bardou and
Tim Beck and
Andrew Blake and
Merideth Bonierbale and
Anthony J. Brookes and
Gabriele Bucci and
Iwan Buetti and
Sarah W. Burge and
C{\'{e}}dric Cabau and
Joseph W. Carlson and
Claude Chelala and
Charalambos Chrysostomou and
Davide Cittaro and
Olivier Collin and
Raul Cordova and
Rosalind J. Cutts and
Erik Dassi and
Alex Di G{\'{e}}nova and
Anis Djari and
Anthony Esposito and
Heather Estrella and
Eduardo Eyras and
Julio Fernandez{-}Banet and
Simon A. Forbes and
Robert C. Free and
Takatomo Fujisawa and
Emanuela Gadaleta and
Jose M. Garcia{-}Manteiga and
David M. Goodstein and
Kristian A. Gray and
Jos{\'{e}} Afonso Guerra{-}Assun{\c{c}}{\~{a}}o and
Bernard Haggarty and
Dongjin Han and
Byungwoo Han and
Todd W. Harris and
Jayson Harshbarger and
Robert K. Hastings and
Richard D. Hayes and
Claire Hoede and
Shen Hu and
Zhi{-}Liang Hu and
Lucie N. Hutchins and
Zhengyan Kan and
Hideya Kawaji and
Aminah{-}Olivia Keliet and
Arnaud Kerhornou and
Sunghoon Kim and
Rhoda Kinsella and
Christophe Klopp and
Lei Kong and
Daniel Lawson and
Dejan Lazarevic and
Ji{-}Hyun Lee and
Thomas Letellier and
Chuan{-}Yun Li and
Pietro Li{\`{o}} and
Chu{-}Jun Liu and
Jie Luo and
Alejandro Maass and
J{\'{e}}r{\^{o}}me Mariette and
Thomas Maurel and
Stefania Merella and
Azza Mostafa Mohamed and
Fran{\c{c}}ois Moreews and
Nabihoudine Ibouniyamine and
Nelson Ndegwa and
C{\'{e}}line Noirot and
Christian Perez{-}Llamas and
Michael Primig and
Alessandro Quattrone and
Hadi Quesneville and
Davide Rambaldi and
James M. Reecy and
Michela Riba and
Steven Rosanoff and
Amna Ali Saddiq and
Elisa Salas and
Olivier Sallou and
Rebecca Shepherd and
Reinhard Simon and
Linda Sperling and
William Spooner and
Daniel M. Staines and
Delphine Steinbach and
Kevin R. Stone and
Elia Stupka and
Jon W. Teague and
Abu Z. Dayem Ullah and
Jun Wang and
Doreen Ware and
Marie Wong{-}Erasmus and
Ken Youens{-}Clark and
Amonida Zadissa and
Shi{-}Jian Zhang and
Arek Kasprzyk},
title = {The BioMart community portal: an innovative alternative to large,
centralized data repositories},
journal = {Nucleic Acids Res.},
volume = {43},
number = {Webserver-Issue},
pages = {W589--W598},
year = {2015},
url = {https://doi.org/10.1093/nar/gkv350},
doi = {10.1093/NAR/GKV350},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/SmedleyHDPPAAAB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caepia/Munoz-VelascoPS15,
author = {Emilio Mu{\~{n}}oz{-}Velasco and
Mercedes Pelegr{\'{\i}}n{-}Garc{\'{\i}}a and
Pietro Sala and
Guido Sciavicco},
editor = {Jos{\'{e}} Miguel Puerta and
Jos{\'{e}} A. G{\'{a}}mez and
Bernab{\'{e}} Dorronsoro and
Edurne Barrenechea and
Alicia Troncoso and
Bruno Baruque and
Mikel Galar},
title = {On Coarser Interval Temporal Logics and their Satisfiability Problem},
booktitle = {Advances in Artificial Intelligence - 16th Conference of the Spanish
Association for Artificial Intelligence, {CAEPIA} 2015, Albacete,
Spain, November 9-12, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9422},
pages = {105--115},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24598-0\_10},
doi = {10.1007/978-3-319-24598-0\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caepia/Munoz-VelascoPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/i2mtc/CarminatiFCSGMM15,
author = {Marco Carminati and
Giorgio Ferrari and
Pietro Ciccarella and
Stefano Sala and
Stefano Grillanda and
Francesco Morichetti and
Andrea Melloni and
Marco Sampietro},
title = {Low-noise instrument for non-invasive monitoring of photonic integrated
circuits},
booktitle = {2015 {IEEE} International Instrumentation and Measurement Technology
Conference {(I2MTC)} Proceedings, Pisa, Italy, May 11-14, 2015},
pages = {2078--2083},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/I2MTC.2015.7151603},
doi = {10.1109/I2MTC.2015.7151603},
timestamp = {Thu, 09 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/i2mtc/CarminatiFCSGMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/SalaCCGS15,
author = {Pietro Sala and
Carlo Combi and
Matteo Cuccato and
Andrea Galvani and
Alberto Sabaini},
editor = {Prabhakaran Balakrishnan and
Jaideep Srivatsava and
Wai{-}Tat Fu and
Sanda M. Harabagiu and
Fei Wang},
title = {A Framework for Mining Evolution Rules and Its Application to the
Clinical Domain},
booktitle = {2015 International Conference on Healthcare Informatics, {ICHI} 2015,
Dallas, TX, USA, October 21-23, 2015},
pages = {293--302},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICHI.2015.42},
doi = {10.1109/ICHI.2015.42},
timestamp = {Mon, 22 Apr 2024 21:24:17 +0200},
biburl = {https://dblp.org/rec/conf/ichi/SalaCCGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BresolinMMSS15,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Adrian{-}Horia Dediu and
Enrico Formenti and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {On the Complexity of Fragments of the Modal Logic of Allen's Relations
over Dense Structures},
booktitle = {Language and Automata Theory and Applications - 9th International
Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8977},
pages = {511--523},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15579-1\_40},
doi = {10.1007/978-3-319-15579-1\_40},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/BresolinMMSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/CombiRS15,
author = {Carlo Combi and
Romeo Rizzi and
Pietro Sala},
editor = {Fabio Grandi and
Martin Lange and
Alessio Lomuscio},
title = {The Price of Evolution in Temporal Databases},
booktitle = {22nd International Symposium on Temporal Representation and Reasoning,
{TIME} 2015, Kassel, Germany, September 23-25, 2015},
pages = {47--58},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TIME.2015.24},
doi = {10.1109/TIME.2015.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/CombiRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/OrdCEPWCTABBBBB15,
author = {Stephen M. Ord and
Brian Crosse and
David Emrich and
Dave Pallot and
Randall B. Wayth and
Michael A. Clark and
Steven E. Tremblay and
Wayne Arcus and
David Barnes and
Martin E. Bell and
Gianni Bernardi and
N. D. Ramesh Bhat and
Julie D. Bowman and
Frank H. Briggs and
John D. Bunton and
Roger J. Cappallo and
Brian E. Corey and
Avinash A. Deshpande and
Ludi deSouza and
Aaron Ewell{-}Wice and
Lu Feng and
Robert F. Goeke and
Lincoln J. Greenhill and
Bryna J. Hazelton and
David Edwin Herne and
Jacqueline N. Hewitt and
Luke Hindson and
Natasha Hurley{-}Walker and
Daniel C. Jacobs and
Melanie Johnston{-}Hollitt and
David L. Kaplan and
Justin C. Kasper and
Barton B. Kincaid and
Ronald Koenig and
Eric Kratzenberg and
Nadia Kudryavtseva and
E. Lenc and
Colin J. Lonsdale and
Mervyn J. Lynch and
Benjamin McKinley and
Stephen R. McWhirter and
Daniel A. Mitchell and
Miguel F. Morales and
Edward H. Morgan and
Divya Oberoi and
Andr{\'{e}} R. Offringa and
Joseph Pathikulangara and
Bart Pindor and
Thiagaraj Prabu and
Pietro Procopio and
Ronald A. Remillard and
J. Riding and
Alan E. E. Rogers and
Anish A. Roshi and
Joseph E. Salah and
Robert J. Sault and
Udaya Shankar Natarajan and
K. S. Srivani and
James Stevens and
Ravi Subrahmanyan and
Steven J. Tingay and
Mark F. Waterson and
Rachel Lindsey Webster and
Alan R. Whitney and
Andrew J. Williams and
Christopher L. Williams and
J. Stuart B. Wyithe},
title = {The Murchison Widefield Array Correlator},
journal = {CoRR},
volume = {abs/1501.05992},
year = {2015},
url = {http://arxiv.org/abs/1501.05992},
eprinttype = {arXiv},
eprint = {1501.05992},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/OrdCEPWCTABBBBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CombiS14,
author = {Carlo Combi and
Pietro Sala},
title = {Interval-based temporal functional dependencies: specification and
verification},
journal = {Ann. Math. Artif. Intell.},
volume = {71},
number = {1-3},
pages = {85--130},
year = {2014},
url = {https://doi.org/10.1007/s10472-013-9387-1},
doi = {10.1007/S10472-013-9387-1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/CombiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmui/ChengSSCVM14,
author = {Dong Seon Cheng and
Hugues Salamin and
Pietro Salvagnini and
Marco Cristani and
Alessandro Vinciarelli and
Vittorio Murino},
title = {Predicting online lecture ratings based on gesturing and vocal behavior},
journal = {J. Multimodal User Interfaces},
volume = {8},
number = {2},
pages = {151--160},
year = {2014},
url = {https://doi.org/10.1007/s12193-013-0142-z},
doi = {10.1007/S12193-013-0142-Z},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jmui/ChengSSCVM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BresolinMMSS14,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {Interval temporal logics over strongly discrete linear orders: Expressiveness
and complexity},
journal = {Theor. Comput. Sci.},
volume = {560},
pages = {269--291},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.03.033},
doi = {10.1016/J.TCS.2014.03.033},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BresolinMMSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CombiS14,
author = {Carlo Combi and
Pietro Sala},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Keeping Interval-Based Functional Dependencies Up-to-Date},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {330--334},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/short5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CombiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/MontanariPS14,
author = {Angelo Montanari and
Marco Pazzaglia and
Pietro Sala},
editor = {Stefano Bistarelli and
Andrea Formisano},
title = {Adding two equivalence relations to the interval temporal logic {AB}},
booktitle = {Proceedings of the 15th Italian Conference on Theoretical Computer
Science, Perugia, Italy, September 17-19, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1231},
pages = {171--182},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1231/long13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/MontanariPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MontanariPS14,
author = {Angelo Montanari and
Gabriele Puppis and
Pietro Sala},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Martin Dietzfelbinger and
Zolt{\'{a}}n {\'{E}}sik},
title = {Decidability of the Interval Temporal Logic {\textdollar}{\textbackslash}mathsf\{A{\textbackslash}bar\{A\}B{\textbackslash}bar\{B\}\}{\textdollar}
over the Rationals},
booktitle = {Mathematical Foundations of Computer Science 2014 - 39th International
Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8634},
pages = {451--463},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44522-8\_38},
doi = {10.1007/978-3-662-44522-8\_38},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MontanariPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MontanariPS14,
author = {Angelo Montanari and
Marco Pazzaglia and
Pietro Sala},
editor = {Amedeo Cesta and
Carlo Combi and
Fran{\c{c}}ois Laroussinie},
title = {Metric Propositional Neighborhood Logic with an Equivalence Relation},
booktitle = {21st International Symposium on Temporal Representation and Reasoning,
{TIME} 2014, Verona, Italy, September 8-10, 2014},
pages = {49--58},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TIME.2014.26},
doi = {10.1109/TIME.2014.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/MontanariPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Sala14,
author = {Pietro Sala},
editor = {Amedeo Cesta and
Carlo Combi and
Fran{\c{c}}ois Laroussinie},
title = {Approximate Interval-Based Temporal Dependencies: The Complexity Landscape},
booktitle = {21st International Symposium on Temporal Representation and Reasoning,
{TIME} 2014, Verona, Italy, September 8-10, 2014},
pages = {69--78},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TIME.2014.20},
doi = {10.1109/TIME.2014.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Sala14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MontanariS14,
author = {Angelo Montanari and
Pietro Sala},
editor = {Adriano Peron and
Carla Piazza},
title = {Interval-based Synthesis},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {102--115},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.11},
doi = {10.4204/EPTCS.161.11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MontanariS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PeterlongoST14,
author = {Pietro Peterlongo and
Massimiliano Sala and
Claudia Tinnirello},
title = {A Discrete Logarithm-based Approach to Compute Low-Weight Multiples
of Binary Polynomials},
journal = {CoRR},
volume = {abs/1411.4024},
year = {2014},
url = {http://arxiv.org/abs/1411.4024},
eprinttype = {arXiv},
eprint = {1411.4024},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PeterlongoST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcmi/MarciMMPSSCMR13,
author = {Roberto Marci and
Immacolata Marcucci and
Aurelio Marcucci and
Nicolina Pacini and
Pietro Salacone and
Annalisa Sebastianelli and
Luisa Caponecchia and
Giuseppe Lo Monte and
Rocco Rago},
title = {Hysterosalpingocontrast sonography (HyCoSy): evaluation of the pain
perception, side effects and complications},
journal = {{BMC} Medical Imaging},
volume = {13},
pages = {28},
year = {2013},
url = {https://doi.org/10.1186/1471-2342-13-28},
doi = {10.1186/1471-2342-13-28},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcmi/MarciMMPSSCMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/CarraMSS13,
author = {Damiano Carra and
Pietro Michiardi and
Hani Salah and
Thorsten Strufe},
title = {On the Impact of Incentives in eMule \{Analysis and Measurements of
a Popular File-Sharing Application\}},
journal = {{IEEE} J. Sel. Areas Commun.},
volume = {31},
number = {9-Supplement},
pages = {94--104},
year = {2013},
url = {https://doi.org/10.1109/JSAC.2013.SUP.0513009},
doi = {10.1109/JSAC.2013.SUP.0513009},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsac/CarraMSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BresolinMSS13,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {Optimal decision procedures for {MPNL} over finite structures, the
natural numbers, and the integers},
journal = {Theor. Comput. Sci.},
volume = {493},
pages = {98--115},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.10.043},
doi = {10.1016/J.TCS.2012.10.043},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BresolinMSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/CombiPSP13,
author = {Carlo Combi and
Paolo Parise and
Pietro Sala and
Giuseppe Pozzi},
editor = {Wei Ding and
Takashi Washio and
Hui Xiong and
George Karypis and
Bhavani Thuraisingham and
Diane J. Cook and
Xindong Wu},
title = {Mining Approximate Temporal Functional Dependencies Based on Pure
Temporal Grouping},
booktitle = {13th {IEEE} International Conference on Data Mining Workshops, {ICDM}
Workshops, TX, USA, December 7-10, 2013},
pages = {258--265},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICDMW.2013.100},
doi = {10.1109/ICDMW.2013.100},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdm/CombiPSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icic/BevilacquaGMPSP13,
author = {Vitoantonio Bevilacqua and
Pietro Guccione and
Luigi Mascolo and
Pasquale Pio Pazienza and
Angelo Antonio Salatino and
Michele Pantaleo},
editor = {De{-}Shuang Huang and
Kang{-}Hyun Jo and
Yong{-}Quan Zhou and
Kyungsook Han},
title = {First Progresses in Evaluation of Resonance in Staff Selection through
Speech Emotion Recognition},
booktitle = {Intelligent Computing Theories and Technology - 9th International
Conference, {ICIC} 2013, Nanning, China, July 28-31, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7996},
pages = {658--671},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39482-9\_76},
doi = {10.1007/978-3-642-39482-9\_76},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/icic/BevilacquaGMPSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/MontanariS13,
author = {Angelo Montanari and
Pietro Sala},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Interval Logics and {\(\omega\)}B-Regular Languages},
booktitle = {Language and Automata Theory and Applications - 7th International
Conference, {LATA} 2013, Bilbao, Spain, April 2-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7810},
pages = {431--443},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37064-9\_38},
doi = {10.1007/978-3-642-37064-9\_38},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/MontanariS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MontanariS13,
author = {Angelo Montanari and
Pietro Sala},
title = {Adding an Equivalence Relation to the Interval Logic {ABB:} Complexity
and Expressiveness},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {193--202},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.25},
doi = {10.1109/LICS.2013.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MontanariS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BresolinSS12,
author = {Davide Bresolin and
Pietro Sala and
Guido Sciavicco},
title = {On Begins, Meets and before},
journal = {Int. J. Found. Comput. Sci.},
volume = {23},
number = {3},
pages = {559--583},
year = {2012},
url = {https://doi.org/10.1142/S012905411240028X},
doi = {10.1142/S012905411240028X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BresolinSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MonicaMS12,
author = {Dario Della Monica and
Angelo Montanari and
Pietro Sala},
editor = {Alexander Artikis and
Robert Craven and
Nihan Kesim Cicekli and
Babak Sadighi and
Kostas Stathis},
title = {The Importance of the Past in Interval Temporal Logics: The Case of
Propositional Neighborhood Logic},
booktitle = {Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7360},
pages = {79--102},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29414-3\_6},
doi = {10.1007/978-3-642-29414-3\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MonicaMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coginfocom/SalvagniniSCVM12,
author = {Pietro Salvagnini and
Hugues Salamin and
Marco Cristani and
Alessandro Vinciarelli and
Vittorio Murino},
title = {Learning how to teach from "Videolectures": automatic prediction of
lecture ratings based on teacher's nonverbal behavior},
booktitle = {{IEEE} 3rd International Conference on Cognitive Infocommunications,
CogInfoCom 2012, Kosice, Slovakia, December 2-5, 2012},
pages = {415--419},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/CogInfoCom.2012.6422017},
doi = {10.1109/COGINFOCOM.2012.6422017},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coginfocom/SalvagniniSCVM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BresolinMMSS12,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {Interval Temporal Logics over Finite Linear Orders: the Complete Picture},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {199--204},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-199},
doi = {10.3233/978-1-61499-098-7-199},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BresolinMMSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MontanariS12,
author = {Angelo Montanari and
Pietro Sala},
editor = {Ben C. Moszkowski and
Mark Reynolds and
Paolo Terenziani},
title = {An Optimal Tableau System for the Logic of Temporal Neighborhood over
the Reals},
booktitle = {19th International Symposium on Temporal Representation and Reasoning,
{TIME} 2012, Leicester, United Kingdom, September 12-14, 2012},
pages = {39--46},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TIME.2012.18},
doi = {10.1109/TIME.2012.18},
timestamp = {Thu, 15 Feb 2024 11:49:14 +0100},
biburl = {https://dblp.org/rec/conf/time/MontanariS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2479,
author = {Davide Bresolin and
Dario Della Monica and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Marco Faella and
Aniello Murano},
title = {Interval Temporal Logics over Strongly Discrete Linear Orders: the
Complete Picture},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {155--168},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.12},
doi = {10.4204/EPTCS.96.12},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BresolinMSS11,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {What's Decidable about Halpern and Shoham's Interval Logic? The Maximal
Fragment {ABBL}},
booktitle = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada},
pages = {387--396},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LICS.2011.35},
doi = {10.1109/LICS.2011.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BresolinMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssd/CombiMS11,
author = {Carlo Combi and
Angelo Montanari and
Pietro Sala},
editor = {Dieter Pfoser and
Yufei Tao and
Kyriakos Mouratidis and
Mario A. Nascimento and
Mohamed F. Mokbel and
Shashi Shekhar and
Yan Huang},
title = {A Uniform Framework for Temporal Functional Dependencies with Multiple
Granularities},
booktitle = {Advances in Spatial and Temporal Databases - 12th International Symposium,
{SSTD} 2011, Minneapolis, MN, USA, August 24-26, 2011, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6849},
pages = {404--421},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22922-0\_24},
doi = {10.1007/978-3-642-22922-0\_24},
timestamp = {Tue, 02 Jan 2024 12:43:46 +0100},
biburl = {https://dblp.org/rec/conf/ssd/CombiMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BresolinMSS11,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Kai Br{\"{u}}nnler and
George Metcalfe},
title = {Optimal Tableau Systems for Propositional Neighborhood Logic over
All, Dense, and Discrete Linear Orders},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 20th
International Conference, {TABLEAUX} 2011, Bern, Switzerland, July
4-8, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6793},
pages = {73--87},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22119-4\_8},
doi = {10.1007/978-3-642-22119-4\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BresolinMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/CombiS11,
author = {Carlo Combi and
Pietro Sala},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Temporal Functional Dependencies Based on Interval Relations},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {23--30},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.15},
doi = {10.1109/TIME.2011.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/CombiS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-1241,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Giovanna D'Agostino and
Salvatore La Torre},
title = {An Optimal Decision Procedure for {MPNL} over the Integers},
booktitle = {Proceedings of Second International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th
June 2011},
series = {{EPTCS}},
volume = {54},
pages = {192--206},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.54.14},
doi = {10.4204/EPTCS.54.14},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Sala10,
author = {Pietro Sala},
title = {Decidability of interval temporal logics},
school = {University of Udine, Italy},
year = {2010},
url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BVE0548176},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Sala10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BresolinGMS10,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Pietro Sala},
title = {Tableaux for Logics of Subinterval Structures over Dense Orderings},
journal = {J. Log. Comput.},
volume = {20},
number = {1},
pages = {133--166},
year = {2010},
url = {https://doi.org/10.1093/logcom/exn063},
doi = {10.1093/LOGCOM/EXN063},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BresolinGMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/MontanariPS10,
author = {Angelo Montanari and
Gabriele Puppis and
Pietro Sala},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of
Intervals},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {345--356},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_29},
doi = {10.1007/978-3-642-14162-1\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/MontanariPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/MontanariSS10,
author = {Angelo Montanari and
Gabriele Puppis and
Pietro Sala and
Guido Sciavicco},
editor = {Jean{-}Yves Marion and
Thomas Schwentick},
title = {Decidability of the Interval Temporal Logic {ABB} over the Natural
Numbers},
booktitle = {27th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2010, March 4-6, 2010, Nancy, France},
series = {LIPIcs},
volume = {5},
pages = {597--608},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.STACS.2010.2488},
doi = {10.4230/LIPICS.STACS.2010.2488},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/MontanariSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinSMMS10,
author = {Davide Bresolin and
Pietro Sala and
Dario Della Monica and
Angelo Montanari and
Guido Sciavicco},
editor = {Nicolas Markey and
Jef Wijsen},
title = {A Decidable Spatial Generalization of Metric Interval Temporal Logic},
booktitle = {{TIME} 2010 - 17th International Symposium on Temporal Representation
and Reasoning, Paris, France, 6-8 September 2010},
pages = {95--102},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TIME.2010.22},
doi = {10.1109/TIME.2010.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinSMMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/MontanariPS10,
author = {Angelo Montanari and
Ian Pratt{-}Hartmann and
Pietro Sala},
editor = {Nicolas Markey and
Jef Wijsen},
title = {Decidability of the Logics of the Reflexive Sub-interval and Super-interval
Relations over Finite Linear Orders},
booktitle = {{TIME} 2010 - 17th International Symposium on Temporal Representation
and Reasoning, Paris, France, 6-8 September 2010},
pages = {27--34},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TIME.2010.18},
doi = {10.1109/TIME.2010.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/MontanariPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1407,
author = {Davide Bresolin and
Pietro Sala and
Guido Sciavicco},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Begin, After, and Later: a Maximal Decidable Interval Temporal Logic},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {72--88},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.10},
doi = {10.4204/EPTCS.25.10},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1407.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MontanariPS09,
author = {Angelo Montanari and
Gabriele Puppis and
Pietro Sala},
editor = {Erich Gr{\"{a}}del and
Reinhard Kahle},
title = {A Decidable Spatial Logic with Cone-Shaped Cardinal Directions},
booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5771},
pages = {394--408},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04027-6\_29},
doi = {10.1007/978-3-642-04027-6\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/MontanariPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BresolinMSS09,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Martin Giese and
Arild Waaler},
title = {A Tableau-Based System for Spatial Reasoning about Directional Relations},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 18th
International Conference, {TABLEAUX} 2009, Oslo, Norway, July 6-10,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5607},
pages = {123--137},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02716-1\_10},
doi = {10.1007/978-3-642-02716-1\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BresolinMSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-3429,
author = {Angelo Montanari and
Gabriele Puppis and
Pietro Sala and
Guido Sciavicco},
title = {Decidability of the interval temporal logic ABBar over the natural
numbers},
journal = {CoRR},
volume = {abs/0912.3429},
year = {2009},
url = {http://arxiv.org/abs/0912.3429},
eprinttype = {arXiv},
eprint = {0912.3429},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-3429.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BresolinMSS08,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Optimal Tableaux for Right Propositional Neighborhood Logic over Linear
Orders},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {62--75},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_7},
doi = {10.1007/978-3-540-87803-2\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BresolinMSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BresolinMS08,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {An optimal tableau for Right Propositional Neighborhood Logic over
Trees},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {110--117},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.17},
doi = {10.1109/TIME.2008.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BresolinMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BresolinMS07,
author = {Davide Bresolin and
Angelo Montanari and
Pietro Sala},
editor = {Wolfgang Thomas and
Pascal Weil},
title = {An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood
Logic},
booktitle = {{STACS} 2007, 24th Annual Symposium on Theoretical Aspects of Computer
Science, Aachen, Germany, February 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4393},
pages = {549--560},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-70918-3\_47},
doi = {10.1007/978-3-540-70918-3\_47},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/BresolinMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BresolinGMS07,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Pietro Sala},
editor = {Nicola Olivetti},
title = {Tableau Systems for Logics of Subinterval Structures over Dense Orderings},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
International Conference, {TABLEAUX} 2007, Aix en Provence, France,
July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4548},
pages = {73--89},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73099-6\_8},
doi = {10.1007/978-3-540-73099-6\_8},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/BresolinGMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BresolinGMS09,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Pietro Sala},
editor = {Carlos Areces and
St{\'{e}}phane Demri},
title = {Complete and Terminating Tableau for the Logic of Proper Subinterval
Structures Over Dense Orderings},
booktitle = {Proceedings of the 5th Workshop on Methods for Modalities, {M4M} 2007,
Cachan, France, November 29-30, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {231},
pages = {131--151},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2009.02.033},
doi = {10.1016/J.ENTCS.2009.02.033},
timestamp = {Mon, 27 Feb 2023 09:39:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BresolinGMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/GorankoMSS06,
author = {Valentin Goranko and
Angelo Montanari and
Pietro Sala and
Guido Sciavicco},
title = {A general tableau method for propositional interval temporal logics:
Theory and implementation},
journal = {J. Appl. Log.},
volume = {4},
number = {3},
pages = {305--330},
year = {2006},
url = {https://doi.org/10.1016/j.jal.2005.06.012},
doi = {10.1016/J.JAL.2005.06.012},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/GorankoMSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-11-18 02:08 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
