المؤلفون: Sinn, M., Zuleger, F., Veith, H.

المصدر: 2015 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2015. :144-151 Sep, 2015

Relation: 2015 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Samer, M., Veith, H.

المصدر: 12th International Symposium on Temporal Representation and Reasoning (TIME'05) Temporal Representation and Reasoning Temporal Representation and Reasoning, 2005. TIME 2005. 12th International Symposium on. :156-165 2005

Relation: Proceedings. 12th International Symposium on Temporal Representation and Reasoning

المؤلفون: Chaki, S., Clarke, E., Groce, A., Jha, S., Veith, H.

المصدر: 25th International Conference on Software Engineering, 2003. Proceedings. Software engineering Software Engineering, 2003. Proceedings. 25th International Conference on. :385-395 2003

Relation: IEEE 25th International Conference on Software Engineering

المؤلفون: Clarke, E., Jha, S., Yuan Lu, Veith, H.

المصدر: Proceedings 17th Annual IEEE Symposium on Logic in Computer Science Logic in computer science Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on. :19-29 2002

Relation: Proceedings 17th Annual IEEE Symposium on Logic in Computer Science

المؤلفون: Chauhan, P., Clarke, E.M., Jha, S., Kukula, J., Shiple, T., Veith, H., Wang, D.

المصدر: IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281) Computer aided design Computer Aided Design, 2001. ICCAD 2001. IEEE/ACM International Conference on. :293-298 2001

Relation: IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers

المؤلفون: Campailla, A., Chaki, S., Clarke, E., Jha, S., Veith, H.

المصدر: Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 Software engineering. ICSE 2001 Software Engineering, 2001. ICSE 2001. Proceedings of the 23rd International Conference on. :443-452 2001

Relation: Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001

المؤلفون: Veith, H.

المصدر: Proceedings. Thirteenth Annual IEEE Conference on Computational Complexity (Formerly: Structure in Complexity Theory Conference) (Cat. No.98CB36247) Computational complexity Computational Complexity, 1998. Proceedings. Thirteenth Annual IEEE Conference on. :122-131 1998

Relation: Proceedings Thirteenth Annual IEEE Conference on Computational Complexity (Formerly: Structure in Complexity Theory Conference)

المؤلفون: Veith, H.

المصدر: Proceedings of Computational Complexity (Formerly Structure in Complexity Theory) Computational complexity Computational Complexity, 1996. Proceedings., Eleventh Annual IEEE Conference on. :118-126 1996

Relation: Proceedings of Computational Complexity (Formerly Structure in Complexity Theory)

المؤلفون: Chaki, S., Clarke, E.M., Groce, A., Jha, S., Veith, H.

المصدر: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 30(6):388-402 Jun, 2004

المؤلفون: Jha, S., Katzenbeisser, S., Schallhart, C., Veith, H., Chenney, S.

المصدر: 2007 IEEE Symposium on Security and Privacy (SP '07) Security and Privacy, 2007. SP '07. IEEE Symposium on. :179-186 May, 2007

Relation: 2007 IEEE Symposium on Security and Privacy