Tudor Antoniu

Publications3
h-index2
Citations182
Highly Influential Citations13
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • M. Burnett
  • 268 Publications, 8,774 Citations
  • S. Krishnamurthi
  • 282 Publications, 7,670 Citations
  • G. Rothermel
  • 239 Publications, 17,980 Citations
  • M. Erwig
  • 201 Publications, 4,966 Citations
  • Publications
  • Influence
A type system for statically detecting spreadsheet errors
TLDR
We describe a methodology for detecting user errors in spreadsheets, using the notion of units as our basic elements of checking. Expand
  • 96
  • 7
  • PDF
Validating the unit correctness of spreadsheet programs
TLDR
We describe XeLda, our tool for unit checking Excel spreadsheets. Expand
  • 86
  • 6
  • PDF
Statically Finding Errors in Spreadsheets
We describe a methodology for detecting user errors in spreadsheets, using the notion of units as our basic elements of checking. We define the concept of a header and discuss two types of… Expand