Alexander Finder
According to our database1,
Alexander Finder
authored at least 10 papers
between 2010 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Microprocess. Microsystems, 2016
2014
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014
2013
Debugging HDL designs based on functional equivalences with high-level specifications.
Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
2012
Proceedings of the Hardware and Software: Verification and Testing, 2012
Proceedings of the 49th Annual Design Automation Conference 2012, 2012
2011
Proceedings of the Applications of Evolutionary Computation, 2011
2010
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010
Evaluating Debugging Algorithms from a Qualitative Perspective.
Proceedings of the 2010 Forum on specification & Design Languages, 2010