skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings

International B Conference (7th 2007 Besan con, France) Jacques Julliand; Olga Kouchnarenko

OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870

Berlin Springer New York c2006

Acesso online. A biblioteca também possui exemplares impressos.

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Component-based Systems Reconfigurations Using Graph Grammars

O. Kouchnarenko ; J.-F. Weber

Modelirovanie i Analiz Informacionnyh Sistem, 01 December 2016, Vol.23(6), pp.804-825 [Periódico revisado por pares]

Texto completo disponível

3
Material Type:
Artigo
Adicionar ao Meu Espaço

A rule-based system for automatic decidability and combinability

Tushkanova, E. ; Giorgetti, A. ; Ringeissen, C. ; Kouchnarenko, O.

Science of Computer Programming, March 1, Vol.99, p.3(21) [Periódico revisado por pares]

Texto completo disponível

4
Material Type:
Artigo
Adicionar ao Meu Espaço

The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard

Héam, P. -C ; Hugot, V. ; Kouchnarenko, O.

Texto completo disponível

5
Material Type:
Artigo
Adicionar ao Meu Espaço

A rule-based system for automatic decidability and combinability

Tushkanova, E ; Giorgetti, A ; Ringeissen, C ; Kouchnarenko, O

Science of Computer Programming, 01 March 2015, Vol.99, pp.3-23 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

The emptiness problem for tree automata with at least one global disequality constraint is NP-hard

Héam, P.-C ; Hugot, V ; Kouchnarenko, O

Information Processing Letters, February 2017, Vol.118, pp.6-9 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

Test Generation from Event System Abstractions to Cover Their States and Transitions

Julliand, J. ; Kouchnarenko, O. ; Masson, P. ; Voiron, G.

Programming and Computer Software, 2018, Vol.44(1), pp.1-14 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
8
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Event-based adaptation policies for Fractal components

Dormoy, J ; Kouchnarenko, O

ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010, May 2010, pp.1-8

Texto completo disponível

9
A model for recursive-parallel programs
Material Type:
Artigo
Adicionar ao Meu Espaço

A model for recursive-parallel programs

Kouchnarenko, O ; Schnoebelen, P

Electronic Notes in Theoretical Computer Science, 04/2000, Vol.5, p.1 [Periódico revisado por pares]

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

Handling Left-Quadratic Rules When Completing Tree Automata

Boichut, Y ; Courbis, R ; Héam, P.-C ; Kouchnarenko, O

Electronic Notes in Theoretical Computer Science, 26 December 2008, Vol.223, pp.61-70 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (8)
  2. Anais de Congresso  (2)
  3. Livros  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2006  (2)
  2. 2006Até2009  (2)
  3. 2010Até2014  (2)
  4. 2015Até2017  (4)
  5. Após 2017  (1)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.