Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 25 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2013Weighted automata as coalgebras in categories of matricesOliveira, José Nuno FonsecaArtigoAcesso aberto
2013Interactive verification of safety-critical softwareCruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso restrito UMinho
Mar-2013Alloy meets the algebra of programming: a case studyOliveira, José Nuno Fonseca; Ferreira, Miguel A.ArtigoAcesso aberto
2013Typing linear algebra : a biproduct-oriented approachMacedo, Hugo Daniel; Oliveira, José Nuno FonsecaArtigoAcesso aberto
Mar-2013Genetic algorithm with a local search strategy for discovering communities in complex networksLiu, Dayou; Di, Jin; Baquero, Carlos; He, Dongxiao; Yang, Bo; Yu, QiangyuanArtigoAcesso aberto
2013Implementing QVT-R bidirectional model transformations using alloyMacedo, Nuno; Cunha, AlcinoArtigo em ata de conferênciaAcesso aberto
2013A specification patterns system for discrete event systems analysisCampos, J. Creissac; Machado, José MendesArtigoAcesso aberto
2013Integrating formal and informal learning through a FLOSS-based innovative approachFernandes, Sara; Martinho, Maria Helena; Barbosa, L. S.; Cerone, AntonioArtigo em ata de conferênciaAcesso aberto
2013Verifying bigraphical models of architectural reconfigurationsSanchez, Alejandro; Barbosa, L. S.; Riesco, DanielArtigo em ata de conferênciaAcesso aberto
2013When even the interface evolves...Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
1-10 de um total de 25 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir