Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 310 resultados (tempo de pesquisa: 0.015 segundos).
DataTítuloAutor(es)TipoAcesso
2013A kernel density estimate-based approach to component goodness modelingAbreu, Rui; Cardoso, NunoArtigo em ata de conferênciaAcesso aberto
2014An efficient distributed algorithm for computing minimal hitting setsAbreu, Rui; Cardoso, NunoArtigo em ata de conferênciaAcesso aberto
2012MDSheet: a framework for model-driven spreadsheet engineeringCunha, Jácome Miguel Costa; Fernandes, João Paulo; Mendes, Jorge; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
2010Agile, a structured editor, analyzer, metric evaluator, and transformer for attribute grammarsRocha, André; Santos, André; Rocha, Daniel; Silva, Hélder; Mendes, Jorge; Freitas, José; Coelho, Márcio; Regedor, Miguel; Cruz, Daniela; Henriques, Pedro RangelArtigo em ata de conferênciaAcesso aberto
2011Worldwide consensusMaia, Francisco; Matos, Miguel; Pereira, José; Oliveira, Rui Carlos Mendes deArtigo em ata de conferênciaAcesso aberto
2011Model checking a decentralized storage deduplication protocolPaulo, João; Pereira, JoséArtigo em ata de conferênciaAcesso aberto
Abr-2011Partial plant models in formal verification of industrial automation discrete systemsMachado, José Mendes; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2011FlexiXML : a portable user interface rendering engine for UsiXMLCampos, J. Creissac; Mendes, SandrineArtigo em ata de conferênciaAcesso aberto
17-Jul-2016Join decompositions for efficient synchronization of CRDTs after a network partition: [Work in progress report]Enes, Vitor; Baquero, Carlos; Almeida, Paulo Sérgio; Shoker, AliArtigo em ata de conferênciaAcesso 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
1-10 de um total de 310 resultados (tempo de pesquisa: 0.015 segundos).

Descobrir