Research and Development Topics

The research and development topics are grouped into 6 thematic areas as follows:


Ambient Assisted Living (AAL)

Ambient Intelligence and Smart Spaces

Certified Electronic Mail

Common Authentication Technology Next Generation

Communication Middleware for Context-awareness

DNS-based Authentication of Named Entities

Digital Signatures and Cryptography application

Domain-based Message Authentication, Reporting and Conformance

Domotics and Home Automation

E-Government, E-Democracy

Indoor Localization

Mobile Social Computing

Sensing Technologies for Monitoring Systems

Wireless Communications


Advances in Formal Modeling and Applications

Algorithmic Network Models of Spacetime

Analysis of Interdependencies in Critical Infrastructures

Analysis, Testing and Monitoring of Dynamic Systems

Dependability Assessment and Fault-tolerant Solutions

Formal Approaches to Product Family Engineering

Formal Approaches to Requirements Engineering

Formal Modelling and Verification of Collective Adaptive Systems

Formal Modelling and Verification of Service-Oriented Systems

Model-based E-learnings Sytems

Modeling and analysis of Railway Control Systems

Models and Methods for Software Product Evaluation

Software Certification

Software Process Assessment and Improvement

Software Product Measurement

Testing for Software Quality and Security

Verification Tools and Techniques


Analytical Platforms & Data infrastructures for Social Mining

Assistive Technologies and Accessibility

Automatic Text Classification

Big Data Analytics & Social Mining

Content-based Visual Information Retrieval

Context-dependent User Interfaces

Data Integration and Processing for eScience

Data Mining Algorithms and Statistical Methods

Deep Learning

Digital Libraries: Foundations and Systems

Emotion-based User Interfaces

End User Development

Ethics-sensitive and Privacy-aware Data Mining

Machine Learning

Mobility Data Mining

Model-based User Interface Design

Multimodal User Interfaces

Natural Language Processing and Text Mining

Platforms for Cyber-physical Systems

Research Data Infrastructures, E-Infrastructures and Virtual Research Environments

Scholarly Communication Models, Methods and Tools

Scientific Database Management

Semantic Web: Reasoning, Learning and Uncertainty

Social Network Analysis

Social Sensing & Semantic Enrichment of Big Data

Tools for Accessibility and Usability Evaluation

Visual Analytics

High Performance Computing

Cloud Computing, Cloud Federations, and Cloud Resource Management

Data Mining and Machine Learning for Ranking, Prediction, Recommendation

Information Systems for Big Data: Indexing, Compression, Responsiveness

Knowledge Bases and Entity Linking

Scalable Distributed Computing with Map-Reduce, Giraph, Spark

Social Media Analysis


3D Printing Technologies

Applications to Cultural Heritage

Assistive technologies and systems integration

Computational Biology

Computational Topology and Geometry for Vision

Document Image Analysis and Restoration

Hybrid intelligent methods

Interactive 3D Graphics

Nature inspired computation for Smart Sensors

Real Time Imaging and Embedded Systems

Reconstruction from Sampled Dataset

Scientific Visualization

Shape Analysis and Description

Statistical Signal Processing

Web-based Visualization and Mobile Platforms

Flight and Structural Mechanics

Astrodynamics and Space Experiments on Fundamental Physics

Computational Solid Mechanics

Mechanics of Masonry Structures

Satellite Re-Entry Predictions

Space Debris

Space Mission Analysis, Design and Operational Support

comments to webmaster