skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Process algebra and probabilistic methods performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Process algebra and probabilistic methods performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

PAPM-PROBMIV 2001 (2001 Aachen, Germany) Luca De Alfaro 1966-; Stephen Gilmore 1962-

Berlin Springer-Verlag New York c2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2165 ) e outros locais(Acessar)

2
CONCUR 2005 -- concurrency theory 16th international conference, CONCUR 2005, San Francisco, CA, USA August 23-26, 2005 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

CONCUR 2005 -- concurrency theory 16th international conference, CONCUR 2005, San Francisco, CA, USA August 23-26, 2005 : proceedings

International Conference on Concurrency Theory (16th 2005 San Francisco, Calif.) Mart in Abadi; Luca De Alfaro 1966

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

3
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Material Type:
Livro
Adicionar ao Meu Espaço

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

PAPM-PROBMIV 2001 Luca De Alfaro; Stephen Gilmore

Springer Berlin Heidelberg 2001

Acesso online

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Reputation systems for open collaboration

De Alfaro, Luca ; Kulshreshtha, Ashutosh ; Pye, Ian ; Adler, B

Communications of the ACM, 01 August 2011, Vol.54(8), pp.81-87 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

The Gene Wiki in 2011: community intelligence applied to human gene annotation

Good, Benjamin M ; Clarke, Erik L ; De Alfaro, Luca ; Su, Andrew I

Nucleic acids research, January 2012, Vol.40(Database issue), pp.D1255-61 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

Neural Networks with Structural Resistance to Adversarial Attacks

De Alfaro, Luca

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

Solving games via three-valued abstraction refinement

de Alfaro, Luca ; Roy, Pritam

Information and Computation, 2010, Vol.208(6), pp.666-676 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
8
Material Type:
Artigo
Adicionar ao Meu Espaço

CrowdGrader: Crowdsourcing the Evaluation of Homework Assignments

De Alfaro, Luca ; Shavlovsky, Michael

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

CrowdGrader: A Tool For Crowdsourcing the Evaluation of Homework Assignments

de Alfaro, Luca ; Shavlovsky, Michael

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

TrueReview: A Platform For Post-Publication Peer Review

de Alfaro, Luca ; Faella, Marco

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (61)
  2. Relatórios Técnicos  (25)
  3. Livros  (5)
  4. Recursos Textuais  (5)
  5. Anais de Congresso  (3)
  6. Book Chapters  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2000  (12)
  2. 2000Até2003  (8)
  3. 2004Até2007  (19)
  4. 2008Até2012  (21)
  5. Após 2012  (41)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.