Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Stefano Quer"
download as .bib file
@inproceedings{DBLP:conf/date/StracquadanioMQ24,
author = {Giuseppe Stracquadanio and
Sourav Medya and
Stefano Quer and
Debjit Pal},
title = {VeriBug: An Attention-Based Framework for Bug Localization in Hardware
Designs},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2024, Valencia, Spain, March 25-27, 2024},
pages = {1--2},
publisher = {{IEEE}},
year = {2024},
url = {https://ieeexplore.ieee.org/document/10546890},
timestamp = {Mon, 17 Jun 2024 14:45:14 +0200},
biburl = {https://dblp.org/rec/conf/date/StracquadanioMQ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/0001BBBR24,
author = {Leandro Antonelli and
Hassan Badir and
Houssam Bazza and
Sandro Bimonte and
Stefano Rizzi},
editor = {Joaquim Filipe and
Michal Smialek and
Alexander Brodsky and
Slimane Hammoudi},
title = {Requirements Engineering for Continuous Queries on IoRT Data: {A}
Case Study in Agricultural Autonomous Robots Monitoring},
booktitle = {Proceedings of the 26th International Conference on Enterprise Information
Systems, {ICEIS} 2024, Angers, France, April 28-30, 2024, Volume 2},
pages = {113--120},
publisher = {{SCITEPRESS}},
year = {2024},
url = {https://doi.org/10.5220/0012439600003690},
doi = {10.5220/0012439600003690},
timestamp = {Wed, 05 Jun 2024 13:17:09 +0200},
biburl = {https://dblp.org/rec/conf/iceis/0001BBBR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmm/PegiaLMGJBGVK24,
author = {Maria Pegia and
Ferran Agullo Lopez and
Anastasia Moumtzidou and
Alberto Gutierrez{-}Torre and
Bj{\"{o}}rn {\TH}{\'{o}}r J{\'{o}}nsson and
Josep Lluis Berral{-}Garcia and
Ilias Gialampoukidis and
Stefanos Vrochidis and
Ioannis Kompatsiaris},
editor = {Stevan Rudinac and
Alan Hanjalic and
Cynthia C. S. Liem and
Marcel Worring and
Bj{\"{o}}rn {\TH}{\'{o}}r J{\'{o}}nsson and
Bei Liu and
Yoko Yamakata},
title = {Time-Quality Tradeoff of MuseHash Query Processing Performance},
booktitle = {MultiMedia Modeling - 30th International Conference, {MMM} 2024, Amsterdam,
The Netherlands, January 29 - February 2, 2024, Proceedings, Part
{III}},
series = {Lecture Notes in Computer Science},
volume = {14556},
pages = {270--283},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-53311-2\_20},
doi = {10.1007/978-3-031-53311-2\_20},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mmm/PegiaLMGJBGVK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-09494,
author = {Giuseppe Stracquadanio and
Sourav Medya and
Stefano Quer and
Debjit Pal},
title = {VeriBug: An Attention-based Framework for Bug-Localization in Hardware
Designs},
journal = {CoRR},
volume = {abs/2401.09494},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.09494},
doi = {10.48550/ARXIV.2401.09494},
eprinttype = {arXiv},
eprint = {2401.09494},
timestamp = {Fri, 02 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-09494.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-16015,
author = {Stefano M. Nicoletti and
Milan Lopuha{\"{a}}{-}Zwakenberg and
Ernst Moritz Hahn and
Mari{\"{e}}lle Stoelinga},
title = {Querying Fault and Attack Trees: Property Specification on a Water
Network},
journal = {CoRR},
volume = {abs/2401.16015},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.16015},
doi = {10.48550/ARXIV.2401.16015},
eprinttype = {arXiv},
eprint = {2401.16015},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-16015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-04469,
author = {Pei Wang and
Zhaowei Cai and
Hao Yang and
Ashwin Swaminathan and
R. Manmatha and
Stefano Soatto},
title = {Mixed-Query Transformer: {A} Unified Image Segmentation Architecture},
journal = {CoRR},
volume = {abs/2404.04469},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.04469},
doi = {10.48550/ARXIV.2404.04469},
eprinttype = {arXiv},
eprint = {2404.04469},
timestamp = {Wed, 15 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-04469.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/AngioneABCQRTU23,
author = {Francesco Angione and
Davide Appello and
Paolo Bernardi and
Andrea Calabrese and
Stefano Quer and
Matteo Sonza Reorda and
Vincenzo Tancorre and
Roberto Ugioli},
title = {A Toolchain to Quantify Burn-In Stress Effectiveness on Large Automotive
System-on-Chips},
journal = {{IEEE} Access},
volume = {11},
pages = {105655--105676},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3316511},
doi = {10.1109/ACCESS.2023.3316511},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/AngioneABCQRTU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/BorioneCCQ23,
author = {Alessandro Borione and
Lorenzo Cardone and
Andrea Calabrese and
Stefano Quer},
title = {An Experimental Evaluation of Graph Coloring Heuristics on Multi-
and Many-Core Architectures},
journal = {{IEEE} Access},
volume = {11},
pages = {125226--125243},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3329082},
doi = {10.1109/ACCESS.2023.3329082},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/BorioneCCQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KrivochizaDQMMAKC23,
author = {Jevgenij Krivochiza and
Juan Carlos Merlano Duncan and
Jorge Querol and
Nicola Maturo and
Liz Martinez Marrero and
Stefano Andrenacci and
Jens Krause and
Symeon Chatzinotas},
title = {End-to-End Precoding Validation Over a Live {GEO} Satellite Forward
Link},
journal = {{IEEE} Access},
volume = {11},
pages = {41556--41564},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2021.3064980},
doi = {10.1109/ACCESS.2021.3064980},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/KrivochizaDQMMAKC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/GualaLZ23,
author = {Luciano Gual{\`{a}} and
Stefano Leucci and
Isabella Ziccardi},
title = {Resilient Level Ancestor, Bottleneck, and Lowest Common Ancestor Queries
in Dynamic Trees},
journal = {Algorithmica},
volume = {85},
number = {6},
pages = {1624--1651},
year = {2023},
url = {https://doi.org/10.1007/s00453-022-01046-3},
doi = {10.1007/S00453-022-01046-3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/GualaLZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BocchiBBFQ23,
author = {Giovanni Bocchi and
Stefano Botteghi and
Martina Brasini and
Patrizio Frosini and
Nicola Quercioli},
title = {On the finite representation of linear group equivariant operators
via permutant measures},
journal = {Ann. Math. Artif. Intell.},
volume = {91},
number = {4},
pages = {465--487},
year = {2023},
url = {https://doi.org/10.1007/s10472-022-09830-1},
doi = {10.1007/S10472-022-09830-1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BocchiBBFQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/VimercatiFJLPS23,
author = {Sabrina De Capitani di Vimercati and
Sara Foresti and
Sushil Jajodia and
Giovanni Livraga and
Stefano Paraboschi and
Pierangela Samarati},
title = {Distributed query execution under access restrictions},
journal = {Comput. Secur.},
volume = {127},
pages = {103056},
year = {2023},
url = {https://doi.org/10.1016/j.cose.2022.103056},
doi = {10.1016/J.COSE.2022.103056},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/VimercatiFJLPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computation/CardoneQ23,
author = {Lorenzo Cardone and
Stefano Quer},
title = {The Multi-Maximum and Quasi-Maximum Common Subgraph Problem},
journal = {Comput.},
volume = {11},
number = {4},
pages = {69},
year = {2023},
url = {https://doi.org/10.3390/computation11040069},
doi = {10.3390/COMPUTATION11040069},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computation/CardoneQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computers/StathopoulosKKDVK23,
author = {Evangelos A. Stathopoulos and
Anastasios I. Karageorgiadis and
Alexandros Kokkalas and
Sotiris Diplaris and
Stefanos Vrochidis and
Ioannis Kompatsiaris},
title = {A Query Expansion Benchmark on Social Media Information Retrieval:
Which Methodology Performs Best and Aligns with Semantics?},
journal = {Comput.},
volume = {12},
number = {6},
pages = {119},
year = {2023},
url = {https://doi.org/10.3390/computers12060119},
doi = {10.3390/COMPUTERS12060119},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computers/StathopoulosKKDVK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-net/ZichichiSFD23,
author = {Mirko Zichichi and
Luca Serena and
Stefano Ferretti and
Gabriele D'Angelo},
title = {Complex queries over decentralised systems for geodata retrieval},
journal = {{IET} Networks},
volume = {12},
number = {2},
pages = {37--52},
year = {2023},
url = {https://doi.org/10.1049/ntw2.12037},
doi = {10.1049/NTW2.12037},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-net/ZichichiSFD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/MollaRG23,
author = {Eirini Molla and
Panagiotis Rizomiliotis and
Stefanos Gritzalis},
title = {Efficient searchable symmetric encryption supporting range queries},
journal = {Int. J. Inf. Sec.},
volume = {22},
number = {4},
pages = {785--798},
year = {2023},
url = {https://doi.org/10.1007/s10207-023-00667-1},
doi = {10.1007/S10207-023-00667-1},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/MollaRG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/IgneGH23,
author = {Federico Igne and
Stefano Germano and
Ian Horrocks},
title = {Conjunctive query answering over unrestricted {OWL} 2 ontologies},
journal = {Semantic Web},
volume = {14},
number = {6},
pages = {997--1050},
year = {2023},
url = {https://doi.org/10.3233/SW-233382},
doi = {10.3233/SW-233382},
timestamp = {Mon, 15 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/semweb/IgneGH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/OrlandoBQPVP23,
author = {Matteo Orlando and
Lorenzo Bottaccioli and
Stefano Quer and
Massimo Poncino and
Sara Vinco and
Edoardo Patti},
title = {A Framework for Economic and Environmental Benefit Through Renewable
Energy Community},
journal = {{IEEE} Syst. J.},
volume = {17},
number = {4},
pages = {5626--5635},
year = {2023},
url = {https://doi.org/10.1109/JSYST.2023.3290941},
doi = {10.1109/JSYST.2023.3290941},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sj/OrlandoBQPVP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/CastangiaBCQMP23,
author = {Marco Castangia and
Nicola Barletta and
Christian Camarda and
Stefano Quer and
Enrico Macii and
Edoardo Patti},
title = {Clustering Appliance Operation Modes With Unsupervised Deep Learning
Techniques},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {19},
number = {7},
pages = {8196--8204},
year = {2023},
url = {https://doi.org/10.1109/TII.2022.3217495},
doi = {10.1109/TII.2022.3217495},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/CastangiaBCQMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/FranciaGMRV23,
author = {Matteo Francia and
Matteo Golfarelli and
Patrick Marcel and
Stefano Rizzi and
Panos Vassiliadis},
title = {Suggesting Assess Queries for Interactive Analysis of Multidimensional
Data},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {35},
number = {6},
pages = {6421--6434},
year = {2023},
url = {https://doi.org/10.1109/TKDE.2022.3171516},
doi = {10.1109/TKDE.2022.3171516},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/FranciaGMRV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/BimonteMR23,
author = {Sandro Bimonte and
Patrick Marcel and
Stefano Rizzi},
editor = {Alberto Abell{\'{o}} and
Panos Vassiliadis and
Oscar Romero and
Robert Wrembel and
Francesca Bugiotti and
Johann Gamper and
Genoveva Vargas{-}Solar and
Ester Zumpano},
title = {Be High on Emotion: Coping with Emotions and Emotional Intelligence
when Querying Data},
booktitle = {New Trends in Database and Information Systems - {ADBIS} 2023 Short
Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD,
PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1850},
pages = {82--91},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42941-5\_8},
doi = {10.1007/978-3-031-42941-5\_8},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/BimonteMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/GhoshalT23,
author = {Ashrujit Ghoshal and
Stefano Tessaro},
editor = {Helena Handschuh and
Anna Lysyanskaya},
title = {The Query-Complexity of Preprocessing Attacks},
booktitle = {Advances in Cryptology - {CRYPTO} 2023 - 43rd Annual International
Cryptology Conference, {CRYPTO} 2023, Santa Barbara, CA, USA, August
20-24, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14082},
pages = {482--513},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38545-2\_16},
doi = {10.1007/978-3-031-38545-2\_16},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/crypto/GhoshalT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecir/FaggioliFMCFP23,
author = {Guglielmo Faggioli and
Thibault Formal and
Stefano Marchesin and
St{\'{e}}phane Clinchant and
Nicola Ferro and
Benjamin Piwowarski},
editor = {Jaap Kamps and
Lorraine Goeuriot and
Fabio Crestani and
Maria Maistro and
Hideo Joho and
Brian Davis and
Cathal Gurrin and
Udo Kruschwitz and
Annalina Caputo},
title = {Query Performance Prediction for Neural {IR:} Are We There Yet?},
booktitle = {Advances in Information Retrieval - 45th European Conference on Information
Retrieval, {ECIR} 2023, Dublin, Ireland, April 2-6, 2023, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13980},
pages = {232--248},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-28244-7\_15},
doi = {10.1007/978-3-031-28244-7\_15},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecir/FaggioliFMCFP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/CaruccioCDPS23,
author = {Loredana Caruccio and
Stefano Cirillo and
Vincenzo Deufemia and
Giuseppe Polese and
Roberto Stanzione},
editor = {Julia Stoyanovich and
Jens Teubner and
Nikos Mamoulis and
Evaggelia Pitoura and
Jan M{\"{u}}hlig and
Katja Hose and
Sourav S. Bhowmick and
Matteo Lissandrini},
title = {{REQUIRED:} {A} Tool to Relax Queries through Relaxed Functional Dependencies},
booktitle = {Proceedings 26th International Conference on Extending Database Technology,
{EDBT} 2023, Ioannina, Greece, March 28-31, 2023},
pages = {823--826},
publisher = {OpenProceedings.org},
year = {2023},
url = {https://doi.org/10.48786/edbt.2023.74},
doi = {10.48786/EDBT.2023.74},
timestamp = {Sat, 29 Apr 2023 13:06:22 +0200},
biburl = {https://dblp.org/rec/conf/edbt/CaruccioCDPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/SaaltinkN0HS23,
author = {Caz Saaltink and
Stefano M. Nicoletti and
Matthias Volk and
Ernst Moritz Hahn and
Mari{\"{e}}lle Stoelinga},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Solving Queries for Boolean Fault Tree Logic via Quantified {SAT}},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal
Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal,
22 October 2023},
pages = {48--59},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3623503.3623535},
doi = {10.1145/3623503.3623535},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/SaaltinkN0HS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/CalabreseCLPQ23,
author = {Andrea Calabrese and
Lorenzo Cardone and
Salvatore Licata and
Marco Porro and
Stefano Quer},
editor = {Hans{-}Georg Fill and
Francisco Jos{\'{e}} Dom{\'{\i}}nguez Mayo and
Marten van Sinderen and
Leszek A. Maciaszek},
title = {A Web Scraping Algorithm to Improve the Computation of the Maximum
Common Subgraph},
booktitle = {Proceedings of the 18th International Conference on Software Technologies,
{ICSOFT} 2023, Rome, Italy, July 10-12, 2023},
pages = {197--206},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0012130800003538},
doi = {10.5220/0012130800003538},
timestamp = {Mon, 31 Jul 2023 15:39:29 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/CalabreseCLPQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictir/FaggioliFL0C0P23,
author = {Guglielmo Faggioli and
Thibault Formal and
Simon Lupart and
Stefano Marchesin and
St{\'{e}}phane Clinchant and
Nicola Ferro and
Benjamin Piwowarski},
editor = {Masaharu Yoshioka and
Julia Kiseleva and
Mohammad Aliannejadi},
title = {Towards Query Performance Prediction for Neural Information Retrieval:
Challenges and Opportunities},
booktitle = {Proceedings of the 2023 {ACM} {SIGIR} International Conference on
Theory of Information Retrieval, {ICTIR} 2023, Taipei, Taiwan, 23
July 2023},
pages = {51--63},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3578337.3605142},
doi = {10.1145/3578337.3605142},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictir/FaggioliFL0C0P23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FaggioliF0C0P23,
author = {Guglielmo Faggioli and
Thibault Formal and
Stefano Marchesin and
St{\'{e}}phane Clinchant and
Nicola Ferro and
Benjamin Piwowarski},
editor = {Diego Calvanese and
Claudia Diamantini and
Guglielmo Faggioli and
Nicola Ferro and
Stefano Marchesin and
Gianmaria Silvello and
Letizia Tanca},
title = {On the Limitations of Query Performance Prediction for Neural {IR}},
booktitle = {Proceedings of the 31st Symposium of Advanced Database Systems, Galzingano
Terme, Italy, July 2nd to 5th, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3478},
pages = {379--390},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3478/paper04.pdf},
timestamp = {Wed, 13 Sep 2023 16:08:43 +0200},
biburl = {https://dblp.org/rec/conf/sebd/FaggioliF0C0P23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacom-ws/SmineMQLWAV23,
author = {Zineb Smine and
Paolo Melidoro and
Ahmed Qureshi and
Stefano Longobardi and
Steven E. Williams and
Oleg V. Aslanidi and
Adelaide de Vecchi},
editor = {Oscar Camara and
Esther Puyol{-}Ant{\'{o}}n and
Maxime Sermesant and
Avan Suinesiaputra and
Qian Tao and
Chengyan Wang and
Alistair A. Young},
title = {Global Sensitivity Analysis of Thrombus Formation in the Left Atrial
Appendage of Atrial Fibrillation Patients},
booktitle = {Statistical Atlases and Computational Models of the Heart. Regular
and CMRxRecon Challenge Papers - 14th International Workshop, {STACOM}
2023, Held in Conjunction with {MICCAI} 2023, Vancouver, BC, Canada,
October 12, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14507},
pages = {55--65},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-52448-6\_6},
doi = {10.1007/978-3-031-52448-6\_6},
timestamp = {Sun, 18 Feb 2024 17:03:24 +0100},
biburl = {https://dblp.org/rec/conf/stacom-ws/SmineMQLWAV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-09947,
author = {Guglielmo Faggioli and
Thibault Formal and
Stefano Marchesin and
St{\'{e}}phane Clinchant and
Nicola Ferro and
Benjamin Piwowarski},
title = {Query Performance Prediction for Neural {IR:} Are We There Yet?},
journal = {CoRR},
volume = {abs/2302.09947},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.09947},
doi = {10.48550/ARXIV.2302.09947},
eprinttype = {arXiv},
eprint = {2302.09947},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-09947.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-01612,
author = {Michele Boldo and
Enrico Martini and
Mirco De Marchi and
Stefano Aldegheri and
Nicola Bombieri},
title = {On the Query Strategies for Efficient Online Active Distillation},
journal = {CoRR},
volume = {abs/2309.01612},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.01612},
doi = {10.48550/ARXIV.2309.01612},
eprinttype = {arXiv},
eprint = {2309.01612},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-01612.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/GhoshalT23,
author = {Ashrujit Ghoshal and
Stefano Tessaro},
title = {The Query-Complexity of Preprocessing Attacks},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {856},
year = {2023},
url = {https://eprint.iacr.org/2023/856},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/GhoshalT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/AppelloBCPQTU22,
author = {Davide Appello and
Paolo Bernardi and
Andrea Calabrese and
Giorgio Pollaccia and
Stefano Quer and
Vincenzo Tancorre and
Roberto Ugioli},
title = {Parallel Multithread Analysis of Extremely Large Simulation Traces},
journal = {{IEEE} Access},
volume = {10},
pages = {56440--56457},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3177613},
doi = {10.1109/ACCESS.2022.3177613},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/AppelloBCPQTU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/epjds/FioriniCJSQ22,
author = {Stefano Fiorini and
Michele Ciavotta and
Sagar Joglekar and
Sanja Scepanovic and
Daniele Quercia},
title = {On the adoption of e-moped sharing systems},
journal = {{EPJ} Data Sci.},
volume = {11},
number = {1},
pages = {46},
year = {2022},
url = {https://doi.org/10.1140/epjds/s13688-022-00358-2},
doi = {10.1140/EPJDS/S13688-022-00358-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/epjds/FioriniCJSQ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/EjarqueBAABBBBD22,
author = {Jorge Ejarque and
Rosa M. Badia and
Lo{\"{\i}}c Albertin and
Giovanni Aloisio and
Enrico Baglione and
Yolanda Becerra and
Stefan Boschert and
Julian R. Berlin and
Alessandro D'Anca and
Donatello Elia and
Fran{\c{c}}ois Exertier and
Sandro Fiore and
Jos{\'{e}} Flich and
Arnau Folch and
Steven J. Gibbons and
Nikolay Koldunov and
Francesc Lordan and
Stefano Lorito and
Finn L{\o}vholt and
Jorge Mac{\'{\i}}as S{\'{a}}nchez and
Fabrizio Marozzo and
Alberto Michelini and
Marisol Monterrubio Velasco and
Marta Pienkowska and
Josep de la Puente and
Anna Queralt and
Enrique S. Quintana{-}Ort{\'{\i}} and
Juan Esteban Rodriguez and
Fabrizio Romano and
Riccardo Rossi and
Jedrzej Rybicki and
Miroslaw Kupczyk and
Jacopo Selva and
Domenico Talia and
Roberto Tonini and
Paolo Trunfio and
Manuela Volpe},
title = {Enabling dynamic and intelligent workflows for HPC, data analytics,
and {AI} convergence},
journal = {Future Gener. Comput. Syst.},
volume = {134},
pages = {414--429},
year = {2022},
url = {https://doi.org/10.1016/j.future.2022.04.014},
doi = {10.1016/J.FUTURE.2022.04.014},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/EjarqueBAABBBBD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/OrlandoEPPQPBP22,
author = {Matteo Orlando and
Abouzar Estebsari and
Enrico Pons and
Marco Pau and
Stefano Quer and
Massimo Poncino and
Lorenzo Bottaccioli and
Edoardo Patti},
title = {A Smart Meter Infrastructure for Smart Grid IoT Applications},
journal = {{IEEE} Internet Things J.},
volume = {9},
number = {14},
pages = {12529--12541},
year = {2022},
url = {https://doi.org/10.1109/JIOT.2021.3137596},
doi = {10.1109/JIOT.2021.3137596},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iotj/OrlandoEPPQPBP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/BenediktCGGTMO22,
author = {Michael Benedikt and
Fergus R. Cooper and
Stefano Germano and
Gabor Gyorkei and
Efthymia Tsamoura and
Brandon Moore and
Camilo Ortiz},
title = {{PDQ} 2.0: Flexible Infrastructure for Integrating Reasoning and Query
Planning},
journal = {{SIGMOD} Rec.},
volume = {51},
number = {4},
pages = {36--41},
year = {2022},
url = {https://doi.org/10.1145/3582302.3582308},
doi = {10.1145/3582302.3582308},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/BenediktCGGTMO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vldb/VimercatiFJLPS22,
author = {Sabrina De Capitani di Vimercati and
Sara Foresti and
Sushil Jajodia and
Giovanni Livraga and
Stefano Paraboschi and
Pierangela Samarati},
title = {An authorization model for query execution in the cloud},
journal = {{VLDB} J.},
volume = {31},
number = {3},
pages = {555--579},
year = {2022},
url = {https://doi.org/10.1007/s00778-021-00709-x},
doi = {10.1007/S00778-021-00709-X},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vldb/VimercatiFJLPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iir/Faggioli022,
author = {Guglielmo Faggioli and
Stefano Marchesin},
editor = {Gabriella Pasi and
Paolo Cremonesi and
Salvatore Orlando and
Markus Zanker and
David Massimo and
Gloria Turati},
title = {Assessing the Semantic Difficulty of Queries},
booktitle = {Proceedings of the 12th Italian Information Retrieval Workshop 2022,
Milan, Italy, June 29-30, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3177},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3177/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/iir/Faggioli022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/AngioneBCCNPQAT22,
author = {Francesco Angione and
Paolo Bernardi and
Andrea Calabrese and
Lorenzo Cardone and
A. Niccoletti and
Davide Piumatti and
Stefano Quer and
Davide Appello and
Vincenzo Tancorre and
Roberto Ugioli},
title = {An innovative Strategy to Quickly Grade Functional Test Programs},
booktitle = {{IEEE} International Test Conference, {ITC} 2022, Anaheim, CA, USA,
September 23-30, 2022},
pages = {355--364},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ITC50671.2022.00044},
doi = {10.1109/ITC50671.2022.00044},
timestamp = {Fri, 28 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itc/AngioneBCCNPQAT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivmsp/AndreadisMPVEPG22,
author = {Stelios Andreadis and
Thanassis Mavropoulos and
Nick Pantelidis and
Stefanos Vrochidis and
Mirette Elias and
Charis Papadopoulos and
Ilias Gialampoukidis and
Ioannis Kompatsiaris},
title = {{SPARQL} querying for validating the usage of automatically georeferenced
social media data as human sensors for air quality},
booktitle = {14th {IEEE} Image, Video, and Multidimensional Signal Processing Workshop,
{IVMSP} 2022, Nafplio, Greece, June 26-29, 2022},
pages = {1--5},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IVMSP54334.2022.9816191},
doi = {10.1109/IVMSP54334.2022.9816191},
timestamp = {Tue, 19 Jul 2022 20:04:45 +0200},
biburl = {https://dblp.org/rec/conf/ivmsp/AndreadisMPVEPG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trec/NunzioF022,
author = {Giorgio Maria Di Nunzio and
Guglielmo Faggioli and
Stefano Marchesin},
editor = {Ian Soboroff and
Angela Ellis},
title = {Summarize and Expand Queries in Clinical Trials Retrieval. The {IIIA}
Unipd at {TREC} 2022 Clinical Trials},
booktitle = {Proceedings of the Thirty-First Text REtrieval Conference, {TREC}
2022, online, November 15-19, 2022},
series = {{NIST} Special Publication},
volume = {500-338},
publisher = {National Institute of Standards and Technology {(NIST)}},
year = {2022},
url = {https://trec.nist.gov/pubs/trec31/papers/iiia-unipd.T.pdf},
timestamp = {Tue, 29 Aug 2023 17:20:28 +0200},
biburl = {https://dblp.org/rec/conf/trec/NunzioF022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/IgneGH22,
author = {Federico Igne and
Stefano Germano and
Ian Horrocks},
title = {RSAComb - Combined approach for Conjunctive Query answering in {RSA}
(Version 1.1.0)},
publisher = {Zenodo},
year = {2022},
month = may,
howpublished = {\url{https://doi.org/10.5281/zenodo.6564261}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.6564261},
doi = {10.5281/ZENODO.6564261},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/IgneGH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/MontrucchioGVQFF22,
author = {Bartolomeo Montrucchio and
Edoardo Giusto and
Mohammad Ghazi Vakili and
Stefano Quer and
Renato Ferrero and
Claudio Fornaro},
title = {A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution
Monitoring {WSN}},
publisher = {{IEEE} DataPort},
year = {2022},
month = may,
howpublished = {\url{https://doi.org/10.21227/m4pb-g538}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.21227/m4pb-g538},
doi = {10.21227/M4PB-G538},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/MontrucchioGVQFF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-09287,
author = {Jorge Ejarque and
Rosa M. Badia and
Lo{\"{\i}}c Albertin and
Giovanni Aloisio and
Enrico Baglione and
Yolanda Becerra and
Stefan Boschert and
Julian R. Berlin and
Alessandro D'Anca and
Donatello Elia and
Fran{\c{c}}ois Exertier and
Sandro Fiore and
Jos{\'{e}} Flich and
Arnau Folch and
Steven J. Gibbons and
Nikolay Koldunov and
Francesc Lordan and
Stefano Lorito and
Finn L{\o}vholt and
Jorge Mac{\'{\i}}as S{\'{a}}nchez and
Fabrizio Marozzo and
Alberto Michelini and
Marisol Monterrubio Velasco and
Marta Pienkowska and
Josep de la Puente and
Anna Queralt and
Enrique S. Quintana{-}Ort{\'{\i}} and
Juan Esteban Rodriguez and
Fabrizio Romano and
Riccardo Rossi and
Jedrzej Rybicki and
Miroslaw Kupczyk and
Jacopo Selva and
Domenico Talia and
Roberto Tonini and
Paolo Trunfio and
Manuela Volpe},
title = {Enabling Dynamic and Intelligent Workflows for HPC, Data Analytics,
and {AI} Convergence},
journal = {CoRR},
volume = {abs/2204.09287},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.09287},
doi = {10.48550/ARXIV.2204.09287},
eprinttype = {arXiv},
eprint = {2204.09287},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-09287.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-02494,
author = {Stefano Kalonaris},
title = {Tokyo Kion-On: Query-Based Generative Sonification of Atmospheric
Data},
journal = {CoRR},
volume = {abs/2208.02494},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.02494},
doi = {10.48550/ARXIV.2208.02494},
eprinttype = {arXiv},
eprint = {2208.02494},
timestamp = {Tue, 09 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-02494.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/MarchesinNA21,
author = {Stefano Marchesin and
Giorgio Maria Di Nunzio and
Maristella Agosti},
title = {Simple but Effective Knowledge-Based Query Reformulations for Precision
Medicine Retrieval},
journal = {Inf.},
volume = {12},
number = {10},
pages = {402},
year = {2021},
url = {https://doi.org/10.3390/info12100402},
doi = {10.3390/INFO12100402},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/information/MarchesinNA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/QuerG21,
author = {Stefano Quer and
Luz Amanda Garcia},
title = {Modules and Techniques for Motion Planning: An Industrial Perspective},
journal = {Sensors},
volume = {21},
number = {2},
pages = {420},
year = {2021},
url = {https://doi.org/10.3390/s21020420},
doi = {10.3390/S21020420},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/QuerG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgcn/ShiraishiYHSP21,
author = {Junya Shiraishi and
Hiroyuki Yomo and
Kaibin Huang and
Cedomir Stefanovic and
Petar Popovski},
title = {Content-Based Wake-Up for Top-k Query in Wireless Sensor Networks},
journal = {{IEEE} Trans. Green Commun. Netw.},
volume = {5},
number = {1},
pages = {362--377},
year = {2021},
url = {https://doi.org/10.1109/TGCN.2020.3033844},
doi = {10.1109/TGCN.2020.3033844},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tgcn/ShiraishiYHSP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/VimercatiFJLPS21,
author = {Sabrina De Capitani di Vimercati and
Sara Foresti and
Sushil Jajodia and
Giovanni Livraga and
Stefano Paraboschi and
Pierangela Samarati},
editor = {Ken Barker and
Kambiz Ghazinour},
title = {Distributed Query Evaluation over Encrypted Data},
booktitle = {Data and Applications Security and Privacy {XXXV} - 35th Annual {IFIP}
{WG} 11.3 Conference, DBSec 2021, Calgary, Canada, July 19-20, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12840},
pages = {96--114},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81242-3\_6},
doi = {10.1007/978-3-030-81242-3\_6},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/VimercatiFJLPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/AppelloBCLPQTU21,
author = {Davide Appello and
Paolo Bernardi and
Andrea Calabrese and
Stefano Littardi and
Giorgio Pollaccia and
Stefano Quer and
Vincenzo Tancorre and
Roberto Ugioli},
editor = {Muhammad Shafique and
Andreas Steininger and
Luk{\'{a}}s Sekanina and
Milos Krstic and
Goran Stojanovic and
Vojtech Mrazek},
title = {Accelerated Analysis of Simulation Dumps through Parallelization on
Multicore Architectures},
booktitle = {24th International Symposium on Design and Diagnostics of Electronic
Circuits {\&} Systems, {DDECS} 2021, Vienna, Austria, April 7-9,
2021},
pages = {69--74},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/DDECS52668.2021.9417048},
doi = {10.1109/DDECS52668.2021.9417048},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ddecs/AppelloBCLPQTU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/desires/Faggioli021,
author = {Guglielmo Faggioli and
Stefano Marchesin},
editor = {Omar Alonso and
Stefano Marchesin and
Marc Najork and
Gianmaria Silvello},
title = {What Makes a Query Semantically Hard?},
booktitle = {Proceedings of the Second International Conference on Design of Experimental
Search {\&} Information REtrieval Systems, Padova, Italy, September
15-18, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2950},
pages = {61--69},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2950/paper-06.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/desires/Faggioli021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/FranciaGMRV21,
author = {Matteo Francia and
Matteo Golfarelli and
Patrick Marcel and
Stefano Rizzi and
Panos Vassiliadis},
editor = {Yannis Velegrakis and
Demetris Zeinalipour{-}Yazti and
Panos K. Chrysanthis and
Francesco Guerra},
title = {Assess Queries for Interactive Analysis of Data Cubes},
booktitle = {Proceedings of the 24th International Conference on Extending Database
Technology, {EDBT} 2021, Nicosia, Cyprus, March 23 - 26, 2021},
pages = {121--132},
publisher = {OpenProceedings.org},
year = {2021},
url = {https://doi.org/10.5441/002/edbt.2021.12},
doi = {10.5441/002/EDBT.2021.12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edbt/FranciaGMRV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/MaropakiSB21,
author = {Stella Maropaki and
Paolo Sottovia and
Stefano Bortoli},
editor = {Yannis Velegrakis and
Demetris Zeinalipour{-}Yazti and
Panos K. Chrysanthis and
Francesco Guerra},
title = {Querying Top-k Dominant Traffic Flows on Large Urban Road Networks},
booktitle = {Proceedings of the 24th International Conference on Extending Database
Technology, {EDBT} 2021, Nicosia, Cyprus, March 23 - 26, 2021},
pages = {415--420},
publisher = {OpenProceedings.org},
year = {2021},
url = {https://doi.org/10.5441/002/edbt.2021.44},
doi = {10.5441/002/EDBT.2021.44},
timestamp = {Fri, 19 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edbt/MaropakiSB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/VimercatiFFOPRS21,
author = {Sabrina De Capitani di Vimercati and
Dario Facchinetti and
Sara Foresti and
Gianluca Oldani and
Stefano Paraboschi and
Matthew Rossi and
Pierangela Samarati},
title = {Multi-dimensional indexes for point and range queries on outsourced
encrypted data},
booktitle = {{IEEE} Global Communications Conference, {GLOBECOM} 2021, Madrid,
Spain, December 7-11, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/GLOBECOM46510.2021.9685186},
doi = {10.1109/GLOBECOM46510.2021.9685186},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/globecom/VimercatiFFOPRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/goodit/ZichichiSFD21,
author = {Mirko Zichichi and
Luca Serena and
Stefano Ferretti and
Gabriele D'Angelo},
editor = {Ombretta Gaggi and
Pietro Manzoni and
Claudio E. Palazzi},
title = {Governing Decentralized Complex Queries Through a {DAO}},
booktitle = {GoodIT '21: Conference on Information Technology for Social Good,
Roma, Italy, September 9-11, 2021},
pages = {121--126},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3462203.3475910},
doi = {10.1145/3462203.3475910},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/goodit/ZichichiSFD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/ZichichiSFD21,
author = {Mirko Zichichi and
Luca Serena and
Stefano Ferretti and
Gabriele D'Angelo},
title = {Towards Decentralized Complex Queries over Distributed Ledgers: a
Data Marketplace Use-case},
booktitle = {30th International Conference on Computer Communications and Networks,
{ICCCN} 2021, Athens, Greece, July 19-22, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCCN52240.2021.9522165},
doi = {10.1109/ICCCN52240.2021.9522165},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icccn/ZichichiSFD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccv/DongTLZMS21,
author = {Qi Dong and
Zhuowen Tu and
Haofu Liao and
Yuting Zhang and
Vijay Mahadevan and
Stefano Soatto},
title = {Visual Relationship Detection Using Part-and-Sum Transformers with
Composite Queries},
booktitle = {2021 {IEEE/CVF} International Conference on Computer Vision, {ICCV}
2021, Montreal, QC, Canada, October 10-17, 2021},
pages = {3530--3539},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCV48922.2021.00353},
doi = {10.1109/ICCV48922.2021.00353},
timestamp = {Fri, 11 Mar 2022 10:01:27 +0100},
biburl = {https://dblp.org/rec/conf/iccv/DongTLZMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/CalabreseQS21,
author = {Andrea Calabrese and
Stefano Quer and
Giovanni Squillero},
editor = {Hans{-}Georg Fill and
Marten van Sinderen and
Leszek A. Maciaszek},
title = {Smart Techniques for Flying-probe Testing},
booktitle = {Proceedings of the 16th International Conference on Software Technologies,
{ICSOFT} 2021, Online Streaming, July 6-8, 2021},
pages = {285--293},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010582302850293},
doi = {10.5220/0010582302850293},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/CalabreseQS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Guala0Z21,
author = {Luciano Gual{\`{a}} and
Stefano Leucci and
Isabella Ziccardi},
editor = {Hee{-}Kap Ahn and
Kunihiko Sadakane},
title = {Resilient Level Ancestor, Bottleneck, and Lowest Common Ancestor Queries
in Dynamic Trees},
booktitle = {32nd International Symposium on Algorithms and Computation, {ISAAC}
2021, December 6-8, 2021, Fukuoka, Japan},
series = {LIPIcs},
volume = {212},
pages = {66:1--66:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ISAAC.2021.66},
doi = {10.4230/LIPICS.ISAAC.2021.66},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isaac/Guala0Z21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/IgneGH21a,
author = {Federico Igne and
Stefano Germano and
Ian Horrocks},
title = {RSAComb - Combined approach for Conjunctive Query answering in {RSA}
(Version 1.0.0)},
publisher = {Zenodo},
year = {2021},
month = nov,
howpublished = {\url{https://doi.org/10.5281/zenodo.5711224}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.5711224},
doi = {10.5281/ZENODO.5711224},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/IgneGH21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/IgneGH21,
author = {Federico Igne and
Stefano Germano and
Ian Horrocks},
title = {RSAComb - Combined approach for Conjunctive Query answering in {RSA}
(Version 0.1.1)},
publisher = {Zenodo},
year = {2021},
month = jun,
howpublished = {\url{https://doi.org/10.5281/zenodo.5047811}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.5047811},
doi = {10.5281/ZENODO.5047811},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/IgneGH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/IgneGH21b,
author = {Federico Igne and
Stefano Germano and
Ian Horrocks},
title = {RSAComb - Combined approach for Conjunctive Query answering in {RSA}
(Multiple Versions)},
publisher = {Zenodo},
year = {2021-2022},
howpublished = {\url{https://doi.org/10.5281/zenodo.5047810}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.5047810},
doi = {10.5281/ZENODO.5047810},
timestamp = {Tue, 09 Jul 2024 21:38:15 +0200},
biburl = {https://dblp.org/rec/data/10/IgneGH21b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-06137,
author = {Antonio Vergari and
YooJung Choi and
Anji Liu and
Stefano Teso and
Guy Van den Broeck},
title = {A Compositional Atlas of Tractable Circuit Operations: From Simple
Transformations to Complex Information-Theoretic Queries},
journal = {CoRR},
volume = {abs/2102.06137},
year = {2021},
url = {https://arxiv.org/abs/2102.06137},
eprinttype = {arXiv},
eprint = {2102.06137},
timestamp = {Sun, 05 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-06137.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-11760,
author = {Jevgenij Krivochiza and
Juan Carlos Merlano Duncan and
Jorge Querol and
Nicola Maturo and
Liz Martinez Marrero and
Stefano Andrenacci and
Jens Krause and
Symeon Chatzinotas},
title = {End-to-end Precoding Validation over a Live {GEO} Satellite Forward
Link},
journal = {CoRR},
volume = {abs/2103.11760},
year = {2021},
url = {https://arxiv.org/abs/2103.11760},
eprinttype = {arXiv},
eprint = {2103.11760},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-11760.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-13819,
author = {Mirko Zichichi and
Luca Serena and
Stefano Ferretti and
Gabriele D'Angelo},
title = {Towards Decentralized Complex Queries over Distributed Ledgers: a
Data Marketplace Use-case},
journal = {CoRR},
volume = {abs/2104.13819},
year = {2021},
url = {https://arxiv.org/abs/2104.13819},
eprinttype = {arXiv},
eprint = {2104.13819},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-13819.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-06790,
author = {Mirko Zichichi and
Luca Serena and
Stefano Ferretti and
Gabriele D'Angelo},
title = {Governing Decentralized Complex Queries Through a {DAO}},
journal = {CoRR},
volume = {abs/2107.06790},
year = {2021},
url = {https://arxiv.org/abs/2107.06790},
eprinttype = {arXiv},
eprint = {2107.06790},
timestamp = {Wed, 21 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-06790.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-09588,
author = {Luciano Gual{\`{a}} and
Stefano Leucci and
Isabella Ziccardi},
title = {Resilient Level Ancestor, Bottleneck, and Lowest Common Ancestor Queries
in Dynamic Trees},
journal = {CoRR},
volume = {abs/2109.09588},
year = {2021},
url = {https://arxiv.org/abs/2109.09588},
eprinttype = {arXiv},
eprint = {2109.09588},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-09588.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computation/QuerC20,
author = {Stefano Quer and
Andrea Calabrese},
title = {Graph Reachability on Parallel Many-Core Architectures},
journal = {Comput.},
volume = {8},
number = {4},
pages = {103},
year = {2020},
url = {https://doi.org/10.3390/computation8040103},
doi = {10.3390/COMPUTATION8040103},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computation/QuerC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computation/QuerMS20,
author = {Stefano Quer and
Andrea Marcelli and
Giovanni Squillero},
title = {The Maximum Common Subgraph Problem: {A} Parallel and Multi-Engine
Approach},
journal = {Comput.},
volume = {8},
number = {2},
pages = {48},
year = {2020},
url = {https://doi.org/10.3390/computation8020048},
doi = {10.3390/COMPUTATION8020048},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computation/QuerMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/envsoft/LaurentQSC20,
author = {C{\'{e}}lia Laurent and
Stefano Querin and
Cosimo Solidoro and
Donata Melaku Canu},
title = {Modelling marine particle dynamics with LTRANS-Zlev: implementation
and validation},
journal = {Environ. Model. Softw.},
volume = {125},
pages = {104621},
year = {2020},
url = {https://doi.org/10.1016/j.envsoft.2020.104621},
doi = {10.1016/J.ENVSOFT.2020.104621},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/envsoft/LaurentQSC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/MontrucchioGVQF20,
author = {Bartolomeo Montrucchio and
Edoardo Giusto and
Mohammad Ghazi Vakili and
Stefano Quer and
Renato Ferrero and
Claudio Fornaro},
title = {A Densely-Deployed, High Sampling Rate, Open-Source Air Pollution
Monitoring {WSN}},
journal = {{IEEE} Trans. Veh. Technol.},
volume = {69},
number = {12},
pages = {15786--15799},
year = {2020},
url = {https://doi.org/10.1109/TVT.2020.3035554},
doi = {10.1109/TVT.2020.3035554},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvt/MontrucchioGVQF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CanalFR20,
author = {Gregory Canal and
Stefano Fenu and
Christopher Rozell},
title = {Active Ordinal Querying for Tuplewise Similarity Learning},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {3332--3340},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i04.5734},
doi = {10.1609/AAAI.V34I04.5734},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CanalFR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/Quer20,
author = {Stefano Quer},
editor = {Marten van Sinderen and
Hans{-}Georg Fill and
Leszek A. Maciaszek},
title = {A Parallel Many-core CUDA-based Graph Labeling Computation},
booktitle = {Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020},
pages = {597--605},
publisher = {ScitePress},
year = {2020},
url = {https://doi.org/10.5220/0009780205970605},
doi = {10.5220/0009780205970605},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/Quer20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scn/SoniT20,
author = {Pratik Soni and
Stefano Tessaro},
editor = {Clemente Galdi and
Vladimir Kolesnikov},
title = {On the Query Complexity of Constructing PRFs from Non-adaptive PRFs},
booktitle = {Security and Cryptography for Networks - 12th International Conference,
{SCN} 2020, Amalfi, Italy, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12238},
pages = {546--565},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57990-6\_27},
doi = {10.1007/978-3-030-57990-6\_27},
timestamp = {Tue, 08 Sep 2020 19:15:32 +0200},
biburl = {https://dblp.org/rec/conf/scn/SoniT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/AgostiN020,
author = {Maristella Agosti and
Giorgio Maria Di Nunzio and
Stefano Marchesin},
editor = {Maristella Agosti and
Maurizio Atzori and
Paolo Ciaccia and
Letizia Tanca},
title = {A Post-Analysis of Query Reformulation Methods for Clinical Trials
Retrieval},
booktitle = {Proceedings of the 28th Italian Symposium on Advanced Database Systems,
Villasimius, Sud Sardegna, Italy (virtual due to Covid-19 pandemic),
June 21-24, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2646},
pages = {152--159},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2646/13-paper.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:21 +0100},
biburl = {https://dblp.org/rec/conf/sebd/AgostiN020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FranciaGGR20,
author = {Matteo Francia and
Enrico Gallinucci and
Matteo Golfarelli and
Stefano Rizzi},
editor = {Maristella Agosti and
Maurizio Atzori and
Paolo Ciaccia and
Letizia Tanca},
title = {{OLAP} Querying of Document Stores in the Presence of Schema Variety},
booktitle = {Proceedings of the 28th Italian Symposium on Advanced Database Systems,
Villasimius, Sud Sardegna, Italy (virtual due to Covid-19 pandemic),
June 21-24, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2646},
pages = {128--135},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2646/07-paper.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/FranciaGGR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trec/Nunzio020,
author = {Giorgio Maria Di Nunzio and
Stefano Marchesin},
editor = {Ellen M. Voorhees and
Angela Ellis},
title = {A Study on Query Expansion and Rank Fusion for Precision Medicine:
The {IMS} Unipd at {TREC} 2020 Precision Medicine},
booktitle = {Proceedings of the Twenty-Ninth Text REtrieval Conference, {TREC}
2020, Virtual Event [Gaithersburg, Maryland, USA], November 16-20,
2020},
series = {{NIST} Special Publication},
volume = {1266},
publisher = {National Institute of Standards and Technology {(NIST)}},
year = {2020},
url = {https://trec.nist.gov/pubs/trec29/papers/ims\_unipd.PM.pdf},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/trec/Nunzio020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-06340,
author = {Stefano Botteghi and
Martina Brasini and
Patrizio Frosini and
Nicola Quercioli},
title = {On the finite representation of group equivariant operators via permutant
measures},
journal = {CoRR},
volume = {abs/2008.06340},
year = {2020},
url = {https://arxiv.org/abs/2008.06340},
eprinttype = {arXiv},
eprint = {2008.06340},
timestamp = {Fri, 21 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-06340.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/SoniT20,
author = {Pratik Soni and
Stefano Tessaro},
title = {On the Query Complexity of Constructing PRFs from Non-adaptive PRFs},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1075},
year = {2020},
url = {https://eprint.iacr.org/2020/1075},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/SoniT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/HaradaTQS19,
author = {Tatsuya Harada and
Antonio Tejero{-}de{-}Pablos and
Stefano Quer and
Francesco Savarese},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {Service Robots: {A} Unified Framework for Detecting, Opening and Navigating
Through Doors},
booktitle = {Software Technologies - 14th International Conference, {ICSOFT} 2019,
Prague, Czech Republic, July 26-28, 2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1250},
pages = {179--204},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-52991-8\_9},
doi = {10.1007/978-3-030-52991-8\_9},
timestamp = {Fri, 31 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/HaradaTQS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/SavareseTQH19,
author = {Francesco Savarese and
Antonio Tejero{-}de{-}Pablos and
Stefano Quer and
Tatsuya Harada},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {Detecting, Opening and Navigating through Doors: {A} Unified Framework
for Human Service Robots},
booktitle = {Proceedings of the 14th International Conference on Software Technologies,
{ICSOFT} 2019, Prague, Czech Republic, July 26-28, 2019},
pages = {416--427},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007947604160427},
doi = {10.5220/0007947604160427},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/SavareseTQH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/SagkriotisKAPH19,
author = {Stefanos Sagkriotis and
Kostas Kolomvatsos and
Christos Anagnostopoulos and
Dimitrios P. Pezaros and
Stathes Hadjiefthymiades},
title = {Knowledge-centric Analytics Queries Allocation in Edge Computing Environments},
booktitle = {2019 {IEEE} Symposium on Computers and Communications, {ISCC} 2019,
Barcelona, Spain, June 29 - July 3, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISCC47284.2019.8969706},
doi = {10.1109/ISCC47284.2019.8969706},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscc/SagkriotisKAPH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/AlloccaACCCCFFG19,
author = {Carlo Allocca and
Mario Alviano and
Francesco Calimeri and
Cristina Civili and
Roberta Costabile and
Bernardo Cuteri and
Alessio Fiorentino and
Davide Fusc{\`{a}} and
Stefano Germano and
Giovanni Laboccetta and
Nicola Leone and
Marco Manna and
Simona Perri and
Kristian Reale and
Francesco Ricca and
Pierfrancesco Veltri and
Jessica Zangari},
editor = {Massimo Mecella and
Giuseppe Amato and
Claudio Gennaro},
title = {Querying Large Expressive Horn Ontologies},
booktitle = {Proceedings of the 27th Italian Symposium on Advanced Database Systems,
Castiglione della Pescaia (Grosseto), Italy, June 16-19, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2400},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2400/paper-31.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:21 +0100},
biburl = {https://dblp.org/rec/conf/sebd/AlloccaACCCCFFG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/AgostiN019,
author = {Maristella Agosti and
Giorgio Maria Di Nunzio and
Stefano Marchesin},
editor = {Benjamin Piwowarski and
Max Chevalier and
{\'{E}}ric Gaussier and
Yoelle Maarek and
Jian{-}Yun Nie and
Falk Scholer},
title = {An Analysis of Query Reformulation Techniques for Precision Medicine},
booktitle = {Proceedings of the 42nd International {ACM} {SIGIR} Conference on
Research and Development in Information Retrieval, {SIGIR} 2019, Paris,
France, July 21-25, 2019},
pages = {973--976},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3331184.3331289},
doi = {10.1145/3331184.3331289},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigir/AgostiN019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trec/NunzioMA19,
author = {Giorgio Maria Di Nunzio and
Stefano Marchesin and
Maristella Agosti},
editor = {Ellen M. Voorhees and
Angela Ellis},
title = {Exploring how to Combine Query Reformulations for Precision Medicine},
booktitle = {Proceedings of the Twenty-Eighth Text REtrieval Conference, {TREC}
2019, Gaithersburg, Maryland, USA, November 13-15, 2019},
series = {{NIST} Special Publication},
volume = {1250},
publisher = {National Institute of Standards and Technology {(NIST)}},
year = {2019},
url = {https://trec.nist.gov/pubs/trec28/papers/ims\_unipd.PM.pdf},
timestamp = {Wed, 03 Feb 2021 08:31:24 +0100},
biburl = {https://dblp.org/rec/conf/trec/NunzioMA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-06418,
author = {Andrea Marcelli and
Stefano Quer and
Giovanni Squillero},
title = {The Maximum Common Subgraph Problem: {A} Portfolio Approach},
journal = {CoRR},
volume = {abs/1908.06418},
year = {2019},
url = {http://arxiv.org/abs/1908.06418},
eprinttype = {arXiv},
eprint = {1908.06418},
timestamp = {Mon, 26 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-06418.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-04115,
author = {Gregory Canal and
Stefano Fenu and
Christopher J. Rozell},
title = {Active ordinal tuplewise querying for similarity learning},
journal = {CoRR},
volume = {abs/1910.04115},
year = {2019},
url = {http://arxiv.org/abs/1910.04115},
eprinttype = {arXiv},
eprint = {1910.04115},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-04115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/GarboQ18,
author = {Alessandro Garbo and
Stefano Quer},
title = {A Fast MPEG's {CDVS} Implementation for {GPU} Featured in Mobile Devices},
journal = {{IEEE} Access},
volume = {6},
pages = {52027--52046},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2870283},
doi = {10.1109/ACCESS.2018.2870283},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/GarboQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/QueroZMGPLC18,
author = {Giuseppe Quero and
Gianluigi Zito and
Stefano Manag{\`{o}} and
Francesco Galeotti and
Marco Pisco and
Anna Chiara De Luca and
Andrea Cusano},
title = {Nanosphere Lithography on Fiber: Towards Engineered Lab-On-Fiber {SERS}
Optrodes},
journal = {Sensors},
volume = {18},
number = {3},
pages = {680},
year = {2018},
url = {https://doi.org/10.3390/s18030680},
doi = {10.3390/S18030680},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/QueroZMGPLC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CabodiCLPPPQ18,
author = {Gianpiero Cabodi and
Paolo Camurati and
Carmelo Loiacono and
Marco Palena and
Paolo Pasini and
Denis Patti and
Stefano Quer},
title = {To split or to group: from divide-and-conquer to sub-task sharing
for verifying multiple properties in model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {3},
pages = {313--325},
year = {2018},
url = {https://doi.org/10.1007/s10009-017-0451-8},
doi = {10.1007/S10009-017-0451-8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CabodiCLPPPQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/CeriCGKMNP18,
author = {Stefano Ceri and
Arif Canakoglu and
Andrea Gulino and
Abdulrahman Kaitoua and
Marco Masseroli and
Luca Nanni and
Pietro Pinoli},
editor = {Alfredo Cuzzocrea and
James Allan and
Norman W. Paton and
Divesh Srivastava and
Rakesh Agrawal and
Andrei Z. Broder and
Mohammed J. Zaki and
K. Sel{\c{c}}uk Candan and
Alexandros Labrinidis and
Assaf Schuster and
Haixun Wang},
title = {Demonstration of GenoMetric Query Language},
booktitle = {Proceedings of the 27th {ACM} International Conference on Information
and Knowledge Management, {CIKM} 2018, Torino, Italy, October 22-26,
2018},
pages = {1887--1890},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3269206.3269217},
doi = {10.1145/3269206.3269217},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/CeriCGKMNP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivmsp/GialampoukidisM18,
author = {Ilias Gialampoukidis and
Anastasia Moumtzidou and
Stefanos Vrochidis and
Ioannis Kompatsiaris},
title = {Fusion of Compound Queries with Multiple Modalities for Known Item
Video Search},
booktitle = {13th {IEEE} Image, Video, and Multidimensional Signal Processing Workshop,
{IVMSP} 2018, Aristi Village, Zagorochoria, Greece, June 10-12, 2018},
pages = {1--5},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IVMSPW.2018.8448876},
doi = {10.1109/IVMSPW.2018.8448876},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ivmsp/GialampoukidisM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsff/VendrellMFNQSCP18,
author = {Jordi Vendrell and
Sefik Muhic and
Bruce Farquharson and
Edgar Nebot and
Daniel Queralt and
Lorenzo Stefano and
Juan Caama{\~{n}}o and
N{\'{u}}ria Prat and
Monika Friedemann},
editor = {Gabriele Di Stefano and
Alfredo Navarra},
title = {Developing forest fires robust tools from first-responders experience:
{HEIMDALL} Multi-Hazard Cooperative Management Tool for Data Exchange,
Response Planning and Scenario Building},
booktitle = {Proceedings of the {GEOSAFE} Workshop on Robust Solutions for Fire
Fighting, {RSFF} 2018, L'Aquila, Italy, July 19-20, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2146},
pages = {99--103},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2146/short31.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:44 +0100},
biburl = {https://dblp.org/rec/conf/rsff/VendrellMFNQSCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/MizzaroMRU18,
author = {Stefano Mizzaro and
Josiane Mothe and
Kevin Roitero and
Md. Zia Ullah},
editor = {Kevyn Collins{-}Thompson and
Qiaozhu Mei and
Brian D. Davison and
Yiqun Liu and
Emine Yilmaz},
title = {Query Performance Prediction and Effectiveness Evaluation Without
Relevance Judgments: Two Sides of the Same Coin},
booktitle = {The 41st International {ACM} {SIGIR} Conference on Research {\&}
Development in Information Retrieval, {SIGIR} 2018, Ann Arbor, MI,
USA, July 08-12, 2018},
pages = {1233--1236},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209978.3210146},
doi = {10.1145/3209978.3210146},
timestamp = {Mon, 24 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigir/MizzaroMRU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/StefanoniMK18,
author = {Giorgio Stefanoni and
Boris Motik and
Egor V. Kostylev},
editor = {Pierre{-}Antoine Champin and
Fabien Gandon and
Mounia Lalmas and
Panagiotis G. Ipeirotis},
title = {Estimating the Cardinality of Conjunctive Queries over {RDF} Data
Using Graph Summarisation},
booktitle = {Proceedings of the 2018 World Wide Web Conference on World Wide Web,
{WWW} 2018, Lyon, France, April 23-27, 2018},
pages = {1043--1052},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178876.3186003},
doi = {10.1145/3178876.3186003},
timestamp = {Fri, 16 Apr 2021 10:04:12 +0200},
biburl = {https://dblp.org/rec/conf/www/StefanoniMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-09619,
author = {Giorgio Stefanoni and
Boris Motik and
Egor V. Kostylev},
title = {Estimating the Cardinality of Conjunctive Queries over {RDF} Data
Using Graph Summarisation},
journal = {CoRR},
volume = {abs/1801.09619},
year = {2018},
url = {http://arxiv.org/abs/1801.09619},
eprinttype = {arXiv},
eprint = {1801.09619},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-09619.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-08578,
author = {Stefano Teso and
Kristian Kersting},
title = {"Why Should {I} Trust Interactive Learners?" Explaining Interactive
Queries of Classifiers to Users},
journal = {CoRR},
volume = {abs/1805.08578},
year = {2018},
url = {http://arxiv.org/abs/1805.08578},
eprinttype = {arXiv},
eprint = {1805.08578},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-08578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/CumboFCMW17,
author = {Fabio Cumbo and
Giulia Fiscon and
Stefano Ceri and
Marco Masseroli and
Emanuel Weitschek},
title = {{TCGA2BED:} extracting, extending, integrating, and querying The Cancer
Genome Atlas},
journal = {{BMC} Bioinform.},
volume = {18},
number = {1},
pages = {6:1--6:9},
year = {2017},
url = {https://doi.org/10.1186/s12859-016-1419-5},
doi = {10.1186/S12859-016-1419-5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/CumboFCMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcsc/CabodiGLQF17,
author = {Gianpiero Cabodi and
Alessandro Garbo and
Carmelo Loiacono and
Stefano Quer and
Gianluca Francini},
title = {Efficient Complex High-Precision Computations on GPUs without Precision
Loss},
journal = {J. Circuits Syst. Comput.},
volume = {26},
number = {12},
pages = {1750187:1--1750187:38},
year = {2017},
url = {https://doi.org/10.1142/S0218126617501870},
doi = {10.1142/S0218126617501870},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcsc/CabodiGLQF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GoldbergT17,
author = {Paul W. Goldberg and
Stefano Turchetta},
title = {Query complexity of approximate equilibria in anonymous games},
journal = {J. Comput. Syst. Sci.},
volume = {90},
pages = {80--98},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2017.07.002},
doi = {10.1016/J.JCSS.2017.07.002},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GoldbergT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/VrochidisPK17,
author = {Stefanos Vrochidis and
Ioannis Patras and
Ioannis Kompatsiaris},
title = {Gaze movement-driven random forests for query clustering in automatic
video annotation},
journal = {Multim. Tools Appl.},
volume = {76},
number = {2},
pages = {2861--2889},
year = {2017},
url = {https://doi.org/10.1007/s11042-015-3221-1},
doi = {10.1007/S11042-015-3221-1},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mta/VrochidisPK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/VimercatiFJLPS17,
author = {Sabrina De Capitani di Vimercati and
Sara Foresti and
Sushil Jajodia and
Giovanni Livraga and
Stefano Paraboschi and
Pierangela Samarati},
title = {An Authorization Model for Multi-Provider Queries},
journal = {Proc. {VLDB} Endow.},
volume = {11},
number = {3},
pages = {256--268},
year = {2017},
url = {http://www.vldb.org/pvldb/vol11/p256-vimercati.pdf},
doi = {10.14778/3157794.3157796},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/VimercatiFJLPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/GarboQ17,
author = {Alessandro Garbo and
Stefano Quer},
title = {Moving Object Detection in Heterogeneous Conditions in Embedded Systems},
journal = {Sensors},
volume = {17},
number = {7},
pages = {1546},
year = {2017},
url = {https://doi.org/10.3390/s17071546},
doi = {10.3390/S17071546},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/GarboQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3pgcic/DamianoMSE17,
author = {Emanuele Damiano and
Aniello Minutolo and
Stefano Silvestri and
Massimo Esposito},
editor = {Fatos Xhafa and
Santi Caball{\'{e}} and
Leonard Barolli},
title = {Query Expansion Based on WordNet and Word2vec for Italian Question
Answering Systems},
booktitle = {Advances on P2P, Parallel, Grid, Cloud and Internet Computing, Proceedings
of the 12th International Conference on P2P, Parallel, Grid, Cloud
and Internet Computing, 3PGCIC-2017, Barcelona, Spain, 8-10 November
2017},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {13},
pages = {301--313},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69835-9\_29},
doi = {10.1007/978-3-319-69835-9\_29},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/3pgcic/DamianoMSE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/RizomiliotisMG17,
author = {Panagiotis Rizomiliotis and
Eirini Molla and
Stefanos Gritzalis},
editor = {Bhavani Thuraisingham and
Ghassan Karame and
Angelos Stavrou},
title = {{REX:} {A} Searchable Symmetric Encryption Scheme Supporting Range
Queries},
booktitle = {Proceedings of the 9th Cloud Computing Security Workshop, CCSW@CCS
2017, Dallas, TX, USA, November 3, 2017},
pages = {29--37},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3140649.3140653},
doi = {10.1145/3140649.3140653},
timestamp = {Thu, 12 Oct 2023 12:32:10 +0200},
biburl = {https://dblp.org/rec/conf/ccs/RizomiliotisMG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecir/ChifuDMM17,
author = {Adrian{-}Gabriel Chifu and
S{\'{e}}bastien D{\'{e}}jean and
Stefano Mizzaro and
Josiane Mothe},
editor = {Joemon M. Jose and
Claudia Hauff and
Ismail Seng{\"{o}}r Alting{\"{o}}vde and
Dawei Song and
Dyaa Albakour and
Stuart N. K. Watt and
John Tait},
title = {Human-Based Query Difficulty Prediction},
booktitle = {Advances in Information Retrieval - 39th European Conference on {IR}
Research, {ECIR} 2017, Aberdeen, UK, April 8-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10193},
pages = {343--356},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-56608-5\_27},
doi = {10.1007/978-3-319-56608-5\_27},
timestamp = {Tue, 29 Dec 2020 18:27:42 +0100},
biburl = {https://dblp.org/rec/conf/ecir/ChifuDMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/VimercatiFJPS16,
author = {Sabrina De Capitani di Vimercati and
Sara Foresti and
Sushil Jajodia and
Stefano Paraboschi and
Pierangela Samarati},
title = {Efficient integrity checks for join queries in the cloud},
journal = {J. Comput. Secur.},
volume = {24},
number = {3},
pages = {347--378},
year = {2016},
url = {https://doi.org/10.3233/JCS-160545},
doi = {10.3233/JCS-160545},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/VimercatiFJPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/StefanovaR16,
author = {Silvia Stefanova and
Tore Risch},
title = {Scalable long-term preservation of relational data through {SPARQL}
queries},
journal = {Semantic Web},
volume = {7},
number = {2},
pages = {117--137},
year = {2016},
url = {https://doi.org/10.3233/SW-150173},
doi = {10.3233/SW-150173},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/semweb/StefanovaR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/BottinoGLQ16,
author = {Andrea Bottino and
Alessandro Garbo and
Carmelo Loiacono and
Stefano Quer},
title = {Street Viewer: An Autonomous Vision Based Traffic Tracking System},
journal = {Sensors},
volume = {16},
number = {6},
pages = {813},
year = {2016},
url = {https://doi.org/10.3390/s16060813},
doi = {10.3390/S16060813},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/BottinoGLQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/CabodiCQ16,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {A graph-labeling approach for efficient cone-of-influence computation
in model-checking problems with multiple properties},
journal = {Softw. Pract. Exp.},
volume = {46},
number = {4},
pages = {493--511},
year = {2016},
url = {https://doi.org/10.1002/spe.2321},
doi = {10.1002/SPE.2321},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/CabodiCQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/MasseroliCC16,
author = {Marco Masseroli and
Arif Canakoglu and
Stefano Ceri},
title = {Integration and Querying of Genomic and Proteomic Semantic Annotations
for Biomedical Knowledge Extraction},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {13},
number = {2},
pages = {209--219},
year = {2016},
url = {https://doi.org/10.1109/TCBB.2015.2453944},
doi = {10.1109/TCBB.2015.2453944},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/MasseroliCC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpm/BoriaCCPPQ16,
author = {Nicolas Boria and
Gianpiero Cabodi and
Paolo Camurati and
Marco Palena and
Paolo Pasini and
Stefano Quer},
editor = {Roberto Grossi and
Moshe Lewenstein},
title = {A 7/2-Approximation Algorithm for the Maximum Duo-Preservation String
Mapping Problem},
booktitle = {27th Annual Symposium on Combinatorial Pattern Matching, {CPM} 2016,
June 27-29, 2016, Tel Aviv, Israel},
series = {LIPIcs},
volume = {54},
pages = {11:1--11:8},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CPM.2016.11},
doi = {10.4230/LIPICS.CPM.2016.11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpm/BoriaCCPPQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GialampoukidisL16,
author = {Ilias Gialampoukidis and
Dimitris Liparas and
Stefanos Vrochidis and
Ioannis Kompatsiaris},
editor = {Stefanos Vrochidis and
Maite Melero and
Leo Wanner and
Jens Grivolla and
Yannick Est{\`{e}}ve},
title = {Query-Based Topic Detection Using Concepts and Named Entities},
booktitle = {Proceedings of the 1st International Workshop on Multimodal Media
Data Analytics co-located with the 22nd European Conference on Artificial
Intelligence, MMDA@ECAI 2016, The Hague, Netherlands, August 30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1801},
pages = {18--22},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1801/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/ecai/GialampoukidisL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdim/CorradiFZCMS16,
author = {Antonio Corradi and
Luca Foschini and
Alessandro Zanni and
Mirco Casoni and
Stefano Monti and
Francesco Sprotetto},
title = {A federation model to support semantic {SPARQL} queries for enterprise
data governance},
booktitle = {Eleventh International Conference on Digital Information Management,
{ICDIM} 2016, Porto, Portugal, September 19-21, 2016},
pages = {96--100},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICDIM.2016.7829778},
doi = {10.1109/ICDIM.2016.7829778},
timestamp = {Wed, 12 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdim/CorradiFZCMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwbbio/CanakogluCM16,
author = {Arif Canakoglu and
Stefano Ceri and
Marco Masseroli},
editor = {Francisco M. Ortu{\~{n}}o Guzman and
Ignacio Rojas},
title = {Biomolecular Annotation Integration and Querying to Help Unveiling
New Biomedical Knowledge},
booktitle = {Bioinformatics and Biomedical Engineering - 4th International Conference,
{IWBBIO} 2016, Granada, Spain, April 20-22, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9656},
pages = {802--813},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-31744-1\_69},
doi = {10.1007/978-3-319-31744-1\_69},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwbbio/CanakogluCM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AnielloCCFQR16,
author = {Leonardo Aniello and
Claudio Ciccotelli and
Marcello Cinque and
Flavio Frattini and
Leonardo Querzoni and
Stefano Russo},
editor = {Amund Skavhaug and
J{\'{e}}r{\'{e}}mie Guiochet and
Friedemann Bitsch},
title = {Automatic Invariant Selection for Online Anomaly Detection},
booktitle = {Computer Safety, Reliability, and Security - 35th International Conference,
{SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9922},
pages = {172--183},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45477-1\_14},
doi = {10.1007/978-3-319-45477-1\_14},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/AnielloCCFQR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CuzzocreaSFP16,
author = {Alfredo Cuzzocrea and
Marcello Di Stefano and
Paolo Fosci and
Giuseppe Psaila},
editor = {Mario A. Bochicchio and
Giansalvatore Mecca},
title = {Querying NoSQL-based Crowdsourcing Systems Efficiently},
booktitle = {24th Italian Symposium on Advanced Database Systems, {SEBD} 2016,
Ugento, Lecce, Italy, June 19-22, 2016, Ugento, Lecce, Italia, June
19-22, 2016},
pages = {238--245},
publisher = {Matematicamente.it},
year = {2016},
timestamp = {Mon, 12 Sep 2016 14:17:13 +0200},
biburl = {https://dblp.org/rec/conf/sebd/CuzzocreaSFP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/MizzaroM16,
author = {Stefano Mizzaro and
Josiane Mothe},
editor = {Raffaele Perego and
Fabrizio Sebastiani and
Javed A. Aslam and
Ian Ruthven and
Justin Zobel},
title = {Why do you Think this Query is Difficult?: {A} User Study on Human
Query Prediction},
booktitle = {Proceedings of the 39th International {ACM} {SIGIR} conference on
Research and Development in Information Retrieval, {SIGIR} 2016, Pisa,
Italy, July 17-21, 2016},
pages = {1073--1076},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2911451.2914696},
doi = {10.1145/2911451.2914696},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigir/MizzaroM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/CasoniMSCFV16,
author = {Mirco Casoni and
Stefano Monti and
Francesco Sprotetto and
Antonio Corradi and
Luca Foschini and
Riccardo Venanzi},
editor = {Antonio Puliafito and
Kishor S. Trivedi and
Bruno Tuffin and
Marco Scarpa and
Fumio Machida and
Javier Alonso},
title = {Semantic {SPARQL} queries: a novel federation model and implementation
towards Enterprise Data Governance},
booktitle = {10th {EAI} International Conference on Performance Evaluation Methodologies
and Tools, {VALUETOOLS} 2016, Taormina, Italy, 25th-28th Oct 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.4108/eai.25-10-2016.2267042},
doi = {10.4108/EAI.25-10-2016.2267042},
timestamp = {Fri, 15 Mar 2024 12:30:47 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/CasoniMSCFV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BoriaCCPPQ16,
author = {Nicolas Boria and
Gianpiero Cabodi and
Paolo Camurati and
Marco Palena and
Paolo Pasini and
Stefano Quer},
title = {A Greedy Approach to Answer Reachability Queries on DAGs},
journal = {CoRR},
volume = {abs/1611.02506},
year = {2016},
url = {http://arxiv.org/abs/1611.02506},
eprinttype = {arXiv},
eprint = {1611.02506},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BoriaCCPPQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Stefanoni15,
author = {Giorgio Stefanoni},
title = {Evaluating conjunctive and graph queries over the {EL} profile of
{OWL} 2},
school = {University of Oxford, {UK}},
year = {2015},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711814},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Stefanoni15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/MasseroliPVKJPM15,
author = {Marco Masseroli and
Pietro Pinoli and
Francesco Venco and
Abdulrahman Kaitoua and
Vahid Jalili and
Fernando Palluzzi and
Heiko M{\"{u}}ller and
Stefano Ceri},
title = {GenoMetric Query Language: a novel approach to large-scale genomic
data management},
journal = {Bioinform.},
volume = {31},
number = {12},
pages = {1881--1888},
year = {2015},
url = {https://doi.org/10.1093/bioinformatics/btv048},
doi = {10.1093/BIOINFORMATICS/BTV048},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/MasseroliPVKJPM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/percom/AmatoCGV15,
author = {Giuseppe Amato and
Stefano Chessa and
Claudio Gennaro and
Claudio Vairo},
title = {Querying moving events in wireless sensor networks},
journal = {Pervasive Mob. Comput.},
volume = {16},
pages = {51--75},
year = {2015},
url = {https://doi.org/10.1016/j.pmcj.2014.01.008},
doi = {10.1016/J.PMCJ.2014.01.008},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/percom/AmatoCGV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tois/Anagnostopoulos15,
author = {Aris Anagnostopoulos and
Luca Becchetti and
Ilaria Bordino and
Stefano Leonardi and
Ida Mele and
Piotr Sankowski},
title = {Stochastic Query Covering for Fast Approximate Document Retrieval},
journal = {{ACM} Trans. Inf. Syst.},
volume = {33},
number = {3},
pages = {11:1--11:35},
year = {2015},
url = {https://doi.org/10.1145/2699671},
doi = {10.1145/2699671},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tois/Anagnostopoulos15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/StefanoniM15,
author = {Giorgio Stefanoni and
Boris Motik},
editor = {Blai Bonet and
Sven Koenig},
title = {Answering Conjunctive Queries over {EL} Knowledge Bases with Transitive
and Reflexive Roles},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1611--1617},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9386},
doi = {10.1609/AAAI.V29I1.9386},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/StefanoniM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/AguzzoliCVFG15,
author = {Stefano Aguzzoli and
Pietro Codara and
Diego Valota and
Tommaso Flaminio and
Brunella Gerla},
editor = {Adnan Yazici and
Nikhil R. Pal and
Uzay Kaymak and
Trevor Martin and
Hisao Ishibuchi and
Chin{-}Teng Lin and
Jo{\~{a}}o M. C. Sousa and
B{\"{u}}lent T{\"{u}}tmez},
title = {Querying with {\L}ukasiewicz logic},
booktitle = {2015 {IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE}
2015, Istanbul, Turkey, August 2-5, 2015},
pages = {1--8},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FUZZ-IEEE.2015.7338061},
doi = {10.1109/FUZZ-IEEE.2015.7338061},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/fuzzIEEE/AguzzoliCVFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmcs/GarboLQBF15,
author = {Alessandro Garbo and
Carmelo Loiacono and
Stefano Quer and
Massimo Balestri and
Gianluca Francini},
title = {{CDVS} feature selection on embedded systems},
booktitle = {2015 {IEEE} International Conference on Multimedia {\&} Expo Workshops,
{ICME} Workshops 2015, Turin, Italy, June 29 - July 3, 2015},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICMEW.2015.7169789},
doi = {10.1109/ICMEW.2015.7169789},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmcs/GarboLQBF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FeierCSGH15,
author = {Cristina Feier and
David Carral and
Giorgio Stefanoni and
Bernardo Cuenca Grau and
Ian Horrocks},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {The Combined Approach to Query Answering Beyond the {OWL} 2 Profiles},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2971--2977},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/420},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FeierCSGH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wine/GoldbergT15,
author = {Paul W. Goldberg and
Stefano Turchetta},
editor = {Evangelos Markakis and
Guido Sch{\"{a}}fer},
title = {Query Complexity of Approximate Equilibria in Anonymous Games},
booktitle = {Web and Internet Economics - 11th International Conference, {WINE}
2015, Amsterdam, The Netherlands, December 9-12, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9470},
pages = {357--369},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48995-6\_26},
doi = {10.1007/978-3-662-48995-6\_26},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wine/GoldbergT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/RivaBBMGQSTRDVG15,
author = {Giuseppe Riva and
Cristina Botella and
Rosa Mar{\'{\i}}a Ba{\~{n}}os and
Fabrizia Mantovani and
Azucena Garc{\'{\i}}a{-}Palacios and
Soledad Quero and
Silvia Serino and
Stefano Triberti and
Claudia Repetto and
Antonios Dakanalis and
Daniela Villani and
Andrea Gaggioli},
editor = {Matthew Lombard and
Frank A. Biocca and
Jonathan Freeman and
Wijnand A. IJsselsteijn and
Rachel J. Schaevitz},
title = {Presence-Inducing Media for Mental Health Applications},
booktitle = {Immersed in Media, Telepresence Theory, Measurement {\&} Technology},
pages = {283--332},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10190-3\_12},
doi = {10.1007/978-3-319-10190-3\_12},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/15/RivaBBMGQSTRDVG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AguzzoliCFGV15,
author = {Stefano Aguzzoli and
Pietro Codara and
Tommaso Flaminio and
Brunella Gerla and
Diego Valota},
title = {Querying with {\L}ukasiewicz logic},
journal = {CoRR},
volume = {abs/1512.01041},
year = {2015},
url = {http://arxiv.org/abs/1512.01041},
eprinttype = {arXiv},
eprint = {1512.01041},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AguzzoliCFGV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/StefanoniMKR14,
author = {Giorgio Stefanoni and
Boris Motik and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph},
title = {The Complexity of Answering Conjunctive and Navigational Queries over
{OWL} 2 {EL} Knowledge Bases},
journal = {J. Artif. Intell. Res.},
volume = {51},
pages = {645--705},
year = {2014},
url = {https://doi.org/10.1613/jair.4457},
doi = {10.1613/JAIR.4457},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/StefanoniMKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/CabodiLPPPQVBH14,
author = {Gianpiero Cabodi and
Carmelo Loiacono and
Marco Palena and
Paolo Pasini and
Denis Patti and
Stefano Quer and
Danilo Vendraminetto and
Armin Biere and
Keijo Heljanko},
title = {Hardware Model Checking Competition 2014: An Analysis and Comparison
of Solvers and Benchmarks},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {9},
number = {1},
pages = {135--172},
year = {2014},
url = {https://doi.org/10.3233/sat190106},
doi = {10.3233/SAT190106},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/CabodiLPPPQVBH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Quer14,
author = {Stefano Quer},
title = {Model checking evaluation of airplane landing trajectories},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {6},
pages = {753--773},
year = {2014},
url = {https://doi.org/10.1007/s10009-013-0273-2},
doi = {10.1007/S10009-013-0273-2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Quer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cns/VimercatiFJLPS14,
author = {Sabrina De Capitani di Vimercati and
Sara Foresti and
Sushil Jajodia and
Giovanni Livraga and
Stefano Paraboschi and
Pierangela Samarati},
title = {Integrity for distributed queries},
booktitle = {{IEEE} Conference on Communications and Network Security, {CNS} 2014,
San Francisco, CA, USA, October 29-31, 2014},
pages = {364--372},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CNS.2014.6997505},
doi = {10.1109/CNS.2014.6997505},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/cns/VimercatiFJLPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CabodiPQV14,
author = {Gianpiero Cabodi and
Paolo Pasini and
Stefano Quer and
Danilo Vendraminetto},
editor = {Gerhard P. Fettweis and
Wolfgang Nebel},
title = {Tightening BDD-based approximate reachability with SAT-based clause
generalization\({}^{\mbox{{\({_\ast}\)}}}\)},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2014, Dresden, Germany, March 24-28, 2014},
pages = {1--6},
publisher = {European Design and Automation Association},
year = {2014},
url = {https://doi.org/10.7873/DATE.2014.129},
doi = {10.7873/DATE.2014.129},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/CabodiPQV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/VimercatiFJPS14,
author = {Sabrina De Capitani di Vimercati and
Sara Foresti and
Sushil Jajodia and
Stefano Paraboschi and
Pierangela Samarati},
editor = {Vijay Atluri and
G{\"{u}}nther Pernul},
title = {Optimizing Integrity Checks for Join Queries in the Cloud},
booktitle = {Data and Applications Security and Privacy {XXVIII} - 28th Annual
{IFIP} {WG} 11.3 Working Conference, DBSec 2014, Vienna, Austria,
July 14-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8566},
pages = {33--48},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43936-4\_3},
doi = {10.1007/978-3-662-43936-4\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/VimercatiFJPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/ZhuSTR14,
author = {Minpeng Zhu and
Silvia Stefanova and
Thanh Truong and
Tore Risch},
editor = {K. Sel{\c{c}}uk Candan and
Sihem Amer{-}Yahia and
Nicole Schweikardt and
Vassilis Christophides and
Vincent Leroy},
title = {Scalable Numerical {SPARQL} Queries over Relational Databases},
booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2014 Joint Conference
{(EDBT/ICDT} 2014), Athens, Greece, March 28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1133},
pages = {257--262},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1133/paper-41.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/edbt/ZhuSTR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiix/PalottiSH14,
author = {Jo{\~{a}}o R. M. Palotti and
Veronika Stefanov and
Allan Hanbury},
editor = {David Elsweiler and
Bernd Ludwig and
Leif Azzopardi and
Max L. Wilson},
title = {User intent behind medical queries: an evaluation of entity mapping
approaches with metamap and freebase},
booktitle = {Fifth Information Interaction in Context Symposium, IIiX '14, Regensburg,
Germany, August 26-29, 2014},
pages = {283--286},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637002.2637043},
doi = {10.1145/2637002.2637043},
timestamp = {Tue, 17 Sep 2019 09:47:46 +0200},
biburl = {https://dblp.org/rec/conf/iiix/PalottiSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordsec/TrombettaPB14,
author = {Alberto Trombetta and
Giuseppe Persiano and
Stefano Braghin},
editor = {Karin Bernsmed and
Simone Fischer{-}H{\"{u}}bner},
title = {Processing Private Queries over an Obfuscated Database Using Hidden
Vector Encryption},
booktitle = {Secure {IT} Systems - 19th Nordic Conference, NordSec 2014, Troms{\o},
Norway, October 15-17, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8788},
pages = {94--109},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11599-3\_6},
doi = {10.1007/978-3-319-11599-3\_6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nordsec/TrombettaPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socpar/CuzzocreaSFP14,
author = {Alfredo Cuzzocrea and
Marcello Di Stefano and
Paolo Fosci and
Giuseppe Psaila},
title = {Enhanced query processing for NoSQL crowdsourcing systems},
booktitle = {6th International Conference of Soft Computing and Pattern Recognition,
SoCPaR 2014, Tunis, Tunisia, August 11-14, 2014},
pages = {453--458},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SOCPAR.2014.7008049},
doi = {10.1109/SOCPAR.2014.7008049},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/socpar/CuzzocreaSFP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AnielloBCCCFGPPQR14,
author = {Leonardo Aniello and
Andrea Bondavalli and
Andrea Ceccarelli and
Claudio Ciccotelli and
Marcello Cinque and
Flavio Frattini and
Antonella Guzzo and
Antonio Pecchia and
Andrea Pugliese and
Leonardo Querzoni and
Stefano Russo},
title = {Big Data in Critical Infrastructures Security Monitoring: Challenges
and Opportunities},
journal = {CoRR},
volume = {abs/1405.0325},
year = {2014},
url = {http://arxiv.org/abs/1405.0325},
eprinttype = {arXiv},
eprint = {1405.0325},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AnielloBCCCFGPPQR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CalvaneseOSS14,
author = {Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus and
Giorgio Stefanoni},
title = {Reasoning about Explanations for Negative Query Answers in DL-Lite},
journal = {CoRR},
volume = {abs/1402.0575},
year = {2014},
url = {http://arxiv.org/abs/1402.0575},
eprinttype = {arXiv},
eprint = {1402.0575},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CalvaneseOSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GoldbergT14,
author = {Paul W. Goldberg and
Stefano Turchetta},
title = {Query Complexity of Approximate Equilibria in Anonymous Games},
journal = {CoRR},
volume = {abs/1412.6455},
year = {2014},
url = {http://arxiv.org/abs/1412.6455},
eprinttype = {arXiv},
eprint = {1412.6455},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GoldbergT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/StefanoniM14,
author = {Giorgio Stefanoni and
Boris Motik},
title = {Answering Conjunctive Queries over {\textdollar}{\textbackslash}mathcal\{EL\}{\textdollar}
Knowledge Bases with Transitive and Reflexive Roles},
journal = {CoRR},
volume = {abs/1411.2516},
year = {2014},
url = {http://arxiv.org/abs/1411.2516},
eprinttype = {arXiv},
eprint = {1411.2516},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/StefanoniM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TrombettaPB14,
author = {Alberto Trombetta and
Giuseppe Persiano and
Stefano Braghin},
title = {Answering queries using pairings},
journal = {CoRR},
volume = {abs/1403.2514},
year = {2014},
url = {http://arxiv.org/abs/1403.2514},
eprinttype = {arXiv},
eprint = {1403.2514},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TrombettaPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Stefanova13,
author = {Silvia Stefanova},
title = {Scalable Preservation, Reconstruction, and Querying of Databases in
terms of Semantic Web Representations},
school = {Uppsala University, Sweden},
year = {2013},
url = {https://nbn-resolving.org/urn:nbn:se:uu:diva-199573},
urn = {urn:nbn:se:uu:diva-199573},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Stefanova13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CalvaneseOSS13,
author = {Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus and
Giorgio Stefanoni},
title = {Reasoning about Explanations for Negative Query Answers in DL-Lite},
journal = {J. Artif. Intell. Res.},
volume = {48},
pages = {635--669},
year = {2013},
url = {https://doi.org/10.1613/jair.3870},
doi = {10.1613/JAIR.3870},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/CalvaneseOSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcc/VimercatiFJPS13,
author = {Sabrina De Capitani di Vimercati and
Sara Foresti and
Sushil Jajodia and
Stefano Paraboschi and
Pierangela Samarati},
title = {Integrity for Join Queries in the Cloud},
journal = {{IEEE} Trans. Cloud Comput.},
volume = {1},
number = {2},
pages = {187--200},
year = {2013},
url = {https://doi.org/10.1109/TCC.2013.18},
doi = {10.1109/TCC.2013.18},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcc/VimercatiFJPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/RaftopoulosNSK13,
author = {Konstantinos Raftopoulos and
Klimis S. Ntalianis and
Dionyssios D. Sourlas and
Stefanos D. Kollias},
title = {Mining User Queries with Markov Chains: Application to Online Image
Retrieval},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {25},
number = {2},
pages = {433--447},
year = {2013},
url = {https://doi.org/10.1109/TKDE.2011.219},
doi = {10.1109/TKDE.2011.219},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/RaftopoulosNSK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/CabodiNQ13,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
title = {Thread-based multi-engine model checking for multicore platforms},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {18},
number = {3},
pages = {36:1--36:28},
year = {2013},
url = {https://doi.org/10.1145/2491477.2491480},
doi = {10.1145/2491477.2491480},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/CabodiNQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tweb/QuarteroniBC13,
author = {Silvia Quarteroni and
Marco Brambilla and
Stefano Ceri},
title = {A bottom-up, knowledge-aware approach to integrating and querying
web data services},
journal = {{ACM} Trans. Web},
volume = {7},
number = {4},
pages = {19:1--19:33},
year = {2013},
url = {https://doi.org/10.1145/2493536},
doi = {10.1145/2493536},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tweb/QuarteroniBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/StefanoniMH13,
author = {Giorgio Stefanoni and
Boris Motik and
Ian Horrocks},
editor = {Marie desJardins and
Michael L. Littman},
title = {Introducing Nominals to the Combined Query Answering Approaches for
{EL}},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {1177--1183},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8452},
doi = {10.1609/AAAI.V27I1.8452},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/StefanoniMH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibe/CanakogluMCTGC13,
author = {Arif Canakoglu and
Marco Masseroli and
Stefano Ceri and
Luca Tettamanti and
Giorgio Ghisalberti and
Alessandro Campi},
title = {Integrative warehousing of biomolecular information to support complex
multi-topic queries for biomedical knowledge discovery},
booktitle = {13th {IEEE} International Conference on BioInformatics and BioEngineering,
{BIBE} 2013, Chania, Greece, November 10-13, 2013},
pages = {1--4},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/BIBE.2013.6701584},
doi = {10.1109/BIBE.2013.6701584},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bibe/CanakogluMCTGC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LoiaconoPPPQRVB13,
author = {Carmelo Loiacono and
Marco Palena and
Paolo Pasini and
Denis Patti and
Stefano Quer and
Stefano Ricossa and
Danilo Vendraminetto and
Jason Baumgartner},
editor = {Enrico Macii},
title = {Fast cone-of-influence computation and estimation in problems with
multiple properties},
booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
March 18-22, 2013},
pages = {803--806},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013},
url = {https://doi.org/10.7873/DATE.2013.170},
doi = {10.7873/DATE.2013.170},
timestamp = {Fri, 19 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/LoiaconoPPPQRVB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dawak/AufaureKMRV13,
author = {Marie{-}Aude Aufaure and
Nicolas Kuchmann{-}Beauger and
Patrick Marcel and
Stefano Rizzi and
Yves Vanrompay},
editor = {Ladjel Bellatreche and
Mukesh K. Mohania},
title = {Predicting Your Next {OLAP} Query Based on Recent Analytical Sessions},
booktitle = {Data Warehousing and Knowledge Discovery - 15th International Conference,
DaWaK 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8057},
pages = {134--145},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40131-2\_12},
doi = {10.1007/978-3-642-40131-2\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/dawak/AufaureKMRV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/StefanoniMH13,
author = {Giorgio Stefanoni and
Boris Motik and
Ian Horrocks},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Introducing Nominals to the Combined Query Answering Approaches for
{EL}},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {962--974},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/StefanoniMH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideas/TaddeoTMP13,
author = {Marco Taddeo and
Alberto Trombetta and
Danilo Montesi and
Stefano Pierantozzi},
editor = {Bipin C. Desai and
Josep Llu{\'{\i}}s Larriba{-}Pey and
Jorge Bernardino},
title = {Querying data across different legal domains},
booktitle = {17th International Database Engineering {\&} Applications Symposium,
{IDEAS} '13, Barcelona, Spain - October 09 - 11, 2013},
pages = {192--197},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2513591.2513642},
doi = {10.1145/2513591.2513642},
timestamp = {Thu, 10 Dec 2020 13:35:15 +0100},
biburl = {https://dblp.org/rec/conf/ideas/TaddeoTMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmsp/BuccoliZST13,
author = {Michele Buccoli and
Massimiliano Zanoni and
Augusto Sarti and
Stefano Tubaro},
title = {A music search engine based on semantic text-based query},
booktitle = {15th {IEEE} International Workshop on Multimedia Signal Processing,
{MMSP} 2013, Pula, Sardinia, Italy, September 30 - Oct. 2, 2013},
pages = {254--259},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/MMSP.2013.6659297},
doi = {10.1109/MMSP.2013.6659297},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/mmsp/BuccoliZST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-7430,
author = {Giorgio Stefanoni and
Boris Motik and
Ian Horrocks},
title = {Introducing Nominals to the Combined Query Answering Approaches for
{EL}},
journal = {CoRR},
volume = {abs/1303.7430},
year = {2013},
url = {http://arxiv.org/abs/1303.7430},
eprinttype = {arXiv},
eprint = {1303.7430},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-7430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/GolfarelliMPRT12,
author = {Matteo Golfarelli and
Federica Mandreoli and
Wilma Penzo and
Stefano Rizzi and
Elisa Turricchia},
title = {{OLAP} query reformulation in peer-to-peer data warehousing},
journal = {Inf. Syst.},
volume = {37},
number = {5},
pages = {393--411},
year = {2012},
url = {https://doi.org/10.1016/j.is.2011.06.003},
doi = {10.1016/J.IS.2011.06.003},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/GolfarelliMPRT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/WuSTDVS12,
author = {Xiaoying Wu and
Stefanos Souldatos and
Dimitri Theodoratos and
Theodore Dalamagas and
Yannis Vassiliou and
Timos K. Sellis},
title = {Processing and Evaluating Partial Tree Pattern Queries on {XML} Data},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {24},
number = {12},
pages = {2244--2259},
year = {2012},
url = {https://doi.org/10.1109/TKDE.2011.137},
doi = {10.1109/TKDE.2011.137},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/WuSTDVS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/StefanoniMH12,
author = {Giorgio Stefanoni and
Boris Motik and
Ian Horrocks},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Small Datalog Query Rewritings for {EL}},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_27.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/StefanoniMH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dolap/MarcelMR12,
author = {Patrick Marcel and
Rokia Missaoui and
Stefano Rizzi},
editor = {Il{-}Yeol Song and
Matteo Golfarelli},
title = {Towards intensional answers to {OLAP} queries for analytical sessions},
booktitle = {{DOLAP} 2012, {ACM} 15th International Workshop on Data Warehousing
and OLAP, Maui, HI, USA, November 2, 2012, Proceedings},
pages = {49--56},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2390045.2390054},
doi = {10.1145/2390045.2390054},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dolap/MarcelMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icistm/FerrettiG12,
author = {Stefano Ferretti and
Vittorio Ghini},
editor = {Sumeet Dua and
Aryya Gangopadhyay and
Parimala Thulasiraman and
Umberto Straccia and
Michael A. Shepherd and
Benno Stein},
title = {Mitigation of Random Query String DoS via Gossip},
booktitle = {Information Systems, Technology and Management - 6th International
Conference, {ICISTM} 2012, Grenoble, France, March 28-30, 2012. Proceedings},
series = {Communications in Computer and Information Science},
volume = {285},
pages = {124--134},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29166-1\_11},
doi = {10.1007/978-3-642-29166-1\_11},
timestamp = {Wed, 30 Oct 2019 15:50:13 +0100},
biburl = {https://dblp.org/rec/conf/icistm/FerrettiG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CalvaneseOSS12,
author = {Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus and
Giorgio Stefanoni},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {The Complexity of Explaining Negative Query Answers in DL-Lite},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4537},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CalvaneseOSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/GolfarelliMPRT12,
author = {Matteo Golfarelli and
Federica Mandreoli and
Wilma Penzo and
Stefano Rizzi and
Elisa Turricchia},
editor = {Nicola Ferro and
Letizia Tanca},
title = {A Query Reformulation Framework for {P2P} {OLAP}},
booktitle = {Twentieth Italian Symposium on Advanced Database Systems, {SEBD} 2012,
Venice, Italy, June 24-27, 2012, Proceedings},
pages = {147--154},
publisher = {Edizioni Libreria Progetto, Padova, Italy},
year = {2012},
url = {http://sebd2012.dei.unipd.it/documents/188475/cc01ed18-f1c7-464d-820f-56f1235d2f21},
timestamp = {Fri, 07 Jun 2019 10:59:18 +0200},
biburl = {https://dblp.org/rec/conf/sebd/GolfarelliMPRT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BozzonBC12,
author = {Alessandro Bozzon and
Marco Brambilla and
Stefano Ceri},
editor = {Alain Mille and
Fabien Gandon and
Jacques Misselis and
Michael Rabinovich and
Steffen Staab},
title = {Answering search queries with CrowdSearcher},
booktitle = {Proceedings of the 21st World Wide Web Conference 2012, {WWW} 2012,
Lyon, France, April 16-20, 2012},
pages = {1009--1018},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2187836.2187971},
doi = {10.1145/2187836.2187971},
timestamp = {Fri, 16 Apr 2021 10:04:12 +0200},
biburl = {https://dblp.org/rec/conf/www/BozzonBC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CabodiNQ11,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
title = {Benchmarking a model checker for algorithmic improvements and tuning
for performance},
journal = {Formal Methods Syst. Des.},
volume = {39},
number = {2},
pages = {205--227},
year = {2011},
url = {https://doi.org/10.1007/s10703-011-0123-3},
doi = {10.1007/S10703-011-0123-3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/CabodiNQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/VimercatiFJPS11,
author = {Sabrina De Capitani di Vimercati and
Sara Foresti and
Sushil Jajodia and
Stefano Paraboschi and
Pierangela Samarati},
title = {Authorization enforcement in distributed query evaluation},
journal = {J. Comput. Secur.},
volume = {19},
number = {4},
pages = {751--794},
year = {2011},
url = {https://doi.org/10.3233/JCS-2010-0413},
doi = {10.3233/JCS-2010-0413},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/VimercatiFJPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/www/VirgilioNGP11,
author = {Roberto De Virgilio and
Pierluigi Del Nostro and
Giorgio Gianforme and
Stefano Paolozzi},
title = {A scalable and extensible framework for query answering over {RDF}},
journal = {World Wide Web},
volume = {14},
number = {5-6},
pages = {599--622},
year = {2011},
url = {https://doi.org/10.1007/s11280-011-0110-z},
doi = {10.1007/S11280-011-0110-Z},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/www/VirgilioNGP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/AligonGMRT11,
author = {Julien Aligon and
Matteo Golfarelli and
Patrick Marcel and
Stefano Rizzi and
Elisa Turricchia},
editor = {Johann Eder and
M{\'{a}}ria Bielikov{\'{a}} and
A Min Tjoa},
title = {Mining Preferences from {OLAP} Query Logs for Proactive Personalization},
booktitle = {Advances in Databases and Information Systems - 15th International
Conference, {ADBIS} 2011, Vienna, Austria, September 20-23, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6909},
pages = {84--97},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23737-9\_7},
doi = {10.1007/978-3-642-23737-9\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbis/AligonGMRT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CabodiNQ11,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
title = {Interpolation sequences revisited},
booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
March 14-18, 2011},
pages = {316--322},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/DATE.2011.5763056},
doi = {10.1109/DATE.2011.5763056},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/CabodiNQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CalvaneseOSS11,
author = {Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus and
Giorgio Stefanoni},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {The Complexity of Conjunctive Query Abduction in DL-Lite},
booktitle = {Proceedings of the 24th International Workshop on Description Logics
{(DL} 2011), Barcelona, Spain, July 13-16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-745/paper\_49.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CalvaneseOSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/BarbieriBBCPTVVZ11,
author = {Davide Francesco Barbieri and
Alessandro Bozzon and
Marco Brambilla and
Stefano Ceri and
Chiara Pasini and
Luca Tettamanti and
Salvatore Vadacca and
Riccardo Volonterio and
Srdan Zagorac},
editor = {S{\"{o}}ren Auer and
Oscar D{\'{\i}}az and
George A. Papadopoulos},
title = {Exploratory Multi-domain Search on Web Data Sources with Liquid Queries},
booktitle = {Web Engineering - 11th International Conference, {ICWE} 2011, Paphos,
Cyprus, June 20-24, 2011},
series = {Lecture Notes in Computer Science},
volume = {6757},
pages = {363--366},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22233-7\_26},
doi = {10.1007/978-3-642-22233-7\_26},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/icwe/BarbieriBBCPTVVZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsdm/AnagnostopoulosBLMS11,
author = {Aris Anagnostopoulos and
Luca Becchetti and
Stefano Leonardi and
Ida Mele and
Piotr Sankowski},
editor = {Irwin King and
Wolfgang Nejdl and
Hang Li},
title = {Stochastic query covering},
booktitle = {Proceedings of the Forth International Conference on Web Search and
Web Data Mining, {WSDM} 2011, Hong Kong, China, February 9-12, 2011},
pages = {725--734},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1935826.1935923},
doi = {10.1145/1935826.1935923},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsdm/AnagnostopoulosBLMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BozzonBCFV11,
author = {Alessandro Bozzon and
Marco Brambilla and
Stefano Ceri and
Piero Fraternali and
Salvatore Vadacca},
editor = {Sadagopan Srinivasan and
Krithi Ramamritham and
Arun Kumar and
M. P. Ravindra and
Elisa Bertino and
Ravi Kumar},
title = {Exploratory search in multi-domain information spaces with liquid
query},
booktitle = {Proceedings of the 20th International Conference on World Wide Web,
{WWW} 2011, Hyderabad, India, March 28 - April 1, 2011 (Companion
Volume)},
pages = {189--192},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1963192.1963286},
doi = {10.1145/1963192.1963286},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/BozzonBCFV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/sp/ValleC11,
author = {Emanuele Della Valle and
Stefano Ceri},
editor = {John Domingue and
Dieter Fensel and
James A. Hendler},
title = {Querying the Semantic Web: {SPARQL}},
booktitle = {Handbook of Semantic Web Technologies},
pages = {299--363},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-540-92913-0\_8},
doi = {10.1007/978-3-540-92913-0\_8},
timestamp = {Wed, 14 Nov 2018 10:51:34 +0100},
biburl = {https://dblp.org/rec/reference/sp/ValleC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-4404,
author = {Stefano Ferretti and
Vittorio Ghini},
title = {Mitigation of Random Query String DoS via Gossip},
journal = {CoRR},
volume = {abs/1109.4404},
year = {2011},
url = {http://arxiv.org/abs/1109.4404},
eprinttype = {arXiv},
eprint = {1109.4404},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-4404.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-4784,
author = {Ilaria Bordino and
Stefano Battiston and
Guido Caldarelli and
Matthieu Cristelli and
Antti Ukkonen and
Ingmar Weber},
title = {Web search queries can predict stock market volumes},
journal = {CoRR},
volume = {abs/1110.4784},
year = {2011},
url = {http://arxiv.org/abs/1110.4784},
eprinttype = {arXiv},
eprint = {1110.4784},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-4784.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/geoinformatica/YuS10,
author = {Shijun Yu and
Stefano Spaccapietra},
title = {A knowledge infrastructure for intelligent query answering in location-based
services},
journal = {GeoInformatica},
volume = {14},
number = {3},
pages = {379--404},
year = {2010},
url = {https://doi.org/10.1007/s10707-010-0105-4},
doi = {10.1007/S10707-010-0105-4},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/geoinformatica/YuS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmso/StefanovaR10,
author = {Silvia Stefanova and
Tore Risch},
title = {{SPARQL} queries to {RDFS} views of Topic Maps},
journal = {Int. J. Metadata Semant. Ontologies},
volume = {5},
number = {1},
pages = {1--16},
year = {2010},
url = {https://doi.org/10.1504/IJMSO.2010.032647},
doi = {10.1504/IJMSO.2010.032647},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmso/StefanovaR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsc/BarbieriBCVG10,
author = {Davide Francesco Barbieri and
Daniele Braga and
Stefano Ceri and
Emanuele Della Valle and
Michael Grossniklaus},
title = {{C-SPARQL:} a Continuous Query Language for {RDF} Data Streams},
journal = {Int. J. Semantic Comput.},
volume = {4},
number = {1},
pages = {3--25},
year = {2010},
url = {https://doi.org/10.1142/S1793351X10000936},
doi = {10.1142/S1793351X10000936},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsc/BarbieriBCVG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/CeriAHBBBBCCVEFGMRTV10,
author = {Stefano Ceri and
Adnan Abid and
Mamoun Abu Helou and
Davide Francesco Barbieri and
Alessandro Bozzon and
Daniele Braga and
Marco Brambilla and
Alessandro Campi and
Francesco Corcoglioniti and
Emanuele Della Valle and
Davide Eynard and
Piero Fraternali and
Michael Grossniklaus and
Davide Martinenghi and
Stefania Ronchi and
Marco Tagliasacchi and
Salvatore Vadacca},
title = {Search Computing: Managing Complex Search Queries},
journal = {{IEEE} Internet Comput.},
volume = {14},
number = {6},
pages = {14--22},
year = {2010},
url = {https://doi.org/10.1109/MIC.2010.106},
doi = {10.1109/MIC.2010.106},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/internet/CeriAHBBBBCCVEFGMRTV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/BarbieriBCVG10,
author = {Davide Francesco Barbieri and
Daniele Braga and
Stefano Ceri and
Emanuele Della Valle and
Michael Grossniklaus},
title = {Querying {RDF} streams with {C-SPARQL}},
journal = {{SIGMOD} Rec.},
volume = {39},
number = {1},
pages = {20--26},
year = {2010},
url = {https://doi.org/10.1145/1860702.1860705},
doi = {10.1145/1860702.1860705},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/BarbieriBCVG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/CabodiGMNQ10,
author = {Gianpiero Cabodi and
Luz Amanda Garcia and
Marco Murciano and
Sergio Nocco and
Stefano Quer},
title = {Partitioning Interpolant-Based Verification for Effective Unbounded
Model Checking},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {29},
number = {3},
pages = {382--395},
year = {2010},
url = {https://doi.org/10.1109/TCAD.2010.2041847},
doi = {10.1109/TCAD.2010.2041847},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CabodiGMNQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/NoccoQ10,
author = {Sergio Nocco and
Stefano Quer},
title = {A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling
Problem},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {29},
number = {12},
pages = {2027--2040},
year = {2010},
url = {https://doi.org/10.1109/TCAD.2010.2061631},
doi = {10.1109/TCAD.2010.2061631},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/NoccoQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/www/WuTSDS10,
author = {Xiaoying Wu and
Dimitri Theodoratos and
Stefanos Souldatos and
Theodore Dalamagas and
Timos K. Sellis},
title = {Evaluation Techniques for Generalized Path Pattern Queries on {XML}
Data},
journal = {World Wide Web},
volume = {13},
number = {4},
pages = {441--474},
year = {2010},
url = {https://doi.org/10.1007/s11280-010-0092-2},
doi = {10.1007/S11280-010-0092-2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/www/WuTSDS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/PalazziPP10,
author = {Bernardo Palazzi and
Maurizio Pizzonia and
Stefano Pucacco},
editor = {Sara Foresti and
Sushil Jajodia},
title = {Query Racing: Fast Completeness Certification of Query Results},
booktitle = {Data and Applications Security and Privacy XXIV, 24th Annual {IFIP}
{WG} 11.3 Working Conference, Rome, Italy, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6166},
pages = {177--192},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13739-6\_12},
doi = {10.1007/978-3-642-13739-6\_12},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbsec/PalazziPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dolap/GolfarelliMPRT10,
author = {Matteo Golfarelli and
Federica Mandreoli and
Wilma Penzo and
Stefano Rizzi and
Elisa Turricchia},
editor = {Il{-}Yeol Song and
Carlos Ordonez},
title = {Towards {OLAP} query reformulation in peer-to-peer data warehousing},
booktitle = {{DOLAP} 2010, {ACM} 13th International Workshop on Data Warehousing
and OLAP, Toronto, Ontario, Canada, October 30, 2010, Proceedings},
pages = {37--44},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1871940.1871950},
doi = {10.1145/1871940.1871950},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dolap/GolfarelliMPRT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/BarbieriBCG10,
author = {Davide Francesco Barbieri and
Daniele Braga and
Stefano Ceri and
Michael Grossniklaus},
editor = {Ioana Manolescu and
Stefano Spaccapietra and
Jens Teubner and
Masaru Kitsuregawa and
Alain L{\'{e}}ger and
Felix Naumann and
Anastasia Ailamaki and
Fatma {\"{O}}zcan},
title = {An execution environment for {C-SPARQL} queries},
booktitle = {{EDBT} 2010, 13th International Conference on Extending Database Technology,
Lausanne, Switzerland, March 22-26, 2010, Proceedings},
series = {{ACM} International Conference Proceeding Series},
volume = {426},
pages = {441--452},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1739041.1739095},
doi = {10.1145/1739041.1739095},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edbt/BarbieriBCG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CalvaneseKNRS10,
author = {Diego Calvanese and
C. Maria Keet and
Werner Nutt and
Mariano Rodriguez{-}Muro and
Giorgio Stefanoni},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {Web-based graphical querying of databases through an ontology: the
Wonder system},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {1388--1395},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774384},
doi = {10.1145/1774088.1774384},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/CalvaneseKNRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BozzonBCF10,
author = {Alessandro Bozzon and
Marco Brambilla and
Stefano Ceri and
Piero Fraternali},
editor = {Michael Rappa and
Paul Jones and
Juliana Freire and
Soumen Chakrabarti},
title = {Liquid query: multi-domain exploratory search on the web},
booktitle = {Proceedings of the 19th International Conference on World Wide Web,
{WWW} 2010, Raleigh, North Carolina, USA, April 26-30, 2010},
pages = {161--170},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1772690.1772708},
doi = {10.1145/1772690.1772708},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/BozzonBCF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/CabodiNQ09,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
title = {Strengthening Model Checking Techniques With Inductive Invariants},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {28},
number = {1},
pages = {154--158},
year = {2009},
url = {https://doi.org/10.1109/TCAD.2008.2009147},
doi = {10.1109/TCAD.2008.2009147},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CabodiNQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vldb/TheodoratosPDSS09,
author = {Dimitri Theodoratos and
Pawel Placek and
Theodore Dalamagas and
Stefanos Souldatos and
Timos K. Sellis},
title = {Containment of partially specified tree-pattern queries in the presence
of dimension graphs},
journal = {{VLDB} J.},
volume = {18},
number = {1},
pages = {233--254},
year = {2009},
url = {https://doi.org/10.1007/s00778-008-0097-y},
doi = {10.1007/S00778-008-0097-Y},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vldb/TheodoratosPDSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CabodiCGMNQ09,
author = {Gianpiero Cabodi and
Paolo Camurati and
Luz Amanda Garcia and
Marco Murciano and
Sergio Nocco and
Stefano Quer},
editor = {Luca Benini and
Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller},
title = {Speeding up model checking by exploiting explicit and hidden verification
constraints},
booktitle = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
April 20-24, 2009},
pages = {1686--1691},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/DATE.2009.5090934},
doi = {10.1109/DATE.2009.5090934},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/CabodiCGMNQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/CirianiVFJPS09,
author = {Valentina Ciriani and
Sabrina De Capitani di Vimercati and
Sara Foresti and
Sushil Jajodia and
Stefano Paraboschi and
Pierangela Samarati},
title = {Fragmentation Design for Efficient Query Execution over Sensitive
Distributed Databases},
booktitle = {29th {IEEE} International Conference on Distributed Computing Systems
{(ICDCS} 2009), 22-26 June 2009, Montreal, Qu{\'{e}}bec, Canada},
pages = {32--39},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICDCS.2009.52},
doi = {10.1109/ICDCS.2009.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/CirianiVFJPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/BragaBCCVFMT09,
author = {Daniele Braga and
Marco Brambilla and
Alessandro Campi and
Stefano Ceri and
Emanuele Della Valle and
Piero Fraternali and
Davide Martinenghi and
Marco Tagliasacchi},
editor = {Valeria De Antonellis and
Silvana Castano and
Barbara Catania and
Giovanna Guerrini},
title = {Search Computing: The European Way to Query the Web},
booktitle = {Proceedings of the Seventeenth Italian Symposium on Advanced Database
Systems, {SEBD} 2009, Camogli, Italy, June 21-24, 2009},
pages = {57--64},
publisher = {Edizioni Seneca},
year = {2009},
timestamp = {Mon, 26 Oct 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/BragaBCCVFMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seco/BozzonBCFM09,
author = {Alessandro Bozzon and
Marco Brambilla and
Stefano Ceri and
Piero Fraternali and
Ioana Manolescu},
editor = {Stefano Ceri and
Marco Brambilla},
title = {Liquid Queries and Liquid Results in Search Computing},
booktitle = {Search Computing: Challenges and Directions [outcome of the first
SeCO Workshop on Search Computing Challenges and Directions, Como,
Italy, June 17-19, 2009]},
series = {Lecture Notes in Computer Science},
volume = {5950},
pages = {244--267},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12310-8\_13},
doi = {10.1007/978-3-642-12310-8\_13},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/seco/BozzonBCFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seco/BragaCCG09,
author = {Daniele Braga and
Stefano Ceri and
Francesco Corcoglioniti and
Michael Grossniklaus},
editor = {Stefano Ceri and
Marco Brambilla},
title = {Panta Rhei: Flexible Execution Engine for Search Computing Queries},
booktitle = {Search Computing: Challenges and Directions [outcome of the first
SeCO Workshop on Search Computing Challenges and Directions, Como,
Italy, June 17-19, 2009]},
series = {Lecture Notes in Computer Science},
volume = {5950},
pages = {225--243},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12310-8\_12},
doi = {10.1007/978-3-642-12310-8\_12},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seco/BragaCCG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seco/BragaCG09,
author = {Daniele Braga and
Stefano Ceri and
Michael Grossniklaus},
editor = {Stefano Ceri and
Marco Brambilla},
title = {Join Methods and Query Optimization},
booktitle = {Search Computing: Challenges and Directions [outcome of the first
SeCO Workshop on Search Computing Challenges and Directions, Como,
Italy, June 17-19, 2009]},
series = {Lecture Notes in Computer Science},
volume = {5950},
pages = {188--210},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12310-8\_10},
doi = {10.1007/978-3-642-12310-8\_10},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seco/BragaCG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssdbm/WuTSDS09,
author = {Xiaoying Wu and
Dimitri Theodoratos and
Stefanos Souldatos and
Theodore Dalamagas and
Timos K. Sellis},
editor = {Marianne Winslett},
title = {Efficient Evaluation of Generalized Tree-Pattern Queries with Same-Path
Constraints},
booktitle = {Scientific and Statistical Database Management, 21st International
Conference, {SSDBM} 2009, New Orleans, LA, USA, June 2-4, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5566},
pages = {361--379},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02279-1\_27},
doi = {10.1007/978-3-642-02279-1\_27},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssdbm/WuTSDS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BarbieriBCVG09,
author = {Davide Francesco Barbieri and
Daniele Braga and
Stefano Ceri and
Emanuele Della Valle and
Michael Grossniklaus},
editor = {Juan Quemada and
Gonzalo Le{\'{o}}n and
Yo{\"{e}}lle S. Maarek and
Wolfgang Nejdl},
title = {{C-SPARQL:} {SPARQL} for continuous querying},
booktitle = {Proceedings of the 18th International Conference on World Wide Web,
{WWW} 2009, Madrid, Spain, April 20-24, 2009},
pages = {1061--1062},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1526709.1526856},
doi = {10.1145/1526709.1526856},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/BarbieriBCVG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dlib/TernierDMCGC08,
author = {Stefaan Ternier and
Erik Duval and
David Massart and
Alessandro Campi and
Sam Guinea and
Stefano Ceri},
title = {Interoperability for Searching Learning Object Repositories: The ProLearn
Query Language},
journal = {D Lib Mag.},
volume = {14},
number = {1/2},
year = {2008},
url = {https://doi.org/10.1045/january2008-ceri},
doi = {10.1045/JANUARY2008-CERI},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dlib/TernierDMCGC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/BrunoGNQ08,
author = {Viviana Bruno and
Luz Amanda Garcia and
Sergio Nocco and
Stefano Quer},
title = {Stressing Symbolic Scheduling Techniques within Aircraft Maintenance
Optimization},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {5},
number = {1-4},
pages = {83--110},
year = {2008},
url = {https://doi.org/10.3233/sat190053},
doi = {10.3233/SAT190053},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/BrunoGNQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/NoccoQ08,
author = {Sergio Nocco and
Stefano Quer},
title = {A Probabilistic and Approximated Approach to Circuit-Based Formal
Verification},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {5},
number = {1-4},
pages = {111--132},
year = {2008},
url = {https://doi.org/10.3233/sat190054},
doi = {10.3233/SAT190054},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/NoccoQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/MontanelliC08,
author = {Stefano Montanelli and
Silvana Castano},
title = {Semantically routing queries in peer-based systems: the H-Link approach},
journal = {Knowl. Eng. Rev.},
volume = {23},
number = {1},
pages = {51--72},
year = {2008},
url = {https://doi.org/10.1017/S0269888907001257},
doi = {10.1017/S0269888907001257},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/MontanelliC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/BragaCDM08,
author = {Daniele Braga and
Stefano Ceri and
Florian Daniel and
Davide Martinenghi},
title = {Optimization of multi-domain queries on the web},
journal = {Proc. {VLDB} Endow.},
volume = {1},
number = {1},
pages = {562--573},
year = {2008},
url = {http://www.vldb.org/pvldb/vol1/1453918.pdf},
doi = {10.14778/1453856.1453918},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/BragaCDM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/CabodiMNQ08,
author = {Gianpiero Cabodi and
Marco Murciano and
Sergio Nocco and
Stefano Quer},
title = {Boosting interpolation with dynamic localized abstraction and redundancy
removal},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {13},
number = {1},
pages = {3:1--3:20},
year = {2008},
url = {https://doi.org/10.1145/1297666.1297669},
doi = {10.1145/1297666.1297669},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/CabodiMNQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/BurigatC08,
author = {Stefano Burigat and
Luca Chittaro},
title = {Interactive visual analysis of geographic data on mobile devices based
on dynamic queries},
journal = {J. Vis. Lang. Comput.},
volume = {19},
number = {1},
pages = {99--122},
year = {2008},
url = {https://doi.org/10.1016/j.jvlc.2007.04.001},
doi = {10.1016/J.JVLC.2007.04.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/BurigatC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiacrypt/MaurerT08,
author = {Ueli M. Maurer and
Stefano Tessaro},
editor = {Josef Pieprzyk},
title = {Basing PRFs on Constant-Query Weak PRFs: Minimizing Assumptions for
Efficient Symmetric Cryptography},
booktitle = {Advances in Cryptology - {ASIACRYPT} 2008, 14th International Conference
on the Theory and Application of Cryptology and Information Security,
Melbourne, Australia, December 7-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5350},
pages = {161--178},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89255-7\_11},
doi = {10.1007/978-3-540-89255-7\_11},
timestamp = {Sun, 02 Jun 2019 21:16:53 +0200},
biburl = {https://dblp.org/rec/conf/asiacrypt/MaurerT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/VimercatiFJPS08,
author = {Sabrina De Capitani di Vimercati and
Sara Foresti and
Sushil Jajodia and
Stefano Paraboschi and
Pierangela Samarati},
editor = {Peng Ning and
Paul F. Syverson and
Somesh Jha},
title = {Assessing query privileges via safe and efficient permission composition},
booktitle = {Proceedings of the 2008 {ACM} Conference on Computer and Communications
Security, {CCS} 2008, Alexandria, Virginia, USA, October 27-31, 2008},
pages = {311--322},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1455770.1455810},
doi = {10.1145/1455770.1455810},
timestamp = {Tue, 10 Nov 2020 19:59:27 +0100},
biburl = {https://dblp.org/rec/conf/ccs/VimercatiFJPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/PlacekTSDS08,
author = {Pawel Placek and
Dimitri Theodoratos and
Stefanos Souldatos and
Theodore Dalamagas and
Timos K. Sellis},
editor = {James G. Shanahan and
Sihem Amer{-}Yahia and
Ioana Manolescu and
Yi Zhang and
David A. Evans and
Aleksander Kolcz and
Key{-}Sun Choi and
Abdur Chowdhury},
title = {A heuristic approach for checking containment of generalized tree-pattern
queries},
booktitle = {Proceedings of the 17th {ACM} Conference on Information and Knowledge
Management, {CIKM} 2008, Napa Valley, California, USA, October 26-30,
2008},
pages = {551--560},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1458082.1458155},
doi = {10.1145/1458082.1458155},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/PlacekTSDS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/StefanovaR08,
author = {Silvia Stefanova and
Tore Risch},
editor = {Khalid Belhajjame and
Mathieu d'Aquin and
Peter Haase and
Paolo Missier},
title = {Viewing and Querying Topic Maps in terms of {RDF}},
booktitle = {First International Workshop on Semantic Metadata Management and Applications,
SeMMA 2008, Located at the Fifth European Semantic Web Conference
{(ESWC} 2008), Tenerife, Spain, June 2nd, 2008. Proceedings},
series = {{CEUR} Workshop Proceedings},
volume = {346},
pages = {69--83},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-346/6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:13 +0100},
biburl = {https://dblp.org/rec/conf/esws/StefanovaR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CabodiCGMNQ08,
author = {Gianpiero Cabodi and
Paolo Camurati and
Luz Amanda Garcia and
Marco Murciano and
Sergio Nocco and
Stefano Quer},
editor = {Alessandro Cimatti and
Robert B. Jones},
title = {Trading-Off {SAT} Search and Variable Quantifications for Effective
Unbounded Model Checking},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon,
USA, 17-20 November 2008},
pages = {1--8},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/FMCAD.2008.ECP.30},
doi = {10.1109/FMCAD.2008.ECP.30},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CabodiCGMNQ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/VimercatiFJPS08,
author = {Sabrina De Capitani di Vimercati and
Sara Foresti and
Sushil Jajodia and
Stefano Paraboschi and
Pierangela Samarati},
title = {Controlled Information Sharing in Collaborative Distributed Query
Processing},
booktitle = {28th {IEEE} International Conference on Distributed Computing Systems
{(ICDCS} 2008), 17-20 June 2008, Beijing, China},
pages = {303--310},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICDCS.2008.62},
doi = {10.1109/ICDCS.2008.62},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/VimercatiFJPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/BragaCCCDMMT08,
author = {Daniele Braga and
Diego Calvanese and
Alessandro Campi and
Stefano Ceri and
Florian Daniel and
Davide Martinenghi and
Paolo Merialdo and
Riccardo Torlone},
title = {{NGS:} a framework for multi-domain query answering},
booktitle = {Proceedings of the 24th International Conference on Data Engineering
Workshops, {ICDE} 2008, April 7-12, 2008, Canc{\'{u}}n, Mexico},
pages = {254--261},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICDEW.2008.4498328},
doi = {10.1109/ICDEW.2008.4498328},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/BragaCCCDMMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/BragaCCCDMMT08,
author = {Daniele Braga and
Diego Calvanese and
Alessandro Campi and
Stefano Ceri and
Florian Daniel and
Davide Martinenghi and
Paolo Merialdo and
Riccardo Torlone},
editor = {Salvatore Gaglio and
Ignazio Infantino and
Domenico Sacc{\`{a}}},
title = {A New Generation Search Engine Supporting Cross Domain Queries},
booktitle = {Proceedings of the Sixteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2008, 22-25 June 2008, Mondello, PA, Italy},
pages = {342--349},
year = {2008},
timestamp = {Wed, 30 Jul 2008 22:08:18 +0200},
biburl = {https://dblp.org/rec/conf/sebd/BragaCCCDMMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/SimouSTSK08,
author = {Nikos Simou and
Giorgos Stoilos and
Vassilis Tzouvaras and
Giorgos B. Stamou and
Stefanos D. Kollias},
editor = {Fernando Bobillo and
Paulo Cesar G. da Costa and
Claudia d'Amato and
Nicola Fanizzi and
Kathryn B. Laskey and
Kenneth J. Laskey and
Thomas Lukasiewicz and
Trevor P. Martin and
Matthias Nickles and
Michael Pool and
Pavel Smrz},
title = {Storing and Querying Fuzzy Knowledge in the Semantic Web},
booktitle = {Proceedings of the Fourth International Workshop on Uncertainty Reasoning
for the Semantic Web, Karlsruhe, Germany, October 26, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {423},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-423/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:05 +0100},
biburl = {https://dblp.org/rec/conf/semweb/SimouSTSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/WuSTDS08,
author = {Xiaoying Wu and
Stefanos Souldatos and
Dimitri Theodoratos and
Theodore Dalamagas and
Timos K. Sellis},
editor = {Jinpeng Huai and
Robin Chen and
Hsiao{-}Wuen Hon and
Yunhao Liu and
Wei{-}Ying Ma and
Andrew Tomkins and
Xiaodong Zhang},
title = {Efficient evaluation of generalized path pattern queries on {XML}
data},
booktitle = {Proceedings of the 17th International Conference on World Wide Web,
{WWW} 2008, Beijing, China, April 21-25, 2008},
pages = {835--844},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1367497.1367610},
doi = {10.1145/1367497.1367610},
timestamp = {Tue, 20 Dec 2022 21:20:03 +0100},
biburl = {https://dblp.org/rec/conf/www/WuSTDS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atmos/BrueraCDSF07,
author = {Francesco Bruera and
Serafino Cicerone and
Gianlorenzo D'Angelo and
Gabriele Di Stefano and
Daniele Frigioni},
editor = {Christian Liebchen and
Ravindra K. Ahuja and
Juan A. Mesa},
title = {Maintenance of Multi-level Overlay Graphs for Timetable Queries},
booktitle = {{ATMOS} 2007 - 7th Workshop on Algorithmic Approaches for Transportation
Modeling, Optimization, and Systems, November 15-16, 2007, Sevilla,
Spain},
series = {OASIcs},
volume = {7},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1171},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/atmos/BrueraCDSF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidr/BaryshnikovCCGOS07,
author = {Boris Baryshnikov and
Cipri Clinciu and
Conor Cunningham and
Leo Giakoumakis and
Slava Oks and
Stefano Stefani},
title = {Managing Query Compilation Memory Consumption to Improve {DBMS} Throughput},
booktitle = {Third Biennial Conference on Innovative Data Systems Research, {CIDR}
2007, Asilomar, CA, USA, January 7-10, 2007, Online Proceedings},
pages = {275--280},
publisher = {www.cidrdb.org},
year = {2007},
url = {http://cidrdb.org/cidr2007/papers/cidr07p31.pdf},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/cidr/BaryshnikovCCGOS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/SouldatosWTDS07,
author = {Stefanos Souldatos and
Xiaoying Wu and
Dimitri Theodoratos and
Theodore Dalamagas and
Timos K. Sellis},
editor = {M{\'{a}}rio J. Silva and
Alberto H. F. Laender and
Ricardo A. Baeza{-}Yates and
Deborah L. McGuinness and
Bj{\o}rn Olstad and
{\O}ystein Haug Olsen and
Andr{\'{e}} O. Falc{\~{a}}o},
title = {Evaluation of partial path queries on xml data},
booktitle = {Proceedings of the Sixteenth {ACM} Conference on Information and Knowledge
Management, {CIKM} 2007, Lisbon, Portugal, November 6-10, 2007},
pages = {21--30},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321440.1321446},
doi = {10.1145/1321440.1321446},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/SouldatosWTDS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CabodiNQ07,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
editor = {Rudy Lauwereins and
Jan Madsen},
title = {Boosting the role of inductive invariants in model checking},
booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition,
{DATE} 2007, Nice, France, April 16-20, 2007},
pages = {1319--1324},
publisher = {{EDA} Consortium, San Jose, CA, {USA}},
year = {2007},
url = {https://dl.acm.org/citation.cfm?id=1266654},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/CabodiNQ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/RizziG07,
author = {Stefano Rizzi and
Matteo Golfarelli},
editor = {Rada Chirkova and
Asuman Dogac and
M. Tamer {\"{O}}zsu and
Timos K. Sellis},
title = {X-Time: Schema Versioning and Cross-Version Querying in Data Warehouses},
booktitle = {Proceedings of the 23rd International Conference on Data Engineering,
{ICDE} 2007, The Marmara Hotel, Istanbul, Turkey, April 15-20, 2007},
pages = {1471--1472},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICDE.2007.369038},
doi = {10.1109/ICDE.2007.369038},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/RizziG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/MiroloCP07,
author = {Claudio Mirolo and
Stefano Carpin and
Enrico Pagello},
title = {Exploring Different Coherence Dimensions to Answer Proximity Queries
for Convex Polyhedra},
booktitle = {2007 {IEEE} International Conference on Robotics and Automation, {ICRA}
2007, 10-14 April 2007, Roma, Italy},
pages = {2594--2599},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ROBOT.2007.363856},
doi = {10.1109/ROBOT.2007.363856},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/MiroloCP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/NativiBMMB07,
author = {Stefano Nativi and
Lorenzo Bigagli and
Paolo Mazzetti and
Ugo Mattia and
Enrico Boldrini},
title = {Discovery, query and access services for imagery, gridded and coverage
data a clearinghouse solution},
booktitle = {{IEEE} International Geoscience {\&} Remote Sensing Symposium,
{IGARSS} 2007, July 23-28, 2007, Barcelona, Spain, Proceedings},
pages = {4021--4024},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IGARSS.2007.4423731},
doi = {10.1109/IGARSS.2007.4423731},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/igarss/NativiBMMB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/AmatoBC07,
author = {Giuseppe Amato and
Paolo Baronti and
Stefano Chessa},
editor = {Michelangelo Ceci and
Donato Malerba and
Letizia Tanca},
title = {Query Optimization for Wireless Sensor Network Databases in the MadWise
system},
booktitle = {Proceedings of the Fifteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2007, 17-20 June 2007, Torre Canne, Fasano, BR, Italy},
pages = {242--249},
year = {2007},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/AmatoBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CastanoFM07,
author = {Silvana Castano and
Alfio Ferrara and
Stefano Montanelli},
editor = {Michelangelo Ceci and
Donato Malerba and
Letizia Tanca},
title = {Exploiting Peer Ontologies for Semantic Query Propagation},
booktitle = {Proceedings of the Fifteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2007, 17-20 June 2007, Torre Canne, Fasano, BR, Italy},
pages = {341--348},
year = {2007},
timestamp = {Thu, 21 Jun 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sebd/CastanoFM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/GolfarelliLRV06,
author = {Matteo Golfarelli and
Jens Lechtenb{\"{o}}rger and
Stefano Rizzi and
Gottfried Vossen},
title = {Schema versioning in data warehouses: Enabling cross-version querying
via schema augmentation},
journal = {Data Knowl. Eng.},
volume = {59},
number = {2},
pages = {435--459},
year = {2006},
url = {https://doi.org/10.1016/j.datak.2005.09.004},
doi = {10.1016/J.DATAK.2005.09.004},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/GolfarelliLRV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/ParentSZ06,
author = {Christine Parent and
Stefano Spaccapietra and
Esteban Zim{\'{a}}nyi},
title = {The MurMur project: Modeling and querying multi-representation spatio-temporal
databases},
journal = {Inf. Syst.},
volume = {31},
number = {8},
pages = {733--769},
year = {2006},
url = {https://doi.org/10.1016/j.is.2005.01.004},
doi = {10.1016/J.IS.2005.01.004},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/ParentSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/TheodoratosSDPS06,
author = {Dimitri Theodoratos and
Stefanos Souldatos and
Theodore Dalamagas and
Pawel Placek and
Timos K. Sellis},
editor = {Philip S. Yu and
Vassilis J. Tsotras and
Edward A. Fox and
Bing Liu},
title = {Heuristic containment check of partial tree-pattern queries in the
presence of index graphs},
booktitle = {Proceedings of the 2006 {ACM} {CIKM} International Conference on Information
and Knowledge Management, Arlington, Virginia, USA, November 6-11,
2006},
pages = {445--454},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1183614.1183679},
doi = {10.1145/1183614.1183679},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/TheodoratosSDPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/CabodiMNQ06,
author = {Gianpiero Cabodi and
Marco Murciano and
Sergio Nocco and
Stefano Quer},
editor = {Soha Hassoun},
title = {Stepping forward with interpolants in unbounded model checking},
booktitle = {2006 International Conference on Computer-Aided Design, {ICCAD} 2006,
San Jose, CA, USA, November 5-9, 2006},
pages = {772--778},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1233501.1233661},
doi = {10.1145/1233501.1233661},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/CabodiMNQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/CarpinMP06,
author = {Stefano Carpin and
Claudio Mirolo and
Enrico Pagello},
title = {A Performance Comparison of Three Algorithms for Proximity Queries
Relative to Convex Polyhedra},
booktitle = {Proceedings of the 2006 {IEEE} International Conference on Robotics
and Automation, {ICRA} 2006, May 15-19, 2006, Orlando, Florida, {USA}},
pages = {3023--3028},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ROBOT.2006.1642161},
doi = {10.1109/ROBOT.2006.1642161},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/CarpinMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssdbm/TheodoratosDPSS06,
author = {Dimitri Theodoratos and
Theodore Dalamagas and
Pawel Placek and
Stefanos Souldatos and
Timos K. Sellis},
title = {Containment of Partially Specified Tree-Pattern Queries},
booktitle = {18th International Conference on Scientific and Statistical Database
Management, {SSDBM} 2006, 3-5 July 2006, Vienna, Austria, Proceedings},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SSDBM.2006.16},
doi = {10.1109/SSDBM.2006.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssdbm/TheodoratosDPSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0612112,
author = {Boris Baryshnikov and
Cipri Clinciu and
Conor Cunningham and
Leo Giakoumakis and
Slava Oks and
Stefano Stefani},
title = {Managing Query Compilation Memory Consumption to Improve {DBMS} Throughput},
journal = {CoRR},
volume = {abs/cs/0612112},
year = {2006},
url = {http://arxiv.org/abs/cs/0612112},
eprinttype = {arXiv},
eprint = {cs/0612112},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0612112.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CabodiKLNQW05,
author = {Gianpiero Cabodi and
Alex Kondratyev and
Luciano Lavagno and
Sergio Nocco and
Stefano Quer and
Yosinori Watanabe},
title = {A BMC-based formulation for the scheduling problem of hardware systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {102--117},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0170-9},
doi = {10.1007/S10009-004-0170-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CabodiKLNQW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CabodiNQ05,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
title = {Are BDDs still alive within sequential verification?},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {129--142},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0172-7},
doi = {10.1007/S10009-004-0172-7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CabodiNQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/BragaCC05,
author = {Daniele Braga and
Alessandro Campi and
Stefano Ceri},
title = {\emph{XQBE} (\emph{XQ}uery \emph{B}y \emph{E}xample): {A} visual interface
to the standard {XML} query language},
journal = {{ACM} Trans. Database Syst.},
volume = {30},
number = {2},
pages = {398--443},
year = {2005},
url = {https://doi.org/10.1145/1071610.1071613},
doi = {10.1145/1071610.1071613},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/BragaCC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CabodiCNQ05,
author = {Gianpiero Cabodi and
Marco Crivellari and
Sergio Nocco and
Stefano Quer},
title = {Circuit Based Quantification: Back to State Set Manipulation within
Unbounded Model Checking},
booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2005), 7-11 March 2005, Munich, Germany},
pages = {688--689},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DATE.2005.93},
doi = {10.1109/DATE.2005.93},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/CabodiCNQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/BurigatC05,
author = {Stefano Burigat and
Luca Chittaro},
editor = {Cyrus Shahabi and
Omar Boucelma},
title = {Visualizing the results of interactive queries for geographic data
on mobile devices},
booktitle = {13th {ACM} International Workshop on Geographic Information Systems,
{ACM-GIS} 2005, November 4-5, 2005, Bremen, Germany, Proceedings},
pages = {277--284},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1097064.1097103},
doi = {10.1145/1097064.1097103},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gis/BurigatC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/BurigatCM05,
author = {Stefano Burigat and
Luca Chittaro and
Luca De Marco},
editor = {Maria Francesca Costabile and
Fabio Patern{\`{o}}},
title = {Bringing Dynamic Queries to Mobile Devices: {A} Visual Preference-Based
Search Tool for Tourist Decision Support},
booktitle = {Human-Computer Interaction - {INTERACT} 2005, {IFIP} {TC13} International
Conference, Rome, Italy, September 12-16, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3585},
pages = {213--226},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11555261\_20},
doi = {10.1007/11555261\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/BurigatCM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/BragaCCR05,
author = {Daniele Braga and
Alessandro Campi and
Stefano Ceri and
Alessandro Raffio},
editor = {Fatma {\"{O}}zcan},
title = {{XQBE:} a visual environment for learning {XML} query languages},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, Baltimore, Maryland, USA, June 14-16, 2005},
pages = {903--905},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066157.1066282},
doi = {10.1145/1066157.1066282},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/BragaCCR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woa/BouquetKZ05,
author = {Paolo Bouquet and
Gabriel M. Kuper and
Stefano Zanobini},
editor = {Flavio Corradini and
Flavio De Paoli and
Emanuela Merelli and
Andrea Omicini},
title = {Asking and Answering Queries Semantically},
booktitle = {{WOA} 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop
"From Objects to Agents": Simulation and Formal Analysis of Complex
Systems, 14-16 November 2005, Camerino, MC, Italy},
pages = {22--27},
publisher = {Pitagora Editrice Bologna},
year = {2005},
url = {http://lia.deis.unibo.it/books/woa2005/papers/4.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woa/BouquetKZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ivc/CinqueRLL04,
author = {Luigi Cinque and
Fabio De Rosa and
Fabio Lecca and
Stefano Levialdi},
title = {Image retrieval using resegmentation driven by query rectangles},
journal = {Image Vis. Comput.},
volume = {22},
number = {1},
pages = {15--22},
year = {2004},
url = {https://doi.org/10.1016/j.imavis.2003.07.008},
doi = {10.1016/J.IMAVIS.2003.07.008},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ivc/CinqueRLL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/CabodiNQ04,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
title = {Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate
Traversals},
journal = {J. Univers. Comput. Sci.},
volume = {10},
number = {12},
pages = {1696--1730},
year = {2004},
url = {https://doi.org/10.3217/jucs-010-12-1693},
doi = {10.3217/JUCS-010-12-1693},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/CabodiNQ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/MarchettiPCQBB04,
author = {Carlo Marchetti and
Paolo Papa and
Stefano Cimmino and
Leonardo Querzoni and
Roberto Baldoni and
Emanuela Barbi},
editor = {Robert Meersman and
Zahir Tari},
title = {A Practical Comparison Between the {TAO} Real-Time Event Service and
the Maestro/Ensemble Group Communication System},
booktitle = {On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and
ODBASE, {OTM} Confederated International Conferences, Agia Napa, Cyprus,
October 25-29, 2004, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3291},
pages = {1558--1570},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30469-2\_45},
doi = {10.1007/978-3-540-30469-2\_45},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/coopis/MarchettiPCQBB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/Galindo-LegariaSW04,
author = {C{\'{e}}sar A. Galindo{-}Legaria and
Stefano Stefani and
Florian Waas},
editor = {Gerhard Weikum and
Arnd Christian K{\"{o}}nig and
Stefan De{\ss}loch},
title = {Query Processing for {SQL} Updates},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, Paris, France, June 13-18, 2004},
pages = {844--849},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1007568.1007665},
doi = {10.1145/1007568.1007665},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/Galindo-LegariaSW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BischoffBCNQ05,
author = {Gabriel P. Bischoff and
Karl S. Brace and
Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
editor = {Armin Biere and
Ofer Strichman},
title = {Exploiting Target Enlargement and Dynamic Abstraction within Mixed
{BDD} and {SAT} Invariant Checking},
booktitle = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {33--49},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.061},
doi = {10.1016/J.ENTCS.2004.06.061},
timestamp = {Tue, 13 Dec 2022 11:43:14 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BischoffBCNQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CabodiNQ03,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
title = {Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate
Traversals},
booktitle = {2003 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2003), 3-7 March 2003, Munich, Germany},
pages = {10898--10905},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10011},
doi = {10.1109/DATE.2003.10011},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/CabodiNQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CinqueLMR03,
author = {Luigi Cinque and
Stefano Levialdi and
Alessio Malizia and
Fabio De Rosa},
title = {A visual query by example system for digital documents},
booktitle = {2003 {IEEE} Symposium on Human Centric Computing Languages and Environments
{(HCC} 2003), 28-31 October 2003, Auckland, New Zealand},
pages = {111--113},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HCC.2003.1260211},
doi = {10.1109/HCC.2003.1260211},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/CinqueLMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CabodiNQKLW03,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer and
Alex Kondratyev and
Luciano Lavagno and
Yosinori Watanabe},
editor = {Ofer Strichman and
Armin Biere},
title = {A BMC-formulation for the scheduling problem in highly constrained
hardware Systems},
booktitle = {First International Workshop on Bounded Model Checking, BMC@CAV 2003,
Boulder, Colorado, USA, July 13, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
pages = {623--638},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)82547-2},
doi = {10.1016/S1571-0661(05)82547-2},
timestamp = {Tue, 13 Dec 2022 11:40:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CabodiNQKLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/BastaFG02,
author = {Stefano Basta and
Sergio Flesca and
Sergio Greco},
title = {Functional Queries in Datalog},
journal = {New Gener. Comput.},
volume = {20},
number = {4},
pages = {339--372},
year = {2002},
url = {https://doi.org/10.1007/BF03037371},
doi = {10.1007/BF03037371},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/BastaFG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CabodiNQ02,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based
Verification},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {471--484},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_38},
doi = {10.1007/3-540-45657-0\_38},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CabodiNQ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CabodiCQ02,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Can BDDs compete with {SAT} solvers on bounded model checking?},
booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
New Orleans, LA, USA, June 10-14, 2002},
pages = {117--122},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/513918.513949},
doi = {10.1145/513918.513949},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/CabodiCQ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CabodiCQ02,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Dynamic Scheduling and Clustering in Symbolic Image Computation},
booktitle = {2002 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2002), 4-8 March 2002, Paris, France},
pages = {150--156},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/DATE.2002.998263},
doi = {10.1109/DATE.2002.998263},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/CabodiCQ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/AkrivasWSK02,
author = {Giorgos Akrivas and
Manolis Wallace and
Giorgos B. Stamou and
Stefanos D. Kollias},
editor = {Troels Andreasen and
Amihai Motro and
Henning Christiansen and
Henrik Legind Larsen},
title = {Context - Sensitive Query Expansion Based on Fuzzy Clustering of Index
Terms},
booktitle = {Flexible Query Answering Systems, 5th International Conference, {FQAS}
2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2522},
pages = {1--11},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36109-X\_1},
doi = {10.1007/3-540-36109-X\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fqas/AkrivasWSK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpr/CinqueRLLT02,
author = {Luigi Cinque and
Fabio De Rosa and
Fabio Lecca and
Stefano Levialdi and
Steven L. Tanimoto},
title = {Image Retrieval Using Resegmentation Driven by Query Rectangles},
booktitle = {16th International Conference on Pattern Recognition, {ICPR} 2002,
Quebec, Canada, August 11-15, 2002},
pages = {142--145},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICPR.2002.1047419},
doi = {10.1109/ICPR.2002.1047419},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpr/CinqueRLLT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss/LavagnoLQNPC02,
author = {Luciano Lavagno and
Mihai T. Lazarescu and
Stefano Quer and
Sergio Nocco and
Claudio Passerone and
Gianpiero Cabodi},
editor = {El Mostapha Aboulhamid and
Yukihiro Nakamura},
title = {A Symbolic Approach for the Combined Solution of Scheduling and Allocation},
booktitle = {Proceedings of the 15th International Symposium on System Synthesis
{(ISSS} 2002), October 2-4, 2002, Kyoto, Japan},
pages = {237--242},
publisher = {{ACM} / {IEEE} Computer Society},
year = {2002},
url = {https://doi.ieeecomputersociety.org/10.1109/ISSS.2002.1227184},
doi = {10.1109/ISSS.2002.1227184},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isss/LavagnoLQNPC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/CabodiCQ01,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Reachability analysis of large circuits using disjunctive partitioning
and partial iterative squaring},
journal = {J. Syst. Archit.},
volume = {47},
number = {2},
pages = {163--179},
year = {2001},
url = {https://doi.org/10.1016/S1383-7621(00)00064-3},
doi = {10.1016/S1383-7621(00)00064-3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/CabodiCQ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CabodiCQ01,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
editor = {Wolfgang Nebel and
Ahmed Jerraya},
title = {Biasing symbolic search by means of dynamic activity profiles},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2001, Munich, Germany, March 12-16, 2001},
pages = {9--15},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DATE.2001.914993},
doi = {10.1109/DATE.2001.914993},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/CabodiCQ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/QuerCCLSB00,
author = {Stefano Quer and
Gianpiero Cabodi and
Paolo Camurati and
Luciano Lavagno and
Ellen Sentovich and
Robert K. Brayton},
title = {Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability
Analysis, and Combinational Checks},
journal = {Formal Methods Syst. Des.},
volume = {17},
number = {2},
pages = {107--134},
year = {2000},
url = {https://doi.org/10.1023/A:1008748802907},
doi = {10.1023/A:1008748802907},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/QuerCCLSB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/CabodiCQ00,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Symbolic forward/backward traversals of large finite state machines},
journal = {J. Syst. Archit.},
volume = {46},
number = {12},
pages = {1137--1158},
year = {2000},
url = {https://doi.org/10.1016/S1383-7621(00)00014-X},
doi = {10.1016/S1383-7621(00)00014-X},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/CabodiCQ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/BaroniEKQRS00,
author = {Stefano Baroni and
John O. Eaves and
Manoj Kumar and
M. Akber Qureshi and
Antonio Rodriguez{-}Moral and
David Sugerman},
title = {Analysis and design of backbone architecture alternatives for {IP}
optical networking},
journal = {{IEEE} J. Sel. Areas Commun.},
volume = {18},
number = {10},
pages = {1980--1994},
year = {2000},
url = {https://doi.org/10.1109/49.887918},
doi = {10.1109/49.887918},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsac/BaroniEKQRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/BonifatiC00,
author = {Angela Bonifati and
Stefano Ceri},
title = {Comparative Analysis of Five {XML} Query Languages},
journal = {{SIGMOD} Rec.},
volume = {29},
number = {1},
pages = {68--79},
year = {2000},
url = {https://doi.org/10.1145/344788.344822},
doi = {10.1145/344788.344822},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/BonifatiC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/CabodiCQ00,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Improving symbolic reachability analysis by means of activityprofiles},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {19},
number = {9},
pages = {1065--1075},
year = {2000},
url = {https://doi.org/10.1109/43.863646},
doi = {10.1109/43.863646},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CabodiCQ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CabodiQS00,
author = {Gianpiero Cabodi and
Stefano Quer and
Fabio Somenzi},
editor = {Giovanni De Micheli},
title = {Optimizing sequential verification by retiming transformations},
booktitle = {Proceedings of the 37th Conference on Design Automation, Los Angeles,
CA, USA, June 5-9, 2000},
pages = {601--606},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337292.337591},
doi = {10.1145/337292.337591},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/CabodiQS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dmdw/GolfarelliR00,
author = {Matteo Golfarelli and
Stefano Rizzi},
editor = {Manfred A. Jeusfeld and
Hua Shu and
Martin Staudt and
Gottfried Vossen},
title = {View materialization for nested {GPSJ} queries},
booktitle = {Proceedings of the Second Intl. Workshop on Design and Management
of Data Warehouses, {DMDW} 2000, Stockholm, Sweden, June 5-6, 2000},
series = {{CEUR} Workshop Proceedings},
volume = {28},
pages = {10},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-28/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/dmdw/GolfarelliR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dolap/GolfarelliR00,
author = {Matteo Golfarelli and
Stefano Rizzi},
editor = {Rokia Missaoui and
Il{-}Yeol Song},
title = {Comparing Nested {GPSJ} Queries in Multidimensional Databases},
booktitle = {Third {ACM} International Workshop on Data Warehousing and {OLAP}
{(DOLAP} 2000), Washington, DC, USA, November 10, 2000},
pages = {65--71},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/355068.355317},
doi = {10.1145/355068.355317},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dolap/GolfarelliR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CeriCDFT00,
author = {Stefano Ceri and
Sara Comai and
Ernesto Damiani and
Piero Fraternali and
Letizia Tanca},
editor = {Barrett R. Bryant and
Janice H. Carroll and
Ernesto Damiani and
Hisham Haddad and
Dave Oppenheim},
title = {Complex Queries in {XML-GL}},
booktitle = {Applied Computing 2000, Proceedings of the 2000 {ACM} Symposium on
Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March
19-21, 2000. Volume 2},
pages = {888--893},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/338407.338677},
doi = {10.1145/338407.338677},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/CeriCDFT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CinqueLLT00,
author = {Luigi Cinque and
Fabio Lecca and
Stefano Levialdi and
Steven L. Tanimoto},
title = {Incorporating Image Segmentations into a Visual Query Language for
Content-Based Image Retrieval},
booktitle = {2000 {IEEE} International Symposium on Visual Languages, {VL} 2000,
Seattle, Washington, USA, September 10-13, 2000, Proceedings},
pages = {233--234},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/VL.2000.874388},
doi = {10.1109/VL.2000.874388},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/CinqueLLT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/CeriCDFPT99,
author = {Stefano Ceri and
Sara Comai and
Ernesto Damiani and
Piero Fraternali and
Stefano Paraboschi and
Letizia Tanca},
title = {{XML-GL:} {A} Graphical Language for Querying and Restructuring {XML}
Documents},
journal = {Comput. Networks},
volume = {31},
number = {11-16},
pages = {1171--1187},
year = {1999},
url = {https://doi.org/10.1016/S1389-1286(99)00014-6},
doi = {10.1016/S1389-1286(99)00014-6},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/CeriCDFPT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nis/BastaFG99,
author = {Stefano Basta and
Sergio Flesca and
Sergio Greco},
title = {Optimization of Bounded Linear Recursive Queries},
journal = {Netw. Inf. Syst. J.},
volume = {2},
number = {4},
pages = {387--412},
year = {1999},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nis/BastaFG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/CabodiCQ99,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Improving the efficiency of BDD-based operators by means of partitioning},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {18},
number = {5},
pages = {545--556},
year = {1999},
url = {https://doi.org/10.1109/43.759068},
doi = {10.1109/43.759068},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CabodiCQ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/BenziMR99,
author = {Francesca Benzi and
Dario Maio and
Stefano Rizzi},
title = {{VISIONARY:} a Viewpoint-based Visual Language for Querying Relational
Databases},
journal = {J. Vis. Lang. Comput.},
volume = {10},
number = {2},
pages = {117--145},
year = {1999},
url = {https://doi.org/10.1006/jvlc.1998.0102},
doi = {10.1006/JVLC.1998.0102},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/BenziMR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BertaccoDQ99,
author = {Valeria Bertacco and
Maurizio Damiani and
Stefano Quer},
editor = {Mary Jane Irwin},
title = {Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits},
booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
LA, USA, June 21-25, 1999},
pages = {391--396},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/309847.309966},
doi = {10.1145/309847.309966},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/BertaccoDQ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CabodiCQ99,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
editor = {Mary Jane Irwin},
title = {Improving Symbolic Traversals by Means of Activity Profiles},
booktitle = {Proceedings of the 36th Conference on Design Automation, New Orleans,
LA, USA, June 21-25, 1999},
pages = {306--311},
publisher = {{ACM} Press},
year = {1999},
url = {https://doi.org/10.1145/309847.309938},
doi = {10.1145/309847.309938},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/CabodiCQ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CabodiCPQ99,
author = {Gianpiero Cabodi and
Paolo Camurati and
Claudio Passerone and
Stefano Quer},
title = {Computing Timed Transition Relations for Sequential Cycle-Based Simulation},
booktitle = {1999 Design, Automation and Test in Europe {(DATE} '99), 9-12 March
1999, Munich, Germany},
pages = {8--12},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1999},
url = {https://doi.org/10.1109/DATE.1999.761090},
doi = {10.1109/DATE.1999.761090},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/CabodiCPQ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/BastaFGZ99,
author = {Stefano Basta and
Sergio Flesca and
Sergio Greco and
Ester Zumpano},
editor = {Elisa Bertino and
Silvana Castano},
title = {A System Prototype for the Evaluation of Queries on Materialized Views},
booktitle = {Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati,
{SEBD} 1999, Villa Olmo, Como, Italy, 23-25 Giugno 1999},
pages = {291--306},
year = {1999},
timestamp = {Mon, 18 Jan 2016 11:07:09 +0100},
biburl = {https://dblp.org/rec/conf/sebd/BastaFGZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/CeriCFPTD99,
author = {Stefano Ceri and
Sara Comai and
Piero Fraternali and
Stefano Paraboschi and
Letizia Tanca and
Ernesto Damiani},
editor = {Elisa Bertino and
Silvana Castano},
title = {{XML-GL:} {A} Graphical Language for Querying and Restructuring {XML}
Documents},
booktitle = {Atti del Settimo Convegno Nazionale Sistemi Evoluti per Basi di Dati,
{SEBD} 1999, Villa Olmo, Como, Italy, 23-25 Giugno 1999},
pages = {151--165},
year = {1999},
timestamp = {Mon, 18 Jan 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/CeriCFPTD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DB-9912015,
author = {Angela Bonifati and
Stefano Ceri},
title = {Comparative Analysis of Five {XML} Query Languages},
journal = {CoRR},
volume = {cs.DB/9912015},
year = {1999},
url = {https://arxiv.org/abs/cs/9912015},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DB-9912015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ivc/BimboMLP98,
author = {Alberto Del Bimbo and
Maria De Marsico and
Stefano Levialdi and
Giuliano Peritore},
title = {Query by dialog: an interactive approach to pictorial querying},
journal = {Image Vis. Comput.},
volume = {16},
number = {8},
pages = {557--569},
year = {1998},
url = {https://doi.org/10.1016/S0262-8856(97)00092-9},
doi = {10.1016/S0262-8856(97)00092-9},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ivc/BimboMLP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/CabodiQC98,
author = {Gianpiero Cabodi and
Stefano Quer and
Paolo Camurati},
title = {Memory Optimization in Function and Set Manipulation with BDDs},
journal = {Softw. Pract. Exp.},
volume = {28},
number = {1},
pages = {99--120},
year = {1998},
url = {https://doi.org/10.1002/(SICI)1097-024X(199801)28:1\<99::AID-SPE143\>3.0.CO;2-Y},
doi = {10.1002/(SICI)1097-024X(199801)28:1\<99::AID-SPE143\>3.0.CO;2-Y},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/CabodiQC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/CabodiCQ98,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Auxiliary variables for BDD-based representation and manipulation
of Boolean functions},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {3},
number = {3},
pages = {309--340},
year = {1998},
url = {https://doi.org/10.1145/293625.293626},
doi = {10.1145/293625.293626},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/CabodiCQ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/BeniniMMPQ98,
author = {Luca Benini and
Giovanni De Micheli and
Enrico Macii and
Massimo Poncino and
Stefano Quer},
title = {Power optimization of core-based systems by address bus encoding},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {6},
number = {4},
pages = {554--562},
year = {1998},
url = {https://doi.org/10.1109/92.736127},
doi = {10.1109/92.736127},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvlsi/BeniniMMPQ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BastaFG98,
author = {Stefano Basta and
Sergio Flesca and
Sergio Greco},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Extending Datalog to Express Functional Queries: {A} Language and
its Implementation},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {165--174},
year = {1998},
timestamp = {Wed, 21 Nov 2007 11:59:17 +0100},
biburl = {https://dblp.org/rec/conf/agp/BastaFG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/MelideoV98,
author = {Giovanna Melideo and
Stefano Varricchio},
editor = {Michael M. Richter and
Carl H. Smith and
Rolf Wiehagen and
Thomas Zeugmann},
title = {Learning Unary Output Two-Tape Automata from Multiplicity and Equivalence
Queries},
booktitle = {Algorithmic Learning Theory, 9th International Conference, {ALT} '98,
Otzenhausen, Germany, October 8-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1501},
pages = {87--102},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49730-7\_7},
doi = {10.1007/3-540-49730-7\_7},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/MelideoV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/BenziMR98,
author = {Francesca Benzi and
Dario Maio and
Stefano Rizzi},
editor = {Tiziana Catarci and
Maria Francesca Costabile and
Giuseppe Santucci and
Laura Tarantino},
title = {VisTool: a visual tool for querying relational databases},
booktitle = {Proceedings of the working conference on Advanced visual interfaces
1998, L'Aquila, Italy, May 24 - 27, 1998},
pages = {258--260},
publisher = {{ACM} Press},
year = {1998},
url = {https://doi.org/10.1145/948496.948531},
doi = {10.1145/948496.948531},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/avi/BenziMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w3c/CeriCDFPT98,
author = {Stefano Ceri and
Sara Comai and
Ernesto Damiani and
Piero Fraternali and
Stefano Paraboschi and
Letizia Tanca},
title = {{XML-GL:} {A} Graphical Language for Querying and Reshaping {XML}
Documents},
booktitle = {The Query Languages Workshop, Boston, {QL} 1998, Massachussets, USA,
December 3-4, 1998},
publisher = {{W3C}},
year = {1998},
url = {http://www.w3.org/TandS/QL/QL98/pp/xml-gl.html},
timestamp = {Fri, 05 Feb 2021 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/w3c/CeriCDFPT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/trier/MI98-22,
author = {Gianpiero Cabodi and
Stefano Quer and
Christoph Meinel and
Harald Sack and
Anna Slobodov{\'{a}} and
Christian Stangier},
title = {Binary Decision Diagrams and the Multiple Variable Order Problem},
journal = {Universit{\"{a}}t Trier, Mathematik/Informatik, Forschungsbericht},
volume = {98-22},
year = {1998},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/trier/MI98-22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/CatarciCLB97,
author = {Tiziana Catarci and
Maria Francesca Costabile and
Stefano Levialdi and
Carlo Batini},
title = {Visual Query Systems for Databases: {A} Survey},
journal = {J. Vis. Lang. Comput.},
volume = {8},
number = {2},
pages = {215--260},
year = {1997},
url = {https://doi.org/10.1006/jvlc.1997.0037},
doi = {10.1006/JVLC.1997.0037},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/CatarciCLB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/CabodiCLPQ97,
author = {Gianpiero Cabodi and
Paolo Camurati and
Antonio Lioy and
Massimo Poncino and
Stefano Quer},
editor = {Hon Fung Li and
David K. Probst},
title = {A parallel approach to symbolic traversal based on set partitioning},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {167--184},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Thu, 18 Feb 2010 08:37:22 +0100},
biburl = {https://dblp.org/rec/conf/charme/CabodiCLPQ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cosit/NguyenPS97,
author = {Viet Hai Nguyen and
Christine Parent and
Stefano Spaccapietra},
editor = {Stephen C. Hirtle and
Andrew U. Frank},
title = {Complex Regions in Topological Queries},
booktitle = {Spatial Information Theory: {A} Theoretical Basis for GIS, International
Conference {COSIT} '97, Laurel Highlands, Pennsylvania, USA, October
15-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1329},
pages = {175--192},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63623-4\_50},
doi = {10.1007/3-540-63623-4\_50},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/cosit/NguyenPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CabodiCLQ97,
author = {Gianpiero Cabodi and
Paolo Camurati and
Luciano Lavagno and
Stefano Quer},
editor = {Ellen J. Yoffa and
Giovanni De Micheli and
Jan M. Rabaey},
title = {Disjunctive Partitioning and Partial Iterative Squaring: An Effective
Approach for Symbolic Traversal of Large Circuits},
booktitle = {Proceedings of the 34st Conference on Design Automation, Anaheim,
California, USA, Anaheim Convention Center, June 9-13, 1997},
pages = {728--733},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/266021.266355},
doi = {10.1145/266021.266355},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/CabodiCLQ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CabodiCLQ97,
author = {Gianpiero Cabodi and
Paolo Camurati and
Luciano Lavagno and
Stefano Quer},
title = {Verification and synthesis of counters based on symbolic techniques},
booktitle = {European Design and Test Conference, ED{\&}TC '97, Paris, France,
17-20 March 1997},
pages = {176--181},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/EDTC.1997.582355},
doi = {10.1109/EDTC.1997.582355},
timestamp = {Fri, 20 May 2022 15:59:03 +0200},
biburl = {https://dblp.org/rec/conf/date/CabodiCLQ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/islped/BeniniMMPQ97,
author = {Luca Benini and
Giovanni De Micheli and
Enrico Macii and
Massimo Poncino and
Stefano Quer},
editor = {Brock Barton and
Massoud Pedram and
Anantha P. Chandrakasan and
Sayfe Kiaei},
title = {System-level power optimization of special purpose applications: the
beach solution},
booktitle = {Proceedings of the 1997 International Symposium on Low Power Electronics
and Design, 1997, Monterey, California, USA, August 18-20, 1997},
pages = {24--29},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/263272.263277},
doi = {10.1145/263272.263277},
timestamp = {Mon, 27 Sep 2021 11:47:11 +0200},
biburl = {https://dblp.org/rec/conf/islped/BeniniMMPQ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BergadanoV96,
author = {Francesco Bergadano and
Stefano Varricchio},
title = {Learning Behaviors of Automata from Multiplicity and Equivalence Queries},
journal = {{SIAM} J. Comput.},
volume = {25},
number = {6},
pages = {1268--1280},
year = {1996},
url = {https://doi.org/10.1137/S009753979326091X},
doi = {10.1137/S009753979326091X},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BergadanoV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/CabodiCLQBS96,
author = {Gianpiero Cabodi and
Paolo Camurati and
Luciano Lavagno and
Stefano Quer and
Robert K. Brayton and
Ellen Sentovich},
editor = {Graham Symonds and
Wolfgang Nebel},
title = {Incremental re-encoding for symbolic traversal of product machines},
booktitle = {Proceedings of the conference on European design automation, {EURO-DAC}
'96/EURO-VHDL '96, Geneva, Switzerland, September 16-20, 1996},
pages = {158--163},
publisher = {{IEEE} Computer Society Press},
year = {1996},
url = {https://doi.org/10.1109/EURDAC.1996.558199},
doi = {10.1109/EURDAC.1996.558199},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurodac/CabodiCLQBS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/QuerCC96,
author = {Stefano Quer and
Gianpiero Cabodi and
Paolo Camurati},
editor = {Graham Symonds and
Wolfgang Nebel},
title = {Decomposed symbolic forward traversals of large finite state machines},
booktitle = {Proceedings of the conference on European design automation, {EURO-DAC}
'96/EURO-VHDL '96, Geneva, Switzerland, September 16-20, 1996},
pages = {170--175},
publisher = {{IEEE} Computer Society Press},
year = {1996},
url = {https://doi.org/10.1109/EURDAC.1996.558201},
doi = {10.1109/EURDAC.1996.558201},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurodac/QuerCC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/CabodiCQ96,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
editor = {Rob A. Rutenbar and
Ralph H. J. M. Otten},
title = {Improved reachability analysis of large finite state machines},
booktitle = {Proceedings of the 1996 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1996, San Jose, CA, USA, November 10-14, 1996},
pages = {354--360},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1996},
url = {https://doi.org/10.1109/ICCAD.1996.569819},
doi = {10.1109/ICCAD.1996.569819},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/CabodiCQ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/CabodiLMPQCS96,
author = {Gianpiero Cabodi and
Luciano Lavagno and
Enrico Macii and
Massimo Poncino and
Stefano Quer and
Paolo Camurati and
Ellen Sentovich},
title = {Enhancing {FSM} Traversal by Temporary Re-Encoding},
booktitle = {1996 International Conference on Computer Design {(ICCD} '96), {VLSI}
in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings},
pages = {6--11},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICCD.1996.563524},
doi = {10.1109/ICCD.1996.563524},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/CabodiLMPQCS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ids/BenziMR96,
author = {Francesca Benzi and
Dario Maio and
Stefano Rizzi},
editor = {Jessie B. Kennedy and
Peter J. Barclay},
title = {Visionary: {A} Visual Query Language Based on the User Viewpoint Approach},
booktitle = {Interfaces to Databases (IDS-3), Proceedings of the 3rd International
Workshop on Interfaces to Databases, Napier University, Edinburgh,
UK, 8-10 July 1996},
series = {Workshops in Computing},
pages = {4},
publisher = {Springer},
year = {1996},
timestamp = {Tue, 19 Jun 2018 07:58:04 +0200},
biburl = {https://dblp.org/rec/conf/ids/BenziMR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/BergadanoCV96,
author = {Francesco Bergadano and
Dario Catalano and
Stefano Varricchio},
editor = {Gary L. Miller},
title = {Learning Sat-\emph{k}-DNF Formulas from Membership Queries},
booktitle = {Proceedings of the Twenty-Eighth Annual {ACM} Symposium on the Theory
of Computing, Philadelphia, Pennsylvania, USA, May 22-24, 1996},
pages = {126--130},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/237814.237845},
doi = {10.1145/237814.237845},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stoc/BergadanoCV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR96-008,
author = {Francesco Bergadano and
Nader H. Bshouty and
Stefano Varricchio},
title = {Learning Multivariate Polynomials from Substitution and Equivalence
Queries},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR96-008}},
year = {1996},
url = {https://eccc.weizmann.ac.il/eccc-reports/1996/TR96-008/index.html},
eprinttype = {ECCC},
eprint = {TR96-008},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR96-008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/CabodiQC95,
author = {Gianpiero Cabodi and
Stefano Quer and
Paolo Camurati},
editor = {Paolo Camurati and
Hans Eveking},
title = {Transforming boolean relations by symbolic encoding},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {161--170},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_10},
doi = {10.1007/3-540-60385-9\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/CabodiQC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/CabodiQC95,
author = {Gianpiero Cabodi and
Stefano Quer and
Paolo Camurati},
editor = {Gerald Musgrave},
title = {Computing subsets of equivalence classes for large FSMs},
booktitle = {Proceedings EURO-DAC'95, European Design Automation Conference with
EURO-VHDL, Brighton, England, UK, September 18-22, 1995},
pages = {288--293},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/EURDAC.1995.527419},
doi = {10.1109/EURDAC.1995.527419},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurodac/CabodiQC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/ChangCL95,
author = {Shi{-}Kuo Chang and
Maria Francesca Costabile and
Stefano Levialdi},
editor = {Antonio Albano and
Saverio Salerno and
Francesca Arcelli and
Matteo Gaeta and
Stefano Rizzo and
Giovanna Vantini},
title = {Virtual Reality as an Aid to Visual Querying},
booktitle = {Atti del Terzo Convegno Nazionale su Sistemi Evoluti per Basi di Dati,
{SEBD} 1995, Ravello (Costiera Amalfitana), Italy, 28-30 Giugno 1995},
pages = {225--244},
year = {1995},
timestamp = {Mon, 18 Jan 2016 11:07:09 +0100},
biburl = {https://dblp.org/rec/conf/sebd/ChangCL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/MassariPSC95,
author = {Antonio Massari and
Stefano Pavani and
Lorenzo Saladini and
Panos K. Chrysanthis},
editor = {Michael J. Carey and
Donovan A. Schneider},
title = {{QBI:} Query By Icons},
booktitle = {Proceedings of the 1995 {ACM} {SIGMOD} International Conference on
Management of Data, San Jose, California, USA, May 22-25, 1995},
pages = {477},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/223784.223890},
doi = {10.1145/223784.223890},
timestamp = {Tue, 16 Aug 2022 23:04:20 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/MassariPSC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/MassariPS94,
author = {Antonio Massari and
Stefano Pavani and
Lorenzo Saladini},
editor = {Maria Francesca Costabile and
Tiziana Catarci and
Stefano Levialdi and
Giuseppe Santucci},
title = {{QBI:} An Iconic Query System for Inexpert Users},
booktitle = {Proceedings of the Workshop on Advanced Visual Interfaces, {AVI} 1994,
Bari, Italy, June 1-4, 1994},
pages = {240--242},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/192309.192360},
doi = {10.1145/192309.192360},
timestamp = {Tue, 06 Nov 2018 16:58:13 +0100},
biburl = {https://dblp.org/rec/conf/avi/MassariPS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciac/BergadanoV94,
author = {Francesco Bergadano and
Stefano Varricchio},
editor = {Maurizio A. Bonuccelli and
Pierluigi Crescenzi and
Rossella Petreschi},
title = {Learning Behaviors of Automata from Multiplicity and Equivalence Queries},
booktitle = {Algorithms and Complexity, Second Italian Conference, {CIAC} '94,
Rome, Italy, February 23-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {778},
pages = {54--62},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57811-0\_6},
doi = {10.1007/3-540-57811-0\_6},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/ciac/BergadanoV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CabodiCQ94,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
editor = {Michael J. Lorenzetti},
title = {Auxiliary Variables for Extending Symbolic Traversal Techniques to
Data Paths},
booktitle = {Proceedings of the 31st Conference on Design Automation, San Diego,
California, USA, June 6-10, 1994},
pages = {289--293},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/196244.196380},
doi = {10.1145/196244.196380},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/CabodiCQ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/CabodiCQ94,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
editor = {Jean Mermet},
title = {Symbolic exploration of large circuits with enhanced forward/backward
traversals},
booktitle = {Proceedings EURO-DAC'94, European Design Automation Conference, Grenoble,
France, September 19-22, 1994},
pages = {22--27},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=198184},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/eurodac/CabodiCQ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/CabodiCQ94,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Symbolic traversals of data paths with auxiliary variables},
booktitle = {Fourth Great Lakes Symposium on Design Automation of High Performance
{VLSI} Systems, {GLSV} '94, Notre Dame, IN, USA, March 4-5, 1994},
pages = {93--96},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/GLSV.1994.289989},
doi = {10.1109/GLSV.1994.289989},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/glvlsi/CabodiCQ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/CabodiCQ94,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Efficient State Space Pruning in Symbolic Backward Traversal},
booktitle = {Proceedings 1994 {IEEE} International Conference on Computer Design:
{VLSI} in Computer {\&} Processors, {ICCD} '94, Cambridge, MA,
USA, October 10-12, 1994},
pages = {230--235},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICCD.1994.331895},
doi = {10.1109/ICCD.1994.331895},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/CabodiCQ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/CabodiCQ94,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Detecting hard faults with combined approximate forward/backward symbolic
techniques},
booktitle = {1994 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
1994, London, England, UK, May 30 - June 2, 1994},
pages = {299--302},
publisher = {{IEEE}},
year = {1994},
url = {https://doi.org/10.1109/ISCAS.1994.408814},
doi = {10.1109/ISCAS.1994.408814},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/CabodiCQ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/CabodiCQ94,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Full-Symbolic {ATPG} for Large Circuits},
booktitle = {Proceedings {IEEE} International Test Conference 1994, {TEST:} The
Next 25 Years, Washington, DC, USA, October 2-6, 1994},
pages = {980--988},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/TEST.1994.528047},
doi = {10.1109/TEST.1994.528047},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/CabodiCQ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/krdb/BeneventanoBLS94,
author = {Domenico Beneventano and
Sonia Bergamaschi and
Stefano Lodi and
Claudio Sartori},
editor = {Franz Baader and
Martin Buchheit and
Manfred A. Jeusfeld and
Werner Nutt},
title = {Terminological Logics for Schema Design and Query Processing in OODBs},
booktitle = {Reasoning about Structured Objects: Knowledge Representation Meets
Databases, Proceedings of 1st Workshop KRDB'94, Saarbr{\"{u}}cken,
Germany, September 20-22, 1994},
series = {{CEUR} Workshop Proceedings},
volume = {1},
publisher = {CEUR-WS.org},
year = {1994},
url = {https://ceur-ws.org/Vol-1/beneventano-et-al-long.ps},
timestamp = {Fri, 10 Mar 2023 16:23:33 +0100},
biburl = {https://dblp.org/rec/conf/krdb/BeneventanoBLS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/BellaviaMR94,
author = {Giuseppe Bellavia and
Dario Maio and
Stefano Rizzi},
editor = {Sonia Bergamaschi and
Claudio Sartori and
Paolo Tiberio},
title = {Minimizing the Cost of Query Formulation through User Viewpoint Relations},
booktitle = {Atti del Secondo Convegno Nazionale "Sistemi Evoluti per Basi di Dati",
{SEBD} 1994, Rimini, Italy, 1994},
pages = {141--159},
publisher = {Editrice Esculapio Progetto Leonardo, via U. Terracini, 30, 40131
Bologna},
year = {1994},
timestamp = {Sat, 05 Nov 2016 11:53:38 +0100},
biburl = {https://dblp.org/rec/conf/sebd/BellaviaMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/ChangCL94,
author = {Shi{-}Kuo Chang and
Maria Francesca Costabile and
Stefano Levialdi},
editor = {Allen L. Ambler and
Takayuki Dan Kimura},
title = {Reality Bites - Progressive Querying and Result Visualization in Logical
and {VR} Spaces},
booktitle = {Proceedings {IEEE} Symposium on Visual Languages, St. Louis, Missouri,
USA, October 4-7, 1994},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/VL.1994.363635},
doi = {10.1109/VL.1994.363635},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/ChangCL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/NejdlCW93,
author = {Wolfgang Nejdl and
Stefano Ceri and
Gio Wiederhold},
title = {Evaluating Recursive Queries in Distributed Databases},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {5},
number = {1},
pages = {104--121},
year = {1993},
url = {https://doi.org/10.1109/69.204095},
doi = {10.1109/69.204095},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/NejdlCW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/BeneventanoBLS93,
author = {Domenico Beneventano and
Sonia Bergamaschi and
Stefano Lodi and
Claudio Sartori},
editor = {Domenico Sacc{\`{a}}},
title = {Uso della Subsumption per l'Ottimizzazione Semantica di Queries},
booktitle = {Convegno SEBD'93, Proceedings of the Conference on Advanced Database
Systems (Atti del convegno su Sistemi Evoluti per Basi di Dati), {SEBD}
1993, Hotel Capo Suvero, Gizzeria, Italy, 14-16 June, 1993},
pages = {75--89},
publisher = {Mediterranean Press (via S. Pellico, 13 - Tel. 0984-465645 - 87030
Rende {(CS))}},
year = {1993},
timestamp = {Sat, 05 Nov 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/BeneventanoBLS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/MassariPC93,
author = {Antonio Massari and
Stefano Pavani and
Shi{-}Kuo Chang},
title = {An Iconic Query System with Intensional Feedback Capabilities},
booktitle = {Proceedings of the 1993 {IEEE} Workshop on Visual Languages, August
24-27, 1993, Bergen, Norway},
pages = {386--388},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/VL.1993.269555},
doi = {10.1109/VL.1993.269555},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/MassariPC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Baratella92,
author = {Stefano Baratella},
title = {A Completeness Result for Allowed Semi-Strict Programs with Respect
to Well-Behaved and Allowed Query Clauses},
journal = {Theor. Comput. Sci.},
volume = {97},
number = {1},
pages = {143--156},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90391-R},
doi = {10.1016/0304-3975(92)90391-R},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Baratella92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/CinqueLF91,
author = {Luigi Cinque and
Stefano Levialdi and
F. Ferloni},
title = {An expert visual query system},
journal = {J. Vis. Lang. Comput.},
volume = {2},
number = {2},
pages = {101--113},
year = {1991},
url = {https://doi.org/10.1016/S1045-926X(05)80025-4},
doi = {10.1016/S1045-926X(05)80025-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/CinqueLF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdis/HoutsmaCC91,
author = {Maurice A. W. Houtsma and
Filippo Cacace and
Stefano Ceri},
title = {Parallel Hierarchical Evaluation of Tranitive Closure Queries},
booktitle = {Proceedings of the First International Conference on Parallel and
Distributed Information Systems {(PDIS} 1991), Fontainebleu Hilton
Resort, Miami Beach, Florida, USA, December 4-6, 1991},
pages = {130--137},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/PDIS.1991.183080},
doi = {10.1109/PDIS.1991.183080},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdis/HoutsmaCC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vdb/BatiniCCL91,
author = {Carlo Batini and
Tiziana Catarci and
Maria Francesca Costabile and
Stefano Levialdi},
editor = {El{\"{o}}d Knuth and
Lutz M. Wegner},
title = {Visual Query Systems: {A} Taxonomy},
booktitle = {Visual Database Systems, {II.} Proceedings of the {IFIP} {TC2/WG}
2.6 Second Working Conference on Visual Database Systems. Budapest,
Hungary, 30 September - 3 October 1991},
series = {{IFIP} Transactions},
volume = {{A-7}},
pages = {153--168},
publisher = {North-Holland},
year = {1991},
timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
biburl = {https://dblp.org/rec/conf/vdb/BatiniCCL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/BatiniCCL91,
author = {Carlo Batini and
Tiziana Catarci and
Maria Francesca Costabile and
Stefano Levialdi},
title = {Visual Strategies for Querying Databases},
booktitle = {Proceedings of the 1991 {IEEE} Workshop on Visual Languages, Kobe,
Japan, October 8-11, 1991},
pages = {183--189},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/WVL.1991.238834},
doi = {10.1109/WVL.1991.238834},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/BatiniCCL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/HoutsmaAC90,
author = {Maurice A. W. Houtsma and
Peter M. G. Apers and
Stefano Ceri},
editor = {Serge Abiteboul and
Paris C. Kanellakis},
title = {Complex Transitive Closure Queries on a Fragmented Graph},
booktitle = {ICDT'90, Third International Conference on Database Theory, Paris,
France, December 12-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {470},
pages = {470--484},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53507-1\_96},
doi = {10.1007/3-540-53507-1\_96},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/HoutsmaAC90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CinqueFLS89,
author = {Luigi Cinque and
F. Ferloni and
Stefano Levialdi and
A. Sargeni},
title = {{X-VIQU:} an expert system for visual representation of database queries},
booktitle = {{IEEE} Workshop on Visual Languages, {VL} 1989, Rome, Italy, October
4-6, 1989},
pages = {183--188},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/WVL.1989.77062},
doi = {10.1109/WVL.1989.77062},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/CinqueFLS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/CeriT87,
author = {Stefano Ceri and
Letizia Tanca},
editor = {Peter M. Stocker and
William Kent and
Peter Hammersley},
title = {Optimization of Systems of Algebraic Equations for Evaluating Datalog
Queries},
booktitle = {VLDB'87, Proceedings of 13th International Conference on Very Large
Data Bases, September 1-4, 1987, Brighton, England},
pages = {31--41},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.vldb.org/conf/1987/P031.PDF},
timestamp = {Wed, 29 Mar 2017 16:45:24 +0200},
biburl = {https://dblp.org/rec/conf/vldb/CeriT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/CeriGL86,
author = {Stefano Ceri and
Georg Gottlob and
Luigi Lavazza},
editor = {Wesley W. Chu and
Georges Gardarin and
Setsuo Ohsuga and
Yahiko Kambayashi},
title = {Translation and Optimization of Logic Queries: The Algebraic Approach},
booktitle = {VLDB'86 Twelfth International Conference on Very Large Data Bases,
August 25-28, 1986, Kyoto, Japan, Proceedings},
pages = {395--402},
publisher = {Morgan Kaufmann},
year = {1986},
url = {http://www.vldb.org/conf/1986/P395.PDF},
timestamp = {Wed, 29 Mar 2017 16:45:23 +0200},
biburl = {https://dblp.org/rec/conf/vldb/CeriGL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CeriG85,
author = {Stefano Ceri and
Georg Gottlob},
title = {Translating {SQL} Into Relational Algebra: Optimization, Semantics,
and Equivalence of {SQL} Queries},
journal = {{IEEE} Trans. Software Eng.},
volume = {11},
number = {4},
pages = {324--345},
year = {1985},
url = {https://doi.org/10.1109/TSE.1985.232223},
doi = {10.1109/TSE.1985.232223},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/CeriG85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/CeriP83,
author = {Stefano Ceri and
Giuseppe Pelagatti},
title = {Correctness of Query Execution Strategies in Distributed Databases},
journal = {{ACM} Trans. Database Syst.},
volume = {8},
number = {4},
pages = {577--607},
year = {1983},
url = {https://doi.org/10.1145/319996.320009},
doi = {10.1145/319996.320009},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/CeriP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-07-09 21:38 CEST 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:
