Rosario Culmone

Orcid: 0000-0003-3333-0893

Affiliations:
  • University of Camerino, Italy


According to our database1, Rosario Culmone authored at least 32 papers between 2002 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Blockchain Application for Fish Origin Certification.
Proceedings of the Advances on Broad-Band and Wireless Computing, Communication and Applications, 2023

AI-Powered Drone to Address Smart City Security Issues.
Proceedings of the Advanced Information Networking and Applications, 2023

2022
NARUN: noise adaptive routing for utility networks.
Int. J. Web Grid Serv., 2022

Robot Based Computing System: An Educational Experience.
Proceedings of the Advanced Information Networking and Applications, 2022

2020
IRON: Reliable domain specific language for programming IoT devices.
Internet Things, 2020

2019
Energy Efficient Light Routing in Utility Network.
Proceedings of the Web, Artificial Intelligence and Network Applications, 2019

2018
Analysis and verification of ECA rules in intelligent environments.
J. Ambient Intell. Smart Environ., 2018

Formal Semantics of an IoT-Specific Language.
Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

2017
Symbolic verification of event-condition-action rules in intelligent environments.
J. Reliab. Intell. Environ., 2017

Modeling temporal aspects of sensor data for MongoDB NoSQL database.
J. Big Data, 2017

Vanishing files: protocols and regulations for immaterial documents.
Int. J. Electron. Secur. Digit. Forensics, 2017

Topological Classification of RNA Structures via Intersection Graph.
Proceedings of the Theory and Practice of Natural Computing - 6th International Conference, 2017

vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments.
Proceedings of the 2017 International Conference on Intelligent Environments, 2017

2016
A Flexible and Scalable Architecture for Real-Time ANT+ Sensor Data Acquisition and NoSQL Storage.
Int. J. Distributed Sens. Networks, 2016

Mechanism Design Approach for Energy Efficiency.
CoRR, 2016

A Formal Model for Event-Condition-Action Rules in Intelligent Environments.
Proceedings of the Intelligent Environments 2016, 2016

A Mechanism Design Approach for Allocation of Commodities.
Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs.
Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016

A Data Acquisition and Document Oriented Storage Methodology for ANT+ Protocol Sensors in Real-Time Web.
Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016

2015
An ANT+ Protocol Based Health Care System.
Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2015

A Constrained ECA Language Supporting Formal Verification of WSNs.
Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2015

2014
Light Routing Algorithm for Utility Networks.
J. Networks, 2014

Interoperability issues among smart home technological frameworks.
Proceedings of the 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2014

AAL domain ontology for event-based human activity recognition.
Proceedings of the 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2014

An Ontology Driven Software Framework for the Healthcare Applications Based on ANT+ Protocol.
Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

2011
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People.
ERCIM News, 2011

2009
Constraint-Based Dynamic Conversations.
Proceedings of the Fifth International Conference on Networking and Services, 2009

2008
A model-prover for constrained dynamic conversations.
Proceedings of the iiWAS'2008, 2008

2006
Dynamic Constraint-Based Invocation of Web Services.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

2005
Integrating Ontologies in Mobile Agents.
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

2004
Code Mobility for Pervasive Computing.
Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

2002
Patterns for web applications.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002


  Loading...