Andreas Ganz
According to our database1,
Andreas Ganz
authored at least 5 papers
between 1997 and 2000.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2000
IGRAINE-an Implication GRaph-bAsed engINE for fast implication, justification, and propagation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000
1999
Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999
1997
J. Electron. Test., 1997
Object Orientation in Time Warp Simulation.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997
A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists.
Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997