Simon Außerlechner
According to our database1,
Simon Außerlechner
authored at least 5 papers
between 2013 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
2016
0
1
2
3
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Hall Effect Devices with Three Terminals: Their Magnetic Sensitivity and Offset Cancellation Scheme.
J. Sensors, 2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
2015
Proceedings of the Testing Software and Systems, 2015
2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
2013
The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets.
Proceedings of the 2013 13th International Conference on Quality Software, 2013