|
|
Open Data Sources for the Development of Mobile Applications and Forecast of Microbial Contamination in Bathing Waters
Gianluca Correndo
,
Zoheir A. Sabeur
Conference papers
hal-01328563v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Context Ontology Modelling for Improving Situation Awareness and Crowd Evacuation from Confined Spaces
Gianluca Correndo
,
Banafshe Arbab-Zavar
,
Zlatko Zlatev
,
Zoheir A. Sabeur
Conference papers
hal-01328584v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
IdleWars: An Evaluation of a Pervasive Game to Promote Sustainable Behaviour in the Workplace
Evangelos Tolias
,
Enrico Costanza
,
Alex Rogers
,
Benjamin Bedwell
,
Nick Banks
Conference papers
hal-01758407v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Advanced Data Analytics and Visualisation for the Management of Human Perception of Safety and Security in Urban Spaces
Panos Melas
,
Gianluca Correndo
,
Lee Middleton
,
Zoheir A. Sabeur
Conference papers
hal-01328590v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Obscuring Provenance Confidential Information via Graph Transformation
Jamal Hussein
,
Luc Moreau
,
Vladimiro Sassone
Conference papers
hal-01416217v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
From Event-B Models to Dafny Code Contracts
Mohammadsadegh Dalvandi
,
Michael Butler
,
Abdolbaghi Rezazadeh
Conference papers
hal-01446608v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
An Interval-Based Approach to Modelling Time in Event-B
Gintautas Sulskus
,
Michael Poppleton
,
Abdolbaghi Rezazadeh
Conference papers
hal-01446607v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|