Skip to content

Michael Smith

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

23

Venues

21

Active years

2004–2025

Best venue rank

A*

Where they publish

Papers

23 indexed papers, newest first.

YearVenueTitleAuthors
2025TEIMorphBlox: Bridging Play and Mathematics through Kinetic Tessellations.Khushbu Kshirsagar, Ashley S. Quiterio, Michael Smith
2024ECCVThe BRAVO Semantic Segmentation Challenge Results in UNCV2024.Tuan-Hung Vu, Eduardo Valle, Andrei Bursuc, Tommie Kerssies, Daan de Geus, Gijs Dubbelman, Long Qian, Bingke Zhu, Yingying Chen, Ming Tang, Jinqiao Wang, Toms Vojr, Jan Sochman, Jir Matas, Michael Smith, Frank P. Ferrie, Shamik Basu, Christos Sakaridis, Luc Van Gool
2024WWWA Study of GDPR Compliance under the Transparency and Consent Framework.Michael Smith, Antonio Torres-Agero, Riley Grossman, Pritam Sen, Yi Chen, Cristian Borcea
2023SIGCSECritical Media Literacy for Sports Technology Design.Michael Smith
2022SIGCSEWayfinding for an Educational Game Approach to Algorithmic Interrogation and Analysis.Michael Smith
2021CCSSugarCoat: Programmatically Generating Privacy-Preserving, Web-Compatible Resource Replacements for Content Blocking.Michael Smith, Peter Snyder, Benjamin Livshits, Deian Stefan
2017AMIAFall Prevention and Fire Departments.Andrew Muth, Christopher Hollweg, Pamela Garcia-Filion, Michael Smith, Hamed Abbaszadegan
2017KDDQuick Access: Building a Smart Experience for Google Drive.Sandeep Tata, Alexandrin Popescul, Marc Najork, Mike Colagrosso, Julian Gibbons, Alan Green, Alexandre Mah, Michael Smith, Divanshu Garg, Cayden Meyer, Reuben Kan
2016HRIHand in Hand: Tools and techniques for understanding children's touch with a social robot.Kristyn Hensby, Janet Wiles, Marie Boden, Scott Heath, Mark Nielsen, Paul E. I. Pounds, Joshua Riddell, Kristopher Rogers, Nikodem Rybak, Virginia P. Slaughter, Michael Smith, Jonathon Taufatofua, Peter Worthy, Jason Weigel
2016HRISocial Cardboard: Pretotyping a Social Ethnodroid in the Wild.Janet Wiles, Peter Worthy, Kristyn Hensby, Marie Boden, Scott Heath, Paul E. I. Pounds, Nikodem Rybak, Michael Smith, Jonathon Taufatofua, Jason Weigel
2016REMining Requirements Knowledge from Collections of Domain Documents.Xiaoli Lian, Mona Rahimi, Jane Cleland-Huang, Li Zhang, Remo Ferrai, Michael Smith
2015FIEAn assessment architecture for competency-based learning: Version 1.0.Jeffrey J. Evans, Esteban Garca, Michael Smith, Amy S. Van Epps, Michael J. Fosmire, Sorin Adam Matei
2015OZCHIChildren's Expectations and Strategies in Interacting with a Wizard of Oz Robot.Peter Worthy, Marie Boden, Arafeh Karimi, Jason Weigel, Ben Matthews, Kristyn Hensby, Scott Heath, Paul E. I. Pounds, Jonathon Taufatofua, Michael Smith, Stephen Viller, Janet Wiles
2015SMCGenerating Uncertain Fuzzy Logic Rules from Surveys: Capturing Subjective Relationships between Variables from Human Experts.Christian Wagner, Michael Smith, Ken Wallace, Amir Pourabdollah
2014WCNCQuantitative comparison of indoor RFID channel models using bootstrap techniques.Samiul Hayder Choudhury, Michael Smith
2012IROSAerodynamic evaluation of four butterfly species for the design of flapping-gliding robotic insects.Mirko Kovac, Daniel M. Vogt, Daniel Ithier, Michael Smith, Robert J. Wood
2011DSDMutant Fault Injection in Functional Properties of a Model to Improve Coverage Metrics.Ali Abbasinasab, Mehdi Mohammadi, Siamak Mohammadi, Svetlana N. Yanushkevich, Michael Smith
2011TrustComTool Support for Automated Traceability of Test/Code Artifacts in Embedded Software Systems.Christian Wiederseiner, Vahid Garousi, Michael Smith
2007ICGSERisk Mitigation Tactics for Planning and Monitoring Global Software Development Projects.Matthew Bass, Michael Smith, Raghvinder S. Sangwan
2006AAAIRunning the Table: An AI for Computer Billiards.Michael Smith
2006POPLEngineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations.Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough
2005SIGCOMMRigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets.Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough
2004FCCMA Flexible Hardware Encoder for Low-Density Parity-Check Codes.Dong-U Lee, Wayne Luk, Connie Wang, Christopher R. Jones, Michael Smith, John D. Villasenor