Concepedia

Roberto Bruttomesso

RB

12

Publications

358

Citations

11

H-Index

2005

Active since

Affiliations

Università della Svizzera italiana(Current)

University of Milan

University of Trento

Fondazione Bruno Kessler

Construction Technologies Institute

Roberto Bruttomesso is an author at Università della Svizzera italiana specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationVerificationProgram AnalysisProof ComplexitySoftware AnalysisApproximation Theory

Publications per year

2005–2014

12

Publications

12

MathSAT: Tight Integration of SAT and Mathematical Decision Procedures

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti et al. · Journal of Automated Reasoning · 2005 · 77 citations

Mathematical Programming, Decision Procedure, Engineering +6

Efficient theory combination via boolean search

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti et al. · Information and Computation · 2006 · 64 citations

Circuit Complexity, Engineering, Boolean Function +7

Encoding RTL Constructs for MathSAT: a Preliminary Report

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti et al. · Electronic Notes in Theoretical Computer Science · 2006 · 39 citations · Full text

An extension of lazy abstraction with interpolation for programs with arrays

Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi et al. · Formal Methods in System Design · 2014 · 29 citations

Engineering, Generic Programming, Program Analysis +13

Quantifier-Free Interpolation of a Theory of Arrays

Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise · Logical Methods in Computer Science · 2012 · 28 citations · Full text

Computational Logic, Array Computing, Engineering +15

Rows per page

1–5 of 12