Pubblicazioni
-
Alberto Fiori, Claudio Sacerdoti Coen, Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper), in: Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018, «CEUR WORKSHOP PROCEEDINGS», 2018, 2307, pp. 1 - 9 (atti di: 11th Conference on Intelligent Computer Mathematics CICM 2018, Hagenberg, Austria, 13-17/07/2018) [Contributo in Atti di convegno]
-
Amadini R.; Gauthier F.; Schachte P.; Stuckey P.J.; Gange G.; Jordan A.; Sondergaard H.; Zhang C., Reference abstract domains and applications to string analysis, «FUNDAMENTA INFORMATICAE», 2018, 158, pp. 297 - 326 [Articolo in rivista]
-
Amadini R.; Gange G.; Stuckey P.J., Sweep-based propagation for string constraint solving, in: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, AAAI press, 2018, pp. 6557 - 6564 (atti di: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018, usa, 2018) [Contributo in Atti di convegno]
-
Amadini R.; Gange G.; Stuckey P.J., Propagating Regular membership with dashed strings, in: 24th International Conference on the Principles and Practice of Constraint Programming, CP 2018, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2018, 11008, pp. 13 - 29 (atti di: 24th International Conference on the Principles and Practice of Constraint Programming, CP 2018, fra, 2018) [Contributo in Atti di convegno]
-
Amadini R.; Gange G.; Stuckey P.J., Propagating lex, find and replace with dashed strings, in: 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2018, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2018, 10848, pp. 18 - 34 (atti di: 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2018, nld, 2018) [Contributo in Atti di convegno]
-
Paciullo F.; Proietti M.; Bianconi V.; Nobili A.; Pirro M.; Mannucci P.M.; Lip G.Y.H.; Lupattelli G.; Tettamanti M.; Pasina L.; Franchi C.; Perticone F.; Salerno F.; Corrao S.; Marengoni A.; Licata G.; Violi F.; Corazza G.R.; Marcucci M.; Eldin T.K.; Di Blanca M.P.D.; Lanzo G.; Astuto S.; Ardoino I.; Cortesi L.; Prisco D.; Silvestri E.; Cenci C.; Emmi G.; Biolo G.; Guarnieri G.; Zanetti M.; Fernandes G.; Chiuch M.; Vanoli M.; Grignani G.; Casella G.; Pulixi E.A.; Bernardi M.; Bassi S.L.; Santi L.; Zaccherini G.; Mannarino E.; Nuti R.; Valenti R.; Ruvio M.; Cappelli S.; Palazzuoli A.; Salvatore T.; Sasso F.C.; Girelli D.; Olivieri O.; Matteazzi T.; Barbagallo M.; Plances L.; Alcamo R.; Calvo L.; Valenti M.; Zoli M.; Arno R.; Pasini F.L.; Capecchi P.L.; Bicchi M.; Palasciano G.; Modeo M.E.; Peragine M.; Pappagallo F.; Pugliese S.; Di Gennaro C.; Postiglione A.; Barbella M.R.; De Stefano F.; Cappellini M.D.; Fabio G.; Seghezzi S.; De Amicis M.M.; Mancarella M.; Mari D.; Rossi P.D.; Daman, Choice and Outcomes of Rate Control versus Rhythm Control in Elderly Patients with Atrial Fibrillation: A Report from the REPOSI Study, «DRUGS & AGING», 2018, 35, pp. 365 - 373 [Articolo in rivista]
-
Morcos, Mira; Chahed, Tijani; Chen, Lin; Elias, Jocelyne; Martignon, Fabio, A two-level auction for resource allocation in multi-tenant C-RAN, «COMPUTER NETWORKS», 2018, 135, pp. 240 - 252 [Articolo in rivista]
-
Elias, Jocelyne; Martignon, Fabio; Mangili, Michele; Capone, Antonio, Optimal planning of virtual mobile networks, in: 2018 IEEE Wireless Communications and Networking Conference (WCNC), 2018, pp. 1 - 6 (atti di: 2018 IEEE Wireless Communications and Networking Conference (WCNC), Barcelona, Spain, 15-18 April 2018) [Contributo in Atti di convegno]
-
Elias, Jocelyne; Martignon, Fabio; Morcos, Mira; Chen, Lin; Chahed, Tijani, Radio resource calendaring in cloud-based radio access networks, in: 2018 Wireless Days (WD), 2018, pp. 207 - 212 (atti di: 2018 Wireless Days (WD), Dubai, United Arab Emirates, 3-5 April 2018) [Contributo in Atti di convegno]
-
Bujari, A; Giovanni, L De; Palazzi, C.E., Optimal configuration of active and backup servers for augmented reality cooperative games, «CONCURRENCY AND COMPUTATION», 2018, 30, pp. 1 - 12 [Articolo in rivista]
-
Gaggi, O.; Palazzi, C.E.; Ciman, M.; Bujari, A., StepByWatch: A smartwatch-based enhanced navigation system for visually impaired users, in: 2018 IEEE Annual Consumer Communications and Networking inproceedings, 2018, pp. 1 - 5 (atti di: 15th IEEE Annual Consumer Communications & Networking Conference (CCNC), Las Vegas, NV, USA, 12-15 Jan. 2018) [Contributo in Atti di convegno]
-
Bujari, A.; Gaggi, O.; Palazzi, C.E.; Ronzani, D., Would Current Ad-Hoc Routing Protocols be Adequate for the Internet of Vehicles? A Comparative Study, «IEEE INTERNET OF THINGS JOURNAL», 2018, 5, pp. 3683 - 3691 [Articolo in rivista] Open Access
-
Bujari, A.; Palazzi, C.E.; Ronzani, D., A Comparison of Stateless Position-based Packet Routing Algorithms for FANETs, «IEEE TRANSACTIONS ON MOBILE COMPUTING (ONLINE)», 2018, 17, pp. 2468 - 2482 [Articolo in rivista]
-
Bujari, A.; Furini, M.; Mandreoli, F.; Martoglia, R.; Montangero, M.; Ronzani, D., Standards, Security and Business Models: Key Challenges for the IoT Scenario, «MOBILE NETWORKS AND APPLICATIONS», 2018, 23, pp. 147 - 154 [Articolo in rivista]
-
Ronzani, D.; Bujari, A.; Palazzi, C. E., A hybrid reactive and position-based approach to packet routing in 3D topology networks, in: IFIP Wireless Days, 2018, pp. 9 - 14 (atti di: 2018 Wireless Days (WD), Dubai, United Arab Emirates, 3-5 April 2018) [Contributo in Atti di convegno]
-
Bujari, Armir; Gaggi, Ombretta; Palazzi, Claudio E; Quadrio, Giacomo, Smart Wearable Sensors: Analysis of a Real Case Study, in: 2018 IEEE 29th Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), 2018, pp. 37 - 41 (atti di: 2018 IEEE 29th Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), Bologna, Italy, 9-12 Sept. 2018) [Contributo in Atti di convegno]
-
Bujari, Armir; Calafate, Carlos T; Cano, Juan-Carlos; Manzoni, Pietro; Palazzi, C.E; Ronzani, Daniele, A location-aware waypoint-based routing protocol for airborne DTNs in search and rescue scenarios, «SENSORS», 2018, 18, pp. 1 - 14 [Articolo in rivista] Open Access
-
Acquaviva L.; Bellavista P.; Corradi A.; Foschini L.; Gioia L.; Picone P.C.M., Cloud Distributed File Systems: A Benchmark of HDFS, Ceph, GlusterFS, and XtremeFS, in: 2018 IEEE Global Communications Conference, GLOBECOM 2018 - Proceedings, Institute of Electrical and Electronics Engineers Inc., 2018, pp. 1 - 6 (atti di: 2018 IEEE Global Communications Conference, GLOBECOM 2018, Abu Dhabi National Exhibition Centre (ADNEC), are, 2018) [Contributo in Atti di convegno]
-
Cuppini, Niccolò; Frapporti, Mattia, Logistics Genealogies, «SOCIAL TEXT», 2018, 36, pp. 95 - 110 [Articolo in rivista]
-
Brevetto US10417909, Identifying wrong-way travel events.