skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: Business Source Complete (EB_SDU_P3) remover Nome da Publicação: Theory Of Computing Systems remover Springer Nature - Springer Journals All 2022 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Verification of Quantum Computation: An Overview of Existing Approaches
Verification of Quantum Computation: An Overview of Existing Approaches
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification of Quantum Computation: An Overview of Existing Approaches

Gheorghiu, Alexandru ; Kapourniotis, Theodoros ; Kashefi, Elham

Theory of computing systems, 2019-05, Vol.63 (4), p.715-808 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
2
A Framework for Memory Efficient Context-Sensitive Program Analysis
A Framework for Memory Efficient Context-Sensitive Program Analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Framework for Memory Efficient Context-Sensitive Program Analysis

Hedenborg, Mathias ; Lundberg, Jonas ; Löwe, Welf ; Trapp, Martin

Theory of computing systems, 2022-10, Vol.66 (5), p.911-956 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
3
Dependences in Strategy Logic
Dependences in Strategy Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dependences in Strategy Logic

Gardy, Patrick ; Bouyer, Patricia ; Markey, Nicolas

Theory of computing systems, 2020-04, Vol.64 (3), p.467-507 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
4
International Colloquium on Automata, Languages and Programming (ICALP 2020)
International Colloquium on Automata, Languages and Programming (ICALP 2020)
Material Type:
Artigo 		Adicionar ao Meu Espaço

International Colloquium on Automata, Languages and Programming (ICALP 2020)

Dawar, Anuj

Theory of computing systems, 2024-07 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
Lower Bounds on the Amortized Time Complexity of Shared Objects
Lower Bounds on the Amortized Time Complexity of Shared Objects
Material Type:
Artigo 		Adicionar ao Meu Espaço

Lower Bounds on the Amortized Time Complexity of Shared Objects

Attiya, Hagit ; Fouren, Arie ; Ko, Jeremy

Theory of computing systems, 2024-07 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
6
Cluster Editing for Multi-Layer and Temporal Graphs
Cluster Editing for Multi-Layer and Temporal Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Cluster Editing for Multi-Layer and Temporal Graphs

Chen, Jiehua ; Molter, Hendrik ; Sorge, Manuel ; Suchý, Ondřej

Theory of computing systems, 2024-07 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
7
Good r-divisions Imply Optimal Amortized Decremental Biconnectivity
Good r-divisions Imply Optimal Amortized Decremental Biconnectivity
Material Type:
Artigo 		Adicionar ao Meu Espaço

Good r-divisions Imply Optimal Amortized Decremental Biconnectivity

Holm, Jacob ; Rotenberg, Eva

Theory of computing systems, 2024-06 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
8
Minimum Cut in $$O(m\log ^2 n)$$ Time
Minimum Cut in $$O(m\log ^2 n)$$ Time
Material Type:
Artigo 		Adicionar ao Meu Espaço

Minimum Cut in $$O(m\log ^2 n)$$ Time

Gawrychowski, Paweł ; Mozes, Shay ; Weimann, Oren

Theory of computing systems, 2024-06 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
9
What Goes Around Comes Around: Covering Tours and Cycle Covers with Turn Costs
What Goes Around Comes Around: Covering Tours and Cycle Covers with Turn Costs
Material Type:
Artigo 		Adicionar ao Meu Espaço

What Goes Around Comes Around: Covering Tours and Cycle Covers with Turn Costs

Fekete, Sándor P. ; Krupke, Dominik

Theory of computing systems, 2024-06 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
10
Prediction and MDL for infinite sequences
Prediction and MDL for infinite sequences
Material Type:
Artigo 		Adicionar ao Meu Espaço

Prediction and MDL for infinite sequences

Milovanov, Alexey

Theory of computing systems, 2024-05 [Periódico revisado por pares]

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 de2001  (139)
  2. 2001Até2006  (194)
  3. 2007Até2012  (439)
  4. 2013Até2019  (540)
  5. Após 2019  (257)
  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.