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 75-94 de um total de 155 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2016A method for rigorous design of reconfigurable systemsMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Barbosa, L. S., et al.ArtigoAcesso aberto
2017Modeling families of public licensing services: a case studyCledou, Maria Guillermina; Barbosa, Luís SoaresArtigo em ata de conferênciaAcesso aberto
2022Modelling and control of manufacturing systems subject to context recognition and switchingSouthier, Luiz Fernando Puttow; Casanova, Dalcimar; Barbosa, L. S., et al.ArtigoAcesso aberto
Fev-2015Modelling and verifying smell-free architectures with the Archery languageSanchez, Alejandro; Barbosa, L. S.; Madeira, Alexandre Leite CastroArtigo em ata de conferênciaAcesso restrito UMinho
2007Modelling is for reasoningBarbosa, L. S.; Martinho, Maria HelenaCapítulo de livroAcesso aberto
2011Models as arrows: the role of dialgebrasMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Ago-2017Networks of universities as a tool for GCIO educationBarbosa, L. S.; Santos, Luís PauloArtigo em ata de conferênciaAcesso aberto
Abr-2018A note on reactive transitions and Reo connectorsFigueiredo, Daniel; Martins, Manuel A.; Barbosa, L. S.Capítulo de livroAcesso aberto
2017On infinitary equational hybrid logicMartins, M. A.; Madeira, Alexandre Leite Castro; Barbosa, L. S.Capítulo de livroAcesso aberto
2017On kleene algebras for weighted computationGomes, Leandro; Madeira, Alexandre Leite Castro; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2004On refinement of generic state-based software componentsMeng, Sun; Barbosa, L. S.Capítulo de livroAcesso aberto
2005On refinement of software architecturesMeng, Sun; Barbosa, L. S.; Naixiao, ZhangArtigo em ata de conferênciaAcesso aberto
2011On requirements engineering for reactive systems: a formal methodologyMadeira, A.; Faria, José Miguel; Martins, Manuel A., et al.Artigo em ata de conferênciaAcesso aberto
2004On semantics and refinement of UML statecharts: a coalgebraic viewSun Meng; Zhang Naixiao; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2008On the discovery of business processes orchestration patternsRodrigues, Nuno F.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Out-2019On the generation of equational dynamic logics for weighted imperative programsGomes, Leandro Rafael Moreira; Madeira, Alexandre; Jain, Manisha, et al.Artigo em ata de conferênciaAcesso aberto
2013On the reconfiguration of software connectorsOliveira, Nuno; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2003On the specification of a component repositoryRodrigues, Nuno; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2015On the verification of architectural reconfigurationsSanchez, Alejandro; Madeira, Alexandre Leite Castro; Barbosa, L. S.ArtigoAcesso restrito UMinho
23-Mar-2023Paraconsistent transition systemsCruz, Ana; Madeira, Alexandre; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Mostrar 75-94 de um total de 155 resultados. < anterior   próximo >