output
20102026
most citedExperiences and Insights from Applying GQM+Strategies in a Systems Product Development Organisation

16 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2010Show all

1 paper · 1 filter

cs.CC2010★ 3 cited

Complexity classifications for different equivalence and audit problems for Boolean circuits

Elmar Böhler, Nadia Creignou, Matthias Galota +3

We study Boolean circuits as a representation of Boolean functions and consider different equivalence, audit, and enumeration problems. For a number of restricted sets of gate type…