by D'Silva, V., Kroening, D., Weissenbacher, G.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.07.2008)

by Hasanbeig, M., Kantaros, Y., Abate, A., Kroening, D., Pappas, G. J., Lee, I.
Published in 2019 IEEE 58th Conference on Decision and Control (CDC) (01.12.2019)

by Zinovik, I., Chebiryak, Y., Kroening, D.
Published in IEEE transactions on information theory (01.02.2010)

by Zinovik, I., Kroening, D., Chebiryak, Y.
Published in IEEE transactions on information theory (01.04.2008)

by Jain, H., Kroening, D., Sharygina, N., Clarke, E.M.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.02.2008)

by Himanshu Jain, Kroening, D., Sharygina, N., Clarke, E.
Published in Proceedings. 42nd Design Automation Conference, 2005 (2005)

by Kroening, Daniel, Paul, Wolfgang J.
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation (01.01.2001)

by Kroening, D., Sharygina, N.
Published in Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design (01.01.2005)

by Chauhan, Pankaj, Clarke, Edmund M., Kroening, Daniel
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 41st annual conference on Design automation; 07-11 June 2004 (07.06.2004)

by Kroening, Daniel
Year of Publication 2008

by Clarke, E.M., Kroening, D., Yorav, K.
Published in Proceedings 21st International Conference on Computer Design (2003)

by David, Cristina, Kesseli, Pascal, Kroening, Daniel, Lewis, Matt
Published in ACM transactions on programming languages and systems (28.05.2018)

by Clarke, Edmund, Kroening, Daniel, Sharygina, Natasha, Yorav, Karen
Published in Lecture notes in computer science (2005)

by Chockler, H., Kroening, D., Purandare, M.
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.05.2012)

by He, Nannan, Rümmer, Philipp, Kroening, Daniel
Published in 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC) (05.06.2011)

by Zinovik, I, Kroening, D, Chebiryak, Y
Published in IEEE transactions on information theory (01.04.2008)

by Clarke, Edmund, Kroening, Daniel, Sharygina, Natasha, Yorav, Karen
Published in Formal methods in system design (01.09.2004)

by Guilfoyle, Richard A., Leeck, Charles L., Kroening, K. Dubear, Smith, Lloyd M., Guo, Zhen
Published in Nucleic acids research (01.05.1997)

by Clarke, Edmund, Kroening, Daniel, Yorav, Karen
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 40th conference on Design automation; 02-06 June 2003 (02.06.2003)

by Kroening, Daniel, Clarke, Edmund
Published in IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004 (07.11.2004)