29 citations · 67 across the 7 of their papers we have counts for
8 papers
Jolie Good Buildings: Internet of things for smart building infrastructure supporting concurrent apps utilizing distributed microservices
Kamill Gusmanov, Kevin Khanda, Dilshat Salikhov +2
A large percentage of buildings, domestic or special-purpose, is expected to become increasingly "smarter" in the future, due to the immense benefits in terms of energy saving, saf…
Microservice-based IoT for Smart Buildings
Dilshat Salikhov, Kevin Khanda, Kamill Gusmanov +2
A large percentage of buildings in domestic or special-purpose is expected to become increasingly "smarter" in the future, due to the immense benefits in terms of energy saving, sa…
Emotional Storytelling using Virtual and Robotic Agents
Sandra Costa, Alberto Brunete, Byung-Chull Bae +1
In order to create effective storytelling agents three fundamental questions must be answered: first, is a physically embodied agent preferable to a virtual agent or a voice-only n…
ViSpec: A graphical tool for elicitation of MTL requirements
Bardh Hoxha, Nikolaos Mavridis, Georgios Fainekos
One of the main barriers preventing widespread use of formal methods is the elicitation of formal specifications. Formal specifications facilitate the testing and verification proc…
QTC3D: Extending the Qualitative Trajectory Calculus to Three Dimensions
Nikolaos Mavridis, Nicola Bellotto, Konstantinos Iliopoulos +1
Spatial interactions between agents (humans, animals, or machines) carry information of high value to human or electronic observers. However, not all the information contained in a…
A Review of Verbal and Non-Verbal Human-Robot Interactive Communication
Nikolaos Mavridis
In this paper, an overview of human-robot interactive communication is presented, covering verbal as well as non-verbal aspects of human-robot interaction. Following a historical i…