Moisés Castelo Branco

OOPSLA Companion · 2009

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Moisés Castelo Branco trusts overall

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

  1. Don S. Batory
  2. Marcílio Mendonça
  3. Krzysztof Czarnecki

Who trusts Moisés Castelo Branco overall

  1. Thomas Thüm

Papers from Moisés Castelo Branco's perspective

Ordered by how strongly the researchers Moisés Castelo Branco trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Feature Models, Grammars, and Propositional Formulas (Software Product Lines Conference)
  2. Generative Programming: Methods, Tools, and Applications
  3. Software Product Lines: Practices and Patterns
  4. SAT-based analysis of feature models is easy (Software Product Lines Conference)
  5. Reasoning about edits to feature models (2009 IEEE 31st International Conference on Software Engineering)
  6. Verifying feature-based model templates against well-formedness OCL constraints (International Conference on Generative Programming: Concepts and Experiences)
  7. Mapping features to models: a template approach based on superimposed variants (International Conference on Generative Programming: Concepts and Experiences)
  8. Scaling step-wise refinement (IEEE Transactions on Software Engineering)
  9. The complexity of theorem-proving procedures
  10. Phase Transitions in Artificial Intelligence Systems

Their papers