Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 56 resultados (tempo de pesquisa: 0.016 segundos).
DataTítuloAutor(es)TipoAcesso
Mai-2016Do consentimento para a utilização de testemunhos de conexão (cookies)Fontaínhas, Emília Golim; Andrade, Francisco Carneiro Pacheco; Almeida, José BacelarArtigoAcesso aberto
Jan-2014SABS : Spark ABStraction - A TutorialMiraldo, Victor CacciariRelatórioAcesso aberto
2016An automated model based approach to mobile UI specification and developmentRibeiro, António Nestor; Costa, Rogério AraújoArtigo em ata de conferênciaAcesso aberto
Mai-2015ADSNARK: Nearly practical and privacy-preserving proofs on authenticated dataBackes, Michael; Barbosa, Manuel; Fiore, Dario; Reischuk, Raphael M.Artigo em ata de conferênciaAcesso aberto
2012A case study on model checking and deductive verification techniques of safety-critical softwareSilva, Rovedy Aparecida Busquim e; Oliveira, José Manuel Parente de; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2015Layers, resources and property templates in the specification and analysis of two interactive systemsCampos, José C.; Curzon, Paul; Masci, Paolo; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2016Applying the 3C Model to FLOSS communitiesFernandes, Sara Santos; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2016Proof theory for hybrid(ised) logicsNeves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.ArtigoAcesso aberto
12-Jul-2016Continuity as a computational effectNeves, Renato; Barbosa, L. S.; Hofmann, Dirk; Martins, Manuel A.ArtigoAcesso aberto
2015An ORCID based synchronization framework for a national CRIS ecosystemMoreira, João Mendes; Cunha, Alcino; Macedo, Nuno Filipe MoreiraArtigoAcesso aberto
1-10 de um total de 56 resultados (tempo de pesquisa: 0.016 segundos).

Descobrir