Data | Título | Autor(es) | Tipo | Acesso |
2010 | Ambient Intelligence : beyond the Inspiring vision | José, Rui; Rodrigues, Helena; Otero, Nuno | Artigo | Acesso restrito UMinho |
2001 | "Bagatelle in C arranged for VDM SoLo" | Oliveira, José Nuno Fonseca | Artigo | Acesso aberto |
2013 | Design considerations for application selection and control in multi-user public displays | Taivan, Constantin; José, Rui; Silva, Bruno, et al. | Artigo | Acesso aberto |
2008 | Disentangling denotational semantics specifications | Saraiva, João Alexandre; Bigonha, Roberto; Tirelo, Fábio | Artigo | Acesso aberto |
2005 | From algebras to objects: generation and composition | Cruz, A. Miguel; Barbosa, L. S.; Oliveira, José Nuno Fonseca | Artigo | Acesso aberto |
2006 | Generic process algebra: a programming challenge | Barbosa, L. S.; Barbosa, Marco António; Ribeiro, Paula R. | Artigo | Acesso aberto |
2007 | Higher-order lazy functional slicing | Rodrigues, Nuno F.; Barbosa, L. S. | Artigo | Acesso aberto |
2007 | On the use of a reflective architecture to augment Database Management Systems | Carvalho, Nuno; Pereira, José; Oliveira, Rui Carlos Mendes de, et al. | Artigo | Acesso aberto |
2006 | Program slicing by calculation | Barbosa, L. S.; Rodrigues, Nuno F. | Artigo | Acesso aberto |
2003 | Towards a calculus of state-based software components | Barbosa, L. S. | Artigo | Acesso aberto |