Luca Pulina

Artificial Intelligence · 2010–2012

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

Subfields

Whom Luca Pulina 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
  6. G. Zhang
  7. Sibylle D. Müller
  8. Albert Oliveras
  9. Cesare Tinelli
  10. Petros Koumoutsakos

Who trusts Luca Pulina 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 Luca Pulina's perspective

Ordered by how strongly the researchers Luca Pulina 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. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  5. Neural Networks: A Comprehensive Foundation
  6. Neural networks for classification: a survey (IEEE Trans. Syst. Man Cybern. Part C)
  7. Empirical evaluation of the improved Rprop learning algorithms
  8. Neural Networks and Their Applications
  9. Counterexample-guided abstraction refinement for symbolic model checking (JACM)
  10. A machine program for theorem-proving (CACM)

Their papers