skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Refinado por: Nome da Publicação: Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Scheduling with timed automata
Scheduling with timed automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Scheduling with timed automata

Abdeddaı¨m, Yasmina ; Asarin, Eugene ; Maler, Oded

Theoretical computer science, 2006-01, Vol.354 (2), p.272-300 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
12
Verifying time complexity of Turing machines
Verifying time complexity of Turing machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verifying time complexity of Turing machines

Gajser, David

Theoretical computer science, 2015-10, Vol.600, p.86-97 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
13
Passively mobile communicating machines that use restricted space
Passively mobile communicating machines that use restricted space
Material Type:
Artigo 		Adicionar ao Meu Espaço

Passively mobile communicating machines that use restricted space

Chatzigiannakis, Ioannis ; Michail, Othon ; Nikolaou, Stavros ; Pavlogiannis, Andreas ; Spirakis, Paul G.

Theoretical computer science, 2011-10, Vol.412 (46), p.6469-6483 [Periódico revisado por pares]

Oxford: Elsevier B.V

Texto completo disponível

Citações Citado por
14
DLS-trees : A model of evolutionary scenarios
DLS-trees : A model of evolutionary scenarios
Material Type:
Artigo 		Adicionar ao Meu Espaço

DLS-trees : A model of evolutionary scenarios

GORECKI, Paweł ; TIURYN, Jerzy

Theoretical computer science, 2006-08, Vol.359 (1-3), p.378-399 [Periódico revisado por pares]

Amsterdam: Elsevier

Texto completo disponível

Citações Citado por
15
Complete axiomatization and decidability of Alternating-time temporal logic
Complete axiomatization and decidability of Alternating-time temporal logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Complete axiomatization and decidability of Alternating-time temporal logic

Goranko, Valentin ; van Drimmelen, Govert

Theoretical computer science, 2006-03, Vol.353 (1), p.93-117 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
16
Algebraic topology and concurrency
Algebraic topology and concurrency
Material Type:
Artigo 		Adicionar ao Meu Espaço

Algebraic topology and concurrency

Fajstrup, Lisbeth ; Raußen, Martin ; Goubault, Eric

Theoretical computer science, 2006-07, Vol.357 (1), p.241-278 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
17
On some derivation mechanisms and the complexity of their Szilard languages
On some derivation mechanisms and the complexity of their Szilard languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

On some derivation mechanisms and the complexity of their Szilard languages

Cojocaru, Liliana ; Mäkinen, Erkki

Theoretical computer science, 2014-06, Vol.537, p.87-96 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
18
On simulating Turing machines with matrix semigroups with integrality tests
On simulating Turing machines with matrix semigroups with integrality tests
Material Type:
Artigo 		Adicionar ao Meu Espaço

On simulating Turing machines with matrix semigroups with integrality tests

Halava, Vesa ; Niskanen, Reino

Theoretical computer science, 2024-07, Vol.1005, Article 114637 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
19
Quantum automata and quantum grammars
Quantum automata and quantum grammars
Material Type:
Artigo 		Adicionar ao Meu Espaço

Quantum automata and quantum grammars

Moore, Cristopher ; Crutchfield, James P.

Theoretical computer science, 2000-04, Vol.237 (1), p.275-306 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
20
Conversation protocols: a formalism for specification and verification of reactive electronic services
Conversation protocols: a formalism for specification and verification of reactive electronic services
Material Type:
Artigo 		Adicionar ao Meu Espaço

Conversation protocols: a formalism for specification and verification of reactive electronic services

Fu, Xiang ; Bultan, Tevfik ; Su, Jianwen

Theoretical computer science, 2004-11, Vol.328 (1), p.19-37 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
previous page 1 Resultados 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 de1990  (92)
  2. 1990Até1999  (222)
  3. 2000Até2007  (509)
  4. 2008Até2016  (73)
  5. Após 2016  (13)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (900)
  2. Japonês  (36)
  3. Francês  (11)
  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.