Doctoral School Information Engineering and Computer Science
An SMT-based framework for the formal analysis of Switched Multi-Domain Kirchhoff Networks
Novel design concepts for unconventional Antenna Array architectures in next generation communications systems
Study and Analysis of Socio-behavioural Dynamics for Decision Support Systems in Smart Buildings