2023 |
Wearable Multisensor Ring-Shaped Probe for Assessing Stress and Blood Oxygenation: Design and Preliminary Measurements |
Articolo in rivista |
Vai |
2023 |
Online/Hybrid Course Design for Programming Languages in Engineering Education |
Contributo in atti di convegno pubblicato in volume |
Vai |
2023 |
In Silico Mixed Ligand/Structure-Based Design of New CDK-1/PARP-1 Dual Inhibitors as Anti-Breast Cancer Agents |
Articolo in rivista |
Vai |
2023 |
An innovative tailored instructional design for computer programming courses in engineering |
Articolo in rivista |
Vai |
2022 |
Antiproliferative Activity Predictor: un nuovo tool in silico per predire l’attività antiproliferativa nei confronti del pannello NCI60 |
Abstract in atti di convegno pubblicato in volume |
Vai |
2022 |
Time-Constrained Node Visit Planning for Collaborative UAV–WSN Distributed Applications |
Articolo in rivista |
Vai |
2022 |
Antiproliferative Activity Predictor: A New Reliable In Silico Tool for Drug Response Prediction against NCI60 Panel |
Articolo in rivista |
Vai |
2022 |
Modeling and Verification of Symbolic Distributed Applications through an Intelligent Monitoring Agent |
Articolo in rivista |
Vai |
2022 |
Designing for Student-Centered Hybrid Learning Environments: A Framework for Programming Languages Course Design |
Abstract in atti di convegno pubblicato in volume |
Vai |
2021 |
Knowledge-based verification of concatenative programming patterns inspired by natural language for resource-constrained embedded devices |
Articolo in rivista |
Vai |
2021 |
Identification of biological targets through the correlation between cell line chemosensitivity and protein expression pattern |
Review essay (rassegna critica) |
Vai |
2021 |
Distributed Symbolic Network Quality Assessment for Resource-constrained Devices |
Contributo in atti di convegno pubblicato in volume |
Vai |
2021 |
Simulation and Test of UAV Tasks with Resource-Constrained Hardware in the Loop |
Contributo in atti di convegno pubblicato in volume |
Vai |
2021 |
In silico identification of small molecules as new cdc25 inhibitors through the correlation between chemosensitivity and protein expression pattern |
Articolo in rivista |
Vai |
2020 |
DRUDIT: Web-based DRUgs DIscovery Tools to design small molecules as modulators of biological targets |
Articolo in rivista |
Vai |
2020 |
Testing wearable IoT applications through sensor virtualization |
Contributo in atti di convegno pubblicato in volume |
Vai |
2020 |
On-board Energy Consumption Assessment for Symbolic Execution Models on Embedded Devices |
Contributo in atti di convegno pubblicato in volume |
Vai |
2020 |
Verification of Symbolic Distributed Protocols for Networked Embedded Devices |
Contributo in atti di convegno pubblicato in volume |
Vai |
2019 |
A Lightweight Network Discovery Algorithm for Resource-constrained IoT Devices |
Contributo in atti di convegno pubblicato in volume |
Vai |
2019 |
WSN Design and Verification Using On-Board Executable Specifications |
Articolo in rivista |
Vai |
2019 |
A Rule-Based System for Hardware Configuration and Programming of IoT Devices |
Contributo in atti di convegno pubblicato in volume |
Vai |
2019 |
A middleware to develop and test vehicular sensor network applications |
Contributo in atti di convegno pubblicato in volume |
Vai |
2019 |
Interoperable real-time symbolic programming for smart environments |
Contributo in atti di convegno pubblicato in volume |
Vai |
2017 |
A context-aware system for ambient assisted living |
Capitolo o Saggio |
Vai |
2017 |
DC4CD: A Platform for Distributed Computing on Constrained Devices |
Articolo in rivista |
Vai |
2017 |
An Ambient Intelligence System for Assisted Living |
Contributo in atti di convegno pubblicato in volume |
Vai |
2016 |
A symbolic distributed event detection scheme for Wireless Sensor Networks |
Contributo in atti di convegno pubblicato in volume |
Vai |
2015 |
Programming Distributed Applications with Symbolic Reasoning on WSNs |
eedings |
Vai |
2015 |
Closing the sensing-reasoning-actuating loop in resource-constrained WSANs through distributed symbolic processing |
eedings |
Vai |
2015 |
High-level programming and symbolic reasoning on IoT resource constrained devices |
eedings |
Vai |
2015 |
Anatomy of the cervical spine |
Capitolo o Saggio |
Vai |
2014 |
Fondamenti di informatica e programmazione in C |
Curatela |
Vai |
2014 |
Development of an IoT Environmental Monitoring Application with a Novel Middleware for Resource Constrained Devices |
eedings |
Vai |
2014 |
A Fast and Interactive Approach to Application Development on Wireless Sensor and Actuator Networks |
eedings |
Vai |
2014 |
Body Area Networks and Healthcare |
Capitolo o Saggio |
Vai |
2014 |
A Lightweight Middleware Platform for Distributed Computing on Wireless Sensor Networks |
Articolo in rivista |
Vai |
2014 |
Urban Air Quality Monitoring Using Vehicular Sensor Networks |
Capitolo o Saggio |
Vai |
2014 |
Hardware and Software Platforms for Distributed Computing on Resource Constrained Devices |
Capitolo o Saggio |
Vai |
2013 |
A mobile application for assessment of air pollution exposure |
eedings |
Vai |
2013 |
Self-Organizing Architectures for Digital Signal Processing |
Capitolo o Saggio |
Vai |
2011 |
A Knowledge Based Decision Support System for Bioinformatics and System Biology |
Capitolo o Saggio |
Vai |
2011 |
An Intelligent System for Decision Support in Bioinformatics |
Articolo in rivista |
Vai |
2010 |
A Proposed Knowledge Based Approach for Solving Proteomics Issues |
Capitolo o Saggio |
Vai |
2010 |
A Knowledge Based Decision Support System for Bioinformatics and System Biology |
eedings |
Vai |
2009 |
MULTIPLE ECHINOCOCCOSIS OF THE LIVER:EXPERIMENTAL STUDY BY COMPUTER THREE-DIMENSIONAL MODELING |
eedings |
Vai |
2009 |
A Decision Support System for Reverse Engineering Gene Regulatory Networks |
eedings |
Vai |
2009 |
A Proposed Knowledge Based Approach for Solving Proteomics Issues |
eedings |
Vai |
2009 |
THREE-DIMENSIONAL MODELS OF GASTRIC DISTRIBUTION OF VAGI NERVES IN FULL-TERM FETUSES AND NEWBORNS |
eedings |
Vai |
2008 |
AN ADVANCED WEB BASED SYSTEM TO SUPPORT LEARNING OF CLINICAL ANATOMY |
eedings |
Vai |
2008 |
Application of an intelligent study and research support system for clinical anatomy in a cooperation scenario |
Articolo in rivista |
Vai |
2008 |
GAIML: A new language for verbal and graphical interaction in chatbots |
Articolo in rivista |
Vai |
2008 |
An Intelligent Assistant for Medical Knowledge
Discovery |
eedings |
Vai |
2007 |
Towards MKDA: A Knowledge Discovery Assistant For Researches in Medicine |
Articolo in rivista |
Vai |
2007 |
RoBotanic: a Robot Guide for Botanical
Gardens. Early steps. |
eedings |
Vai |
2007 |
Formal Description of Web User Interfaces for Automatic Generation |
eedings |
Vai |
2007 |
A Web-based Intelligent Tutoring System for Clinical Anatomy |
Articolo in rivista |
Vai |
2007 |
Three-dimensional computer models in a case of azygos lobe discovered durino adenocarcinoma surgery. |
eedings |
Vai |
2007 |
Clinical Anatomy and information technology. |
eedings |
Vai |
2007 |
COMPUTER MODEL OF ARTERIAL BIO-MECHANICS.EVALUATION OF RUPTURED ABDOMINAL AORTIC ANEURYSM WALL THROUGH FINITE ELEMENT ANALYSIS |
eedings |
Vai |
2007 |
Three-dimensional computer models in a case of Azygos lobe discovered during adenocarcinoma surgery |
Articolo in rivista |
Vai |
2007 |
Computer Model fo arterial bio-mechanics. Evaluation of Abdominal Aortic Aneurysm wall through Finite Element Analysis |
eedings |
Vai |
2007 |
Tree dimensional computer model in a case of azygos lobe discovered during adenocarcinoma surgery |
Articolo in rivista |
Vai |
2007 |
Multi-robot Interacting Through Wireless Sensor Networks |
Capitolo o Saggio |
Vai |
2006 |
A LIGHTWEIGHT SOFTWARE ARCHITECTURE FOR ROBOT NAVIGATION AND VISUAL LOGGING THROUGH ENVIRONMENTAL LANDMARKS RECOGNITION |
eedings |
Vai |
2006 |
A computer support system to support diagnosis by imaging and its experimental application to images of patients affected by multiple sclerosis |
Articolo in rivista |
Vai |
2006 |
A computer support system to support diagnosis by imaging and its experimental application in Images of patients affected by multiple sclerosis |
eedings |
Vai |
2006 |
Lessons learned with CiceRobot, a robot for museum guided tours |
eedings |
Vai |
2006 |
Three-dimensional geometrical models using TC images in the study of the surgical approach to hydatid cists of the liver. |
eedings |
Vai |
2006 |
Three-dimensional geometrical models of the liver |
Articolo in rivista |
Vai |
2005 |
A Knowledge Representation System to support Medical Diagnostic Imaging |
eedings |
Vai |
2005 |
The liver: three-dimensional geometrical models. About a new stereology. |
eedings |
Vai |
2005 |
A software system to support the description and the explanation of medical images based on medical diagnosis criteria |
Articolo in rivista |
Vai |
2005 |
Information technology in clinical anatomy |
eedings |
Vai |
2004 |
Automatic Generation of Fuzzy Rules and its Applications in Medical Diagnosis |
eedings |
Vai |
2004 |
Evaluation of ECG: comparison of decision tree and fuzzy rules induction |
eedings |
Vai |
2004 |
Automatic induction of rules for computer-aided diagnosis in the multiple sclerosis by analysis of brain MR images |
Articolo in rivista |
Vai |
2004 |
Automatic induction of rules for computer-aided diagnosis in the multiple sclerosis by analysis of brain MR images |
eedings |
Vai |
2004 |
Slice to Volume Registration |
eedings |
Vai |
2004 |
Automatic Generation of User Interfaces using the Set Description Language |
eedings |
Vai |
2003 |
Three-dimensional geometrical models of the inguinal region. Towards a new stereology |
Articolo in rivista |
Vai |
2002 |
Population and query interface for a content-based video database |
Articolo in rivista |
Vai |
2001 |
Development of software in the study of carotid artery in the neck |
Articolo in rivista |
Vai |
2001 |
Content based indexing of MPEG-4 video on relational DBMS |
eedings |
Vai |