skip to main content
Idioma:
previous page 3 4 Resultados 5 6 7 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
41
On the symbolic reduction of processes with cryptographic functions
On the symbolic reduction of processes with cryptographic functions
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the symbolic reduction of processes with cryptographic functions

Amadio, Roberto M. ; Lugiez, Denis ; Vanackère, Vincent

Theoretical computer science, 2003, Vol.290 (1), p.695-740 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
42
Modeling Consensus in a Process Calculus
Modeling Consensus in a Process Calculus
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Modeling Consensus in a Process Calculus

Nestmann, Uwe ; Fuzzati, Rachele ; Merro, Massimo

CONCUR 2003 - Concurrency Theory, 2003, p.399-414 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
43
Comparative Branching-Time Semantics for Markov Chains
Comparative Branching-Time Semantics for Markov Chains
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Comparative Branching-Time Semantics for Markov Chains

Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena

CONCUR 2003 - Concurrency Theory, 2003, p.492-507 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
44
Netcharts: Bridging the Gap between HMSCs and Executable Specifications
Netcharts: Bridging the Gap between HMSCs and Executable Specifications
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Netcharts: Bridging the Gap between HMSCs and Executable Specifications

Mukund, Madhavan ; Kumar, K. Narayan ; Thiagarajan, P. S.

CONCUR 2003 - Concurrency Theory, 2003, p.296-310 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
45
Decidable first-order transition logics for PA-processes
Decidable first-order transition logics for PA-processes
Material Type:
Artigo 		Adicionar ao Meu Espaço

Decidable first-order transition logics for PA-processes

Lugiez, Denis ; Schnoebelen, Philippe

Information and computation, 2005-11, Vol.203 (1), p.75-113 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

Citações Citado por
46
Distributed Monitoring of Concurrent and Asynchronous Systems
Distributed Monitoring of Concurrent and Asynchronous Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Distributed Monitoring of Concurrent and Asynchronous Systems

Benveniste, Albert ; Haar, Stefan ; Fabre, Eric ; Jard, Claude

CONCUR 2003 - Concurrency Theory, 2003, p.1-26 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
47
Fast Hensel's lifting implementation using partial fraction decomposition
Fast Hensel's lifting implementation using partial fraction decomposition
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fast Hensel's lifting implementation using partial fraction decomposition

Lugiez, D.

Discrete mathematics, 1985, Vol.56 (2), p.217-225 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
48
Heuristic bivariate lifting
Heuristic bivariate lifting
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Heuristic bivariate lifting

Lugiez, D.

Algebraic Algorithms and Error-Correcting Codes, 1986, p.385-391 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
49
Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management
Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management

Bouajjani, Ahmed ; Habermehl, Peter ; Vojnar, Tomáš

CONCUR 2003 - Concurrency Theory, 2003, p.174-190 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
50
An Extension of Pushdown System and Its Model Checking Method
An Extension of Pushdown System and Its Model Checking Method
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An Extension of Pushdown System and Its Model Checking Method

Nitta, Naoya ; Seki, Hiroyuki

CONCUR 2003 - Concurrency Theory, 2003, p.281-295 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
previous page 3 4 Resultados 5 6 7 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (35)
  2. Artigos  (32)
  3. Book Chapters  (20)
  4. Livros  (2)
  5. Dissertações  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (6)
  2. 1988Até1997  (7)
  3. 1998Até2002  (12)
  4. 2003Até2008  (53)
  5. Após 2008  (12)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (84)
  2. Francês  (7)
  3. Japonês  (4)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.