How Twitter will change the way we live S Johnson Time Magazine 173 (700), 23-32, 2009 | 254 | 2009 |
Synthesis of digital designs from recursion equations SD Johnson Indiana University, 1983 | 183 | 1983 |
Automobile web cam and communications system incorporating a network of automobile web cams S Johnson, K Hayashi, K Ashcraft, C Szalankiewicz US Patent App. 11/428,909, 2006 | 85 | 2006 |
Colleges lose a ‘stunning’651 foreign-language programs in 3 years S Johnson The Chronicle of Higher Education 22, 2019 | 84 | 2019 |
Organizational and occupational culture and the perception of managerial accounting terms: an exploratory study using perceptual mapping techniques SD Johnson, HC Koh, LN Killough Contemporary Management Research 5 (4), 2009 | 67 | 2009 |
25 years of criteria and indicators for sustainable forest management: how intergovernmental C&I processes have made a difference S Linser, B Wolfslehner, SRJ Bridge, D Gritten, S Johnson, T Payn, ... Forests 9 (9), 578, 2018 | 59 | 2018 |
Tutto quello che fa male ti fa bene: perché la televisione, i videogiochi e il cinema ci rendono più intelligenti S Johnson Mondadori, 2006 | 56 | 2006 |
Entry of coronavirus into primate CNS following peripheral infection GF Cabirac, KF Soike, JY Zhang, K Hoel, C Butunoi, GY Cai, S Johnson, ... Microbial pathogenesis 16 (5), 349-357, 1994 | 48 | 1994 |
The pulsar search collaboratory: Discovery and timing of five new pulsars R Rosen, J Swiggum, MA McLaughlin, DR Lorimer, M Yun, SA Heatherly, ... The Astrophysical Journal 768 (1), 85, 2013 | 44 | 2013 |
25 years of criteria and indicators for sustainable forest management: why some intergovernmental C&I processes flourished while others faded S Linser, B Wolfslehner, F Asmar, SRJ Bridge, D Gritten, V Guadalupe, ... Forests 9 (9), 515, 2018 | 43 | 2018 |
DDD-FM9001: Derivation of a verified microprocessor: An exercise in integrating verification with formal derivation B Bose, SD Johnson Advanced Research Working Conference on Correct Hardware Design and …, 1993 | 42 | 1993 |
Manipulating logical organization with system factorizations SD Johnson Hardware Specification, Verification and Synthesis: Mathematical Aspects …, 2005 | 40 | 2005 |
Applicative programming and digital design SD Johnson Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of …, 1984 | 40 | 1984 |
Verification of an optimized fault-tolerant clock synchronization circuit PS Miner, SD Johnson Proceedings of the 3rd Workshop on Designing Correct Circuits (DCC96), 1996 | 36 | 1996 |
Factors Contributing to Variation in Seed Production among Remnant Populations of the Endangered Daisy Gerbera aurantiaca1 SD Johnson, CL Collin, HJ Wissman, E Halvarsson, J Ågren Biotropica 36 (2), 148-155, 2004 | 35 | 2004 |
DDD: A system for mechanized digital design derivation SD Johnson, B Bose Computer Science Department, Indiana University, 1990 | 35 | 1990 |
A tactical framework for hardware design SD Johnson, B Bose, CD Boyer VLSI Specification, Verification and Synthesis, 349-383, 1988 | 34 | 1988 |
Integrating design and verification environments through a logic supporting hardware diagrams K Fisler, SD Johnson Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair, 669-674, 1995 | 33 | 1995 |
Studies of the single pulser in various reasoning systems SD Johnson, PS Miner, A Camilleri Theorem Provers in Circuit Design: Theory, Practice and Experience Second …, 1995 | 28 | 1995 |
On the Interplay of Synthesis and Verification Experiments with the FM8501 Processor Description SD Johnson, RM Wehrmeister, B Bose Computer Science Department, Indiana University, 1989 | 22 | 1989 |