Marathon Month Promotes Healthful Lifestyles for Extension Employees von Donaldson, Joseph L, Bell, Beth A, Toman, John J, Hastings, Shirley

Volltext

Concerto: a framework for combined concrete and abstract interpretation von Toman, John, Grossman, Dan

Volltext

Web-Supported Program Improved Diet and Increased Physical Activity Among Children von Greer, Betty, PhD, Franck, Karen, PhD, Bossaer, Laura, MS, Toman, John, PhD

Volltext

Practical Verification of Smart Contracts using Memory Splitting von Grossman, Shelly, Toman, John, Bakst, Alexander, Arora, Sameer, Sagiv, Mooly, Nandi, Chandrakana

Volltext

Advantages and Disadvantages of Asynchronous Online Extension Programming for Delivering Master Producer Content von Marble, S. Christopher, Fulcher, Amy, Toman, John

Volltext

Report to the mayor and aldermen by the Committee on license, Chicago City council, on the public licensing, regulation and control of the liquor traffic in Boston and New York cit... von Chicago (Ill.). City Council. Committee on license

Volltext bestellen

Moving Beyond the Program: Incorporating Healthy Living Behaviors Throughout 4-H von Franck, Karen, Donaldson, Joseph, Toman, John, Moody, Teresa

Volltext

ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs von Toman, John, Siqi, Ren, Suenaga, Kohei, Igarashi, Atsushi, Kobayashi, Naoki

Volltext bestellen

Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact) von Toman, John, Grossman, Dan

Volltext

Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact) von Toman, John, Grossman, Dan

Volltext

ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs von Toman, John, Ren Siqi, Suenaga, Kohei, Igarashi, Atsushi, Kobayashi, Naoki

Volltext

Technology-Enabled Disinformation: Summary, Lessons, and Recommendations von Akers, John, Bansal, Gagan, Cadamuro, Gabriel, Chen, Christine, Chen, Quanze, Lin, Lucy, Mulcaire, Phoebe, Nandakumar, Rajalakshmi, Rockett, Matthew, Simko, Lucy, Toman, John, Wu, Tongshuang, Zeng, Eric, Zorn, Bill, Roesner, Franziska

Volltext bestellen

Technology-Enabled Disinformation: Summary, Lessons, and Recommendations von Akers, John, Bansal, Gagan, Cadamuro, Gabriel, Chen, Christine, Chen, Quanze, Lin, Lucy, Mulcaire, Phoebe, Nandakumar, Rajalakshmi, Rockett, Matthew, Simko, Lucy, Toman, John, Wu, Tongshuang, Zeng, Eric, Zorn, Bill, Roesner, Franziska

Volltext

Vehicle safety warning device von LAUGHEAD MICHAEL, CHINN GREGORY F, TOMAN JOHN

Volltext bestellen

Vehicle safety warning device von Chinn, Gregory F, Laughead, Michael, Toman, John

Volltext bestellen

Easier tire chain installation von Toman, John

Volltext

Assembly and method for detecting errant vehicles and warning work zone personnel thereof von TOMAN, JOHN R

Volltext bestellen

Assembly for, and method of, detecting and signalling when an object enters a work zone von TOMAN, JOHN R

Volltext bestellen

ASSEMBLY FOR, AND METHOD OF, DETECTING AND SIGNALLING WHEN AN OBJECT ENTERS A WORK ZONE von TOMAN, JOHN, R

Volltext bestellen

INDIUM ANTIMONIDE (INSB) PHOTODETECTOR DEVICE AND STRUCTURE FOR INFRARED, VISIBLE AND ULTRAVIOLET RADIATION von KASAI, ICHIRO, TOMAN, JOHN R

Volltext bestellen