Follow

Submissions from 2013

PDF

What affects students’ acceptance and use of technology?, Fatema Akbar

PDF

The Effect of Displaying Privacy Information on The Arab Culture, Marwa Al-Fakhri

Submissions from 2009

PDF

Appendix on Robustness of Computational Findings “Inefficiencies from Metropolitan Political and Fiscal Decentralization: Failures of Tiebout Competition”, Stephen Calabrese, Dennis Epple, and Richard Romano

PDF

Inefficiencies from Metropolitan Political and Fiscal Decentralization: Failures of Tiebout Competition, Stephen Calabrese, Dennis Epple, and Richard Romano

PDF

Relating State-Based and Process-Based Concurrency through Linear Logic, Iliano Cervesato and Andre Scedrov

Submissions from 2008

PDF

Learning Robot Motion Control with Demonstration and Advice-Operators, Brenna D. Argall, Brett Browning, and Manuela M. Veloso

PDF

Do Spreadsheet Errors Lead to Bad Decisions: Perspectives of Executives and Senior Managers, Jonathan P. Caulkins, Erika Layne Morrison, and Timothy Weidemann

PDF

Drug Policy Research, Jonathan P. Caulkins and Rosalie Liccardo Pacula

PDF

Optimal Timing of Use vs. Harm Reduction in an SA Model of Drug Epidemics, Jonathan P. Caulkins, Gernot Tragler, and Dagmar Wallner

PDF

Understanding Inertia: Inherent Limitations on Evaluating “Upstream” Prevention Interventions, Jonathan Caulkins and Irmgard Zeiler

PDF

On Teaching Programming Languages Using a Wiki, Iliano Cervesato

PDF

Sliding Autonomy for Peer-To-Peer Human-Robot Teams, M. Bernardine Dias, Balajee Kannan, Brett Browning, Gil Jones, Brenna Argall, M. Freddie Dias, Marc Zinck, Manuela M. Veloso, and Anthony Stentz

Submissions from 2007

PDF

Learning by Demonstration with Critique from a Human Teacher, Brenna Argall, Brett Browning, and Manuela M. Veloso

PDF

Learning to Select State Machines Using Expert Advice on an Autonomous Robot, Brenna Argall, Brett Browning, and Manuela M. Veloso

PDF

Implications of Inertia for Assessing Drug Control Policy: Why Upstream Interventions May Not Receive Due Credit, Jonathan P. Caulkins

PDF

Might Randomization in Queue Discipline Be Useful When Waiting Cost is a Concave Function of Waiting Time?, Jonathan P. Caulkins

PDF

Is Objective Risk All That Matters When It Comes to Drugs?, Jonathan P. Caulkins and Ryan M. Menefee

PDF

NEXCEL, a Deductive Spreadsheet, Iliano Cervesato

PDF

Breaking and Fixing Public-Key Kerberos, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kay Tsay, and Christopher Walstad

PDF

One Picture is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements, Iliano Cervesato and Catherine Meadows

PDF

Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types, Iliano Cervesato and Mark-Oliver Stehr

PDF

Teaching Technical Creativity Through Robotics: A Case Study in Ghana, G. Ayorkor Mills-Tettey, M. Bernardine Dias, Brett Browning, and Nathan Amanquah

PDF

Simultaneous Localization, Mapping and Moving Object Tracking, Chieh-Chih Wang, Charles Thorpe, Martial Hebert, Sebastian Thrun, and Hugh Durrant-Whyte

Submissions from 2006

PDF

The First Segway Soccer Experience: Towards Peer-to-Peer Human-Robot Teams, Brenna Argall, Yang Gu, and Brett Browning

PDF

Cryptographically Sound Security Proofs forBasic and Public-Key Kerberos, M Backes, Iliano Cervesato, A D. Jaggard, A Scedrov, and J-K Tsay

PDF

Incentive Stackelberg Strategies for a Dynamic Game on Terrorism, Doris A. Behrens, Jonathan P. Caulkins, Gustav Feichtinger, and Gernot Tragler

PDF

Formal Analysis of Kerberos 5, Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, and Christopher Walstad

PDF

Using Integer Programming to Optimize Investments in Security Countermeasures: A Practical Tool for Fixed Budgets, Jonathan Caulkins, Eric Hough, Nancy Mead, and Hassan Osman

PDF

Cost-Benefit Analyses of Investments to Control Illicit Substance Abuse and Addiction, Jonathan P. Caulkins

PDF

The Need for Dynamic Drug Policy, Jonathan P. Caulkins

PDF

Heroin and Methamphetamine Seizures in Victoria, Australia: Purity Changes Associated with the Heroin “Drought”, Jonathan P. Caulkins, Caroline Godkin, Stuart Gilmour, and Paul Dietze

PDF

Optimizing Counter-Terror Operations: Should One Fight Fire with "Fire" or "Water"?, Jonathan P. Caulkins, Dieter Grass, Gustav Feichtinger, and Gernot Tragler

PDF

A Spreadsheet for Everyday Symbolic Reasoning, Iliano Cervesato

PDF

Towards a Notion of Quantitative Security Analysis, Iliano Cervesato

PDF

Deriving Key Distribution Protocols and their Security Properties, Iliano Cervesato, Catherine Meadows, and Dusko Pavlovic

PDF

Dynamically Formed Heterogeneous Robot Teams Performng Tightly Coordinated Tasks, E. Gil Jones, Brett Browning, M. Bernardine Dias, Brenna Argall, Manuela M. Veloso, and Anthony Stentz

Submissions from 2005

PDF

Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis, Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, and Fabio Martinelli

PDF

Turning Segways into Soccer Robots, Brett Browning, Jeremy Searock, Paul E. Rybski, and Manuela M. Veloso

PDF

Real-Time, Adaptive Color-based Robot Vision, Brett Browning and Manuela M. Veloso

PDF

Price and Purity Analysis for Illicit Drug: Data and Conceptual Issues, Jonathan P. Caulkins

PDF

Long-Run Trends in Incarceration of Drug Offenders in the US, Jonathan P. Caulkins and Sarah Chandler

PDF

Operations Research & Public Policy for Africa: Harnessing the Revolution in Management Science Instruction, Jonathan P. Caulkins, Emily Eelman, Minoli Ratnatunga, and David Schaarsmith

PDF

Bifurcating DNS Thresholds in a Model of Organizational Bridge Building, Jonathan P. Caulkins, Gustav Feichtinger, Dieter Grass, and Gernot Tragler

PDF

High and Low Frequency Oscillations in Drug Epidemics, Jonathan P. Caulkins, Alessandra Gragnani, Gustav Feichtinger, and Gernot Tragler

PDF

Explaining Fashion Cycles: Imitators Chasing Innovators in Product Space, Jonathan P. Caulkins, Richard F. Hartl, Peter M. Kort, and Gustav Feichtinger

PDF

Marijuana Markets: Inferences from Reports by the Household Population, Jonathan P. Caulkins and Rosalie Liccardo Pacula

PDF

Spreadsheet Errors and Decision Making: Evidence from Field Interviews, Jonathan P. Caulkins, Erika Layne Morrison, and Timothy Weidemann

PDF

A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis, Iliano Cervesato, Nancy A. Durgin, Patrick D. Lincoln, John C. Mitchell, and Andre Scedrov

PDF

Specifying Kerberos 5 Cross-Realm Authentication, Iliano Cervesato, A D. Jaggard, A Scedrov, and C Walstad

PDF

An Encapsulated Authentication Logic for Reasoning About Key Distribution Protocols, Iliano Cervesato, Catherine Meadows, and Dusko Pavlovic

PDF

Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types, Iliano Cervesato and Mark-Oliver Stehr

PDF

Dynamic Heterogeneous Robot Teams Engaged in Adversarial Tasks, M. Bernardine Dias, Brett Browning, Manuela M. Veloso, and Anthony Stentz

PDF

Can Housing Mobility Programs Make a Long-Term Impact on the Lives of Poor Families and the Health of Middle-Class Communities: A Policy Simulation, Michael P. Johnson and Jonathan Caulkins

PDF

Brand Image and Brand Dilution in the Fashion Industry, Peter M. Kort, Jonathan P. Caulkins, Richard F. Hartl, and Gustav Feichtinger

PDF

Collision Warning and Sensor Data Processing in Urban Areas, Christoph Mertz, David Duggins, Jay Gowdy, John Kozar, Robert MacLachlan, Aaron Steinfeld, Arne Suppe, Charles Thorpe, and Chieh-Chih Wang

PDF

How Studies of the Cost-of-Illness of Substance Abuse Can be Made More Useful for Policy Analysis, Timothy J. Moore and Jonathan P. Caulkins

PDF

Modelling the Spread of Hepatitis C via Commercial Tattoo Parlours: Implications for Public Health Interventions, Marion S. Rauner, Doris A. Behrens, and Jonathan P. Caulkins

Submissions from 2004

PDF

STP: Skills, Tactics and Plays for Multi-Robot Control in Adversarial Environments, Brett Browning, James Bruce, Michael Bowling, and Manuela M. Veloso

PDF

Development of a Soccer-Playing Dynamically-Balancing Mobile Robot, Brett Browning, Paul E. Rybski, Jeremy Searock, and Manuela M. Veloso

PDF

A Formal Analysis of Some Properties of Kerberos 5 Using MSR, Frederick Butler, Iliano Cervesato, Andre Scedrov, and Aaron D. Jaggard

PDF

Illicit Drug Markets and Economic Irregularities, Jonathan P. Caulkins and Peter Reuter

PDF

Fine-Grained MSR Specifications for Quantitative Security Analysis, Iliano Cervesato

PDF

The Logical Meeting Point of Multiset Rewriting and Process Algebra: Progress Report, Iliano Cervesato

PDF

Accurate and Flexible Simulation for Dynamic, Vision-Centric Robots, Jared Go, Brett Browning, and Manuela M. Veloso

PDF

Hidden Strategic Challenges Posed by Housing Mobility Policy: An Application of Dynamic Policy Modeling, Michael P. Johnson, Jonathan P. Caulkins, Gustav Feichtinger, Gernot Tragler, and Yuri Yegorov

PDF

Formal Specification and Analysis of the Group Domain of Interpretation using NPATR and the NRL Protocol Analyzer, Catherine Meadows, Paul Syverson, and Iliano Cervesato

PDF

CAMEO: Camera Assisted Meeting Event Observer, Paul E. Rybski, Fernando de la Torre, Raju Patil, Carlos Vallespi, Manuela M. Veloso, and Brett Browning

PDF

A Hierarchical Object Based Representation for Simultaneous Localization and Mapping, Chieh-Chih Wang and Charles Thorpe

PDF

Specifying Properties of Concurrent Computations in CLF, Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker

Submissions from 2003

PDF

Sell First, Fix Later: Impact of Patching on Software Quality, Ashish Arora, Jonathan P. Caulkins, and Rahul Telang

PDF

On Representing Biological Systems through Multiset Rewriting, S. Bistarelli, Iliano Cervesato, G. Lenzini, R. Marangoni, and F. Martinelli

PDF

Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols, Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, and Fabio Martinelli

PDF

Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis, Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, and Fabio Martinelli

PDF

Plays as Team Plans for Coordination and Adaptation, Michael Bowling, Brett Browning, Allen Chang, and Manuela M. Veloso

PDF

ÜberSim: A Multi-Robot Simulator for Robot Soccer, Brett Browning and Erick Tryzelaar

PDF

Planning for Communication Resources, Brett Browning and Manuela M. Veloso

PDF

Multi-Robot Team Response to a Multi-Robot Opponent Team, James Bruce, Michael Bowling, Brett Browning, and Manuela M. Veloso

PDF

A Fault-Tree Representation of NPATRL Security Requirements, Iliano Cervesato and Catherine Meadows

PDF

A Linear Spine Calculus, Iliano Cervesato and Frank Pfenning

PDF

A Concurrent Logical Framework II: Examples and Applications, Iliano Cervesato, Frank Pfenning, David Walker, and Kevin Watkins

PDF

A Concurrent Logical Framework I: Judgments and Properties, Iliano Cervesato, Kevin Watkins, Frank Pfenning, and David Walker

PDF

MONAD: A Flexible Architecture for Multi-Agent Control, Thuc Vu, Gal Kaminka, Jared Go, Manuela M. Veloso, and Brett Browning

Submissions from 2002

PDF

An Age-Structured Single-State Drug Initiation Model: Cycles of Drug Epidemics and Optimal Prevention Programs, Christian Almeder, Jonathan P. Caulkins, Gustav Feichtinger, and Gernot Tragler

PDF

A Model of Chaotic Drug Markets and Their Control, Doris A. Behrens, Jonathan P. Caulkins, and Gustav Feichtinger

Principled Monitoring of Distributed Agents for Detection of Coordination Failure, Brett Browning, Gal A. Kaminka, and Manuela M. Veloso

PDF

A Formal Analysis of Some Properties of Kerberos 5 Using MSR, Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov

PDF

Drug Policy: Insights from Mathematical Analysis, Jonathan P. Caulkins

PDF

The Dynamic Character of Drug Problems, Jonathan P. Caulkins

PDF

A Model of Moderation: Finding Skiba Points on a Slippery Slope, Jonathan P. Caulkins, Gustav Feichtinger, Dieter Grass, and Gernot Tragler

PDF

Cycles of Violence: A Dynamic Control Analysis (or Model?), Jonathan P. Caulkins, Gustav Feichtinger, Gernot Tragler, and Vladimir M. Veliov

PDF

Counterterror and Counterdrug Policies: Comparisons and Contrasts, Jonathan P. Caulkins, Mark A.R. Kleiman, and Peter Reuter

PDF

Data Access Specification and the Most Powerful Symbolic Attacker in MSR, Iliano Cervesato

PDF

The Wolf Within, Iliano Cervesato

PDF

A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis, Iliano Cervesato, N. Durgin, P. Lincoln, J. Mitchell, and A. Scedrov

PDF

A Linear Logical Framework, Iliano Cervesato and Frank Pfenning

PDF

Estimating the Relative Efficiency of Various Forms of Prevention At Different Stages of a Drug Epidemic, Doris Winkler, Jonathan P. Caulkins, Doris A. Behrens, and Gernot Tragler

Submissions from 2001

PDF

A Specification Language for Crypto-Protocols based on Multiset Rewriting, Dependent Types and Subsorting, Iliano Cervesato

PDF

Typed MSR: Syntax and Examples, Iliano Cervesato

PDF

The Logic of Authentication Protocols, Paul Syverson and Iliano Cervesato

Submissions from 2000

PDF

Biologically Plausible Spatial Navigation for a Mobile Robot, Brett Browning