skip to main content
Idioma:
Refinado por: tipo de recurso: Book Chapters remover IngentaConnect Journals remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Fast Bisimulation Algorithm
A Fast Bisimulation Algorithm
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Fast Bisimulation Algorithm

Dovier, Agostino ; Piazza, Carla ; Policriti, Alberto Berry, Gérard ; Finkel, Alain ; Comon, Hubert

Computer Aided Verification, 2001, p.79-90 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Distinctness and Sharing Domains for Static Analysis of Java Programs
Distinctness and Sharing Domains for Static Analysis of Java Programs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Distinctness and Sharing Domains for Static Analysis of Java Programs

Pollet, Isabelle ; Le Charlier, Baudouin ; Cortesi, Agostino Knudsen, Jørgen Lindskov

ECOOP 2001 — Object-Oriented Programming, 2001, p.77-98 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Abstracting Cryptographic Protocols with Tree Automata
Abstracting Cryptographic Protocols with Tree Automata
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Abstracting Cryptographic Protocols with Tree Automata

Monniaux, David Filé, Gilberto ; Cortesi, Agostino

Lecture notes in computer science, 1999, p.149-163 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Polyhedral Analysis for Synchronous Languages
Polyhedral Analysis for Synchronous Languages
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Polyhedral Analysis for Synchronous Languages

Besson, Frédéric ; Jensen, Thomas ; Talpin, Jean-Pierre Filé, Gilberto ; Cortesi, Agostino

Lecture notes in computer science, 1999, p.51-68 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Decomposing Non-redundant Sharing by Complementation
Decomposing Non-redundant Sharing by Complementation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Decomposing Non-redundant Sharing by Complementation

Zaffanella, Enea ; Hill, Patricia M. ; Bagnara, Roberto Filé, Gilberto ; Cortesi, Agostino

Lecture notes in computer science, 1999, p.69-84 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Eliminating Dead Code on Recursive Data
Eliminating Dead Code on Recursive Data
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Eliminating Dead Code on Recursive Data

Liu, Yanhong A. ; Stoller, Scott D. Filé, Gilberto ; Cortesi, Agostino

Lecture notes in computer science, 1999, p.211-231 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.