publication venue for

• On the Parallel Complexity of Group Isomorphism via Weisfeiler-Leman 2023
• MRCAT: In Situ Prototyping of Interactive AR Environments 2020
• Omega-Regular Objectives in Model-Free Reinforcement Learning 2019
• Type-Directed Bounding of Collections in Reactive Programs 2019
• Preliminary Evaluations of a Dialogue-Based Digital Tutor 2018
• Computational Topology Techniques for Characterizing Time-Series Data 2017
• The Reach-Avoid Problem for Constant-Rate Multi-mode Systems 2017
• A First Step Toward Quantifying the Climate's Information Production over the Last 68,000 Years 2016
• A Virtual Therapist for Speech and Language Therapy 2014
• General Truthfulness Characterizations via Convex Analysis 2014
• Hierarchical Partial Matching and Segmentation of Interacting Cells 2012
• On Learning Algorithms for Nash Equilibria 2010
• A combined linear and nonlinear preconditioning technique for incompressible Navier-Stokes equations 2006
• Computational nature of biochemical reactions 2006
• Concept Space Interchange Protocol: A protocol for concept map based resource discovery in educational digital libraries 2006
• Efficient abstraction refinement in interpolation-based unbounded model checking 2006
• Rational models of cognitive control 2006
• Analysis of event-related fMRI data using diffusion maps 2005
• Automatic generation of hints for symbolic traversal 2005
• Building an HPC watering hole for boulder area computational science 2005
• Developing a computational model of "quality" for educational digital libraries 2005
• Does eScience need digital libraries? 2005
• Domain decomposition methods for PDE constrained optimization problems 2005
• Efficient conflict analysis for finding all satisfying assignments of a Boolean circuit 2005
• GrCUs: A hybrid satistiability solver 2005
• Grid-BGC: A Grid-enabled terrestrial carbon cycle modeling system 2005
• Parallelism in gene assembly 2005
• A methodological assessment of location privacy risks in wireless hotspot networks 2004
• Automated speculation and parallelism in high performance network applications 2004
• Basic notions of reaction systems 2004
• Building a secure and highly scalable data distribution system 2004
• CirCUs: A satistiability solver geared towards bounded model checking 2004
• Computational aspects of data assimilation for aerosol dynamics 2004
• Creating a sustainable high-performance scientific computing course 2004
• Embedding in switching classes with skew gains 2004
• Formal properties of gene assembly: Equivalence problem for overlap graphs 2004
• IDeixis - Searching the Web with mobile images for location-based information 2004
• Increasing the robustness of bounded model checking by computing lower bounds on the reachable states 2004
• Increasing the robustness of bounded model checking by computing lower bounds on the reachable states 2004
• Minimal assignments for bounded model checking 2004
• Proving more properties with bounded model checking 2004
• A performance evaluation of intrusion-tolerant routing in wireless sensor networks 2003
• Analysis of event-related fMRI data using best clustering bases 2003
• On complementing nondeterministic Buchi automata 2003
• The charme of abstract entities 2003
• Topology and intelligent data analysis 2003
• Toward memory-efficient linear solvers 2003
• Analysis of symbolic SCC Hull algorithms 2002
• CORBA-as-needed: A technique to construct high performance CORBA applications 2002
• Fate and free will in error traces 2002
• Fine-grain conjunction scheduling for symbolic reachability analysis 2002
• Parallel Newton-Krylov-Schwarz method for solving the anisotropic bidomain equations from the excitation of the heart model 2002
• A discrete probabilistic memory model for discovering dependencies in time 2001
• Design, implementation and performance evaluation of a high performance CORBA group membership protocol 2001
• A comparative study of symbolic algorithms for the computation of fair cycles 2000
• An algorithm for strongly connected component analysis in n log n symbolic steps 2000
• Border-block triangular form and conjunction schedule in image computation 2000
• Complexity issues in switching of graphs 2000
• JRoute: A run-time routing API for FPGA hardware 2000
• Hints to accelerate symbolic traversal 1999
• Reasoning about input-output modeling of dynamical systems 1999
• Effects of network bandwidth on performance in software DSM systems 1998
• Parsing the stream of time: The value of event-based segmentation in a complex real-world control problem 1998
• Reasoning about sensor data for automated system identification 1997
• Modular verification of multipliers 1996
• Theory of 2-structures 1995
• REGION-BASED TRACKING IN AN IMAGE SEQUENCE 1992
• USING SYSTEM NETWORKS TO BUILD RHETORICAL STRUCTURES 1992
• LABELED 2-STRUCTURES 1991
• MUNIN - DISTRIBUTED SHARED-MEMORY USING MULTI-PROTOCOL RELEASE CONSISTENCY 1991
• THE ASYMPTOTIC EVOLUTION OF DATA-STRUCTURES 1990
• AN ADAPTIVE DERIVED DATA MANAGER FOR DISTRIBUTED DATABASES 1988
• MEETING THE TRAINING NEEDS OF PRACTICING SOFTWARE ENGINEERS AT TEXAS-INSTRUMENTS 1988
• BEHAVIOR OF ELEMENTARY NET SYSTEMS 1987
• FUNDAMENTALS OF EDGE-LABEL CONTROLLED GRAPH-GRAMMARS 1987
• ON COORDINATED REWRITING 1985
• CONDITIONS ENFORCING REGULARITY OF CONTEXT-FREE LANGUAGES 1982
• REPETITIONS IN HOMOMORPHISMS AND LANGUAGES 1982
• Entertainment Computing and Serious Games 2019
• Numerical Software Verification 2019
• AI Partners that Support Productive Uncertainty Within “Jigsaw” Activities During Small Group Collaborative Learning in Classrooms 2027
• Bridging fMRI and fNIRS: Challenges in Transfer Learning for Ecologically Valid Cognitive State Decoding 2026
• Enhancing Type Safety in MPI with Rust: A Statically Verified Approach for RSMPI 2026
• On Choice of Loss Functions for Neural Control Barrier Certificates 2026
• Trace Repair for Temporal Behavior Trees 2026
• Computation of the Laplacian Spectral Barycentre Network in a Soules Basis 2025
• Extending Class Group Action Attacks via Sesquilinear Pairings 2025
• Improving Tutor Discourse Practices via AI-Enhanced Coaching: A Piecewise Latent Growth Curve Modeling Approach 2025
• Regular Reinforcement Learning 2024
• Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning 2023
• Policy Synthesis and Reinforcement Learning for Discounted LTL 2023
• STAMINA in C plus plus : Modernizing an Infinite-State Probabilistic Model Checker 2023
• The Octatope Abstract Domain for Verification of Neural Networks 2023
• Alternating Good-for-MDPs Automata 2022
• An Impossibility Result in Automata-Theoretic Reinforcement Learning 2022
• Predicting the Usage of Scientific Datasets Based on Article, Author, Institution, and Journal Bibliometrics 2022
• Reinforcement Learning with Guarantees that Hold for Ever 2022
• STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking 2022
• Improved Torsion-Point Attacks on SIDH Variants 2021
• Model-Free Reinforcement Learning for Branching Markov Decision Processes 2021
• Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives 2021
• Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning 2020
• Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems 2019
• Dead Science: Most Resources Linked in Biomedical Articles Disappear in Eight Years 2019
• Processing Racial Stereotypes in Virtual Reality: An Exploratory Study Using Functional Near-Infrared Spectroscopy (fNIRS) 2019
• Sandboxing Controllers for Stochastic Cyber-Physical Systems 2019
• Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach 2019
• "Mind" TS: Testing a Brief Mindfulness Intervention with an Intelligent Tutoring System 2018
• Connecting the Dots Towards Collaborative AIED: Linking Group Makeup to Process to Learning 2018
• QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers 2017
• A More Complete Picture of Emotion Using Electrocardiogram and Electrodermal Activity to Complement Cognitive Data 2016
• Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization 2016
• Multimodal Digital Taste Experience with D'Licious Vessel 2015
• Provably Weak Instances of Ring-LWE 2015
• Similarity-Based Context-Aware Recommendation 2015
• Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable 2015
• Adding Negative Prices to Priced Timed Games 2014
• Beyond Facebook Personality Prediction: 2014
• Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip 2014
• Insights into User Personality and Learning Styles through Cross Subject fNIRS Classification 2014
• A Comparative Study of Manual and Automated Refactorings 2013
• Differentially-Private Learning of Low Dimensional Manifolds 2013
• Parallel Boosting with Momentum 2013
• Recommendation with Differential Context Weighting 2013
• Using the EEG Error Potential to Identify Interface Design Flaws 2013
• A Compositional Minimization Approach for Large Asynchronous Design Verification 2012
• Formal Verification of Genetic Circuits 2012
• Collective Programming: Making End-User Programming (More) Social 2011
• First Demonstration of a Musical Emotion BCI 2011
• Reaction Systems with Duration 2011
• Segmentation and Visualization of Multivariate Features Using Feature-Local Distributions 2011
• Semiotic Traces of Computational Thinking Acquisition 2011
• Pulse Coupled Neural Networks for Automatic Urban Change Detection at Very High Spatial Resolution 2009
• The Elliptic Curve Discrete Logarithm Problem and Equivalent Hard Problems for Elliptic Divisibility Sequences 2009
• Structural inference of hierarchies in network 2007
• The tate pairing via elliptic nets 2007
• Multiresolution quantum chemistry in multiwavelet bases 2003
• Using Open Hypermedia to Support Information Integration 2002
• A Case-Based Reasoning Approach to Collaborative Filtering 2000
• Structural Computing Requirements for the Transformation of Structures and Behaviors 2000
• Regular approximations to shuffle products of context-free languages, and convergence of their generating functions 1993
• The exhaustion of shared memory: Stochastic results 1993
• Conventional metaphor and the lexicon 1992
• The asymptotic evolution of data structures 1990
• Using Bayesian Inference and Flowpipe Construction to Bound Predictions of Biogas Production at Wastewater Treatment Plants 2025
• Control Closure Certificates 2025
• Complexity of Identifying Fitting-Free Groups 2025
• CommTox: Contextually-Aware Community Perceived Toxicity Classification 2025
• Efficacy of a Computer Tutor that Models Expert Human Tutors 2025
• Sense-Making with an AI-Enhanced Coaching Tool: A Think-Aloud Study 2025
• Reconstructing Sets of Strings from Their k-Way Projections: Algorithms & Complexity 2025
• Using Foundation Models as Pseudo-label Generators for Pre-clinical 4D Cardiac CT Segmentation 2025
• Autonomous Planning for Targeted Observation of Severe Weather 2024
• Autonomous Uncrewed Aircraft for Mobile Operations in Severe Weather 2024
• Fully Authentic Visual Question Answering Dataset from Online Communities 2024
• SPIN: Hierarchical Segmentation with Subpart Granularity in Natural Images 2024
• TaskCLIP: Extend Large Vision-Language Model for Task Oriented Object Detection 2024
• TGRop: Top Gun of Return-Oriented Programming Automation 2024
• Rare-Event Guided Analysis of Infinite-State Chemical Reaction Networks 2024
• What is Your Discount Factor? 2024
• PUREmotion: Understanding the Impact of Highway Construction on People's Wellbeing 2024
• Aligning Tutor Discourse Supporting Rigorous Thinking with Tutee Content Mastery for Predicting Math Achievement 2024
• A Differential Approach for Several NP-hard Optimization Problems 2024
• High-Welfare Matching Markets via Descending Price 2024
• Lifting On-Demand Analysis to Higher-Order Languages 2023
• Now Look Here! ⇊ Mixed Reality Improves Robot Communication Without Cognitive Overload 2023
• A Multi-theoretic Analysis of Collaborative Discourse: A Step Towards AI-Facilitated Student Collaborations 2023
• CPSCoach: The Design and Implementation of Intelligent Collaborative Problem Solving Feedback 2023
• Getting theWiggles Out: Movement Between Tasks Predicts Future Mind Wandering During Learning Activities 2023
• Navigating Wanderland: Highlighting Off-Task Discussions in Classrooms 2023
• On the Parallel Complexity of Group Isomorphism via Weisfeiler–Leman 2023
• Optimal Repair for Omega-Regular Properties 2022
• MaxViT: Multi-axis Vision Transformer 2022
• Telepresence Video Quality Assessment 2022
• VizWiz-FewShot: Locating Objects in Images Taken by People with Visual Impairments 2022
• New Results in Priority-Based Bin Packing 2022
• Eye to Eye: Gaze Patterns Predict Remote Collaborative Problem Solving Behaviors in Triads 2022
• Using Participatory Design Studies to Collaboratively Create Teacher Dashboards 2022
• Analyzing the Reachability Problem in Choice Networks 2022
• SeniorDT: A Design Thinking-Based Approach to Requirements Engineering Involving Elderly Users 2022
• Toward an Information Systems Ontology 2022
• Reachability Analysis for Cyber-Physical Systems: Are We There Yet? 2022
• On the Approximability of Path and Cycle Problems in Arc-Dependent Networks 2022
• On the Number of Edges of the Frechet Mean and Median Graphs 2022
• Estimating Cognitive Load and Cybersickness of Pilots in VR Simulations via Unobtrusive Physiological Sensors 2022
• GPU Offloading of a Large-Scale Gyrokinetic Particle-in-Cell Fortran Code on Summit: From OpenACC to OpenMP 2021
• Selectively-Amortized Resource Bounding 2021
• Static Analysis of ReLU Neural Networks with Tropical Polyhedra 2021
• Regular Model Checking with Regular Relations 2021
• On the Copy Complexity of Width 3 Horn Constraint Systems 2021
• A Computational Study of Constraint Programming Approaches for Resource-Constrained Project Scheduling with Autonomous Learning Effects 2021
• Annotating Student Engagement Across Grades 1-12: Associations with Demographics and Expressivity 2021
• Using AI to Promote Equitable Classroom Discussions: The TalkMoves Application 2021
• Algorithmic Analysis of Priority-Based Bin Packing 2021
• Validity in Design Science Research 2020
• Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives 2020
• Captioning Images Taken by People Who Are Blind 2020
• Iterative Feature Transformation for Fast and Versatile Universal Style Transfer 2020
• AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems 2020
• PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems 2020
• Reachability Analysis Using Message Passing over Tree Decompositions 2020
• Unbounded-Time Safety Verification of Stochastic Differential Dynamics 2020
• Exploring Video Engagement in an Intelligent Tutoring System 2020
• Using Augmented Reality to Better Study Human-Robot Interaction 2020
• Building Linked Spatio-Temporal Data from Vectorized Historical Maps 2020
• A Neurophysiological Sensor Suite for Real-Time Prediction of Pilot Workload in Operational Settings 2020
• Perceived Restorativeness and Meditation Depth for Virtual Reality Supported Mindfulness Interventions 2020
• Computing Equilibria of Prediction Markets via Persuasion 2019
• Efficient Detection and Quantification of Timing Leaks with Neural Networks 2019
• Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs 2019
• Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo 2019
• Automated Segmentation of the Pectoral Muscle in Axial Breast MR Images 2019
• Reaching Out Towards Fully Verified Autonomous Systems 2019
• Automated Segmentation of Nanoparticles in BF TEM Images by U-Net Binarization and Branch and Bound 2019
• Expected Reachability-Price Games 2019
• On Timed Scope-Bounded Context-Sensitive Languages 2019
• Mediating Human-Robot Interactions with Virtual, Augmented, and Mixed Reality 2019
• The Effects of Embodiment in Virtual Reality on Implicit Gender Bias 2019
• Quantitative Mitigation of Timing Side Channels 2019
• STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis 2019
• Reinforcement Learning and Formal Requirements 2019
• Reducing Mind-Wandering During Vicarious Learning from an Intelligent Tutoring System 2019
• Omega-Regular Objectives in Model-Free Reinforcement Learning 2019
• Static Analysis 2019
• Temporal Logic Verification of Stochastic Systems Using Barrier Certificates 2018
• Orthogonally-Divergent Fisheye Stereo 2018
• Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks 2018
• Policy Support for Autonomous Swarms of Drones 2018
• Minimization of Testing Costs in Capacity-Constrained Database Migration 2018
• Keyboard and Screen Reader Accessibility in Complex Interactive Science Simulations: Design Challenges and Elegant Solutions 2018
• Quasi-Optimal Partial Order Reduction 2018
• Boosting Engagement with Educational Software Using Near Wins 2018
• Preliminary Evaluations of a Dialogue-Based Digital Tutor 2018
• Inferring User Expertise from Social Tagging in Music Recommender Systems for Streaming Services 2018
• Toward Human-Like Robot Learning 2018
• Experience Report: Application of Falsification Methods on the UxAS System 2018
• Output Range Analysis for Deep Feedforward Neural Networks 2018
• Finding Minimum Stopping and Trapping Sets: An Integer Linear Programming Approach 2018
• Multimodality in Embodied Experience Design Workshop at INTERACT 2017, Mumbai, INDIA 2017
• Template Polyhedra with a Twist 2017
• A Study of Model-Order Reduction Techniques for Verification 2017
• Abstract Interpretation with Unfoldings 2017
• Face Forward: Detecting Mind Wandering from Video During Narrative Film Comprehension 2017
• Discriminating Traces with Time 2017
• Complete Abstractions and Subclassical Modal Logics 2017
• Independence Abstractions and Models of Concurrency 2017
• Advances in Intelligent Data Analysis XVI 2017
• Automated Technology for Verification and Analysis 2017
• Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes 2017
• Programming Languages and Systems 2017
• Security Considerations for Galois Non-dual RLWE Families 2017
• Physiologically Inspired Blinking Behavior for a Humanoid Robot 2016
• Light Source Estimation in Synthetic Images 2016
• Model-Based Clustering of Social Vulnerability to Urban Extreme Heat Events 2016
• Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants 2016
• Simulating Chemical Reactions Using a Swarm of Miniature Robots 2016
• A Perfect Class of Context-Sensitive Timed Languages 2016
• A Balloon, a Sweater, and a Wall: Developing Design Strategies for Accessible User Experiences with a Science Simulation 2016
• Exploring the Relationship Between Implicit Scaffolding and Inclusive Design in Interactive Science Simulations 2016
• Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances 2016
• Incentive Stackelberg Mean-Payoff Games 2016
• TheoryOn: Designing a Construct-Based Search Engine to Reduce Information Overload for Behavioral Science Research 2016
• Deductive Proofs of Almost Sure Persistence and Recurrence Properties 2016
• Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities 2016
• A Logical Characterization for Dense-Time Visibly Pushdown Automata 2016
• Analyzing Factors Impacting Revining on the Vine Social Network 2015
• Analyzing Labeled Cyberbullying Incidents on the Instagram Social Network 2015
• Polynomial-Time Isomorphism Test of Groups that are Tame Extensions 2015
• Abstract Domains and Solvers for Sets Reasoning 2015
• Current Challenges in the Verification of Hybrid Systems 2015
• Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification 2015
• Shape Analysis for Unstructured Sharing 2015
• Measuring Situational Awareness Aptitude Using Functional Near-Infrared Spectroscopy 2015
• Symmetric Strategy Improvement 2015
• Automatic Gaze-Based Detection of Mind Wandering with Metacognitive Awareness 2015
• Integrating Context Similarity with Sparse Linear Recommendation Model 2015
• Getting the Query Right: User Interface Design of Analysis Platforms for Crisis Research 2015
• A Study of Automatic Speech Recognition in Noisy Classroom Environments for Automated Dialog Analysis 2015
• Mind Wandering During Learning with an Intelligent Tutoring System 2015
• On Pure Nash Equilibria in Stochastic Games 2015
• Reachability Analysis Using Extremal Rates 2015
• Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages 2015
• Do Mobile Data Plans Affect Usage? Results from a Pricing Trial with ISP Customers 2015
• A Novel Approach to Atmospheric Measurements Using Gliding UASs 2014
• Statistically Sound Verification and Optimization for Complex Systems 2014
• Construction of Abstract Domains for Heterogeneous Properties 2014
• Computer-Assisted Scoring of Short Responses: The Efficiency of a Clustering-Based Approach in a Real-Life Task 2014
• An Abstract Domain Combinator for Separately Conjoining Memory Abstractions 2014
• Automatic Analysis of Open Objects in Dynamic Language Programs 2014
• Expectation Invariants for Probabilistic Program Loops as Fixed Points 2014
• Unsupervised Dense Object Discovery, Detection, Tracking and Reconstruction 2014
• QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers 2014
• Hybrid Recommendation in Heterogeneous Networks 2014
• Toward Fully Automated Person-Independent Detection of Mind Wandering 2014
• User Partitioning Hybrid for Tag Recommendation 2014
• Our Emotions as Seen through a Webcam 2014
• Automated Physiological-Based Detection of Mind Wandering during Learning 2014
• Identifying Learning Conditions that Minimize Mind Wandering by Modeling Individual Attributes 2014
• It Takes Two: Momentary Co-occurrence of Affective States during Computerized Learning 2014
• It's Written on Your Face: Detecting Affective States from Facial Expressions while Learning Computer Programming 2014
• To Quit or Not to Quit: Predicting Future Disengagement from Reading Patterns 2014
• Refuting Heap Reachability 2014
• On the Importance of Nonlinear Modeling in Computer Performance Prediction 2013
• Fast Spectral Clustering via the Nystrom Method 2013
• Heuristic Optimization Model for Infrastructure Asset Management 2013
• What Do You See in the Cloud? Understanding the Cloud-Based User Experience through Practices 2013
• Realtime Simulation-in-the-Loop Control for Agile Ground Vehicles 2013
• Processes Inspired by the Functioning of Living Cells: Natural Computing Approach 2013
• QUIC Graphs: Relational Invariant Generation for Containers 2013
• Static Analysis in the Continuously Changing World 2013
• Reduced Product Combination of Abstract Domains for Shapes 2013
• Invariant Generation for Parametrized Systems Using Self-reflection 2012
• Playing Stochastic Games Precisely 2012
• Bloom Filter-Based Ad Hoc Multicast Communication in Cyber-Physical Systems and Computational Materials 2012
• A Bit Too Precise ? Bounded Verification of Quantized Digital Filters 2012
• Object Model Construction for Inheritance in C plus plus and Its Applications to Program Analysis 2012
• Invariant Generation for Parametrized Systems Using Self-reflection 2012
• Is It Dangerous to Use Version Control Histories to Study Source Code Evolution? 2012
• Predicting Computer Performance Dynamics 2011
• Affective Modeling from Multichannel Physiology: Analysis of Day Differences 2011
• Model-Based Dependability Analysis of Programmable Drug Infusion Pumps 2011
• The Flow-Insensitive Precision of Andersen's Analysis in Practice 2011
• An Exploration of the Utilization of Electroencephalography and Neural Nets to Control Robots 2011
• DefenestraTor: Throwing Out Windows in Tor 2011
• Tag-Based Resource Recommendation in Social Annotation Applications 2011
• DraWiing Together: Exploring Collaborative User Engagement in Art Exhibitions 2011
• Implications of Cloud Computing for People with Cognitive Disabilities 2011
• Issues in Web Presentation for Cognitive Accessibility 2011
• Opportunities in Cloud Computing for People with Cognitive Disabilities: Designer and User Perspective 2011
• Tactile Hand Gesture Recognition through Haptic Feedback for Affective Online Communication 2011
• Trust in Human-Computer Interactions as Measured by Frustration, Surprise, and Workload 2011
• Using Pen-Based Computing in Technology for Health 2011
• mediRobbi: An Interactive Companion for Pediatric Patients during Hospital Visit 2011
• Affect Detection from Multichannel Physiology during Learning Sessions with AutoTutor 2011
• Does Topic Matter? Topic Influences on Linguistic and Rubric-Based Evaluation of Writing 2011
• Emotion Regulation during Learning 2011
• Inducing and Tracking Confusion with Contradictions during Critical Thinking and Scientific Reasoning 2011
• Training Emotion Regulation Strategies During Computerized Learning: A Method for Improving Learner Self-Regulation 2011
• Model Counting Using the Inclusion-Exclusion Principle 2011
• Generalizing the Template Polyhedral Domain 2011
• S-TALIRO: A Tool for Temporal Logic Falsification for Hybrid Systems 2011
• The Efficacy of Path Loss Models for Fixed Rural Wireless Links 2011
• Access Nets: Modeling Access to Physical Spaces 2011
• End-User Development at Scale: Real-World Experience with Product Development for a Large and Engaged User Community 2011
• Social Learning in a Changing World 2011
• Information Use in Solving a Well-Structured IS Problem: The Roles of IS and Application Domain Knowledge 2010
• Recursive Timed Automata 2010
• Expected Reachability-Time Games 2010
• Why Did the Person Cross the Road (There)? Scene Understanding Using Probabilistic Logic Models and Common Sense Reasoning 2010
• Reaction Systems: A Model of Computation Inspired by Biochemistry 2010
• Visualizing Student Game Design Project Similarities 2010
• Health Quest: Technology That Encourages Physical Activity in the Workplace 2010
• Scalability Studies of an Implicit Shallow Water Solver for the Rossby-Haurwitz Problem 2010
• A DIY Pressure Sensitive Chair for Intelligent Tutoring Systems 2010
• A Time for Emoting: When Affect-Sensitivity Is and Isn't Effective at Promoting Deep Learning 2010
• Algorithms for Robust Knowledge Extraction in Learning Environments 2010
• Collaborative Lecturing by Human and Computer Tutors 2010
• Conceptual Personalization Technology: Promoting Effective Self-directed, Online Learning 2010
• Open Educational Resource Assessments (OPERA) 2010
• Predicting Student Knowledge Level from Domain-Independent Function and Content Words 2010
• The Impact of System Feedback on Learners' Affective and Physiological States 2010
• The Intricate Dance between Cognition and Emotion during Expert Tutoring 2010
• End-to-End Support for Dating Paleolandforms 2010
• Measurement and Dynamical Analysis of Computer Performance Data 2010
• Discovering Regulatory Overlapping RNA Transcripts 2010
• Separating Shape Graphs 2010
• Channel Assignment in Virtual Cut-through Switching Based Wireless Mesh Networks 2010
• MapReduce System over Heterogeneous Mobile Devices 2009
• Distance-Based Multiple Paths Quantization of Vocabulary Tree for Object and Scene Retrieval 2009
• SenSearch: GPS and Witness Assisted T racking for Delay Tolerant Sensor Networks 2009
• Concavely-Priced Probabilistic Timed Automata 2009
• Visualization-Driven Structural and Statistical Analysis of Turbulent Flows 2009
• Fast Implicit Simulation of Oscillatory Flow in Human Abdominal Bifurcation Using a Schur Complement Preconditioner 2009
• Computational Nature of Processes Induced by Biochemical Reactions 2009
• Distinguishing Difficulty Levels with Non-invasive Brain Activity Measurements 2009
• Exploring Cross-Device Web Use on PCs and Mobile Devices 2009
• Physical Layer Attacks on Unlinkability in Wireless LANs 2009
• Segmentation of Colour Layers in Historical Maps Based on Hierarchical Colour Sampling 2009
• Access Tool? Accelerating Treadmill? Technology and the Aging Population 2009
• Combining Electroencephalograph and Functional Near Infrared Spectroscopy to Explore Users' Mental Workload 2009
• Mobile Technology for People with Cognitive Disabilities and Their Caregivers - HCI Issues 2009
• Responding to Learners' Cognitive-Affective States with Supportive and Shakeup Dialogues 2009
• Efficient Term-ITE Conversion for Satisfiability Modulo Theories 2009
• On-the-Fly Clause Improvement 2009
• Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models 2009
• A Domain Decomposition Based Parallel Inexact Newton's Method with Subspace Correction for Incompressible Navier-Stokes Equations 2009
• Generating Empirically Optimized Composed Matrix Kernels from MATLAB Prototypes 2009
• Methodologies for Continuous Cellular Tower Data Analysis 2009
• Working Overtime: Patterns of Smartphone and PC Usage in the Day of an Information Worker 2009
• Blind Optimization for Exploiting Hardware Features 2009
• Semantic Reduction of Thread Interleavings in Concurrent Programs 2009
• Concavely-Priced Timed Automata (Extended Abstract) 2008
• Personalizing the Selection of Digital Library Resources to Support Intentional Learning 2008
• Summary of the Workshop on Natural Computing and Graph Transformations 2008
• Personalizing navigation in folksonomies using hierarchical tag clustering 2008
• Shining light in dark places: Understanding the Tor network 2008
• SLR: Path-sensitive analysis through infeasible-path detection and syntactic language refinement 2008
• Application of formal word-level analysis to constrained random simulation 2008
• Social control of herd animals by integration of artificially controlled congeners 2008
• Automatic generation of fine-grained representations of learner response semantics 2008
• Comparing learners' affect while using an intelligent tutoring system and a simulation problem solving game 2008
• Dialogue modes in expert tutoring 2008
• Self versus teacher judgments of learner emotions during a tutoring session with AutoTutor 2008
• The dynamics of self-regulatory processes within self-and externally regulated learning episodes during complex science learning with hypermedia 2008
• A policy iteration technique for time elapse over template polyhedra - (Extended abstract) 2008
• Symbolic model checking of hybrid systems using template polyhedra 2008
• A hybrid algorithm for LTL games 2008
• Analog/mixed-signal circuit verification using models generated from simulation traces 2007
• Bounded model checking of analog and mixed-signal circuits using an SMT solver 2007
• An LP-based heuristic for optimal planning 2007
• Don't Get Emotional 2007
• Impact of relevance measures on the robustness and accuracy of collaborative filtering 2007
• Program analysis using symbolic ranges 2007
• Shape analysis with structural invariant checkers 2007
• Representing context in web search with ontological user profiles 2007
• Reachability-time games on timed automata - (Extended abstract) 2007
• Fast and accurate static data-race detection for concurrent programs 2007
• Biochemical reactions as computations 2007
• Network motif discovery using subgraph enumeration and symmetry-breaking 2007
• Production-passage-time approximation: A new approximation method to accelerate the simulation process of enzymatic reactions 2007
• Shared design space: Sketching ideas using digital pens and a large augmented tabletop setup 2006
• Eliciting data semantics via top-down and bottom-up approaches: Challenges and opportunities 2006
• Protocol analysis for exploring the role of application domain in conceptual schema understanding 2006
• Effective contraction of timed STGs for decomposition based timed circuit synthesis 2006
• Cognitively inspired anticipatory adaptation and associated learning mechanisms tor autonomous agents 2006
• Analysis of low-level code using cooperating decompilers 2006
• Static analysis in disjunctive numerical domains 2006
• Affect detection from human-computer dialogue with an intelligent tutoring system 2006
• MIKI: A speech enabled Intelligent Kiosk 2006
• Theory inspired by gene assembly in ciliates 2006
• Detecting profile injection attacks in collaborative filtering: A classification-based approach 2006
• Learning genetic regulatory network connectivity from time series data 2006
• Efficient algorithms for general active learning 2006
• Complexity measures for gene assembly 2006
• Fixed point iteration for computing the time elapse operator 2006
• A framework for certified program analysis and its applications to mobile-code safety 2006
• Efficient strongly relational polyhedral analysis 2006
• Boogie: A modular reusable verifier for object-oriented programs 2005
• The breakpoint graph in ciliates 2005
• Analysis and detection of segment-focused attacks against collaborative recommendation 2005
• Towards a Petri net semantics for membrane systems 2005
• F-SOFT: Software verification platform 2005
• Analysis of perceptron-based active learning 2005
• Simple operations for gene assembly 2005
• Automated abstraction methodology for genetic regulatory networks 2005
• Abstract interpretation with alien expressions and heap structures 2005
• Scalable analysis of linear systems using mathematical programming 2005
• Partial order reduction for detecting safety and timing failures of timed circuits 2004
• Verification of analog and mixed-signal circuits using timed hybrid Petri nets 2004
• Hybrid recommender systems with case-based components 2004
• Constraint-based linear-relations analysis 2004
• Constructing invariants for hybrid systems 2004
• Event correlation: Language and semantics 2003
• A self-reconfiguring platform 2003
• Software decelerators 2003
• Hybrid systems for personalized recommendations 2003
• Linear invariant generation using non-linear constraint solving 2003
• Petri net analysis using invariant generation 2003
• Strategies for the detection and analysis of space-time patterns of earthquakes on complex fault systems 2003
• Trustless Grid computing in ConCert 2002
• Tutorial on DNA computing and graph transformation - Computational nature of gene assembly in ciliates 2002
• Computational processes in living cells: Gene assembly in ciliates 2002
• Gene matching using JBits 2002
• Reconfiguration in the Enterprise JavaBean component model 2002
• VORPAL as a tool for the study of laser pulse propagation in LWFA 2002
• GeoCosm: A semantics-based approach for information integration of geospatial data 2001
• Ranking algorithms for costly similarity measures 2001
• Automatic abstraction for verification of timed circuits and systems 2001
• Estimation of Baseline Drifts in fMRI 2001
• Verification of timed systems using POSETs 1998
• Emerging groupware successes in major corporations: Studies of adoption and adaptation 1997
• REGION-BASED TRACKING IN AN IMAGE SEQUENCE 1992