TOMMASO BOLOGNESI

Type

• Persona (Classe)

Label

• TOMMASO BOLOGNESI (literal)
• TOMMASO BOLOGNESI (literal)

Subject

• Theoretical computer science (Categoria DBpedia)
• Formal methods (Categoria DBpedia)

Partecipa a commessa

• Partecipazione a Commessa "Biologia Computazionale" (INT.P02.003) di DOTT. TOMMASO BOLOGNESI nell'anno 2007 (Partecipazione a commessa)
• Partecipazione a Commessa "Biologia Computazionale" (INT.P02.003) di DOTT. TOMMASO BOLOGNESI nell'anno 2008 (Partecipazione a commessa)
• Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. TOMMASO BOLOGNESI nell'anno 2006 (Partecipazione a commessa)
• Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. TOMMASO BOLOGNESI nell'anno 2007 (Partecipazione a commessa)
• Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. TOMMASO BOLOGNESI nell'anno 2008 (Partecipazione a commessa)

Persona in rapporto

• Employment relationship with CNR of DOTT. TOMMASO BOLOGNESI (Rapporto con CNR)

Autore CNR di

• Introductory paper - Special section on St.Eve workshop (Altre pubblicazioni) (Prodotto della ricerca)
• Simple indicators for Lorentzian causets (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
• Formal Methods for Distributed System Development (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• A pseudo-random network mobile automaton with linear growth (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Correctness preserving transformations for the early phases of software development (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• A consistent causality based view on a timed process algebra including urgent interactions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Algorithmic causal sets for a computational spacetime (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• L'algoritmo dell'universo (Prodotti multimediali) (Prodotto della ricerca)
• Predicates for state changes vs. processes for event patterns (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Behavioral complexity indicators for process algebra: the NKS approach (Articolo in rivista) (Prodotto della ricerca)
• XXL - CNR/RSTL (Progetti) (Prodotto della ricerca)
• Reality is Ultimately Digital and its Program is still Undebugged (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Do particles evolve? (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Remarks on Turbo ASMs for Functional Equations and Recursion Schemes (Articolo in rivista) (Prodotto della ricerca)
• Planar trinet dynamics with two rewrite rules (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• On state-oriented vs. event-oriented thinking in formal behavioural specifications (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
• A pseudo-random network mobile automaton with linear growth (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Abstract State Processes (Contributo in atti di convegno) (Prodotto della ricerca)
• Algorithmic causets (Articolo in rivista) (Prodotto della ricerca)
• Building discrete spacetimes by simple deterministic computations (Articolo in rivista) (Prodotto della ricerca)
• Simple indicators for Lorentzian causets (v2) (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Planar trinet dynamics with two rewrite rules (Articolo in rivista) (Prodotto della ricerca)
• Planar trivalent network computation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Composing event constraints in state-based specification (Contributo in atti di convegno) (Prodotto della ricerca)
• Stochastic and algorithmic causal sets for de sitter spacetime (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Abstract State Processes (Articolo in rivista) (Prodotto della ricerca)
• Planar trivalent network computation (Articolo in rivista) (Prodotto della ricerca)
• Composing event constraints in state-based specification (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Causal sets from simple models of computation (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
• Special Section on St.Eve workshop - Introduction (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A conceptual framework for state-based and event-based formal behavioural specification languages (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Teilhard de Chardin e Wolfram: modelli di universo computazionale ed emergenza del foglietto interno delle cose (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Humanity is much more than the sum of humans (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Causal sets from simple models of computation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)

Coautore

• MAURICE HENRI TER BEEK (Unità di personale interno)
• PAOLO GENTILI (Persona)
• FRANCESCA NICOLINI (Persona)
• MIEKE MASSINK (Persona)
• DIEGO LATELLA (Persona)
• GIAN MARIO SCANU (Persona)
• STEFANIA GNESI (Persona)

Nome

• TOMMASO (literal)

Cognome

• BOLOGNESI (literal)

Afferisce a

• Institute of information science and technologies \"Alessandro Faedo\" (ISTI) (Istituto)

Incoming links:

Coautore

• MIEKE MASSINK (Persona)
• DIEGO LATELLA (Persona)
• STEFANIA GNESI (Persona)
• MAURICE HENRI TER BEEK (Unità di personale interno)
• FRANCESCA NICOLINI (Persona)
• PAOLO GENTILI (Persona)
• GIAN MARIO SCANU (Persona)

Ha afferente

• Institute of information science and technologies \"Alessandro Faedo\" (ISTI) (Istituto)

Partecipazione di

• Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. TOMMASO BOLOGNESI nell'anno 2007 (Partecipazione a commessa)
• Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. TOMMASO BOLOGNESI nell'anno 2006 (Partecipazione a commessa)
• Partecipazione a Commessa "Biologia Computazionale" (INT.P02.003) di DOTT. TOMMASO BOLOGNESI nell'anno 2008 (Partecipazione a commessa)
• Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DOTT. TOMMASO BOLOGNESI nell'anno 2008 (Partecipazione a commessa)
• Partecipazione a Commessa "Biologia Computazionale" (INT.P02.003) di DOTT. TOMMASO BOLOGNESI nell'anno 2007 (Partecipazione a commessa)

Rapporto con persona

• Employment relationship with CNR of DOTT. TOMMASO BOLOGNESI (Rapporto con CNR)

Autore CNR

• Composing event constraints in state-based specification (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A pseudo-random network mobile automaton with linear growth (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Predicates for state changes vs. processes for event patterns (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Planar trinet dynamics with two rewrite rules (Articolo in rivista) (Prodotto della ricerca)
• Planar trivalent network computation (Articolo in rivista) (Prodotto della ricerca)
• Abstract State Processes (Articolo in rivista) (Prodotto della ricerca)
• Causal sets from simple models of computation (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Behavioral complexity indicators for process algebra: the NKS approach (Articolo in rivista) (Prodotto della ricerca)
• Remarks on Turbo ASMs for Functional Equations and Recursion Schemes (Articolo in rivista) (Prodotto della ricerca)
• A conceptual framework for state-based and event-based formal behavioural specification languages (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Introductory paper - Special section on St.Eve workshop (Altre pubblicazioni) (Prodotto della ricerca)
• On state-oriented vs. event-oriented thinking in formal behavioural specifications (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (Prodotto della ricerca)
• XXL - CNR/RSTL (Progetti) (Prodotto della ricerca)
• Planar trinet dynamics with two rewrite rules (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• A pseudo-random network mobile automaton with linear growth (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1715)
• Causal sets from simple models of computation (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)
• Abstract State Processes (Contributo in atti di convegno) (Prodotto della ricerca)
• Special Section on St.Eve workshop - Introduction (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Reality is Ultimately Digital and its Program is still Undebugged (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Building discrete spacetimes by simple deterministic computations (Articolo in rivista) (Prodotto della ricerca)
• Composing event constraints in state-based specification (Contributo in atti di convegno) (Prodotto della ricerca)
• Algorithmic causets (Articolo in rivista) (Prodotto della ricerca)
• Planar trivalent network computation (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• A consistent causality based view on a timed process algebra including urgent interactions (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Correctness preserving transformations for the early phases of software development (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Formal Methods for Distributed System Development (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• Algorithmic causal sets for a computational spacetime (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Do particles evolve? (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
• Stochastic and algorithmic causal sets for de sitter spacetime (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
• Teilhard de Chardin e Wolfram: modelli di universo computazionale ed emergenza del foglietto interno delle cose (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• L'algoritmo dell'universo (Prodotti multimediali) (Prodotto della ricerca)
• Humanity is much more than the sum of humans (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
• Simple indicators for Lorentzian causets (v2) (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
• Simple indicators for Lorentzian causets (Rapporti tecnici/preprint/working paper) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1730)

Http://www.w3.org/2004/02/skos/core#isSubjectOf

• Theoretical computer science (Categoria DBpedia)
• Formal methods (Categoria DBpedia)