Concepedia

Roberto Bruni

RB

38

Publications

1.3K

Citations

22

H-Index

1997

Active since

Affiliations

University of Pisa(Current)

SRI International

University of Padua

University of Verona

University of Sassari

Roberto Bruni is an author at University of Pisa specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSemanticsProgram AnalysisSoftware AnalysisSoftware DesignFormal Specification

Publications per year

1997–2023

38

Publications

38

Theoretical foundations for compensations in flow composition languages

Roberto Bruni, Hernán Melgratti, Ugo Montanari · 2005 · 200 citations

Engineering, Transactional Calculi, Transaction Processing +16

Semantic foundations for generalized rewrite theories

Roberto Bruni, José Meseguer · Theoretical Computer Science · 2006 · 151 citations

Semantic Foundations, Engineering, Automated Reasoning +7

A basic algebra of stateless connectors

Roberto Bruni, Ivan Lanese, Ugo Montanari · Theoretical Computer Science · 2006 · 71 citations

Quantum Science, Quantum Algebra, Basic Algebra +2

Zero-Safe Nets: Comparing the Collective and Individual Token Approaches

Roberto Bruni, Ugo Montanari · Information and Computation · 2000 · 58 citations

Trustworthy Computing, Engineering, Zero-safe Nets +8

Tile Logic for Synchronized Rewriting of Concurrent Systems

Roberto Bruni · 1999 · 43 citations

Rows per page

1–5 of 38