Search dblp for Publications

export results for "Monica Dell'Anna"

 download as .bib file

@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.