| Real options in information technology risk management: An empirical validation of risk-option relationships M Benaroch, Y Lichtenstein, K Robinson MIS quarterly, 827-864, 2006 | 279 | 2006 |
| Test program generation for functional verification of PowerPC processors in IBM A Aharon, D Goodman, M Levinger, Y Lichtenstein, Y Malka, C Metzger, ... Proceedings of the 32nd Annual ACM/IEEE Design Automation Conference, 279-285, 1995 | 268 | 1995 |
| Business familiarity as risk mitigation in software development outsourcing contracts D Gefen, S Wyss, Y Lichtenstein MIS quarterly, 531-551, 2008 | 262 | 2008 |
| Coverage-directed test generation using symbolic techniques D Geist, M Farkas, A Landver, Y Lichtenstein, S Ur, Y Wolfsthal Formal Methods in Computer-Aided Design: First International Conference …, 2005 | 127 | 2005 |
| Puzzles in software development contracting Y Lichtenstein Communications of the ACM 47 (2), 61-65, 2004 | 90 | 2004 |
| Contract design choices and the balance of ex ante and ex post transaction costs in software development outsourcing M Benaroch, Y Lichtenstein, L Fink MIS quarterly 40 (1), 57-82, 2016 | 79 | 2016 |
| Fully abstract denotational semantics for Concurrent Prolog R Gerth, M Codish, Y Lichtenstein, E Shapiro Proc. of the Third IEEE Symposium on Logic In Computer Science, 320-335, 1988 | 78 | 1988 |
| Industrial experience with test generation languages for processor verification M Behm, J Ludden, Y Lichtenstein, M Rimon, M Vinov Proceedings of the 41st annual Design Automation Conference, 36-40, 2004 | 72 | 2004 |
| Designing scalable digital business models J Jin Zhang, Y Lichtenstein, J Gander Emerald Group Publishing Limited, 2015 | 69 | 2015 |
| Test program generator A Aharon, Y Malka, Y Lichtenstein US Patent 6,006,028, 1999 | 67 | 1999 |
| Method for measuring architectural test coverage for design verification and building conformal test A Aharon, L Fournier, A Gluska, Y Lichtenstein, Y Malka US Patent 5,724,504, 1998 | 64 | 1998 |
| Abstract algorithmic debugging Y Lichtenstein, E Shapiro Proceedings of the 5th Logic Programming: International Conference and Symposium, 1988 | 44 | 1988 |
| Model-based test generation for processor design verification Y Lichtenstein, Y Malka, A Aharon Innovative Applications of Artificial Intelligence (IAAI), 1994 | 33 | 1994 |
| The limits of risk management: A social construction approach BC Stahl, Y Lichtenstein, A Mangan Communications of the International Information Management Association 3 (3 …, 2003 | 31 | 2003 |
| Concurrent algorithmic debugging Y Lichtenstein, E Shapiro ACM SIGPLAN Notices 24 (1), 248-260, 1988 | 26 | 1988 |
| Model based test generation for processor verification Y Lichtenstein, Y Malka, A Aharon Proceedings of the American Association of AI's 6th Innovative Applications …, 1994 | 22 | 1994 |
| Testing concurrent programs: a formal evaluation of coverage criteria M Factor, E Farchi, Y Lichtenstein, Y Malka Proceedings of the Seventh Israeli Conference on Computer Systems and …, 1996 | 21 | 1996 |
| Why project size matters for contract choice in software development outsourcing L Fink, Y Lichtenstein ACM SIGMIS Database: the DATABASE for Advances in Information Systems 45 (3 …, 2014 | 20 | 2014 |
| Ex post adaptations and hybrid contracts in software development services L Fink, Y Lichtenstein, S Wyss Applied Economics 45 (32), 4533-4544, 2013 | 20 | 2013 |
| Looking for the locus of innovation in new service development I Ginzburg, A Higgins, Y Lichtenstein 2007 40th Annual Hawaii International Conference on System Sciences (HICSS …, 2007 | 20 | 2007 |
Michel BenarochWhitman School of Management, Syracuse UniversityVerified email at syr.edu
