FCT: DI - Teses de Doutoramento : [38] Collection home page

Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 38
Issue DateTitleAuthor(s)
Sep-2015Augmenting spaces and creating interactive experiences using video camera networksCorreia, Nuno; Santos, Rossana Henriques dos
Jul-2015Machine ethics via logic programmingPereira, Luís; Saptawijaya, Ari
May-2015A logical foundation for session-based concurrent computationPfenning, Frank; Caires, Luís; Toninho, Bernardo Parente Coutinho Fernandes
Oct-2014Using social semantic knowledge to improve annotations in personal photo collectionsPires, João; Datia, Nuno Miguel Soares
Jan-2015Transactions in dynamic reactive environmentsAlferes, José Júlio; Gomes, Ana Sofia
May-2014Automatic extraction of concepts from texts and applicationsSilva, Joaquim; Ventura, João Miguel Jones
2014Quality of process modeling using BPMN: a model-driven approachAbreu, Fernando; Amaral, Vasco; Correia, Anacleto Cortez e
2013Construção e edição de diagramas de Voronoi na esferaMamede, Margarida; Dinis, João Carlos de Brito
2014Video interaction using pen-based technologyCorreia, Nuno; Cabral, Diogo Nuno Crespo Ribeiro
2013Expanding the magic circle in pervasive casual playCorreia, Nuno; Reis, Sofia Ester Pereira
2013Maintaining the correctness of transactional memory programsLourenço, João; Dias, Ricardo Jorge Freire
2013Interactive acquisition of spatial information from images for multimedia applicationsCorreia, Nuno; Nóbrega, Rui Pedro da Silva
2013Analysable software language translationsAmaral, Vasco; Barroca, Bruno Fontes
2012ARTiVIS Arts, real-time video and interactivity for sustainabilityCorreia, Nuno; Chicó, Sílvia; Mendes, Mónica Sofia Santos
2012Derivation and consistency checking of models in early software product line engineeringMoreira, Ana; Amaral, Vasco; Salinas, Edward Mauricio Alférez
2012Intention recognition, commitment and their roles in the evolution of cooperationPereira, Luís Moniz; Han, The Anh
2012Probabilistic constraint reasoningCruz, Jorge; Barahona, Pedro; Carvalho, Elsa Cristina Batista Bento
2011Combining open and closed world reasoning for the semantic webAlferes, José Júlio; Hitzler, Pascal; Knorr, Matthias
2011Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementationsPereira, Luís Moniz; Pinto, Alexandre Miguel dos Santos Martins
2010A calculus for modeling and analyzing conversations in service-oriented computingCaires, Luís; Vieira, Hugo Filipe Mendes Torres
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 38