Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 31-40 de um total de 238 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Ago-2014Automated verification of the FreeRTOS scheduler in HIP/SLEEKFerreira, João F.; Gherghina, Cristian; He, Guanhua; Qin, Shengchao; Chin, Wei-NganArtigoAcesso aberto
2016Encoding hybridised institutions into first order logicDiaconescu, Razvan; Madeira, AlexandreArtigoAcesso aberto
2011Type-safe evolution of spreadsheetsCunha, Jácome Miguel Costa; Visser, Joost; Alves, Tiago Miguel Laureano; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
2014Formal aspects of component software (FACS 2010 selected and extended papers)Barbosa, L. S.; Lumpe, MarkusEditorial em revistaAcesso aberto
2012A coalgebraic perspective on linear weighted automataBonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra M.ArtigoAcesso aberto
2015Embedding, evolution, and validation of model-driven spreadsheetsCunha, Jácome Miguel Costa; Fernandes, João Paulo; Mendes, Jorge; Saraiva, João AlexandreArtigoAcesso aberto
2011A Markov random walk under constraint for discovering overlapping communities in complex networksBaquero, Carlos; Dayou Liu; Bo Yang; Di Jin; Jie Liu; Dongxiao HeArtigoAcesso aberto
2014An approach for graphical user interface external bad smells detectionSilva, João Carlos; Campos, J. Creissac; Saraiva, João Alexandre; Silva, J. L.Artigo em ata de conferênciaAcesso aberto
2015Flow updating: fault-tolerant aggregation for dynamic networksJesus, Paulo Alexandre Marques; Baquero, Carlos; Almeida, Paulo SérgioArtigoAcesso aberto
2010Fault-tolerant aggregation for dynamic networksJesus, Paulo; Baquero, Carlos; Almeida, Paulo SérgioArtigo em ata de conferênciaAcesso aberto
31-40 de um total de 238 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir