| Multi-valued decision diagrams: Theory and applications T Kam Multiple-Valued Logic 4 (1), 9-62, 1998 | 332 | 1998 |
| Introduction: people and their pasts and public history today H Kean, P Ashton People and their pasts: Public history today, 1-20, 2009 | 278* | 2009 |
| Reducing structural bias in technology mapping S Chatterjee, A Mishchenko, RK Brayton, X Wang, T Kam IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006 | 200 | 2006 |
| Coverage estimation for symbolic model checking Y Hoskote, T Kam, PH Ho, X Zhao Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 300-305, 1999 | 200 | 1999 |
| Synthesis of finite state machines: functional optimization T Kam, T Villa, RK Brayton, AL Sangiovanni-Vincentelli Springer Science & Business Media, 2013 | 142 | 2013 |
| Introduction: the development of Arendt’s political thought D Villa The Cambridge Companion to Hannah Arendt 2, 1-21, 2000 | 130 | 2000 |
| Synthesis of finite state machines: logic optimization T Villa, T Kam, RK Brayton, AL Sangiovanni-Vincentelli Springer Science & Business Media, 2012 | 124 | 2012 |
| HSIS: A BDD-based environment for formal verification A Aziz, F Balarin, ST Cheng, R Hojati, T Kam, SC Krishnan, RK Ranjan, ... Proceedings of the 31st annual Design Automation Conference, 454-459, 1994 | 105 | 1994 |
| A fully implicit algorithm for exact state minimization T Kam, T Villa, R Brayton, A Sangiovanni-Vincentelli Proceedings of the 31st annual Design Automation Conference, 684-690, 1994 | 100 | 1994 |
| Verification of all circuits in a floating-point unit using word-level model checking YA Chen, E Clarke, PH Ho, Y Hoskote, T Kam, M Khaira, J O'Leary, ... International Conference on Formal Methods in Computer-Aided Design, 19-33, 1996 | 80 | 1996 |
| A new enhanced constructive decomposition and mapping algorithm A Mishchenko, X Wang, T Kam Proceedings of the 40th annual Design Automation Conference, 143-148, 2003 | 71 | 2003 |
| Explicit and implicit algorithms for binate covering problems T Villa, T Kam, RK Brayton, AL Sangiovanni-Vincenteili IEEE Transactions on computer-Aided Design of integrated Circuits and …, 1997 | 69 | 1997 |
| Multi-valued decision diagrams TY Kam, RK Brayton Electronics Research Laboratory, College of Engineering, University of …, 1990 | 69 | 1990 |
| Automatic pipelining from transactional datapath specifications E Nurvitadhi, JC Hoe, T Kam, SLL Lu IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2011 | 47 | 2011 |
| Formal verification of pipeline control using controlled token nets and abstract interpretation PH Ho, AJ Isles, T Kam Proceedings of the 1998 IEEE/ACM international conference on Computer-aided …, 1998 | 44 | 1998 |
| OS-level power minimization under tight performance constraints in general purpose systems R Ayoub, U Ogras, E Gorbatov, Y Jin, T Kam, P Diefenbaugh, T Rosing IEEE/ACM International Symposium on Low Power Electronics and Design, 321-326, 2011 | 43 | 2011 |
| Correct-by-construction microarchitectural pipelining T Kam, M Kishinevsky, J Cortadella, M Galceran-Oms 2008 IEEE/ACM International Conference on Computer-Aided Design, 434-441, 2008 | 40 | 2008 |
| Comparing layouts with HDL models: A formal verification technique T Kam, PA Subrahmanyam IEEE transactions on computer-aided design of integrated circuits and …, 1995 | 39 | 1995 |
| Thermal throttling of electronic devices TY Kam, S Ahuja, R Agarwal, A Sodani, J Suh, M Chinthamani US Patent 10,275,001, 2019 | 34 | 2019 |
| Technology mapping with Boolean matching, supergates and choices A Mishchenko, S Chatterjee, R Brayton, X Wang, T Kam Berkeley Logic Synthesis and Verification Group, 2005 | 32 | 2005 |
Tiziano VillaProfessore d'informatica, Universita' di VeronaПотвърден имейл адрес: univr.it
