skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.213-229 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
2
From Secrecy to Authenticity in Security Protocols
From Secrecy to Authenticity in Security Protocols
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

From Secrecy to Authenticity in Security Protocols

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.342-359 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
3
Static Confidentiality Enforcement for Distributed Programs
Static Confidentiality Enforcement for Distributed Programs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Static Confidentiality Enforcement for Distributed Programs

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.376-394 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
4
An Improved Constraint-Based System for the Verification of Security Protocols
An Improved Constraint-Based System for the Verification of Security Protocols
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An Improved Constraint-Based System for the Verification of Security Protocols

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.326-341 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
5
An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages
An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.180-195 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
6
More Precise Yet Efficient Type Inference for Logic Programs
More Precise Yet Efficient Type Inference for Logic Programs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

More Precise Yet Efficient Type Inference for Logic Programs

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.102-116 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
7
A Few Graph-Based Relational Numerical Abstract Domains
A Few Graph-Based Relational Numerical Abstract Domains
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Few Graph-Based Relational Numerical Abstract Domains

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.117-132 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
8
Pipeline Modeling for Timing Analysis
Pipeline Modeling for Timing Analysis
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Pipeline Modeling for Timing Analysis

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.294-309 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
9
Polynomial Constants Are Decidable
Polynomial Constants Are Decidable
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Polynomial Constants Are Decidable

Hermenegildo, Manuel ; Puebla, German

Lecture notes in computer science, 2002, Vol.2477, p.4-19 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
10
Automated Verification of Concurrent Linked Lists with Counters
Automated Verification of Concurrent Linked Lists with Counters
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automated Verification of Concurrent Linked Lists with Counters

Hermenegildo, Manuel ; Puebla, German

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

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (64)

Data de Publicação 

De até
Refinar
  1. Antes de1995  (1)
  2. 1995Até2001  (31)
  3. 2002Até2014  (33)
  4. 2015Até2018  (16)
  5. Após 2018  (1)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.