Concepedia

Rosario Culmone

RC

11

Publications

258

Citations

11

H-Index

2002

Active since

Affiliations

Università di Camerino(Current)

Middlesex University

Rosario Culmone is an author at Università di Camerino specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceInternet Of ThingsFormal VerificationSemantic WebVerificationFormal MethodsData ManagementData IntegrationAutomated Reasoning

Publications per year

2002–2018

11

Publications

11

Modeling temporal aspects of sensor data for MongoDB NoSQL database

Nadeem Mehmood, Rosario Culmone, Leonardo Mostarda · Journal Of Big Data · 2017 · 44 citations · Full text

Engineering, Cloud Database, Real-time Data +21

Interoperability issues among smart home technological frameworks

Lorena Rossi, Alberto Belli, Adelmo De Santis et al. · 2014 · 37 citations

Symbolic verification of event–condition–action rules in intelligent environments

Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante et al. · Journal of Reliable Intelligent Environments · 2017 · 32 citations

Engineering, Automated Reasoning, Verification +7

An ANT+ Protocol Based Health Care System

Nadeem Mehmood, Rosario Culmone · 2015 · 26 citations · Full text

Body Area Network, Engineering, Iot Communication +17

Bioagent: a mobile agent system for bioscientists

Emanuela Merelli, Rosario Culmone, Leonardo Mariani · BOA (University of Milano-Bicocca) · 2002 · 24 citations

Rows per page

1–5 of 11