Scott Johnson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2023

Model Predictive Control-Based Energy Management System for a Hybrid Electric Agricultural TractorGonzalo Curiel-Olivares, Scott Johnson, Gerardo Escobar, Ricardo Schacht-Rodríguez. access, 11:118801-118811, 2023. [doi]

2022

Rapidly Generating Realistic Virtual Environment ContextsBrent C. Chamberlain, Phillip Fernberg, David Evans, Scott Johnson, Charisse Spencer, Sarah H. Creem-Regehr, Jeanine K. Stefanucci. ismar 2022: 212-215 [doi]

2020

Automotive 3.0 µm Pixel High Dynamic Range Sensor with LED Flicker MitigationMinseok Oh, Sergey Velichko, Scott Johnson, Michael Guidash, Hung-Chih Chang, Daniel Tekleab, Bob Gravelle, Steve Nicholes, Maheedhar Suryadevara, Dave Collins, Rick Mauritzson, Lin Lin, Shaheen Amanullah, Manuel Innocent. sensors, 20(5):1390, 2020. [doi]

2017

The roles of item repetition and position in infant sequence learningChristina Schonberg, Gary Marcus, Scott Johnson. cogsci 2017: [doi]

2015

Statistical and Chunking Processes in Adults' Visual Sequence LearningLauren Slone, Scott Johnson. cogsci 2015: [doi]

2014

Anticipating an Effect from Predictive Visual Sequences: Development of Infants' Causal Inference from 9 to 18 MonthsJeffrey Bye, Bryan Nguyen, Hongjing Lu, Scott Johnson. cogsci 2014: [doi]

2011

Facilitating e-Science Discovery Using Scientific Workflows on the GridJianwu Wang, Prakashan Korambath, Seonah Kim, Scott Johnson, Kejian Jin, Daniel Crawl, Ilkay Altintas, Shava Smallen, Bill Labate, Kendall N. Houk. In Xiaoyu Yang, Lizhe Wang, Wei Jie, editors, Guide to e-Science, Next Generation Scientific Research and Discovery. Computer Communications and Networks, pages 353-382, Springer, 2011. [doi]

2010

2007

Mechanism design with multidimensional, continuous types and interdependent valuationsNolan Miller, John W. Pratt, Richard J. Zeckhauser, Scott Johnson. jet, 136(1):476-496, 2007. [doi]

2005

Smart diagnostics for configurable processor verificationSadik Ezer, Scott Johnson. dac 2005: 789-794 [doi]

2003

Measuring CPU Time from Hyper-Threading Enabled Intel ProcessorsScott Johnson. cmg 2003: 369-378

Calisto: A Low-Power Single-Chip Multiprocessor Communications PlatformJohn Nickolls, L. J. Madar III, Scott Johnson, Viresh Rustagi, Ken Unger, Mustafiz Choudhury. micro, 23(2):29-43, 2003. [doi]

2000

Constructing Real-time Group Communication Middleware Using the Resource KernelScott Johnson, Farnam Jahanian, Akihiko Miyoshi, Dionisio de Niz, Ragunathan Rajkumar. rtss 2000: 3-12 [doi]

Experiences with Group Communication MiddlewareScott Johnson, Farnam Jahanian, Sunondo Ghosh, Brian Van Voorst, Nicholas Weininger. dsn 2000: 37-42 [doi]

1999

1995

Quality Control for Hypertext ConstructionScott Johnson. CACM, 38(8):87, 1995.

1994

Private Sector Perspectives on Advances in Hypermedia (Panel)W. G. Nisen, Jeff von Limback, Scott Johnson, Kent Summers, Maurice Shephard. echt 1994: 250 [doi]

1986

A new proof of the Erdos-Szekeres convex ::::k::::-gon resultScott Johnson. JCT, 42(2):318-319, 1986. [doi]

1983

Practical Program Verification: Automatic Program Proving for Real-Time Embedded SoftwareJohn Nagle, Scott Johnson. POPL 1983: 48-58

1982

An Introduction to the PL/CV2 Programming LogicRobert L. Constable, Scott Johnson, C. D. Eichenlaub. Volume 135 of Lecture Notes in Computer Science, Springer, 1982.

1981

A Computer System for Checking ProofsScott Johnson. PhD thesis, Cornell University, USA, 1981.

1979

A PL/CV PrecisRobert L. Constable, Scott Johnson. POPL 1979: 7-20 [doi]

Sign in or sign up to see more results.

runs on WebDSL