The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Roberto Bruttomesso" ( http://dblp.L3S.de/Authors/Roberto_Bruttomesso )

  Author page on DBLP  Author page in RDF  Community of Roberto Bruttomesso in ASPL-2

Publication years (Num. hits)
2005-2010 (17) 2011-2014 (15)
Publication types (Num. hits)
article(10) inproceedings(22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 33 publication records. Showing 32 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise Quantifier-free interpolation in combinations of equality interpolating theories. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich Resolution proof transformation for compression and interpolation. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina An extension of lazy abstraction with interpolation for programs with arrays. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Simone Fulvio Rollini, Roberto Bruttomesso, Natasha Sharygina, Aliaksei Tsitovich Resolution Proof Transformation for Compression and Interpolation. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise Quantifier-Free Interpolation of a Theory of Arrays Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise From Strong Amalgamability to Modularity of Quantifier-Free Interpolation Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina Lazy Abstraction with Interpolants for Arrays. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina SAFARI: SMT-Based Abstraction for Arrays with Interpolants. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Alberto Griggio Broadening the Scope of SMT-COMP: the Application Track. Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters The 2012 SMT Competition. Search on Bibsonomy SMT@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise From Strong Amalgamability to Modularity of Quantifier-Free Interpolation. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina Reachability Modulo Theory Library. Search on Bibsonomy SMT@IJCAR The full citation details ... 2012 DBLP  BibTeX  RDF
1Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi, Silvio Ranise Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise Rewriting-based Quantifier-free Interpolation for a Theory of Arrays. Search on Bibsonomy RTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Edgar Pek, Natasha Sharygina A flexible schema for generating explanations in lazy theory propagation. Search on Bibsonomy MEMOCODE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Simone Rollini, Natasha Sharygina, Aliaksei Tsitovich Flexible interpolation with local proof transformations. Search on Bibsonomy ICCAD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich The OpenSMT Solver. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Simone Rollini, Roberto Bruttomesso, Natasha Sharygina An Efficient and Flexible Approach to Resolution Proof Reduction. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Natasha Sharygina A scalable decision procedure for fixed-width bit-vectors. Search on Bibsonomy ICCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani The MathSAT 4SMT Solver. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti Verifying Heap-Manipulating Programs in an SMT Framework. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani Encoding RTL Constructs for MathSAT: a Preliminary Report. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani Efficient theory combination via boolean search. Search on Bibsonomy Inf. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF ÈT). Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Satisfiability module theory, Integrated decision procedures, Linear arithmetic logic, Propositional satisfiability
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani Efficient Satisfiability Modulo Theories via Delayed Theory Combination. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani The MathSAT 3 System. Search on Bibsonomy CADE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #32 of 32 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license