Presentation

Publications
Show/Hide content

2019

2013

2012

2011

2010

2009

Stefania Costantini, Pierangelo Dell'Acqua, Luis Moniz Pereira, Panagiota Tsintza (2009) Runtime Verification of Agent Properties Int. Conf. on Applications of Declarative Programming and Knowledge Management (INAP09) , s. 257-271

2008

Related content
Show/Hide content

Computer Graphics and Image Processing

The computer graphics and image processing group is driving a number of research projects directed towards the development of theory and methodology for image capture, image analysis and image synthesis.  

Media and Information Technology

At the division of Media and Information Technology we do exciting and well-known research and teaching at undergraduate as well as graduate levels.
Kiselcihp

Department of Science and Technology

We research and teaches in several technical/scientific disciplines in which our main areas are organic electronics, media, communications and logistics.

Tags
Show/Hide content