Brian Keng
According to our database1,
Brian Keng
authored at least 16 papers
between 2008 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the 34th Canadian Conference on Artificial Intelligence, 2021
2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
2018
Proceedings of the 2018 IEEE International Conference on Data Mining Workshops, 2018
Multivariate Arrival Times with Recurrent Neural Networks for Personalized Demand Forecasting.
Proceedings of the 2018 IEEE International Conference on Data Mining Workshops, 2018
2014
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014
2013
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013
2012
Automated debugging of missing input constraints in a formal verification environment.
Proceedings of the Formal Methods in Computer-Aided Design, 2012
Non-solution implications using reverse domination in a modern SAT-based debugging environment.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
2011
Proceedings of the Design, Automation and Test in Europe, 2011
Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011
Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011
2010
Proceedings of the 11th International Workshop on Microprocessor Test and Verification, 2010
Automated silicon debug data analysis techniques for a hardware data acquisition environment.
Proceedings of the 11th International Symposium on Quality of Electronic Design (ISQED 2010), 2010
2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
2008
Proceedings of the 2008 International Conference on Computer-Aided Design, 2008