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

Compositional bisimulation metric reasoning with Probabilistic Process Calculi

Gebler, Daniel ; Larsen, Kim G. ; Tini, Simone

Logical Methods in Computer Science, Volume 12, Issue 4 (April 27, 2017) lmcs:2627 [Periódico revisado por pares]

Texto completo disponível

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Equational Reasonings in Wireless Network Gossip Protocols

Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone

Logical Methods in Computer Science, Volume 14, Issue 3 (September 28, 2018) lmcs:4856 [Periódico revisado por pares]

Texto completo disponível

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

Logical Characterization of Trace Metrics

Castiglioni, Valentina ; Tini, Simone

EPTCS 250, 2017, pp. 39-74

Texto completo disponível

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

Towards a formal notion of impact metric for cyber-physical attacks (full version)

Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone

Texto completo disponível

5
Material Type:
Artigo
Adicionar ao Meu Espaço

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes

Castiglioni, Valentina ; Gebler, Daniel ; Tini, Simone Castiglioni, Valentina (Editor)

Logical Methods in Computer Science, 09 August 2018, Vol.14(2) [Periódico revisado por pares]

Texto completo disponível

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

Logical Characterization of Bisimulation Metrics

Castiglioni, Valentina ; Gebler, Daniel ; Tini, Simone

EPTCS 227, 2016, pp. 44-62

Texto completo disponível

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

A Probabilistic Calculus of Cyber-Physical Systems

Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Compositionality of Approximate Bisimulation for Probabilistic Systems

Gebler, Daniel ; Tini, Simone

EPTCS 120, 2013, pp. 32-46

Texto completo disponível

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

Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics

Pérez, Jorge A. ; Tini, Simone

EPTCS 276, 2018

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics

Peters, Kirstin ; Tini, Simone

EPTCS 255, 2017

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (4)

Data de Publicação 

De até
  1. Antes de2013  (1)
  2. 2013Até2013  (1)
  3. 2014Até2015  (1)
  4. 2016Até2017  (7)
  5. Após 2017  (3)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Tini, Simone
  2. Tini, S
  3. Gebler, Daniel
  4. Gebler, D
  5. Simone Tini

Buscando em bases de dados remotas. Favor aguardar.