BOLOGNESI, TOMMASO

BOLOGNESI, TOMMASO  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.019 secondi).
Titolo Data di pubblicazione Autore(i) File
Single-step and asymptotic mutual information in bipartite boolean nets 1-gen-2019 Bolognesi T.
LOTOS-like composition of boolean nets and causal set construction 1-gen-2017 Bolognesi, T
Humanity is much more than the sum of humans 1-gen-2016 Bolognesi, T
Let's consider two spherical chickens 1-gen-2016 Bolognesi T.
Spacetime computing: towards algorithmic causal sets with special-relativistic properties 1-gen-2016 Bolognesi T.
Algorithmic causal sets for a computational spacetime 1-gen-2013 Bolognesi, T
Do particles evolve? 1-gen-2013 Bolognesi T.
Correctness preserving transformations for the early phases of software development 1-gen-1995 BOLOGNESI T; DE FRUTOS D.; LANGERAK R.; LATELLA D.
GLOW 3.0 - A Graphical LOTOS Browser 1-gen-1995 Bolognesi, T; Caneve, M; Salvatori, E
A timed full LOTOS with time/action tree semantics 1-gen-1994 Bolognesi, T; Lucidi, F
Equivalence verification: theory, algorithms, and a tool 1-gen-1989 Bolognesi, T; Caneve, M
Introduction to the ISO Specification Language LOTOS 1-gen-1989 Bolognesi, T; Brinksma, E