skip to main content
Mostrar Somente
Refinado por: autor: Gabbrielli, Maurizio remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Dynamic Choreographies: Theory And Implementation

Dalla Preda, Mila ; Gabbrielli, Maurizio ; Giallorenzo, Saverio ; Lanese, Ivan ; Mauro, Jacopo

Logical Methods in Computer Science, 03 May 2017, Vol.13, pp.1-57 [Periódico revisado por pares]

Texto completo disponível

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

Developing correct, distributed, adaptive software

Dalla Preda, Mila ; Gabbrielli, Maurizio ; Giallorenzo, Saverio ; Lanese, Ivan ; Mauro, Jacopo

Science of Computer Programming, 2015 [Periódico revisado por pares]

Texto completo disponível

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

Unfolding for CHR programs

Gabbrielli, Maurizio ; Meo, Maria Chiara ; Tacchella, Paolo ; Wiklicky, Herbert

Theory and Practice of Logic Programming 15 (2015) 264-311 [Periódico revisado por pares]

Texto completo disponível

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Applied Choreographies

Giallorenzo, Saverio ; Montesi, Fabrizio ; Gabbrielli, Maurizio

Texto completo disponível

5
Material Type:
Artigo
Adicionar ao Meu Espaço

Solving XCSP problems by using Gecode

Morara, Massimo ; Mauro, Jacopo ; Gabbrielli, Maurizio

Texto completo disponível

6
Material Type:
Artigo
Adicionar ao Meu Espaço

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

Preda, Mila Dalla ; Giallorenzo, Saverio ; Lanese, Ivan ; Mauro, Jacopo ; Gabbrielli, Maurizio

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications

Preda, Mila Dalla ; Gabbrielli, Maurizio ; Giallorenzo, Saverio ; Lanese, Ivan ; Mauro, Jacopo

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach

Bistarelli, Stefano ; Gabbrielli, Maurizio ; Meo, Maria Chiara ; Santini, Francesco

Theory and Practice of Logic Programming 15 (2014) 743-782 [Periódico revisado por pares]

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Slicing Concurrent Constraint Programs

Falaschi, Moreno ; Gabbrielli, Maurizio ; Olarte, Carlos ; Palamidessi, Catuscia

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

Unfolding in CHR

Gabbrielli, Maurizio ; Meo, Maria Chiara ; Tacchella, Paolo

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (6)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (15)
  2. Book Chapters  (1)
  3. Mais opções open sub menu

Data de Publicação 

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

Buscando em bases de dados remotas. Favor aguardar.