Armando Tacchella

Computational Theory and Mathematics · 2002–2012

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

Subfields

• Computational Theory and Mathematics — 11 citations into it; #717 of 12,182 by trust here, #1,667 by citations
• Artificial Intelligence — 9 citations into it; #4,513 of 35,345 by trust here, #11,921 by citations
• Computer Networks and Communications — 5 citations into it
• Model Architectures — 5 citations into it

Whom Armando Tacchella trusts overall

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

1. Christian Igel
2. Robert Nieuwenhuis
3. Edmund M. Clarke
4. Kurt Hornik
5. Michael Hüsken

Who trusts Armando Tacchella overall

1. Souradeep Dutta
2. Guy Katz
3. Nicholas Carlini
4. Chih-Hong Cheng
5. Clark W. Barrett
6. Susmit Jha
7. Weiming Xiang
8. Xiaowei Huang
9. Sriram Sankaranarayanan
10. Jin Xu

Papers from Armando Tacchella's perspective

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

1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
2. Reducing the Time Complexity of the Derandomized Evolution Strategy with Covariance Matrix Adaptation (CMA-ES)
3. Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure (Journal on Satisfiability, Boolean Modeling and Computation)
4. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
5. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
6. Neural networks for classification: a survey (IEEE Trans. Syst. Man Cybern. Part C)
7. Neural Networks: A Comprehensive Foundation
8. Empirical evaluation of the improved Rprop learning algorithms
9. Counterexample-guided abstraction refinement for symbolic model checking (JACM)
10. Neural Networks and Their Applications

Their papers

• An Abstraction-Refinement Approach to Verification of Artificial Neural Networks (2010) — 308 citations
• Challenging SMT solvers to verify neural networks (2012) — 135 citations
• NuSMV 2: An OpenSource Tool for Symbolic Model Checking (2002) — 1,709 citations
• Nusmv version 2: an opensource tool for symbolic model checking (2002) — 460 citations