Marcílio Mendonça
OOPSLA Companion · 2009
A researcher in the Science corpus: 2 papers; trusts 3 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Whom Marcílio Mendonça trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Don S. Batory
- Krzysztof Czarnecki
- Thomas Thüm
- Andrzej Wasowski
- Ulrich W. Eisenecker
- Bernardo A. Huberman
Who trusts Marcílio Mendonça overall
- Sven Apel
- Christian Kästner
- David Benavides
- Thomas Thüm
- Sergio Segura
- Moisés Castelo Branco
- Patrick Heymans
Papers from Marcílio Mendonça's perspective
Ordered by how strongly the researchers Marcílio Mendonça trusts endorse each paper. Same corpus, a different order for every researcher.
- Feature Models, Grammars, and Propositional Formulas (Software Product Lines Conference)
- Reasoning about edits to feature models (2009 IEEE 31st International Conference on Software Engineering)
- Generative Programming: Methods, Tools, and Applications
- Software Product Lines: Practices and Patterns
- SAT-based analysis of feature models is easy (Software Product Lines Conference)
- The complexity of theorem-proving procedures
- Phase Transitions in Artificial Intelligence Systems
- A machine program for theorem-proving (CACM)
- Mapping features to models: a template approach based on superimposed variants (International Conference on Generative Programming: Concepts and Experiences)
- Verifying feature-based model templates against well-formedness OCL constraints (International Conference on Generative Programming: Concepts and Experiences)
Their papers
- SAT-based analysis of feature models is easy (2009) — 340 citations
- S.P.L.O.T.: software product lines online tools (2009) — 343 citations