### publication venue for

- 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
- Spanish Diacritic Error Correction and Restoration—A Survey 2016
- 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
- Parsing CFGs and PCFGs with a Chomsky-Schutzenberger representation. 2012
- On Learning Algorithms for Nash Equilibria 2010
- Porting Basque morphological grammars to foma, an open-source tool. 2010
- A combined linear and nonlinear preconditioning technique for incompressible Navier-Stokes equations 2006
- A study of the MD5 attacks: Insights and improvements 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
- The Ideal-Cipher Model, revisited: An uninstantiable blockcipher-based hash function 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
- Early experience with scientific applications on the Blue Gene/L supercomputer 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
- On the impossibility of highly-efficient blockcipher-based hash functions 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
- Encryption-scheme security in the presence of key-dependent messages 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
- Black-box analysis of the block-cipher-based hash-function constructions from PGV 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
- AN ADAPTIVE DERIVED DATA MANAGER FOR DISTRIBUTED DATABASES 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
- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning 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
- The Rules of 4-Dimensional Perspective: How to Implement Lorentz Transformations in Relativistic Visualization 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
- SHARD: A Framework for Sequential, Hierarchical Anomaly Ranking and Detection 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
- 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
- Conventional metaphor and the lexicon 1992
- VizWiz-FewShot: Locating Objects in Images Taken by People with Visual Impairments 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
- Reachability Analysis for Cyber-Physical Systems: Are We There Yet? 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
- Toward an Information Systems Ontology 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
- 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
- Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives 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
- 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
- Using Augmented Reality to Better Study Human-Robot Interaction 2020
- Validity in Design Science Research 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
- Expected Reachability-Price Games 2019
- On Timed Scope-Bounded Context-Sensitive Languages 2019
- Mediating Human-Robot Interactions with Virtual, Augmented, and Mixed Reality 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
- Reaching Out Towards Fully Verified Autonomous Systems 2019
- Static Analysis 2019
- Temporal Logic Verification of Stochastic Systems Using Barrier Certificates 2018
- Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks 2018
- Keyboard and Screen Reader Accessibility in Complex Interactive Science Simulations: Design Challenges and Elegant Solutions 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
- 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
- Discriminating Traces with Time 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
- Spanish Diacritic Error Detection and Restoration-A Survey 2013
- 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
- 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
- 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
- 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
- Application of formal word-level analysis to constrained random simulation 2008
- Making classical honest verifier zero knowledge protocols secure against quantum attacks 2008
- Social control of herd animals by integration of artificially controlled congeners 2008
- A data management framework for urgent geoscience workflows 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 hybrid algorithm for LTL games 2008
- Using polynomial chaos to compute the influence of multiple random surfers in the PageRank model 2007
- 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
- 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
- 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
- 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
- Scalable analysis of linear systems using mathematical programming 2005
- A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety 2005
- Abstract Interpretation with Alien Expressions and Heap Structures 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
- Ranking algorithms for costly similarity measures 2001
- Automatic abstraction for verification of timed circuits and systems 2001
- Verification of timed systems using POSETs 1998