Scott Johnson
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
Utility-Based Reinforcement Learning: Unifying Single-objective and Multi-objective Reinforcement Learning.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
2023
Model Predictive Control-Based Energy Management System for a Hybrid Electric Agricultural Tractor.
IEEE Access, 2023
2022
Proceedings of the 2022 IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct), 2022
2020
Sensors, 2020
2011
Proceedings of the IEEE International Solid-State Circuits Conference, 2011
2010
Proceedings of the Knowledge Management and Acquisition for Smart Systems and Services, 2010
2007
Mechanism design with multidimensional, continuous types and interdependent valuations.
J. Econ. Theory, 2007
2005
Proceedings of the 42nd Design Automation Conference, 2005
2003
IEEE Micro, 2003
Proceedings of the 29th International Computer Measurement Group Conference, 2003
1986
J. Comb. Theory A, 1986
1983
Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software.
Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983
1982
Lecture Notes in Computer Science 135, Springer, ISBN: 3-540-11492-0, 1982
1981
A Computer System for Checking Proofs.
PhD thesis, 1981
1979
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979