Alberto Griggio

Computational Theory and Mathematics · 2013–2014

A researcher in the Science corpus: 2 papers; trusts 4 researchers and is trusted by 2 researchers here, as inferred from the citation graph.

Subfields

• Computational Theory and Mathematics — 12 citations into it; #10,728 of 12,182 by trust here, #7,501 by citations
• Software — 8 citations into it
• Artificial Intelligence — 7 citations into it; #30,722 of 35,345 by trust here, #26,682 by citations

Whom Alberto Griggio trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Niklas Eén
2. Niklas Sörensson

Who trusts Alberto Griggio overall

1. Aws Albarghouthi
2. Yuxin Wang

Papers from Alberto Griggio's perspective

Ordered by how strongly the researchers Alberto Griggio trusts endorse each paper. Same corpus, a different order for every researcher.

1. Interpolation and SAT-Based Model Checking (International Conference on Computer Aided Verification)
2. SAT-Based Model Checking without Unrolling (International Conference on Verification, Model Checking and Abstract Interpretation)
3. Checking Safety Properties Using Induction and a SAT-Solver (Formal Methods in Computer-Aided Design)
4. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
5. Satisfiability Modulo Theories
6. Counterexample-guided abstraction refinement for symbolic model checking (JACM)
7. I and J
8. NuSMV 2: An OpenSource Tool for Symbolic Model Checking (International Conference on Computer Aided Verification)
9. The MathSAT5 SMT Solver (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
10. Cha : Engineering an e cient SAT solver (Design Automation Conference)

Their papers

• The MathSAT5 SMT Solver (2013) — 563 citations
• The nuXmv Symbolic Model Checker (2014) — 552 citations