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 136-155 de um total de 155 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
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
2021Towards a specification theory for fuzzy modal logicJain, Manisha; Gomes, Leandro; Madeira, Alexandre, et al.Artigo em ata de conferênciaAcesso aberto
2015Towards an engine for coordination-based architectural reconfigurationsRodrigues, Flávio Gonçalves; Oliveira, Nuno; Barbosa, L. S.ArtigoAcesso aberto
2011Towards rigorous analysis of open source softwareBarbosa, L. S.; Henriques, Pedro Rangel; Sanchez, AlejandroArtigo em ata de conferênciaAcesso aberto
2010Towards the introduction of QoS information in a component modelSun, Meng; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Abr-2018Transforming legal documents for visualization and analysisCarvalho, Nuno Ramos; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2006Transposing partial components: an exercise on coalgebraic refinementOliveira, José Nuno Fonseca; Barbosa, L. S.ArtigoAcesso aberto
12-Ago-2022A tribute to José Manuel ValençaOliveira, José Nuno Fonseca; Pinto, Jorge Sousa; Barbosa, L. S., et al.Editorial em revistaAcesso restrito UMinho
2007A type-level approach to component prototypingBarbosa, L. S.; Cunha, Jácome Miguel Costa; Visser, JoostArtigo em ata de conferênciaAcesso aberto
2009UML model refactoring as refinement: a coalgebraic perspectiveBarbosa, L. S.; Meng, SunArtigo em ata de conferênciaAcesso aberto
2013Verifying bigraphical models of architectural reconfigurationsSanchez, Alejandro; Barbosa, L. S.; Riesco, DanielArtigo em ata de conferênciaAcesso aberto
2023Weighted synchronous automataGomes, Leandro; Madeira, Alexandre; Barbosa, L. S.ArtigoAcesso aberto
2013When even the interface evolves...Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al.Artigo em ata de conferênciaAcesso aberto
2009Which mathematics for the Information Society?Ferreira, João Fernando; Mendes, Alexandra; Backhouse, Roland, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 136-155 de um total de 155 resultados. < anterior