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

The research at MIT is conducted in groups that focuses on a separate aspect of visual information technology, but not isolated from each other. The collaborative atmosphere involves both basic and application oriented research.
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