HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


hal-00607676v1  Conference papers
Michele AbrusciChristian Retoré. Quantification and interaction
Rebuilding logic and rethinking language in interaction terms (CLMPS workshop), Jul 2011, France
...
hal-00607678v1  Conference papers
Michele AbrusciChristian Retoré. Quantification in ordinary language
14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, Jul 2011, Nancy, France. http://www.univ-nancy2.fr/poincare/documents/CLMPS2011ABSTRACTS/14thCLMPS2011_C2_Abrusci-Retore.pdf
...
hal-01907422v1  Conference papers
Anna VegniValeria LoscrìPietro Manzoni. Analysis of Small-World Features in Vehicular Social Networks
CCNC 2019 - IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States
hal-01076206v1  Book sections
Iovine RenatoValeria LoscrìSara PizziRichard TarparelliAnna Maria Vegni. Electromagnetic Nanonetworks for Sensing and Drug Delivery
Junichi Suzuki; Tadashi Nakano; Michael J. Moore. Modeling, Methodologies and Tools for Molecular and Nano-scale Communications, Springer, 2014
...
hal-01582503v1  Conference papers
Anna VegniValeria LoscrìRiccardo Petrolo. SCARF: A SoCial-Aware Reliable Forwarding Technique for Vehicular Communications
3rd Workshop on Experiences with the Design and Implementation of Smart Objects, MobiCom 2017, Oct 2017, Snowbird, United States
...
hal-01188280v1  Journal articles
Valeria LoscrìAnna Maria VegniGiancarlo Fortino. On the Interaction between a Nanoparticulate System and the Human Body in Body Area Nanonetworks
Micromachines, MDPI, 2016, Special Issue "Sensors and Systems for Medical Applications and Personal Health Monitoring", 6 (9), pp.1213-1235. ⟨10.3390/mi6091213⟩
...
hal-01145389v1  Book sections
Valeria LoscrìArash MaskookiNathalie MittonAnna Maria Vegni. Wireless Cognitive Networks Technologies and Protocols
Modeling and Simulation of Computer Networks and Systems: Methodologies and Applications, 2015
hal-01528187v1  Journal articles
Gianluca BianchinPaolo FrascaAndrea GasparriFabio Pasqualetti. The Observability Radius of Networks
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2017, 62 (6), pp.3006-3013. ⟨10.1109/TAC.2016.2608941⟩
hal-01916165v1  Poster communications
Anna VegniValeria LoscrìPietro Manzoni. Analysis of Small-World Features in Vehicular Social Networks
CCNC 2019 - IEEE Consumer Communications & Networking Conference, Jan 2019, Las Vegas, United States. 2019
...
hal-02560105v1  Conference papers
Matteo AcclavioRoss HorneLutz Straßburger. Logic beyond formulas: a proof system on graphs
LICS 2020 - 35th ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.38-52, ⟨10.1145/3373718.3394763⟩
hal-01586838v1  Books
Stefano SpaccapietraPaolo AtzeniFrançois FagesMohand-Said HacidMichael Kifer et al.  Journal on Data Semantics IX
Springer, 4601, pp.200, 2007, Lecture Notes in Computer Science, LNCS, 978-3-540-74982-0. ⟨10.1007/978-3-540-74987-5⟩
...
hal-02494972v1  Journal articles
Clément ErignouxAlessandro Giuliani. Nematic first order phase transition for liquid crystals in the van der Waals--Kac limit
Journal of Mathematical Physics, American Institute of Physics (AIP), 2020, 61 (10)
...
hal-01533805v1  Journal articles
Avan SuinesiaputraPierre AblinXènia AlbàMartino AlessandriniJack Allen et al.  Statistical shape modeling of the left ventricle: myocardial infarct classification challenge
IEEE Journal of Biomedical and Health Informatics, Institute of Electrical and Electronics Engineers, 2018, 22 (3), pp.503-515. ⟨10.1109/JBHI.2017.2652449⟩
...
hal-00935268v1  Conference papers
Virginie ThionSerenella CerritoMarta Cialdea. A General Theorem Prover for Quantified Modal Logics
TABLEAUX - Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, 2002, Copenhagen, Denmark. pp.266-280, ⟨10.1007/3-540-45616-3_19⟩
hal-00712763v1  Journal articles
Giuseppe Di BattistaJean-Daniel FeketeHuamin Qu. Visualization Applications and Design Studies [Guest editors' introduction]
IEEE Computer Graphics and Applications, Institute of Electrical and Electronics Engineers, 2012, 32 (1), pp.20-21. ⟨10.1109/MCG.2012.28⟩
...
hal-01174303v1  Conference papers
Francesca BugiottiLuca CabibboPaolo AtzeniRiccardo Torlone. How I Learned to Stop Worrying and Love NoSQL Databases
SEBD Italian Symposium on Advanced Database Systems, Jun 2015, Gaeta, Italy
...
hal-01092445v1  Reports
Francesca BugiottiLuca CabibboPaolo AtzeniRiccardo Torlone. Database Design for NoSQL Systems
[Technical Report] Università degli studi Roma Tre. 2014
...
hal-01092440v1  Conference papers
Francesca BugiottiLuca CabibboPaolo AtzeniRiccardo Torlone. Database Design for NoSQL Systems
International Conference on Conceptual Modeling, Oct 2014, Atlanta, United States. pp.223 - 231, ⟨10.1007/978-3-319-12206-9_18⟩
...
hal-01262020v1  Journal articles
Valeria LoscrìLadislau MatekovitsIldiko PeterAnna Maria Vegni. In-body Network Biomedical Applications: from Modeling to Experimentation
IEEE Transactions on NanoBioscience, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/TNB.2016.2521386⟩
...
hal-02088004v1  Journal articles
Valeria LoscrìLadislau MatekovitsIldiko PeterAnna Vegni. Modeling and Experimental Analysis of an In-body Area Nanonetwork
EAI endorsed transactions on Internet of Things, European Alliance for Innovation, 2016, 2 (6), ⟨10.4108/eai.28-9-2015.2261435⟩
...
hal-01262024v1  Conference papers
Anna Maria VegniValeria LoscrìAlessandro NeriMarco Leo. A Bayesian Packet Sharing Approach for Noisy IoT Scenarios
1st International Workshop on Interoperability, Integration, and Interconnection of Internet of Things Systems (I4T 2016), Apr 2016, Berlin Germany
hal-01192800v1  Conference papers
Valeria LoscrìLadislau MatekovitzIldiko PeterAnna Maria Vegni. Modeling and Experimental Analysis of an In-body Area Nanonetwork
10th EAI International Conference on Body Area Networks - BODYNETS, Sep 2015, SIDNEY, Australia
hal-01174026v1  Journal articles
Anna Maria VegniValeria Loscrì. A Survey on Vehicular Social Networks
Communications Surveys and Tutorials, IEEE Communications Society, Institute of Electrical and Electronics Engineers, 2015, IEEE Communications Surveys & Tutorials, 17 (4), pp.2397 - 2419. ⟨10.1109/COMST.2015.2453481⟩
...
hal-01877153v1  Conference papers
Valeria LoscrìAnna Vegni. Error Probability Derivation in a Phonon-based Quantum Channel
QCIT'18 - Workshop on Quantum Communications and Information Technology, Dec 2018, Abu Dhabi, France