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 = {{DATE}},
pages = {1--2},
publisher = {{IEEE}},
year = {2024}
}
@inproceedings{DBLP:conf/iceis/0001BBBR24,
author = {Leandro Antonelli and
Hassan Badir and
Houssam Bazza and
Sandro Bimonte and
Stefano Rizzi},
title = {Requirements Engineering for Continuous Queries on IoRT Data: {A}
Case Study in Agricultural Autonomous Robots Monitoring},
booktitle = {{ICEIS} {(2)}},
pages = {113--120},
publisher = {{SCITEPRESS}},
year = {2024}
}
@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},
title = {Time-Quality Tradeoff of MuseHash Query Processing Performance},
booktitle = {{MMM} {(3)}},
series = {Lecture Notes in Computer Science},
volume = {14556},
pages = {270--283},
publisher = {Springer},
year = {2024}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/adbis/BimonteMR23,
author = {Sandro Bimonte and
Patrick Marcel and
Stefano Rizzi},
title = {Be High on Emotion: Coping with Emotions and Emotional Intelligence
when Querying Data},
booktitle = {{ADBIS} (Short Papers)},
series = {Communications in Computer and Information Science},
volume = {1850},
pages = {82--91},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/crypto/GhoshalT23,
author = {Ashrujit Ghoshal and
Stefano Tessaro},
title = {The Query-Complexity of Preprocessing Attacks},
booktitle = {{CRYPTO} {(2)}},
series = {Lecture Notes in Computer Science},
volume = {14082},
pages = {482--513},
publisher = {Springer},
year = {2023}
}
@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},
title = {Query Performance Prediction for Neural {IR:} Are We There Yet?},
booktitle = {{ECIR} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {13980},
pages = {232--248},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/edbt/CaruccioCDPS23,
author = {Loredana Caruccio and
Stefano Cirillo and
Vincenzo Deufemia and
Giuseppe Polese and
Roberto Stanzione},
title = {{REQUIRED:} {A} Tool to Relax Queries through Relaxed Functional Dependencies},
booktitle = {{EDBT}},
pages = {823--826},
publisher = {OpenProceedings.org},
year = {2023}
}
@inproceedings{DBLP:conf/ftscs/SaaltinkN0HS23,
author = {Caz Saaltink and
Stefano M. Nicoletti and
Matthias Volk and
Ernst Moritz Hahn and
Mari{\"{e}}lle Stoelinga},
title = {Solving Queries for Boolean Fault Tree Logic via Quantified {SAT}},
booktitle = {{FTSCS}},
pages = {48--59},
publisher = {{ACM}},
year = {2023}
}
@inproceedings{DBLP:conf/icsoft/CalabreseCLPQ23,
author = {Andrea Calabrese and
Lorenzo Cardone and
Salvatore Licata and
Marco Porro and
Stefano Quer},
title = {A Web Scraping Algorithm to Improve the Computation of the Maximum
Common Subgraph},
booktitle = {{ICSOFT}},
pages = {197--206},
publisher = {{SCITEPRESS}},
year = {2023}
}
@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},
title = {Towards Query Performance Prediction for Neural Information Retrieval:
Challenges and Opportunities},
booktitle = {{ICTIR}},
pages = {51--63},
publisher = {{ACM}},
year = {2023}
}
@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},
title = {On the Limitations of Query Performance Prediction for Neural {IR}},
booktitle = {{SEBD}},
series = {{CEUR} Workshop Proceedings},
volume = {3478},
pages = {379--390},
publisher = {CEUR-WS.org},
year = {2023}
}
@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},
title = {Global Sensitivity Analysis of Thrombus Formation in the Left Atrial
Appendage of Atrial Fibrillation Patients},
booktitle = {STACOM@MICCAI},
series = {Lecture Notes in Computer Science},
volume = {14507},
pages = {55--65},
publisher = {Springer},
year = {2023}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/iir/Faggioli022,
author = {Guglielmo Faggioli and
Stefano Marchesin},
title = {Assessing the Semantic Difficulty of Queries},
booktitle = {{IIR}},
series = {{CEUR} Workshop Proceedings},
volume = {3177},
publisher = {CEUR-WS.org},
year = {2022}
}
@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 = {{ITC}},
pages = {355--364},
publisher = {{IEEE}},
year = {2022}
}
@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 = {{IVMSP}},
pages = {1--5},
publisher = {{IEEE}},
year = {2022}
}
@inproceedings{DBLP:conf/trec/NunzioF022,
author = {Giorgio Maria Di Nunzio and
Guglielmo Faggioli and
Stefano Marchesin},
title = {Summarize and Expand Queries in Clinical Trials Retrieval. The {IIIA}
Unipd at {TREC} 2022 Clinical Trials},
booktitle = {{TREC}},
series = {{NIST} Special Publication},
volume = {500-338},
publisher = {National Institute of Standards and Technology {(NIST)}},
year = {2022}
}
@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.}
}
@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.}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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},
title = {Distributed Query Evaluation over Encrypted Data},
booktitle = {DBSec},
series = {Lecture Notes in Computer Science},
volume = {12840},
pages = {96--114},
publisher = {Springer},
year = {2021}
}
@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},
title = {Accelerated Analysis of Simulation Dumps through Parallelization on
Multicore Architectures},
booktitle = {{DDECS}},
pages = {69--74},
publisher = {{IEEE}},
year = {2021}
}
@inproceedings{DBLP:conf/desires/Faggioli021,
author = {Guglielmo Faggioli and
Stefano Marchesin},
title = {What Makes a Query Semantically Hard?},
booktitle = {{DESIRES}},
series = {{CEUR} Workshop Proceedings},
volume = {2950},
pages = {61--69},
publisher = {CEUR-WS.org},
year = {2021}
}
@inproceedings{DBLP:conf/edbt/FranciaGMRV21,
author = {Matteo Francia and
Matteo Golfarelli and
Patrick Marcel and
Stefano Rizzi and
Panos Vassiliadis},
title = {Assess Queries for Interactive Analysis of Data Cubes},
booktitle = {{EDBT}},
pages = {121--132},
publisher = {OpenProceedings.org},
year = {2021}
}
@inproceedings{DBLP:conf/edbt/MaropakiSB21,
author = {Stella Maropaki and
Paolo Sottovia and
Stefano Bortoli},
title = {Querying Top-k Dominant Traffic Flows on Large Urban Road Networks},
booktitle = {{EDBT}},
pages = {415--420},
publisher = {OpenProceedings.org},
year = {2021}
}
@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 = {{GLOBECOM}},
pages = {1--6},
publisher = {{IEEE}},
year = {2021}
}
@inproceedings{DBLP:conf/goodit/ZichichiSFD21,
author = {Mirko Zichichi and
Luca Serena and
Stefano Ferretti and
Gabriele D'Angelo},
title = {Governing Decentralized Complex Queries Through a {DAO}},
booktitle = {GoodIT},
pages = {121--126},
publisher = {{ACM}},
year = {2021}
}
@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 = {{ICCCN}},
pages = {1--6},
publisher = {{IEEE}},
year = {2021}
}
@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 = {{ICCV}},
pages = {3530--3539},
publisher = {{IEEE}},
year = {2021}
}
@inproceedings{DBLP:conf/icsoft/CalabreseQS21,
author = {Andrea Calabrese and
Stefano Quer and
Giovanni Squillero},
title = {Smart Techniques for Flying-probe Testing},
booktitle = {{ICSOFT}},
pages = {285--293},
publisher = {{SCITEPRESS}},
year = {2021}
}
@inproceedings{DBLP:conf/isaac/Guala0Z21,
author = {Luciano Gual{\`{a}} and
Stefano Leucci and
Isabella Ziccardi},
title = {Resilient Level Ancestor, Bottleneck, and Lowest Common Ancestor Queries
in Dynamic Trees},
booktitle = {{ISAAC}},
series = {LIPIcs},
volume = {212},
pages = {66:1--66:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021}
}
@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.}
}
@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.}
}
@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.}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/aaai/CanalFR20,
author = {Gregory Canal and
Stefano Fenu and
Christopher Rozell},
title = {Active Ordinal Querying for Tuplewise Similarity Learning},
booktitle = {{AAAI}},
pages = {3332--3340},
publisher = {{AAAI} Press},
year = {2020}
}
@inproceedings{DBLP:conf/icsoft/Quer20,
author = {Stefano Quer},
title = {A Parallel Many-core CUDA-based Graph Labeling Computation},
booktitle = {{ICSOFT}},
pages = {597--605},
publisher = {ScitePress},
year = {2020}
}
@inproceedings{DBLP:conf/scn/SoniT20,
author = {Pratik Soni and
Stefano Tessaro},
title = {On the Query Complexity of Constructing PRFs from Non-adaptive PRFs},
booktitle = {{SCN}},
series = {Lecture Notes in Computer Science},
volume = {12238},
pages = {546--565},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/sebd/AgostiN020,
author = {Maristella Agosti and
Giorgio Maria Di Nunzio and
Stefano Marchesin},
title = {A Post-Analysis of Query Reformulation Methods for Clinical Trials
Retrieval},
booktitle = {{SEBD}},
series = {{CEUR} Workshop Proceedings},
volume = {2646},
pages = {152--159},
publisher = {CEUR-WS.org},
year = {2020}
}
@inproceedings{DBLP:conf/sebd/FranciaGGR20,
author = {Matteo Francia and
Enrico Gallinucci and
Matteo Golfarelli and
Stefano Rizzi},
title = {{OLAP} Querying of Document Stores in the Presence of Schema Variety},
booktitle = {{SEBD}},
series = {{CEUR} Workshop Proceedings},
volume = {2646},
pages = {128--135},
publisher = {CEUR-WS.org},
year = {2020}
}
@inproceedings{DBLP:conf/trec/Nunzio020,
author = {Giorgio Maria Di Nunzio and
Stefano Marchesin},
title = {A Study on Query Expansion and Rank Fusion for Precision Medicine:
The {IMS} Unipd at {TREC} 2020 Precision Medicine},
booktitle = {{TREC}},
series = {{NIST} Special Publication},
volume = {1266},
publisher = {National Institute of Standards and Technology {(NIST)}},
year = {2020}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/icsoft/HaradaTQS19,
author = {Tatsuya Harada and
Antonio Tejero{-}de{-}Pablos and
Stefano Quer and
Francesco Savarese},
title = {Service Robots: {A} Unified Framework for Detecting, Opening and Navigating
Through Doors},
booktitle = {{ICSOFT} (Selected Papers)},
series = {Communications in Computer and Information Science},
volume = {1250},
pages = {179--204},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/icsoft/SavareseTQH19,
author = {Francesco Savarese and
Antonio Tejero{-}de{-}Pablos and
Stefano Quer and
Tatsuya Harada},
title = {Detecting, Opening and Navigating through Doors: {A} Unified Framework
for Human Service Robots},
booktitle = {{ICSOFT}},
pages = {416--427},
publisher = {SciTePress},
year = {2019}
}
@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 = {{ISCC}},
pages = {1--6},
publisher = {{IEEE}},
year = {2019}
}
@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},
title = {Querying Large Expressive Horn Ontologies},
booktitle = {{SEBD}},
series = {{CEUR} Workshop Proceedings},
volume = {2400},
publisher = {CEUR-WS.org},
year = {2019}
}
@inproceedings{DBLP:conf/sigir/AgostiN019,
author = {Maristella Agosti and
Giorgio Maria Di Nunzio and
Stefano Marchesin},
title = {An Analysis of Query Reformulation Techniques for Precision Medicine},
booktitle = {{SIGIR}},
pages = {973--976},
publisher = {{ACM}},
year = {2019}
}
@inproceedings{DBLP:conf/trec/NunzioMA19,
author = {Giorgio Maria Di Nunzio and
Stefano Marchesin and
Maristella Agosti},
title = {Exploring how to Combine Query Reformulations for Precision Medicine},
booktitle = {{TREC}},
series = {{NIST} Special Publication},
volume = {1250},
publisher = {National Institute of Standards and Technology {(NIST)}},
year = {2019}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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},
title = {Demonstration of GenoMetric Query Language},
booktitle = {{CIKM}},
pages = {1887--1890},
publisher = {{ACM}},
year = {2018}
}
@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 = {{IVMSP}},
pages = {1--5},
publisher = {{IEEE}},
year = {2018}
}
@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},
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 = {{RSFF}},
series = {{CEUR} Workshop Proceedings},
volume = {2146},
pages = {99--103},
publisher = {CEUR-WS.org},
year = {2018}
}
@inproceedings{DBLP:conf/sigir/MizzaroMRU18,
author = {Stefano Mizzaro and
Josiane Mothe and
Kevin Roitero and
Md. Zia Ullah},
title = {Query Performance Prediction and Effectiveness Evaluation Without
Relevance Judgments: Two Sides of the Same Coin},
booktitle = {{SIGIR}},
pages = {1233--1236},
publisher = {{ACM}},
year = {2018}
}
@inproceedings{DBLP:conf/www/StefanoniMK18,
author = {Giorgio Stefanoni and
Boris Motik and
Egor V. Kostylev},
title = {Estimating the Cardinality of Conjunctive Queries over {RDF} Data
Using Graph Summarisation},
booktitle = {{WWW}},
pages = {1043--1052},
publisher = {{ACM}},
year = {2018}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/3pgcic/DamianoMSE17,
author = {Emanuele Damiano and
Aniello Minutolo and
Stefano Silvestri and
Massimo Esposito},
title = {Query Expansion Based on WordNet and Word2vec for Italian Question
Answering Systems},
booktitle = {3PGCIC},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {13},
pages = {301--313},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/ccs/RizomiliotisMG17,
author = {Panagiotis Rizomiliotis and
Eirini Molla and
Stefanos Gritzalis},
title = {{REX:} {A} Searchable Symmetric Encryption Scheme Supporting Range
Queries},
booktitle = {{CCSW}},
pages = {29--37},
publisher = {{ACM}},
year = {2017}
}
@inproceedings{DBLP:conf/ecir/ChifuDMM17,
author = {Adrian{-}Gabriel Chifu and
S{\'{e}}bastien D{\'{e}}jean and
Stefano Mizzaro and
Josiane Mothe},
title = {Human-Based Query Difficulty Prediction},
booktitle = {{ECIR}},
series = {Lecture Notes in Computer Science},
volume = {10193},
pages = {343--356},
year = {2017}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/cpm/BoriaCCPPQ16,
author = {Nicolas Boria and
Gianpiero Cabodi and
Paolo Camurati and
Marco Palena and
Paolo Pasini and
Stefano Quer},
title = {A 7/2-Approximation Algorithm for the Maximum Duo-Preservation String
Mapping Problem},
booktitle = {{CPM}},
series = {LIPIcs},
volume = {54},
pages = {11:1--11:8},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016}
}
@inproceedings{DBLP:conf/ecai/GialampoukidisL16,
author = {Ilias Gialampoukidis and
Dimitris Liparas and
Stefanos Vrochidis and
Ioannis Kompatsiaris},
title = {Query-Based Topic Detection Using Concepts and Named Entities},
booktitle = {MMDA@ECAI},
series = {{CEUR} Workshop Proceedings},
volume = {1801},
pages = {18--22},
publisher = {CEUR-WS.org},
year = {2016}
}
@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 = {{ICDIM}},
pages = {96--100},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/iwbbio/CanakogluCM16,
author = {Arif Canakoglu and
Stefano Ceri and
Marco Masseroli},
title = {Biomolecular Annotation Integration and Querying to Help Unveiling
New Biomedical Knowledge},
booktitle = {{IWBBIO}},
series = {Lecture Notes in Computer Science},
volume = {9656},
pages = {802--813},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/safecomp/AnielloCCFQR16,
author = {Leonardo Aniello and
Claudio Ciccotelli and
Marcello Cinque and
Flavio Frattini and
Leonardo Querzoni and
Stefano Russo},
title = {Automatic Invariant Selection for Online Anomaly Detection},
booktitle = {{SAFECOMP}},
series = {Lecture Notes in Computer Science},
volume = {9922},
pages = {172--183},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/sebd/CuzzocreaSFP16,
author = {Alfredo Cuzzocrea and
Marcello Di Stefano and
Paolo Fosci and
Giuseppe Psaila},
title = {Querying NoSQL-based Crowdsourcing Systems Efficiently},
booktitle = {{SEBD}},
pages = {238--245},
publisher = {Matematicamente.it},
year = {2016}
}
@inproceedings{DBLP:conf/sigir/MizzaroM16,
author = {Stefano Mizzaro and
Josiane Mothe},
title = {Why do you Think this Query is Difficult?: {A} User Study on Human
Query Prediction},
booktitle = {{SIGIR}},
pages = {1073--1076},
publisher = {{ACM}},
year = {2016}
}
@inproceedings{DBLP:conf/valuetools/CasoniMSCFV16,
author = {Mirco Casoni and
Stefano Monti and
Francesco Sprotetto and
Antonio Corradi and
Luca Foschini and
Riccardo Venanzi},
title = {Semantic {SPARQL} queries: a novel federation model and implementation
towards Enterprise Data Governance},
booktitle = {{VALUETOOLS}},
publisher = {{ACM}},
year = {2016}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/aaai/StefanoniM15,
author = {Giorgio Stefanoni and
Boris Motik},
title = {Answering Conjunctive Queries over {EL} Knowledge Bases with Transitive
and Reflexive Roles},
booktitle = {{AAAI}},
pages = {1611--1617},
publisher = {{AAAI} Press},
year = {2015}
}
@inproceedings{DBLP:conf/fuzzIEEE/AguzzoliCVFG15,
author = {Stefano Aguzzoli and
Pietro Codara and
Diego Valota and
Tommaso Flaminio and
Brunella Gerla},
title = {Querying with {\L}ukasiewicz logic},
booktitle = {{FUZZ-IEEE}},
pages = {1--8},
publisher = {{IEEE}},
year = {2015}
}
@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 = {{ICME} Workshops},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2015}
}
@inproceedings{DBLP:conf/ijcai/FeierCSGH15,
author = {Cristina Feier and
David Carral and
Giorgio Stefanoni and
Bernardo Cuenca Grau and
Ian Horrocks},
title = {The Combined Approach to Query Answering Beyond the {OWL} 2 Profiles},
booktitle = {{IJCAI}},
pages = {2971--2977},
publisher = {{AAAI} Press},
year = {2015}
}
@inproceedings{DBLP:conf/wine/GoldbergT15,
author = {Paul W. Goldberg and
Stefano Turchetta},
title = {Query Complexity of Approximate Equilibria in Anonymous Games},
booktitle = {{WINE}},
series = {Lecture Notes in Computer Science},
volume = {9470},
pages = {357--369},
publisher = {Springer},
year = {2015}
}
@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},
title = {Presence-Inducing Media for Mental Health Applications},
booktitle = {Immersed in Media, Telepresence Theory, Measurement {\&} Technology},
pages = {283--332},
publisher = {Springer},
year = {2015}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {{CNS}},
pages = {364--372},
publisher = {{IEEE}},
year = {2014}
}
@inproceedings{DBLP:conf/date/CabodiPQV14,
author = {Gianpiero Cabodi and
Paolo Pasini and
Stefano Quer and
Danilo Vendraminetto},
title = {Tightening BDD-based approximate reachability with SAT-based clause
generalization\({}^{\mbox{{\({_\ast}\)}}}\)},
booktitle = {{DATE}},
pages = {1--6},
publisher = {European Design and Automation Association},
year = {2014}
}
@inproceedings{DBLP:conf/dbsec/VimercatiFJPS14,
author = {Sabrina De Capitani di Vimercati and
Sara Foresti and
Sushil Jajodia and
Stefano Paraboschi and
Pierangela Samarati},
title = {Optimizing Integrity Checks for Join Queries in the Cloud},
booktitle = {DBSec},
series = {Lecture Notes in Computer Science},
volume = {8566},
pages = {33--48},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/edbt/ZhuSTR14,
author = {Minpeng Zhu and
Silvia Stefanova and
Thanh Truong and
Tore Risch},
title = {Scalable Numerical {SPARQL} Queries over Relational Databases},
booktitle = {{EDBT/ICDT} Workshops},
series = {{CEUR} Workshop Proceedings},
volume = {1133},
pages = {257--262},
publisher = {CEUR-WS.org},
year = {2014}
}
@inproceedings{DBLP:conf/iiix/PalottiSH14,
author = {Jo{\~{a}}o R. M. Palotti and
Veronika Stefanov and
Allan Hanbury},
title = {User intent behind medical queries: an evaluation of entity mapping
approaches with metamap and freebase},
booktitle = {IIiX},
pages = {283--286},
publisher = {{ACM}},
year = {2014}
}
@inproceedings{DBLP:conf/nordsec/TrombettaPB14,
author = {Alberto Trombetta and
Giuseppe Persiano and
Stefano Braghin},
title = {Processing Private Queries over an Obfuscated Database Using Hidden
Vector Encryption},
booktitle = {NordSec},
series = {Lecture Notes in Computer Science},
volume = {8788},
pages = {94--109},
publisher = {Springer},
year = {2014}
}
@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 = {SoCPaR},
pages = {453--458},
publisher = {{IEEE}},
year = {2014}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/aaai/StefanoniMH13,
author = {Giorgio Stefanoni and
Boris Motik and
Ian Horrocks},
title = {Introducing Nominals to the Combined Query Answering Approaches for
{EL}},
booktitle = {{AAAI}},
pages = {1177--1183},
publisher = {{AAAI} Press},
year = {2013}
}
@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 = {{BIBE}},
pages = {1--4},
publisher = {{IEEE} Computer Society},
year = {2013}
}
@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},
title = {Fast cone-of-influence computation and estimation in problems with
multiple properties},
booktitle = {{DATE}},
pages = {803--806},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013}
}
@inproceedings{DBLP:conf/dawak/AufaureKMRV13,
author = {Marie{-}Aude Aufaure and
Nicolas Kuchmann{-}Beauger and
Patrick Marcel and
Stefano Rizzi and
Yves Vanrompay},
title = {Predicting Your Next {OLAP} Query Based on Recent Analytical Sessions},
booktitle = {DaWaK},
series = {Lecture Notes in Computer Science},
volume = {8057},
pages = {134--145},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/dlog/StefanoniMH13,
author = {Giorgio Stefanoni and
Boris Motik and
Ian Horrocks},
title = {Introducing Nominals to the Combined Query Answering Approaches for
{EL}},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {962--974},
publisher = {CEUR-WS.org},
year = {2013}
}
@inproceedings{DBLP:conf/ideas/TaddeoTMP13,
author = {Marco Taddeo and
Alberto Trombetta and
Danilo Montesi and
Stefano Pierantozzi},
title = {Querying data across different legal domains},
booktitle = {{IDEAS}},
pages = {192--197},
publisher = {{ACM}},
year = {2013}
}
@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 = {{MMSP}},
pages = {254--259},
publisher = {{IEEE}},
year = {2013}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/dlog/StefanoniMH12,
author = {Giorgio Stefanoni and
Boris Motik and
Ian Horrocks},
title = {Small Datalog Query Rewritings for {EL}},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012}
}
@inproceedings{DBLP:conf/dolap/MarcelMR12,
author = {Patrick Marcel and
Rokia Missaoui and
Stefano Rizzi},
title = {Towards intensional answers to {OLAP} queries for analytical sessions},
booktitle = {{DOLAP}},
pages = {49--56},
publisher = {{ACM}},
year = {2012}
}
@inproceedings{DBLP:conf/icistm/FerrettiG12,
author = {Stefano Ferretti and
Vittorio Ghini},
title = {Mitigation of Random Query String DoS via Gossip},
booktitle = {{ICISTM}},
series = {Communications in Computer and Information Science},
volume = {285},
pages = {124--134},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/kr/CalvaneseOSS12,
author = {Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus and
Giorgio Stefanoni},
title = {The Complexity of Explaining Negative Query Answers in DL-Lite},
booktitle = {{KR}},
publisher = {{AAAI} Press},
year = {2012}
}
@inproceedings{DBLP:conf/sebd/GolfarelliMPRT12,
author = {Matteo Golfarelli and
Federica Mandreoli and
Wilma Penzo and
Stefano Rizzi and
Elisa Turricchia},
title = {A Query Reformulation Framework for {P2P} {OLAP}},
booktitle = {{SEBD}},
pages = {147--154},
publisher = {Edizioni Libreria Progetto, Padova, Italy},
year = {2012}
}
@inproceedings{DBLP:conf/www/BozzonBC12,
author = {Alessandro Bozzon and
Marco Brambilla and
Stefano Ceri},
title = {Answering search queries with CrowdSearcher},
booktitle = {{WWW}},
pages = {1009--1018},
publisher = {{ACM}},
year = {2012}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/adbis/AligonGMRT11,
author = {Julien Aligon and
Matteo Golfarelli and
Patrick Marcel and
Stefano Rizzi and
Elisa Turricchia},
title = {Mining Preferences from {OLAP} Query Logs for Proactive Personalization},
booktitle = {{ADBIS}},
series = {Lecture Notes in Computer Science},
volume = {6909},
pages = {84--97},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/date/CabodiNQ11,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
title = {Interpolation sequences revisited},
booktitle = {{DATE}},
pages = {316--322},
publisher = {{IEEE}},
year = {2011}
}
@inproceedings{DBLP:conf/dlog/CalvaneseOSS11,
author = {Diego Calvanese and
Magdalena Ortiz and
Mantas Simkus and
Giorgio Stefanoni},
title = {The Complexity of Conjunctive Query Abduction in DL-Lite},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011}
}
@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},
title = {Exploratory Multi-domain Search on Web Data Sources with Liquid Queries},
booktitle = {{ICWE}},
series = {Lecture Notes in Computer Science},
volume = {6757},
pages = {363--366},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/wsdm/AnagnostopoulosBLMS11,
author = {Aris Anagnostopoulos and
Luca Becchetti and
Stefano Leonardi and
Ida Mele and
Piotr Sankowski},
title = {Stochastic query covering},
booktitle = {{WSDM}},
pages = {725--734},
publisher = {{ACM}},
year = {2011}
}
@inproceedings{DBLP:conf/www/BozzonBCFV11,
author = {Alessandro Bozzon and
Marco Brambilla and
Stefano Ceri and
Piero Fraternali and
Salvatore Vadacca},
title = {Exploratory search in multi-domain information spaces with liquid
query},
booktitle = {{WWW} (Companion Volume)},
pages = {189--192},
publisher = {{ACM}},
year = {2011}
}
@incollection{DBLP:reference/sp/ValleC11,
author = {Emanuele Della Valle and
Stefano Ceri},
title = {Querying the Semantic Web: {SPARQL}},
booktitle = {Handbook of Semantic Web Technologies},
pages = {299--363},
publisher = {Springer},
year = {2011}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/dbsec/PalazziPP10,
author = {Bernardo Palazzi and
Maurizio Pizzonia and
Stefano Pucacco},
title = {Query Racing: Fast Completeness Certification of Query Results},
booktitle = {DBSec},
series = {Lecture Notes in Computer Science},
volume = {6166},
pages = {177--192},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/dolap/GolfarelliMPRT10,
author = {Matteo Golfarelli and
Federica Mandreoli and
Wilma Penzo and
Stefano Rizzi and
Elisa Turricchia},
title = {Towards {OLAP} query reformulation in peer-to-peer data warehousing},
booktitle = {{DOLAP}},
pages = {37--44},
publisher = {{ACM}},
year = {2010}
}
@inproceedings{DBLP:conf/edbt/BarbieriBCG10,
author = {Davide Francesco Barbieri and
Daniele Braga and
Stefano Ceri and
Michael Grossniklaus},
title = {An execution environment for {C-SPARQL} queries},
booktitle = {{EDBT}},
series = {{ACM} International Conference Proceeding Series},
volume = {426},
pages = {441--452},
publisher = {{ACM}},
year = {2010}
}
@inproceedings{DBLP:conf/sac/CalvaneseKNRS10,
author = {Diego Calvanese and
C. Maria Keet and
Werner Nutt and
Mariano Rodriguez{-}Muro and
Giorgio Stefanoni},
title = {Web-based graphical querying of databases through an ontology: the
Wonder system},
booktitle = {{SAC}},
pages = {1388--1395},
publisher = {{ACM}},
year = {2010}
}
@inproceedings{DBLP:conf/www/BozzonBCF10,
author = {Alessandro Bozzon and
Marco Brambilla and
Stefano Ceri and
Piero Fraternali},
title = {Liquid query: multi-domain exploratory search on the web},
booktitle = {{WWW}},
pages = {161--170},
publisher = {{ACM}},
year = {2010}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/date/CabodiCGMNQ09,
author = {Gianpiero Cabodi and
Paolo Camurati and
Luz Amanda Garcia and
Marco Murciano and
Sergio Nocco and
Stefano Quer},
title = {Speeding up model checking by exploiting explicit and hidden verification
constraints},
booktitle = {{DATE}},
pages = {1686--1691},
publisher = {{IEEE}},
year = {2009}
}
@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 = {{ICDCS}},
pages = {32--39},
publisher = {{IEEE} Computer Society},
year = {2009}
}
@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},
title = {Search Computing: The European Way to Query the Web},
booktitle = {{SEBD}},
pages = {57--64},
publisher = {Edizioni Seneca},
year = {2009}
}
@inproceedings{DBLP:conf/seco/BozzonBCFM09,
author = {Alessandro Bozzon and
Marco Brambilla and
Stefano Ceri and
Piero Fraternali and
Ioana Manolescu},
title = {Liquid Queries and Liquid Results in Search Computing},
booktitle = {SeCO Workshop},
series = {Lecture Notes in Computer Science},
volume = {5950},
pages = {244--267},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/seco/BragaCCG09,
author = {Daniele Braga and
Stefano Ceri and
Francesco Corcoglioniti and
Michael Grossniklaus},
title = {Panta Rhei: Flexible Execution Engine for Search Computing Queries},
booktitle = {SeCO Workshop},
series = {Lecture Notes in Computer Science},
volume = {5950},
pages = {225--243},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/seco/BragaCG09,
author = {Daniele Braga and
Stefano Ceri and
Michael Grossniklaus},
title = {Join Methods and Query Optimization},
booktitle = {SeCO Workshop},
series = {Lecture Notes in Computer Science},
volume = {5950},
pages = {188--210},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/ssdbm/WuTSDS09,
author = {Xiaoying Wu and
Dimitri Theodoratos and
Stefanos Souldatos and
Theodore Dalamagas and
Timos K. Sellis},
title = {Efficient Evaluation of Generalized Tree-Pattern Queries with Same-Path
Constraints},
booktitle = {{SSDBM}},
series = {Lecture Notes in Computer Science},
volume = {5566},
pages = {361--379},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/www/BarbieriBCVG09,
author = {Davide Francesco Barbieri and
Daniele Braga and
Stefano Ceri and
Emanuele Della Valle and
Michael Grossniklaus},
title = {{C-SPARQL:} {SPARQL} for continuous querying},
booktitle = {{WWW}},
pages = {1061--1062},
publisher = {{ACM}},
year = {2009}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/asiacrypt/MaurerT08,
author = {Ueli M. Maurer and
Stefano Tessaro},
title = {Basing PRFs on Constant-Query Weak PRFs: Minimizing Assumptions for
Efficient Symmetric Cryptography},
booktitle = {{ASIACRYPT}},
series = {Lecture Notes in Computer Science},
volume = {5350},
pages = {161--178},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/ccs/VimercatiFJPS08,
author = {Sabrina De Capitani di Vimercati and
Sara Foresti and
Sushil Jajodia and
Stefano Paraboschi and
Pierangela Samarati},
title = {Assessing query privileges via safe and efficient permission composition},
booktitle = {{CCS}},
pages = {311--322},
publisher = {{ACM}},
year = {2008}
}
@inproceedings{DBLP:conf/cikm/PlacekTSDS08,
author = {Pawel Placek and
Dimitri Theodoratos and
Stefanos Souldatos and
Theodore Dalamagas and
Timos K. Sellis},
title = {A heuristic approach for checking containment of generalized tree-pattern
queries},
booktitle = {{CIKM}},
pages = {551--560},
publisher = {{ACM}},
year = {2008}
}
@inproceedings{DBLP:conf/esws/StefanovaR08,
author = {Silvia Stefanova and
Tore Risch},
title = {Viewing and Querying Topic Maps in terms of {RDF}},
booktitle = {SeMMA},
series = {{CEUR} Workshop Proceedings},
volume = {346},
pages = {69--83},
publisher = {CEUR-WS.org},
year = {2008}
}
@inproceedings{DBLP:conf/fmcad/CabodiCGMNQ08,
author = {Gianpiero Cabodi and
Paolo Camurati and
Luz Amanda Garcia and
Marco Murciano and
Sergio Nocco and
Stefano Quer},
title = {Trading-Off {SAT} Search and Variable Quantifications for Effective
Unbounded Model Checking},
booktitle = {{FMCAD}},
pages = {1--8},
publisher = {{IEEE}},
year = {2008}
}
@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 = {{ICDCS}},
pages = {303--310},
publisher = {{IEEE} Computer Society},
year = {2008}
}
@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 = {{ICDE} Workshops},
pages = {254--261},
publisher = {{IEEE} Computer Society},
year = {2008}
}
@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},
title = {A New Generation Search Engine Supporting Cross Domain Queries},
booktitle = {{SEBD}},
pages = {342--349},
year = {2008}
}
@inproceedings{DBLP:conf/semweb/SimouSTSK08,
author = {Nikos Simou and
Giorgos Stoilos and
Vassilis Tzouvaras and
Giorgos B. Stamou and
Stefanos D. Kollias},
title = {Storing and Querying Fuzzy Knowledge in the Semantic Web},
booktitle = {{URSW}},
series = {{CEUR} Workshop Proceedings},
volume = {423},
publisher = {CEUR-WS.org},
year = {2008}
}
@inproceedings{DBLP:conf/www/WuSTDS08,
author = {Xiaoying Wu and
Stefanos Souldatos and
Dimitri Theodoratos and
Theodore Dalamagas and
Timos K. Sellis},
title = {Efficient evaluation of generalized path pattern queries on {XML}
data},
booktitle = {{WWW}},
pages = {835--844},
publisher = {{ACM}},
year = {2008}
}
@inproceedings{DBLP:conf/atmos/BrueraCDSF07,
author = {Francesco Bruera and
Serafino Cicerone and
Gianlorenzo D'Angelo and
Gabriele Di Stefano and
Daniele Frigioni},
title = {Maintenance of Multi-level Overlay Graphs for Timetable Queries},
booktitle = {{ATMOS}},
series = {OASIcs},
volume = {7},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007}
}
@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 = {{CIDR}},
pages = {275--280},
publisher = {www.cidrdb.org},
year = {2007}
}
@inproceedings{DBLP:conf/cikm/SouldatosWTDS07,
author = {Stefanos Souldatos and
Xiaoying Wu and
Dimitri Theodoratos and
Theodore Dalamagas and
Timos K. Sellis},
title = {Evaluation of partial path queries on xml data},
booktitle = {{CIKM}},
pages = {21--30},
publisher = {{ACM}},
year = {2007}
}
@inproceedings{DBLP:conf/date/CabodiNQ07,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
title = {Boosting the role of inductive invariants in model checking},
booktitle = {{DATE}},
pages = {1319--1324},
publisher = {{EDA} Consortium, San Jose, CA, {USA}},
year = {2007}
}
@inproceedings{DBLP:conf/icde/RizziG07,
author = {Stefano Rizzi and
Matteo Golfarelli},
title = {X-Time: Schema Versioning and Cross-Version Querying in Data Warehouses},
booktitle = {{ICDE}},
pages = {1471--1472},
publisher = {{IEEE} Computer Society},
year = {2007}
}
@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 = {{ICRA}},
pages = {2594--2599},
publisher = {{IEEE}},
year = {2007}
}
@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 = {{IGARSS}},
pages = {4021--4024},
publisher = {{IEEE}},
year = {2007}
}
@inproceedings{DBLP:conf/sebd/AmatoBC07,
author = {Giuseppe Amato and
Paolo Baronti and
Stefano Chessa},
title = {Query Optimization for Wireless Sensor Network Databases in the MadWise
system},
booktitle = {{SEBD}},
pages = {242--249},
year = {2007}
}
@inproceedings{DBLP:conf/sebd/CastanoFM07,
author = {Silvana Castano and
Alfio Ferrara and
Stefano Montanelli},
title = {Exploiting Peer Ontologies for Semantic Query Propagation},
booktitle = {{SEBD}},
pages = {341--348},
year = {2007}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/cikm/TheodoratosSDPS06,
author = {Dimitri Theodoratos and
Stefanos Souldatos and
Theodore Dalamagas and
Pawel Placek and
Timos K. Sellis},
title = {Heuristic containment check of partial tree-pattern queries in the
presence of index graphs},
booktitle = {{CIKM}},
pages = {445--454},
publisher = {{ACM}},
year = {2006}
}
@inproceedings{DBLP:conf/iccad/CabodiMNQ06,
author = {Gianpiero Cabodi and
Marco Murciano and
Sergio Nocco and
Stefano Quer},
title = {Stepping forward with interpolants in unbounded model checking},
booktitle = {{ICCAD}},
pages = {772--778},
publisher = {{ACM}},
year = {2006}
}
@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 = {{ICRA}},
pages = {3023--3028},
publisher = {{IEEE}},
year = {2006}
}
@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 = {{SSDBM}},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2006}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {{DATE}},
pages = {688--689},
publisher = {{IEEE} Computer Society},
year = {2005}
}
@inproceedings{DBLP:conf/gis/BurigatC05,
author = {Stefano Burigat and
Luca Chittaro},
title = {Visualizing the results of interactive queries for geographic data
on mobile devices},
booktitle = {{GIS}},
pages = {277--284},
publisher = {{ACM}},
year = {2005}
}
@inproceedings{DBLP:conf/interact/BurigatCM05,
author = {Stefano Burigat and
Luca Chittaro and
Luca De Marco},
title = {Bringing Dynamic Queries to Mobile Devices: {A} Visual Preference-Based
Search Tool for Tourist Decision Support},
booktitle = {{INTERACT}},
series = {Lecture Notes in Computer Science},
volume = {3585},
pages = {213--226},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/sigmod/BragaCCR05,
author = {Daniele Braga and
Alessandro Campi and
Stefano Ceri and
Alessandro Raffio},
title = {{XQBE:} a visual environment for learning {XML} query languages},
booktitle = {{SIGMOD} Conference},
pages = {903--905},
publisher = {{ACM}},
year = {2005}
}
@inproceedings{DBLP:conf/woa/BouquetKZ05,
author = {Paolo Bouquet and
Gabriel M. Kuper and
Stefano Zanobini},
title = {Asking and Answering Queries Semantically},
booktitle = {{WOA}},
pages = {22--27},
publisher = {Pitagora Editrice Bologna},
year = {2005}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/coopis/MarchettiPCQBB04,
author = {Carlo Marchetti and
Paolo Papa and
Stefano Cimmino and
Leonardo Querzoni and
Roberto Baldoni and
Emanuela Barbi},
title = {A Practical Comparison Between the {TAO} Real-Time Event Service and
the Maestro/Ensemble Group Communication System},
booktitle = {CoopIS/DOA/ODBASE {(2)}},
series = {Lecture Notes in Computer Science},
volume = {3291},
pages = {1558--1570},
publisher = {Springer},
year = {2004}
}
@inproceedings{DBLP:conf/sigmod/Galindo-LegariaSW04,
author = {C{\'{e}}sar A. Galindo{-}Legaria and
Stefano Stefani and
Florian Waas},
title = {Query Processing for {SQL} Updates},
booktitle = {{SIGMOD} Conference},
pages = {844--849},
publisher = {{ACM}},
year = {2004}
}
@inproceedings{DBLP:journals/entcs/BischoffBCNQ05,
author = {Gabriel P. Bischoff and
Karl S. Brace and
Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
title = {Exploiting Target Enlargement and Dynamic Abstraction within Mixed
{BDD} and {SAT} Invariant Checking},
booktitle = {BMC@CAV},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {33--49},
publisher = {Elsevier},
year = {2004}
}
@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 = {{DATE}},
pages = {10898--10905},
publisher = {{IEEE} Computer Society},
year = {2003}
}
@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 = {{HCC}},
pages = {111--113},
publisher = {{IEEE} Computer Society},
year = {2003}
}
@inproceedings{DBLP:journals/entcs/CabodiNQKLW03,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer and
Alex Kondratyev and
Luciano Lavagno and
Yosinori Watanabe},
title = {A BMC-formulation for the scheduling problem in highly constrained
hardware Systems},
booktitle = {BMC@CAV},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {4},
pages = {623--638},
publisher = {Elsevier},
year = {2003}
}
@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}
}
@inproceedings{DBLP:conf/cav/CabodiNQ02,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
title = {Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based
Verification},
booktitle = {{CAV}},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {471--484},
publisher = {Springer},
year = {2002}
}
@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 = {{DAC}},
pages = {117--122},
publisher = {{ACM}},
year = {2002}
}
@inproceedings{DBLP:conf/date/CabodiCQ02,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Dynamic Scheduling and Clustering in Symbolic Image Computation},
booktitle = {{DATE}},
pages = {150--156},
publisher = {{IEEE} Computer Society},
year = {2002}
}
@inproceedings{DBLP:conf/fqas/AkrivasWSK02,
author = {Giorgos Akrivas and
Manolis Wallace and
Giorgos B. Stamou and
Stefanos D. Kollias},
title = {Context - Sensitive Query Expansion Based on Fuzzy Clustering of Index
Terms},
booktitle = {{FQAS}},
series = {Lecture Notes in Computer Science},
volume = {2522},
pages = {1--11},
publisher = {Springer},
year = {2002}
}
@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 = {{ICPR} {(4)}},
pages = {142--145},
publisher = {{IEEE} Computer Society},
year = {2002}
}
@inproceedings{DBLP:conf/isss/LavagnoLQNPC02,
author = {Luciano Lavagno and
Mihai T. Lazarescu and
Stefano Quer and
Sergio Nocco and
Claudio Passerone and
Gianpiero Cabodi},
title = {A Symbolic Approach for the Combined Solution of Scheduling and Allocation},
booktitle = {{ISSS}},
pages = {237--242},
publisher = {{ACM} / {IEEE} Computer Society},
year = {2002}
}
@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}
}
@inproceedings{DBLP:conf/date/CabodiCQ01,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Biasing symbolic search by means of dynamic activity profiles},
booktitle = {{DATE}},
pages = {9--15},
publisher = {{IEEE} Computer Society},
year = {2001}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/dac/CabodiQS00,
author = {Gianpiero Cabodi and
Stefano Quer and
Fabio Somenzi},
title = {Optimizing sequential verification by retiming transformations},
booktitle = {{DAC}},
pages = {601--606},
publisher = {{ACM}},
year = {2000}
}
@inproceedings{DBLP:conf/dmdw/GolfarelliR00,
author = {Matteo Golfarelli and
Stefano Rizzi},
title = {View materialization for nested {GPSJ} queries},
booktitle = {{DMDW}},
series = {{CEUR} Workshop Proceedings},
volume = {28},
pages = {10},
publisher = {CEUR-WS.org},
year = {2000}
}
@inproceedings{DBLP:conf/dolap/GolfarelliR00,
author = {Matteo Golfarelli and
Stefano Rizzi},
title = {Comparing Nested {GPSJ} Queries in Multidimensional Databases},
booktitle = {{DOLAP}},
pages = {65--71},
publisher = {{ACM}},
year = {2000}
}
@inproceedings{DBLP:conf/sac/CeriCDFT00,
author = {Stefano Ceri and
Sara Comai and
Ernesto Damiani and
Piero Fraternali and
Letizia Tanca},
title = {Complex Queries in {XML-GL}},
booktitle = {{SAC} {(2)}},
pages = {888--893},
publisher = {{ACM}},
year = {2000}
}
@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 = {{VL}},
pages = {233--234},
publisher = {{IEEE} Computer Society},
year = {2000}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/dac/BertaccoDQ99,
author = {Valeria Bertacco and
Maurizio Damiani and
Stefano Quer},
title = {Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits},
booktitle = {{DAC}},
pages = {391--396},
publisher = {{ACM} Press},
year = {1999}
}
@inproceedings{DBLP:conf/dac/CabodiCQ99,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Improving Symbolic Traversals by Means of Activity Profiles},
booktitle = {{DAC}},
pages = {306--311},
publisher = {{ACM} Press},
year = {1999}
}
@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 = {{DATE}},
pages = {8--12},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1999}
}
@inproceedings{DBLP:conf/sebd/BastaFGZ99,
author = {Stefano Basta and
Sergio Flesca and
Sergio Greco and
Ester Zumpano},
title = {A System Prototype for the Evaluation of Queries on Materialized Views},
booktitle = {{SEBD}},
pages = {291--306},
year = {1999}
}
@inproceedings{DBLP:conf/sebd/CeriCFPTD99,
author = {Stefano Ceri and
Sara Comai and
Piero Fraternali and
Stefano Paraboschi and
Letizia Tanca and
Ernesto Damiani},
title = {{XML-GL:} {A} Graphical Language for Querying and Restructuring {XML}
Documents},
booktitle = {{SEBD}},
pages = {151--165},
year = {1999}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/agp/BastaFG98,
author = {Stefano Basta and
Sergio Flesca and
Sergio Greco},
title = {Extending Datalog to Express Functional Queries: {A} Language and
its Implementation},
booktitle = {{APPIA-GULP-PRODE}},
pages = {165--174},
year = {1998}
}
@inproceedings{DBLP:conf/alt/MelideoV98,
author = {Giovanna Melideo and
Stefano Varricchio},
title = {Learning Unary Output Two-Tape Automata from Multiplicity and Equivalence
Queries},
booktitle = {{ALT}},
series = {Lecture Notes in Computer Science},
volume = {1501},
pages = {87--102},
publisher = {Springer},
year = {1998}
}
@inproceedings{DBLP:conf/avi/BenziMR98,
author = {Francesca Benzi and
Dario Maio and
Stefano Rizzi},
title = {VisTool: a visual tool for querying relational databases},
booktitle = {{AVI}},
pages = {258--260},
publisher = {{ACM} Press},
year = {1998}
}
@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 = {{QL}},
publisher = {{W3C}},
year = {1998}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/charme/CabodiCLPQ97,
author = {Gianpiero Cabodi and
Paolo Camurati and
Antonio Lioy and
Massimo Poncino and
Stefano Quer},
title = {A parallel approach to symbolic traversal based on set partitioning},
booktitle = {{CHARME}},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {167--184},
publisher = {Chapman {\&} Hall},
year = {1997}
}
@inproceedings{DBLP:conf/cosit/NguyenPS97,
author = {Viet Hai Nguyen and
Christine Parent and
Stefano Spaccapietra},
title = {Complex Regions in Topological Queries},
booktitle = {{COSIT}},
series = {Lecture Notes in Computer Science},
volume = {1329},
pages = {175--192},
publisher = {Springer},
year = {1997}
}
@inproceedings{DBLP:conf/dac/CabodiCLQ97,
author = {Gianpiero Cabodi and
Paolo Camurati and
Luciano Lavagno and
Stefano Quer},
title = {Disjunctive Partitioning and Partial Iterative Squaring: An Effective
Approach for Symbolic Traversal of Large Circuits},
booktitle = {{DAC}},
pages = {728--733},
publisher = {{ACM} Press},
year = {1997}
}
@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 = {ED{\&}TC},
pages = {176--181},
publisher = {{IEEE} Computer Society},
year = {1997}
}
@inproceedings{DBLP:conf/islped/BeniniMMPQ97,
author = {Luca Benini and
Giovanni De Micheli and
Enrico Macii and
Massimo Poncino and
Stefano Quer},
title = {System-level power optimization of special purpose applications: the
beach solution},
booktitle = {{ISLPED}},
pages = {24--29},
publisher = {{ACM}},
year = {1997}
}
@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}
}
@inproceedings{DBLP:conf/eurodac/CabodiCLQBS96,
author = {Gianpiero Cabodi and
Paolo Camurati and
Luciano Lavagno and
Stefano Quer and
Robert K. Brayton and
Ellen Sentovich},
title = {Incremental re-encoding for symbolic traversal of product machines},
booktitle = {{EURO-DAC}},
pages = {158--163},
publisher = {{IEEE} Computer Society Press},
year = {1996}
}
@inproceedings{DBLP:conf/eurodac/QuerCC96,
author = {Stefano Quer and
Gianpiero Cabodi and
Paolo Camurati},
title = {Decomposed symbolic forward traversals of large finite state machines},
booktitle = {{EURO-DAC}},
pages = {170--175},
publisher = {{IEEE} Computer Society Press},
year = {1996}
}
@inproceedings{DBLP:conf/iccad/CabodiCQ96,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Improved reachability analysis of large finite state machines},
booktitle = {{ICCAD}},
pages = {354--360},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1996}
}
@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 = {{ICCD}},
pages = {6--11},
publisher = {{IEEE} Computer Society},
year = {1996}
}
@inproceedings{DBLP:conf/ids/BenziMR96,
author = {Francesca Benzi and
Dario Maio and
Stefano Rizzi},
title = {Visionary: {A} Visual Query Language Based on the User Viewpoint Approach},
booktitle = {{IDS}},
series = {Workshops in Computing},
pages = {4},
publisher = {Springer},
year = {1996}
}
@inproceedings{DBLP:conf/stoc/BergadanoCV96,
author = {Francesco Bergadano and
Dario Catalano and
Stefano Varricchio},
title = {Learning Sat-\emph{k}-DNF Formulas from Membership Queries},
booktitle = {{STOC}},
pages = {126--130},
publisher = {{ACM}},
year = {1996}
}
@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}
}
@inproceedings{DBLP:conf/charme/CabodiQC95,
author = {Gianpiero Cabodi and
Stefano Quer and
Paolo Camurati},
title = {Transforming boolean relations by symbolic encoding},
booktitle = {{CHARME}},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {161--170},
publisher = {Springer},
year = {1995}
}
@inproceedings{DBLP:conf/eurodac/CabodiQC95,
author = {Gianpiero Cabodi and
Stefano Quer and
Paolo Camurati},
title = {Computing subsets of equivalence classes for large FSMs},
booktitle = {{EURO-DAC}},
pages = {288--293},
publisher = {{IEEE} Computer Society},
year = {1995}
}
@inproceedings{DBLP:conf/sebd/ChangCL95,
author = {Shi{-}Kuo Chang and
Maria Francesca Costabile and
Stefano Levialdi},
title = {Virtual Reality as an Aid to Visual Querying},
booktitle = {{SEBD}},
pages = {225--244},
year = {1995}
}
@inproceedings{DBLP:conf/sigmod/MassariPSC95,
author = {Antonio Massari and
Stefano Pavani and
Lorenzo Saladini and
Panos K. Chrysanthis},
title = {{QBI:} Query By Icons},
booktitle = {{SIGMOD} Conference},
pages = {477},
publisher = {{ACM} Press},
year = {1995}
}
@inproceedings{DBLP:conf/avi/MassariPS94,
author = {Antonio Massari and
Stefano Pavani and
Lorenzo Saladini},
title = {{QBI:} An Iconic Query System for Inexpert Users},
booktitle = {Advanced Visual Interfaces},
pages = {240--242},
publisher = {{ACM}},
year = {1994}
}
@inproceedings{DBLP:conf/ciac/BergadanoV94,
author = {Francesco Bergadano and
Stefano Varricchio},
title = {Learning Behaviors of Automata from Multiplicity and Equivalence Queries},
booktitle = {{CIAC}},
series = {Lecture Notes in Computer Science},
volume = {778},
pages = {54--62},
publisher = {Springer},
year = {1994}
}
@inproceedings{DBLP:conf/dac/CabodiCQ94,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Auxiliary Variables for Extending Symbolic Traversal Techniques to
Data Paths},
booktitle = {{DAC}},
pages = {289--293},
publisher = {{ACM} Press},
year = {1994}
}
@inproceedings{DBLP:conf/eurodac/CabodiCQ94,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Symbolic exploration of large circuits with enhanced forward/backward
traversals},
booktitle = {{EURO-DAC}},
pages = {22--27},
publisher = {{IEEE} Computer Society},
year = {1994}
}
@inproceedings{DBLP:conf/glvlsi/CabodiCQ94,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Symbolic traversals of data paths with auxiliary variables},
booktitle = {Great Lakes Symposium on {VLSI}},
pages = {93--96},
publisher = {{IEEE}},
year = {1994}
}
@inproceedings{DBLP:conf/iccd/CabodiCQ94,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Efficient State Space Pruning in Symbolic Backward Traversal},
booktitle = {{ICCD}},
pages = {230--235},
publisher = {{IEEE} Computer Society},
year = {1994}
}
@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 = {{ISCAS}},
pages = {299--302},
publisher = {{IEEE}},
year = {1994}
}
@inproceedings{DBLP:conf/itc/CabodiCQ94,
author = {Gianpiero Cabodi and
Paolo Camurati and
Stefano Quer},
title = {Full-Symbolic {ATPG} for Large Circuits},
booktitle = {{ITC}},
pages = {980--988},
publisher = {{IEEE} Computer Society},
year = {1994}
}
@inproceedings{DBLP:conf/krdb/BeneventanoBLS94,
author = {Domenico Beneventano and
Sonia Bergamaschi and
Stefano Lodi and
Claudio Sartori},
title = {Terminological Logics for Schema Design and Query Processing in OODBs},
booktitle = {{KRDB}},
series = {{CEUR} Workshop Proceedings},
volume = {1},
publisher = {CEUR-WS.org},
year = {1994}
}
@inproceedings{DBLP:conf/sebd/BellaviaMR94,
author = {Giuseppe Bellavia and
Dario Maio and
Stefano Rizzi},
title = {Minimizing the Cost of Query Formulation through User Viewpoint Relations},
booktitle = {{SEBD}},
pages = {141--159},
publisher = {Editrice Esculapio Progetto Leonardo, via U. Terracini, 30, 40131
Bologna},
year = {1994}
}
@inproceedings{DBLP:conf/vl/ChangCL94,
author = {Shi{-}Kuo Chang and
Maria Francesca Costabile and
Stefano Levialdi},
title = {Reality Bites - Progressive Querying and Result Visualization in Logical
and {VR} Spaces},
booktitle = {{VL}},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {1994}
}
@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}
}
@inproceedings{DBLP:conf/sebd/BeneventanoBLS93,
author = {Domenico Beneventano and
Sonia Bergamaschi and
Stefano Lodi and
Claudio Sartori},
title = {Uso della Subsumption per l'Ottimizzazione Semantica di Queries},
booktitle = {{SEBD}},
pages = {75--89},
publisher = {Mediterranean Press (via S. Pellico, 13 - Tel. 0984-465645 - 87030
Rende {(CS))}},
year = {1993}
}
@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 = {{VL}},
pages = {386--388},
publisher = {{IEEE} Computer Society},
year = {1993}
}
@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}
}
@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}
}
@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 = {{PDIS}},
pages = {130--137},
publisher = {{IEEE} Computer Society},
year = {1991}
}
@inproceedings{DBLP:conf/vdb/BatiniCCL91,
author = {Carlo Batini and
Tiziana Catarci and
Maria Francesca Costabile and
Stefano Levialdi},
title = {Visual Query Systems: {A} Taxonomy},
booktitle = {{VDB}},
series = {{IFIP} Transactions},
volume = {{A-7}},
pages = {153--168},
publisher = {North-Holland},
year = {1991}
}
@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 = {{VL}},
pages = {183--189},
publisher = {{IEEE} Computer Society},
year = {1991}
}
@inproceedings{DBLP:conf/icdt/HoutsmaAC90,
author = {Maurice A. W. Houtsma and
Peter M. G. Apers and
Stefano Ceri},
title = {Complex Transitive Closure Queries on a Fragmented Graph},
booktitle = {{ICDT}},
series = {Lecture Notes in Computer Science},
volume = {470},
pages = {470--484},
publisher = {Springer},
year = {1990}
}
@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 = {{VL}},
pages = {183--188},
publisher = {{IEEE} Computer Society},
year = {1989}
}
@inproceedings{DBLP:conf/vldb/CeriT87,
author = {Stefano Ceri and
Letizia Tanca},
title = {Optimization of Systems of Algebraic Equations for Evaluating Datalog
Queries},
booktitle = {{VLDB}},
pages = {31--41},
publisher = {Morgan Kaufmann},
year = {1987}
}
@inproceedings{DBLP:conf/vldb/CeriGL86,
author = {Stefano Ceri and
Georg Gottlob and
Luigi Lavazza},
title = {Translation and Optimization of Logic Queries: The Algebraic Approach},
booktitle = {{VLDB}},
pages = {395--402},
publisher = {Morgan Kaufmann},
year = {1986}
}
@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}
}
@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}
}
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-10 00:29 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:
