skip to main content
Idioma:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Analyzing security protocols with secrecy types and logic programs
Analyzing security protocols with secrecy types and logic programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Analyzing security protocols with secrecy types and logic programs

Abadi, Martín ; Blanchet, Bruno

Journal of the ACM, 2005-01, Vol.52 (1), p.102-146 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
2
Analyzing security protocols with secrecy types and logic programs
Analyzing security protocols with secrecy types and logic programs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Analyzing security protocols with secrecy types and logic programs

Abadi, Martín ; Blanchet, Bruno

Annual Symposium on Principles of Programming Languages: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages : Portland, Oregon; 16-18 Jan. 2002, 2002, p.33-44

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
3
Deciding knowledge in security protocols under equational theories
Deciding knowledge in security protocols under equational theories
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deciding knowledge in security protocols under equational theories

Abadi, Martín ; Cortier, Véronique

Theoretical computer science, 2006-11, Vol.367 (1), p.2-32 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
4
Mobile values, new names, and secure communication
Mobile values, new names, and secure communication
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Mobile values, new names, and secure communication

Abadi, Martín ; Fournet, Cédric

Annual Symposium on Principles of Programming Languages: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages : London, United Kingdom, 2001, p.104-115

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
5
Even Simple π-Calculus Processes Are Difficult to Analyze
Even Simple π-Calculus Processes Are Difficult to Analyze
Material Type:
Artigo 		Adicionar ao Meu Espaço

Even Simple π-Calculus Processes Are Difficult to Analyze

Abbas, M. M. ; Zakharov, V. A.

Automatic control and computer sciences, 2019-12, Vol.53 (7), p.573-583 [Periódico revisado por pares]

Moscow: Pleiades Publishing

Texto completo disponível

Citações Citado por
6
High-rate x-ray spectroscopy in mammography with a CdTe detector: A digital pulse processing approach
High-rate x-ray spectroscopy in mammography with a CdTe detector: A digital pulse processing approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

High-rate x-ray spectroscopy in mammography with a CdTe detector: A digital pulse processing approach

Abbene, L. ; Gerardi, G. ; Principato, F. ; Del Sordo, S. ; Ienzi, R. ; Raso, G.

Medical physics (Lancaster), 2010-12, Vol.37 (12), p.6147-6156 [Periódico revisado por pares]

United States: American Association of Physicists in Medicine

Texto completo disponível

Citações Citado por
7
Direct measurement of mammographic X-ray spectra with a digital CdTe detection system
Direct measurement of mammographic X-ray spectra with a digital CdTe detection system
Material Type:
Artigo 		Adicionar ao Meu Espaço

Direct measurement of mammographic X-ray spectra with a digital CdTe detection system

Abbene, Leonardo ; Gerardi, Gaetano ; Principato, Fabio ; Del Sordo, Stefano ; Raso, Giuseppe

Sensors (Basel, Switzerland), 2012-06, Vol.12 (6), p.8390-8404 [Periódico revisado por pares]

Switzerland: MDPI AG

Texto completo disponível

Citações Citado por
8
Simple Algorithm for Simple Timed Games
Simple Algorithm for Simple Timed Games
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Simple Algorithm for Simple Timed Games

Abdeddaim, Y. ; Asarin, E. ; Sighireanu, M.

2009 16th International Symposium on Temporal Representation and Reasoning, 2009, p.99-106

IEEE

Texto completo disponível

Citações Citado por
9
Word Equations and Related Topics: Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings
Word Equations and Related Topics: Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Word Equations and Related Topics: Second International Workshop, IWWERT '91 Rouen, France, October 7–9, 1991 Proceedings

Abdulrab, Habib ; Pécuchet, Jean-Pierre Abdulrab, Habib ; Pécuchet, Jean-Pierre

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

Citações Citado por
10
Towards Practical Typechecking for Macro Forest Transducers
Towards Practical Typechecking for Macro Forest Transducers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards Practical Typechecking for Macro Forest Transducers

Abe, Kazuhiro ; Nakano, Keisuke

Journal of Information Processing, 2017, Vol.25, pp.962-974

Tokyo: Information Processing Society of Japan

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1959  (271)
  2. 1959Até1975  (102)
  3. 1976Até1991  (116)
  4. 1992Até2008  (459)
  5. Após 2008  (620)
  6. Mais opções open sub menu

Idioma 

  1. Francês  (860)
  2. Inglês  (794)
  3. Japonês  (49)
  4. Alemão  (13)
  5. Espanhol  (5)
  6. Italiano  (3)
  7. Latim  (2)
  8. Norueguês  (1)
  9. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.