BOLOGNESI, TOMMASO
BOLOGNESI, TOMMASO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Integrated information in process-algebraic compositions
2019 Bolognesi, T.
Exploring nominal cellular automata
2017 Bolognesi, T; Ciancia, V
Simple indicators for Lorentzian causets
2016 Bolognesi, T; Lamb, A
Teilhard de Chardin e Wolfram: modelli di universo computazionale ed emergenza del foglietto interno delle cose
2014 Bolognesi T.
Algorithmic causets
2011 Bolognesi, T
Building discrete spacetimes by simple deterministic computations
2010 Bolognesi T.
Causal sets from simple models of computation
2010 Bolognesi T.
A pseudo-random network mobile automaton with linear growth
2009 Bolognesi, T
Planar trinet dynamics with two rewrite rules
2008 Bolognesi T.
Behavioral complexity indicators for process algebra: the NKS approach
2007 Bolognesi T.
Planar trivalent network computation
2007 Bolognesi, T.
Process algebra under the light of Wolfram's NKS
2006 Bolognesi, T.
Special Section on St.Eve workshop - Introduction
2005 Tommaso Bolognesi ; John Derrick
Composing event constraints in state-based specification
2004 Bolognesi, T.
Predicates for state changes vs. processes for event patterns
2004 Bolognesi T.
Toward constraint-object-oriented development
2000 Bolognesi, T
A consistent causality based view on a timed process algebra including urgent interactions
1998 Kaoten, Jp; Latella, D; Langerak, R; Brinksma, E; Bolognesi, T
A layer on top of Prolog for composing behavioural constraints
1998 Bolognesi T.; Accordino F.
Constraint-oriented style for object-oriented formal specification
1998 Bolognesi T.; Derrick J.
Expressive flexibility of a constraint-oriented notation
1997 Bolognesi, T