skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: Elsevier ScienceDirect Journals remover Nome da Publicação: Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Quantum cryptography: Public key distribution and coin tossing
Quantum cryptography: Public key distribution and coin tossing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Quantum cryptography: Public key distribution and coin tossing

Bennett, Charles H. ; Brassard, Gilles

Theoretical computer science, 2014-12, Vol.560, p.7-11 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
2
Bounds on the burning numbers of spiders and path-forests
Bounds on the burning numbers of spiders and path-forests
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bounds on the burning numbers of spiders and path-forests

Bonato, Anthony ; Lidbetter, Thomas

Theoretical computer science, 2019-11, Vol.794, p.12-19 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
3
Physical zero-knowledge proof for Ripple Effect
Physical zero-knowledge proof for Ripple Effect
Material Type:
Artigo 		Adicionar ao Meu Espaço

Physical zero-knowledge proof for Ripple Effect

Ruangwises, Suthee ; Itoh, Toshiya

Theoretical computer science, 2021-12, Vol.895, p.115-123 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
4
Robustness of temporal logic specifications for continuous-time signals
Robustness of temporal logic specifications for continuous-time signals
Material Type:
Artigo 		Adicionar ao Meu Espaço

Robustness of temporal logic specifications for continuous-time signals

Fainekos, Georgios E. ; Pappas, George J.

Theoretical computer science, 2009-09, Vol.410 (42), p.4262-4291 [Periódico revisado por pares]

Oxford: Elsevier B.V

Texto completo disponível

Citações Citado por
5
Fast dynamic programming for locally checkable vertex subset and vertex partitioning problems
Fast dynamic programming for locally checkable vertex subset and vertex partitioning problems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fast dynamic programming for locally checkable vertex subset and vertex partitioning problems

Bui-Xuan, Binh-Minh ; Telle, Jan Arne ; Vatshelle, Martin

Theoretical computer science, 2013-11, Vol.511, p.66-76 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Interval iteration algorithm for MDPs and IMDPs
Interval iteration algorithm for MDPs and IMDPs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Interval iteration algorithm for MDPs and IMDPs

Haddad, Serge ; Monmege, Benjamin

Theoretical computer science, 2018-07, Vol.735, p.111-131 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Branch-and-reduce exponential/FPT algorithms in practice: A case study of vertex cover
Branch-and-reduce exponential/FPT algorithms in practice: A case study of vertex cover
Material Type:
Artigo 		Adicionar ao Meu Espaço

Branch-and-reduce exponential/FPT algorithms in practice: A case study of vertex cover

Akiba, Takuya ; Iwata, Yoichi

Theoretical computer science, 2016-01, Vol.609, p.211-225 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Using quantum key distribution for cryptographic purposes: A survey
Using quantum key distribution for cryptographic purposes: A survey
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using quantum key distribution for cryptographic purposes: A survey

Alléaume, R. ; Branciard, C. ; Bouda, J. ; Debuisschert, T. ; Dianati, M. ; Gisin, N. ; Godfrey, M. ; Grangier, P. ; Länger, T. ; Lütkenhaus, N. ; Monyk, C. ; Painchault, P. ; Peev, M. ; Poppe, A. ; Pornin, T. ; Rarity, J. ; Renner, R. ; Ribordy, G. ; Riguidel, M. ; Salvail, L. ; Shields, A. ; Weinfurter, H. ; Zeilinger, A.

Theoretical computer science, 2014-12, Vol.560 (1), p.62-81 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Efficient card-based zero-knowledge proof for Sudoku
Efficient card-based zero-knowledge proof for Sudoku
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient card-based zero-knowledge proof for Sudoku

Sasaki, Tatsuya ; Miyahara, Daiki ; Mizuki, Takaaki ; Sone, Hideaki

Theoretical computer science, 2020-11, Vol.839, p.135-142 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Arbitrary pattern formation on infinite grid by asynchronous oblivious robots
Arbitrary pattern formation on infinite grid by asynchronous oblivious robots
Material Type:
Artigo 		Adicionar ao Meu Espaço

Arbitrary pattern formation on infinite grid by asynchronous oblivious robots

Bose, Kaustav ; Adhikary, Ranendu ; Kundu, Manash Kumar ; Sau, Buddhadeb

Theoretical computer science, 2020-05, Vol.815, p.213-227 [Periódico revisado por pares]

Elsevier B.V

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.   

Data de Publicação 

De até
Refinar
  1. Antes de1984  (310)
  2. 1984Até1993  (1.613)
  3. 1994Até2003  (3.431)
  4. 2004Até2014  (5.482)
  5. Após 2014  (4.055)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (14.877)
  2. Japonês  (718)
  3. Francês  (17)
  4. Russo  (3)
  5. Alemão  (2)
  6. Interlingue  (1)
  7. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.