Explore a selection of works produced by the Department of Computer Science at Michigan Technological University.

Follow

Works from 2015

Link

Alumni as a resource to increase student retention in early computer science courses, Linda Ott

Link

Explorations in computing: Could this be the key to retention?, Linda Ott

Link

Robotic framework with multi-modal perception for physio-musical interactive therapy for children with autism, Chung Hyuk Park, Myounghoon Jeon, and Ayanna Howard

Link

Robotic framework for music-based emotional and social engagement with children with Autism, Chung Hyuk Park, Neetha Pai, Jayashan Bakthavatchalam, Yaojie Li, Myounghoon Jeon, and Ayanna Howard

Link

A hybrid method for the verification and synthesis of parameterized self-stabilizing protocols, Amer Tahat and Ali Ebnenasir

Link

VelociTap: Investigating fast mobile text entry using sentence-based decoding of touchscreen keyboard input, Keith Vertanen, Haythem Memmi, Justin Emge, Shyam Reyal, and Per Ola Kristensson

Link

Interactive Sonification markup language (ISML) for efficient motion-sound mappings, James Walker, Michael T. Smith, and Myounghoon Jeon

Link

RBACvisual: A visualization tool for teaching access control using role-based access control, Man Wang, Jean Mayo, Ching-Kuang Shene, Thomas Lake, Steven Carr, and Chaoli Wang

Link

Optimal footprint symbiosis in shared cache, Xaolin Wang, Yechen Li, Yingwei Luo, Xiameng Hu, Jacob Brock, Chen Ding, and Zhenlin Wang

Link

Advances of research in affective processes in communication and collaboration, Jie Xu, Enid Montague, Jonathan Gratch, Peter Hancock, Myounghoon Jeon, and Mark S. Ptaff

Link

Robotic sonification for promoting emotional and social interactions of children with ASD, Ruimin Zhang, Myounghoon Jeon, Chung Hyuk Park, and Ayanna Howard

Works from 2014

Link

Adding unit test experience to a usability centered project course, Christopher Brown, Robert Pastel, Marika Seigel, Charles Wallace, and Linda Ott

Link

Single assignment compiler, single assignment architecture: Future gated single assignment form*; Static single assignment with congruence classes, Shuhan Ding, John Earnest, and Soner Onder

Link

If you're angry, turn the music on: Music can mitigate anger effects on driving performance, Maryam FakhrHosseini, Steven Landry, Yin Yin Tan, Saru Bhattarai, and Myounghoon Jeon

Link

“Listen2dRoom”: Helping visually impaired people navigate indoor environments using an ultrasonic sensor-based orientation aid, Maryam FakhrHosseini, Andreas Riener, Rahul Bose, and Myounghoon Jeon

Link

FPAvisual: A tool for visualizing the effects of floating-point finite-precision arithmetic, Yi Gu, Nilufer Onder, Ching-Kuang Shene, and Chaoli Wang

Link

Evaluating the effect of faults in SystemC TLM models using UPPAAL, Reza Hajisheykhi, Ali Ebnenasir, and Sandeep S. Kulkarni

Link

Advanced vehicle Sonification applications, Myounghoon Jeon

Link

Constructing the immersive interactive Sonification platform (iISoP), Myounghoon Jeon, Michael T. Smith, James Walker, and Scott A. Kuhl

Link

Design and evaluation of Lyricons (Lyrics + Earcons) for semantic and aesthetic improvements of auditory cues, Myounghoon Jeon and Yuanjing Sun

PDF

Anger effects on driver situation awareness and driving performance, Myounghoon Jeon, Bruce N. Walker, and Thomas M. Gable

Link

Effects of specific emotions on subjective judgment, driving performance, and perceived workload, Myounghoon Jeon, Bruce N. Walker, and Jung-Bin Yim

Link

On the hardness of adding nonmasking fault tolerance, Alex Klinkhamer and Ali Ebnenasir

Link

Synthesizing self-stabilization through superposition and backtracking, Alex Klinkhamer and Ali Ebnenasir

Link

SHAvisual: A secure hash algorithm visualization tool, Jun Ma, Jun Tao, Melissa Karanen, Jean Mayo, Ching-Kuang Shene, and Chaoli Wang

Link

Autonomous power distribution system, Barzin Moridian, Daryl Bennett, Nina Mahmoudian, Wayne Weaver, and Rush D. Robinett III

Link

Prototype auditory displays for a fuel efficiency driver interface, Michael A. Nees, Thomas M. Gable, Myounghoon Jeon, and Bruce N. Walker

Link

Special issue on “The social car: socially-inspired mechanisms for future mobility services”, Andreas Riener, Myounghoon Jeon, Ignacio Alvarez, and Franco Zambonelli

Link

Special Issue: Subliminal/Unaware cues and perception of presence in virtual, telepresence, and automotive environments, Andreas Riener, Myounghoon Jeon, and Miriam Riener

Link

Auditory emoticons: Iterative design and acoustic characteristics of emotional auditory icons and Earcons, Jason Sterkenburg, Myounghoon Jeon, and Christopher Plummer

Link

A generalized fuzzy t-norm formulation of fuzzy modularity for community detection in social networks, Jianhai Su and Timothy C. Havens

Link

FlowString: Partial streamline matching using shape invariant similarity measure for exploratory flow visualization, Jun Tao, Chaoli Wang, and Ching-Kuang Shene

Link

How emotions influence trust in online transactions using new technology, Catherine Tislar, Jason Sterkenburg, Wei Zhang, and Myounghoon Jeon

Link

Copper country programmers: a novel curriculum for beginning programmers in middle and high school (abstract only), Leo C. Ureel II, John Earnest, and Charles Wallace

Works from 2013

Link

Impact of ignition energy phasing and spark gap on combustion in a homogenous direct injection gasoline SI engine near the EGR limit, Wei Chen, Daniel Madison, Paul Dice, Jeffrey Naber, Bo Chen, Scott Miers, Michael Czekala, Chris Glugla, Qiuping Qu, and Garlan Huberts

Link

Modeling and analyzing timing faults in transaction level SystemC programs, Reza Hajisheykhi, Ali Ebnenasir, and Sandeep S. Kulkarni

Link

Detection of drivers’ incidental and integral affect using physiological measures, Samantha Jansen, Abbey Westphal, Myounghoon Jeon, and Andreas Riener

Link

Lyricons (Lyrics + Earcons): Designing a new auditory cue combining speech and sounds, Myounghoon Jeon

Link

The ecological AUI (Auditory User Interface) design and evaluation of user acceptance for various tasks on smartphones, Myounghoon Jeon and Lee Ju-Hwan

Link

Necessity of Vehicle to Rail Infrastructure Communication for Grade Crossing Warning & Safety, Myounghoon Jeon and Pasi T. Lautala

Link

Science or art? “Sonification in the age of biocybernetics reproduction”: A case study of the accessible aquarium project, Myounghoon Jeon, Bruce N. Walker, and Carrie M. Bruce

Link

Designing interactive sonification for live aquarium exhibits, Myounghoon Jeon, Riley J. Winton, Ashley Henry, Sanghun Oh, Carrie M. Bruce, and Bruce N. Walker

Link

Sadder but Wiser? Effects of negative emotions on risk perception, driving performance, and perceived workload, Myounghoon Jeon and Wei Zhang

Link

On the complexity of adding convergence, Alex Klinkhamer and Ali Ebnenasir

Link

Verifying livelock freedom on parameterized rings and chains, Alex Klinkhamer and Ali Ebnenasir

Link

Construction schedule simulation for improved project planning: Activity criticality index assessment, Pei Tang, Amlan Mukherjee, and Nilufer Onder

Link

Using an interactive schedule simulation platform to assess and improve contingency management strategies, Pei Tang, Amlan Mukherjee, and Nilufer Onder

Link

Towards eliminating memory virtualization overhead, Xiaolin Wang, Lingmei Weng, Zhenlin Wang, and Yingwei Luo

Works from 2012

Link

Facilitating the design of fault tolerance in transaction level SystemC programs, Ali Ebnenasir, Reza Hajisheykhi, and Sandeep S. Kulkarni

Link

A systematic approach to using music for mitigating affective effects on driving performance and safety, Myounghoon Jeon

Link

Cross-cultural differences in the use of in-vehicle technologies and vehicle area network services: Austria, USA, and South Korea, Myounghoon Jeon, Andreas Riener, Lee Ju-Hwan, Jonathan Schuett, and Bruce N. Walker

Link

The role of subliminal perception in vehicular interfaces, Andreas Riener and Myounghoon Jeon

Link

“The Social Car”: Workshop on socially-inspired C2X interaction, Andreas Riener, Myounghoon Jeon, Andrea Gaggioli, and Anind K. Dey

Link

Yes, Free Parking Lot App, No, Invisible Health Check App in My Car”: Young drivers’ needs analysis on vehicle area network services, Andreas Riener, Myounghoon Jeon, Andrea Gaggioli, and Anind K. Dey

Link

Methodical approaches to prove the effects of subliminal perception in ubiquitous computing environments, Andreas Riener, Miriam Riener, Myounghoon Jeon, and Pierre Chalfoun

Link

Discovering patterns for architecture simulation by using sequence mining, Pinar Senkul, Nilufer Onder, Soner Onder, Engin Maden, and Hui Meen Nyew

Link

Dynamic cache partitioning based on hot page migration, Xiaolin Wang, Xiang Wen, Yechen Li, Zhenlin Wang, Yingwei Luo, and Xiaoming Li

Works from 2011

PDF

Information theory in scientific visualization, Chaoli Wang and Han-Wei Shen

Works from 2010

Link

DMM: A dynamic memory mapping model for virtual machines, Hao Gang Chen, Xiao Lin Wang, Zhenlin Wang, Bin Bin Zhang, Ying Wei Luo, and Xiao Ming Li

Link

Unrestricted code motion: A program representation and transformation algorithms based on future values, Shuhan Ding and Soner Onder

Link

Developing construction management events in situational simulations, Carrie S. Dossick, Amlan Mukherjee, Eddy M. Rojas, and Corey Tebo

Link

A study of hierarchical correlation clustering for scientific volume data, Yi Gu and Chaoli Wang

Link

Abstract state machines and the inquiry process, James K. Huggins and Charles Wallace

Link

Strategy optimization and generation for construction project management using an interactive simulation, Pei Tang, Amlan Mukherjee, and Nilufer Onder

Link

Studying dynamic decision-making in construction management using adaptive interactive simulations, Pei Tang, Amlan Mukherjee, and Nilufer Onder

Link

A multipurpose simulation platform for decision-making in construction management, Corey Tebo, Amlan Mukherjee, and Nilufer Onder

Link

Making and acting: Ethnographic development of a case study approach, Thomas Vosecky, Marika Seigel, and Charles Wallace

Link

Dynamic memory paravirtualization transparent to guest OS, Xiao Lin Wang, Yi Feng Sun, Ying Wei Luo, Zhenlin Wang, Yu Li, Bin Bin Zhang, Hao Gang Chen, and Xiao Ming Li

Link

Fast booting many similar virtual machines, Xiaolin Wang, Zhenlin Wang, Shuang Liang, Zhengyi Zhang, Yingwei Luo, and Xiaoming Li

Link

Detection of a weak conjunction of unstable predicates in dynamic systems, Xinli Wang, Jean Mayo, and Guy Hembroff

Link

Evaluating and optimizing I/O virtualization in kernel-based virtual machine (KVM), Binbin Zhang, Xiaolin Wang, Rongfeng Lai, Liang Yang, Zhenlin Wang, Yingwei Luo, and Xiaoming Li

Works from 2009

Link

Traversing and querying constraint driven temporal networks to estimate construction contingencies, G. Ryan Anderson, Amlan Mukherjee, and Nilufer Onder

Link

Speaking of Software: Case Studies in Software Communication, Ann Brady, Marika Seigel, Thomas Vosecky, and Charles Wallace

Link

Research methods associated with situational simulations in construction, Amlan Mukherjee, Nilufer Onder, and Eddy M. Rojas

Link

Modeling the difficulty for centering rectangles in one and two dimensions, Robert Pastel

Link

Detection of conjunctive stable predicates in dynamic systems, Xinli Wang, Jean Mayo, Guy Hembroff, and Chunming Gao

Link

Using agent-based modeling to study construction labor productivity as an emergent property of individual and crew interactions, Matt Watkins, Amlan Mukherjee, Nilufer Onder, and Kris G. Mattila

Works from 2008

Link

MuON: Epidemic based mutual anonymity in unstructured P2P networks, Neelesh Bansod, Ashish Malgi, Byung K. Choi, and Jean Mayo

Link

FTSyn: A framework for automatic synthesis of fault-tolerance, Ali Ebnenasir, Sandeep S. Kulkarni, and Anish Arora

Link

Improved Binary Space Partition merging, Mikola Lysenko, Roshan D'Souza, and Ching Kuan Shene

Link

ADL++: object-oriented specification of complicated instruction sets and microarchitectures, Soner Onder

Link

Using situational simulations to collect and analyze dynamic construction management decision-making data, Matt Watkins, Amlan Mukherjee, and Nilufer Onder

Works from 2007

Link

Expecting the unexpected: Representing, reasoning about, and assessing construction project contingencies, G. Ryan Anderson, Nilufer Onder, and Amlan Mukherjee

Link

A pattern-based approach for modeling and analyzing error recovery, Ali Ebnenasir and Betty H.C. Cheng

Link

Visualizing and animating the winged-edge data structure, Bryan Neperud, John Lowther, and Ching Kuan Shene

Link

RFID cards: A new deal for elderly accessibility, Robert Pastel, Charles Wallace, and Jesse Heines

Works from 2006

Link

Stable predicate detection in dynamic systems, Donald Darling, Jean Mayo, and Xinli Wang

Link

Recycled path routing in mobile ad hoc networks, John Eisbrener, Greg Murphy, David Eade, Christopber Pinnow, Kohinoor Begum, Seungjin Park, Seong Moo Yoo, and Jong Hoon Youn

Link

Path-based reuse distance analysis, Changpeng Fang, Steve Carr, Soner Onder, and Zhenlin Wang

Link

Simulations of vortex evolution and phase slip in oscillatory potential flow of the superfluid component of < sup> 4 He through an aperture, J. A. Flaten, C. T. Borden, C. A. Lindensmith, and W. Zimmermann

Link

Can abstract state machines be useful in language theory?, Yuri Gurevich and Charles Wallace

Link

Sink tree-based bandwidth allocation for scalable QoS flow set-up, James Lembke and Byung K. Choi

Link

Computational optimization of split injections and EGR in a diesel engine using an adaptive gradient-based algorithm, Seshasai Srinivasan, Franz X. Tanner, Jan MacEk, and Milos Polacek

Link

Gradient-based optimization of a multi-orifice asynchronous injection system in a diesel engine using an adaptive cost function, Franz X. Tanner and Seshasai Srinivasan

Works from 2005

Link

MuON: epidemic based mutual anonymity, Neelesh Bansod, Ashish Malgi, Byung K. Choi, and Jean Mayo

Link

Fast branch misprediction recovery in out-of-order superscalar processors, Peng Zhou, Soner Onder, and Steven Carr

Works from 2004

Link

Specification of intel IA-32 using an architecture description language, Jeff Bastian and Soner Onder

Link

Reuse-distance-based miss-rate prediction on a per instruction basis, Changpeng Fang, Steven Carr, Soner Onder, and Zhenlin Wang

Works from 2003

Link

A unified formal specification and analysis of the new Java memory models, Varsha Awhad and Charles Wallace

Link

ThreadMentor: a pedagogical tool for multithreaded programming, Steven Carr, Jean Mayo, and Ching-Kuang Shene