skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedings
CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedings

International Conference on Concurrency Theory (14th 2003 Marseille, France) Roberto M Amadio; Denis Lugiez

Berlin Springer New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2761 )(Acessar)

2
CONCUR 2003 - Concurrency Theory
CONCUR 2003 - Concurrency Theory
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR 2003 - Concurrency Theory

International Conference on Concurrency Theory Roberto M Amadio; Denis Lugiez

Springer Berlin Heidelberg 2003

Acesso online

3
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings

Amadio, Roberto ; Lugiez, Denis Lugiez, Denis ; Amadio, Roberto

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
4
FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER
FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER
Material Type:
Artigo 		Adicionar ao Meu Espaço

FORWARD ANALYSIS OF DYNAMIC NETWORK OF PUSHDOWN SYSTEMS IS EASIER WITHOUT ORDER

LUGIEZ, DENIS

International journal of foundations of computer science, 2011-06, Vol.22 (4), p.843-862 [Periódico revisado por pares]

World Scientific Publishing Company

Texto completo disponível

Citações Citado por
5
The Element of Surprise in Timed Games
The Element of Surprise in Timed Games
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The Element of Surprise in Timed Games

de Alfaro, Luca ; Faella, Marco ; Henzinger, Thomas A. ; Majumdar, Rupak ; Stoelinga, Mariëlle Lugiez, Denis ; Amadio, Roberto

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Multitree automata that count
Multitree automata that count
Material Type:
Artigo 		Adicionar ao Meu Espaço

Multitree automata that count

Lugiez, Denis

Theoretical computer science, 2005-03, Vol.333 (1), p.225-263 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
Complexity of modal logics with Presburger constraints
Complexity of modal logics with Presburger constraints
Material Type:
Artigo 		Adicionar ao Meu Espaço

Complexity of modal logics with Presburger constraints

Demri, Stéphane ; Lugiez, Denis

Journal of applied logic, 2010-09, Vol.8 (3), p.233-252 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Model Checking a Path
Model Checking a Path
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Model Checking a Path

Markey, N. ; Schnoebelen, P. Lugiez, Denis ; Amadio, Roberto

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Presburger Modal Logic Is PSPACE-Complete
Presburger Modal Logic Is PSPACE-Complete
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Presburger Modal Logic Is PSPACE-Complete

Demri, Stéphane ; Lugiez, Denis Furbach, Ulrich ; Shankar, Natarajan

Automated Reasoning, 2006, p.541-556 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
10
Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order
Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order

Lugiez, Denis Bournez, Olivier ; Potapov, Igor

Reachability Problems, p.127-140 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (38)
  2. Book Chapters  (20)
  3. Artigos  (15)
  4. Reports  (9)
  5. Livros  (5)
  6. Dissertações  (3)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1993  (4)
  2. 1993Até1999  (8)
  3. 2000Até2003  (47)
  4. 2004Até2008  (19)
  5. Após 2008  (8)
  6. Mais opções open sub menu

Idioma 

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