HASLab - Artigos em revistas internacionais : [246] Statistics

Browse
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 246
Issue DateTitleAuthor(s)TypeAccess
2023Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applicationsEspírito Santo, José; Frade, M. J.; Pinto, Luís F.ArticleEmbargoed access (1 Year)
12-Aug-2022A tribute to José Manuel ValençaOliveira, José Nuno Fonseca; Pinto, Jorge Sousa; Barbosa, L. S., et al.Journal editorialRestricted access (UMinho)
3-Apr-2023A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3Frade, M. J.; Pinto, Jorge SousaArticleEmbargoed access (1 Year)
2022Coalgebra for the working software engineerBarbosa, L. S.ArticleOpen access
2023Quantum bayesian decision‑makingOliveira, Michael; Barbosa, L. S.ArticleOpen access
2021A semantics and a logic for Fuzzy Arden SyntaxGomes, Leandro Rafael Moreira; Madeira, Alexandre Leite Castro; Barbosa, L. S.ArticleOpen access
2021Quantum tree-based planningSequeira, Andre; Santos, Luís Paulo; Barbosa, L. S.ArticleOpen access
May-2021A deductive reasoning approach for database applications using verification conditionsAlam, Imran; Halder, Raju; Pinto, Jorge SousaArticleRestricted access (UMinho)
2018Qualification offer in EGOV competencies in PALOP-TLSilva, João Marco C.; Ramos, Luis Felipe M.; Fonte, VictorConference paperOpen access
2020Decentralized privacy-preserving proximity tracingTroncoso, Carmela; Pereira, José; Oliveira, Rui, et al.ArticleRestricted access (UMinho)
2020A survey and classification of software-defined storage systemsMacedo, Ricardo; Paulo, Joao; Pereira, José, et al.ArticleOpen access
2018Preference rules for label ranking: Mining patterns in multi-target relationsde Sá, Cláudio Rebelo; Azevedo, Paulo J.; Soares, Carlos, et al.ArticleOpen access
2018Discovering a taste for the unusual: exceptional models for preference miningde Sa, Claudio Rebelo; Duivesteijn, Wouter; Azevedo, Paulo J., et al.ArticleOpen access
1-Jun-2011Shortcut fusion rules for the derivation of circular and higher-order programsPardo, Alberto; Fernandes, João Paulo Sousa Ferreira; Saraiva, JoãoArticleOpen access
Oct-2018Hierarchical hybrid logicMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Martins, Manuel A., et al.ArticleOpen access
2020Simulation of non-radiative energy transfer in photosynthetic systems using a quantum computerGuimarães, José Diogo; Tavares, Carlos Eduardo Teixeira; Barbosa, L. S., et al.ArticleOpen access
2020Data governance: Organizing data for trustworthy Artificial IntelligenceJanssen, Marijn; Brous, Paul; Estevez, Elsa, et al.ArticleOpen access
Jun-2020A component-based framework for certification of components in a cloud of HPC servicesde Oliveira Dantas, Allberson Bruno; de Carvalho Junior, Francisco Heron; Barbosa, L. S.ArticleOpen access
2019Generalising KAT to verify weighted computationsGomes, Leandro; Madeira, Alexandre; Barbosa, L. S.ArticleOpen access
Oct-2018Languages and models for hybrid automata: A coalgebraic perspectiveNeves, Renato Jorge Araújo; Barbosa, L. S.ArticleOpen access
Collection's Items (Sorted by Submit date in descending order): 1 to 20 of 246