default search action
Search dblp for Publications
export results for "Monica Dell'Anna"
@article{DBLP:journals/corr/abs-2402-00970, author = {Luca Aceto and Dario Della Monica and Ignacio F{\'{a}}bregas and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, title = {When Are Prime Formulae Characteristic?}, journal = {CoRR}, volume = {abs/2402.00970}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.00970}, doi = {10.48550/ARXIV.2402.00970}, eprinttype = {arXiv}, eprint = {2402.00970}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-00970.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/embc/ToffoliLPGMDF21, author = {Simone Toffoli and Francesca Lunardini and Monica Parati and Matteo Gallotta and Beatrice De Maria and Maria Elisabetta Dell'Anna and Simona Ferrante}, title = {A smart ink pen for spiral drawing analysis in patients with Parkinson's disease}, booktitle = {43rd Annual International Conference of the {IEEE} Engineering in Medicine {\&} Biology Society, {EMBC} 2021, Mexico, November 1-5, 2021}, pages = {6475--6478}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/EMBC46164.2021.9629681}, doi = {10.1109/EMBC46164.2021.9629681}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/embc/ToffoliLPGMDF21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AcetoMFI19, author = {Luca Aceto and Dario Della Monica and Ignacio F{\'{a}}bregas and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, title = {When are prime formulae characteristic?}, journal = {Theor. Comput. Sci.}, volume = {777}, pages = {3--31}, year = {2019}, url = {https://doi.org/10.1016/j.tcs.2018.12.004}, doi = {10.1016/J.TCS.2018.12.004}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AcetoMFI19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/FrancalanzaAAAC17, author = {Adrian Francalanza and Luca Aceto and Antonis Achilleos and Duncan Paul Attard and Ian Cassar and Dario Della Monica and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, editor = {Shuvendu K. Lahiri and Giles Reger}, title = {A Foundation for Runtime Monitoring}, booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10548}, pages = {8--29}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-67531-2\_2}, doi = {10.1007/978-3-319-67531-2\_2}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/FrancalanzaAAAC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/AcetoMGIMS16, author = {Luca Aceto and Dario Della Monica and Valentin Goranko and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Angelo Montanari and Guido Sciavicco}, title = {A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases}, journal = {Acta Informatica}, volume = {53}, number = {3}, pages = {207--246}, year = {2016}, url = {https://doi.org/10.1007/s00236-015-0231-4}, doi = {10.1007/S00236-015-0231-4}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/AcetoMGIMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/AcetoMFI15, author = {Luca Aceto and Dario Della Monica and Ignacio F{\'{a}}bregas and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, editor = {Giuseppe F. Italiano and Giovanni Pighizzini and Donald Sannella}, title = {When Are Prime Formulae Characteristic?}, booktitle = {Mathematical Foundations of Computer Science 2015 - 40th International Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9234}, pages = {76--88}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-48057-1\_6}, doi = {10.1007/978-3-662-48057-1\_6}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfcs/AcetoMFI15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/AcetoMIMS14, author = {Luca Aceto and Dario Della Monica and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Angelo Montanari and Guido Sciavicco}, editor = {Eduardo Ferm{\'{e}} and Jo{\~{a}}o Leite}, title = {On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders}, booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA} 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8761}, pages = {267--281}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-11558-0\_19}, doi = {10.1007/978-3-319-11558-0\_19}, timestamp = {Fri, 07 Aug 2020 08:55:19 +0200}, biburl = {https://dblp.org/rec/conf/jelia/AcetoMIMS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/AcetoMIMS13, author = {Luca Aceto and Dario Della Monica and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Angelo Montanari and Guido Sciavicco}, editor = {Kenneth L. McMillan and Aart Middeldorp and Andrei Voronkov}, title = {An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8312}, pages = {1--17}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-45221-5\_1}, doi = {10.1007/978-3-642-45221-5\_1}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/AcetoMIMS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/AcetoMIMS13, author = {Luca Aceto and Dario Della Monica and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Angelo Montanari and Guido Sciavicco}, editor = {C{\'{e}}sar S{\'{a}}nchez and Kristen Brent Venable and Esteban Zim{\'{a}}nyi}, title = {A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders}, booktitle = {2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013}, pages = {65--72}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/TIME.2013.16}, doi = {10.1109/TIME.2013.16}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/time/AcetoMIMS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsac/DellAnnaA99, author = {Monica Dell'Anna and A. Hamid Aghvami}, title = {Performance of optimum and suboptimum combining at the antenna array of a {W-CDMA} system}, journal = {{IEEE} J. Sel. Areas Commun.}, volume = {17}, number = {12}, pages = {2123--2137}, year = {1999}, url = {https://doi.org/10.1109/49.814826}, doi = {10.1109/49.814826}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsac/DellAnnaA99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pimrc/DellAnnaMBA97, author = {Monica Dell'Anna and Behzad Mohebbi and Alex E. Brand and A. Hamid Aghvami}, title = {A study of polarisation diversity for a microcellular environment}, booktitle = {The 8th {IEEE} International Symposium on Personal, Indoor and Mobile Radio Communications, {PIMRC} 1997, Helsinki, Finland, September 1-4, 1997}, pages = {575--579}, publisher = {{IEEE}}, year = {1997}, url = {https://doi.org/10.1109/PIMRC.1997.631097}, doi = {10.1109/PIMRC.1997.631097}, timestamp = {Fri, 22 May 2020 16:30:39 +0200}, biburl = {https://dblp.org/rec/conf/pimrc/DellAnnaMBA97.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.