| Modeling and verification of cache coherence protocols L Ivanov, R Nunna ISCAS 2001. The 2001 IEEE International Symposium on Circuits and Systems …, 2001 | 40 | 2001 |
| Modeling and analysis of noniterated systems: an approach based upon series-parallel posets L Ivanov, R Nunna, S Bloom 1999 IEEE International Symposium on Circuits and Systems (ISCAS) 1, 404-406, 1999 | 17 | 1999 |
| Formal Verification: A New Partial Order Approach L Ivanov, R Nunna Twelfth Annual IEEE International ASIC/SOC Conference (Cat. No. 99TH8454), 32-36, 1999 | 13 | 1999 |
| Specification and formal verification of interconnect bus protocols L Ivanov, R Nunna Proceedings of the 43rd IEEE Midwest Symposium on Circuits and Systems (Cat …, 2000 | 12 | 2000 |
| Formal Verification with Series-Parallel Posets of Globally-Iterated Locally-Non-Iterated Systems L Ivanov, R Nunna Proceedings. of MWSCAS 99, 1999 | 12 | 1999 |
| The I-phone/I-pad course: a small college perspective L Ivanov Journal of Computing Sciences in Colleges 26 (6), 142-148, 2011 | 10 | 2011 |
| The N-body problem throughout the computer science curriculum L Ivanov J. Comput. Small Coll 22 (6), 43-52, 2007 | 10 | 2007 |
| Formal Verification of a Microprocessor Control L Ivanov Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems …, 2001 | 10 | 2001 |
| Modeling and verification of iterated systems and protocols L Ivanov, R Nunna Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems …, 2001 | 10 | 2001 |
| Modeling and Verification of an Interconnect Bus Protocol L Ivanov, R Nunna Proc. of MWSCAS’00, 2000 | 10 | 2000 |
| Examining the Thomas Paine corpus: automated computer authorship attribution methodology applied to Thomas Paine’s writings G Berton, S Petrovic, L Ivanov, R Schiaffino New Directions in Thomas Paine Studies, 31-47, 2016 | 9 | 2016 |
| Authorship attribution of Thomas Paine works S Petrovic, G Berton, R Schiaffino, L Ivanov International Conference on Data Mining DMIN 14, 182-188, 2014 | 9 | 2014 |
| A new look at parallel computing in the computer science curriculum L Ivanov, H Hadimioglu, M Hoffman Journal of Computing Sciences in Colleges, Consortium for Computing Sciences …, 2008 | 8 | 2008 |
| A Hardware/software simulator to unify courses in the computer science curriculum L Ivanov, JS Mallozzi Journal of Computing Sciences in Colleges 19 (5), 238-248, 2004 | 8 | 2004 |
| " Bully": A Virtual Reality Environment for Anti-Bullying Education. L Ivanov, N Ramos FLAIRS, 312-316, 2020 | 7 | 2020 |
| Lexical stress-based authorship attribution with accurate pronunciation patterns selection L Ivanov, A Aebig, S Meerman International Conference on Text, Speech, and Dialogue, 67-75, 2018 | 7 | 2018 |
| Using lexical stress in authorship attribution of historical texts L Ivanov, S Petrovic International Conference on Text, Speech, and Dialogue, 105-113, 2015 | 7 | 2015 |
| Attribution of 18th century political writings using machine learning S Petrovic, G Berton, S Campbell, L Ivanov J. Technol. Soc 11 (3), 1-13, 2015 | 7 | 2015 |
| A hardware lab for the computer organization course at small colleges L Ivanov Journal of Computing Sciences in Colleges 19 (2), 185-190, 2003 | 7 | 2003 |
| Modeling and Verification of a Pipelined CPU L Ivanov The 2002 45th Midwest Symposium on Circuits and Systems, 2002. MWSCAS-2002 …, 2002 | 7 | 2002 |
Michael B. GousieProfessor of Computer Science, Wheaton College (MA)Verified email at wheatoncollege.edu