Percorrer por autor 683 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 123-142 de um total de 155 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2014Selected and extended papers of the Brazilian Symposium on Programming Languages 2012Junior, Francisco Heron Carvalho; Barbosa, L. S.Editorial em revistaAcesso aberto
2014Selected contributions from the Open Source Software Certification (OpenCert) WorkshopsBarbosa, L. S.; Shaikh, Siraj AhmedEditorial em revistaAcesso aberto
2021A semantics and a logic for Fuzzy Arden SyntaxGomes, Leandro Rafael Moreira; Madeira, Alexandre Leite Castro; Barbosa, L. S.ArtigoAcesso aberto
2011Shacc: a functional prototyper for a component calculusMartins, André Batista; Barbosa, L. S.; Rodrigues, Nuno F.Artigo em ata de conferênciaAcesso aberto
2010Should mathematics remain invisible?Martinho, Maria Helena; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
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.ArtigoAcesso aberto
2009A single complete relational rule for coalgebraic refinementRodrigues, César J.; Oliveira, José Nuno Fonseca; Barbosa, L. S.ArtigoAcesso aberto
Out-2010Slicing for architectural analysisRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso aberto
Set-2012Software components as invariant-typed arrowsBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2020Software engineering for 'quantum advantage'Barbosa, Luís S.Artigo em ata de conferênciaAcesso aberto
2005Specifying software connectorsBarbosa, Marco António; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2003State-based components made genericOliveira, José Nuno; Barbosa, L. S.ArtigoAcesso aberto
2023Structured specification of paraconsistent transition systemsCunha, Juliana; Madeira, Alexandre; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2018A taxonomy for planning and designing smart mobility servicesCledou, Guillermina; Estevez, Elsa; Barbosa, L. S.ArtigoAcesso aberto
2011The role of coordination analysis in software integration projectsRodrigues, Nuno F.; Oliveira, Nuno; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2014The role of logical interpretations on program developmentMartins, Manuel A.; Madeira, Alexandre; Barbosa, L. S.ArtigoAcesso aberto
2003Towards a calculus of state-based software componentsBarbosa, L. S.ArtigoAcesso aberto
2007Towards a coordination model for interactive systemsBarbosa, Marco António; Barbosa, L. S.; Campos, J. CreissacArtigoAcesso aberto
2020Towards a register-based census in OmanAl-Lawati, Ali Hussain; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2004Towards a relational model for component interconnectionBarbosa, Marco António; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Mostrar 123-142 de um total de 155 resultados. < anterior   próximo >