most citedSpreadsheet Assurance by "Control Around" is a Viable Alternative to the Traditional Approach

2 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

2 papers

math.OC2017

Bounds on entanglement dimensions and quantum graph parameters via noncommutative polynomial optimization

Sander Gribling, David de Laat, Monique Laurent

In this paper we study bipartite quantum correlations using techniques from tracial noncommutative polynomial optimization. We construct a hierarchy of semidefinite programming low…

cs.SE2008★ 2 cited

Spreadsheet Assurance by "Control Around" is a Viable Alternative to the Traditional Approach

Harmen Ettema, Paul Janssen, Jacques de Swart

The traditional approach to spreadsheet auditing generally consists of auditing every distinct formula within a spreadsheet. Although tools are developed to support auditors during…