Submissions from 2009
Relating State-Based and Process-Based Concurrency through Linear Logic, Iliano Cervesato and Andre Scedrov
Submissions from 2008
Learning Robot Motion Control with Demonstration and Advice-Operators, Brenna D. Argall, Brett Browning, and Manuela Veloso
Do Spreadsheet Errors Lead to Bad Decisions: Perspectives of Executives and Senior Managers, Jonathan P. Caulkins, Erika Layne Morrison, and Timothy Weidemann
Drug Policy Research, Jonathan P. Caulkins and Rosalie Liccardo Pacula
Optimal Timing of Use vs. Harm Reduction in an SA Model of Drug Epidemics, Jonathan P. Caulkins, Gernot Tragler, and Dagmar Wallner
Understanding Inertia: Inherent Limitations on Evaluating “Upstream” Prevention Interventions, Jonathan Caulkins and Irmgard Zeiler
On Teaching Programming Languages Using a Wiki, Iliano Cervesato
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 J. Stentz
Submissions from 2007
Learning by Demonstration with Critique from a Human Teacher, Brenna Argall, Brett Browning, and Manuela Veloso
Learning to Select State Machines Using Expert Advice on an Autonomous Robot, Brenna Argall, Brett Browning, and Manuela Veloso
Implications of Inertia for Assessing Drug Control Policy: Why Upstream Interventions May Not Receive Due Credit, Jonathan P. Caulkins
Might Randomization in Queue Discipline Be Useful When Waiting Cost is a Concave Function of Waiting Time?, Jonathan P. Caulkins
Is Objective Risk All That Matters When It Comes to Drugs?, Jonathan P. Caulkins and Ryan M. Menefee
NEXCEL, a Deductive Spreadsheet, Iliano Cervesato
Breaking and Fixing Public-Key Kerberos, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kay Tsay, and Christopher Walstad
One Picture is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements, Iliano Cervesato and Catherine Meadows
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types, Iliano Cervesato and Mark-Oliver Stehr
Teaching Technical Creativity Through Robotics: A Case Study in Ghana, G. Ayorkor Mills-Tettey, M. Bernardine Dias, Brett Browning, and Nathan Amanquah
Simultaneous Localization, Mapping and Moving Object Tracking, Charles Thorpe, Chieh-Chih Wang, Sebastian Thrun, Martial Hebert, and Hugh Durrant-Whyte
Submissions from 2006
The First Segway Soccer Experience: Towards Peer-to-Peer Human-Robot Teams, Brenna Argall, Yang Gu, and Brett Browning
Cryptographically Sound Security Proofs forBasic and Public-Key Kerberos, M Backes, Iliano Cervesato, A D. Jaggard, A Scedrov, and J-K Tsay
Incentive Stackelberg Strategies for a Dynamic Game on Terrorism, Doris A. Behrens, Jonathan P. Caulkins, Gustav Feichtinger, and Gernot Tragler
Formal Analysis of Kerberos 5, Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, and Christopher Walstad
Using Integer Programming to Optimize Investments in Security Countermeasures: A Practical Tool for Fixed Budgets, Jonathan Caulkins, Eric Hough, Nancy Mead, and Hassan Osman
Cost-Benefit Analyses of Investments to Control Illicit Substance Abuse and Addiction, Jonathan P. Caulkins
The Need for Dynamic Drug Policy, Jonathan P. Caulkins
Heroin and Methamphetamine Seizures in Victoria, Australia: Purity Changes Associated with the Heroin “Drought”, Jonathan P. Caulkins, Caroline Godkin, Stuart Gilmour, and Paul Dietze
Optimizing Counter-Terror Operations: Should One Fight Fire with "Fire" or "Water"?, Jonathan P. Caulkins, Dieter Grass, Gustav Feichtinger, and Gernot Tragler
A Spreadsheet for Everyday Symbolic Reasoning, Iliano Cervesato
Towards a Notion of Quantitative Security Analysis, Iliano Cervesato
Deriving Key Distribution Protocols and their Security Properties, Iliano Cervesato, Catherine Meadows, and Dusko Pavlovic
Dynamically Formed Heterogeneous Robot Teams Performng Tightly Coordinated Tasks, E. Gil Jones, Brett Browning, M. Bernardine Dias, Brenna Argall, Manuela Veloso, and Anthony Stentz
Submissions from 2005
Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis, Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, and Fabio Martinelli
Turning Segways into Soccer Robots, Brett Browning, Jeremy Searock, Paul E. Rybski, and Manuela Veloso
Real-Time, Adaptive Color-based Robot Vision, Brett Browning and Manuela Veloso
Price and Purity Analysis for Illicit Drug: Data and Conceptual Issues, Jonathan P. Caulkins
Long-Run Trends in Incarceration of Drug Offenders in the US, Jonathan P. Caulkins and Sarah Chandler
Operations Research & Public Policy for Africa: Harnessing the Revolution in Management Science Instruction, Jonathan P. Caulkins, Emily Eelman, Minoli Ratnatunga, and David Schaarsmith
Bifurcating DNS Thresholds in a Model of Organizational Bridge Building, Jonathan P. Caulkins, Gustav Feichtinger, Dieter Grass, and Gernot Tragler
High and Low Frequency Oscillations in Drug Epidemics, Jonathan P. Caulkins, Alessandra Gragnani, Gustav Feichtinger, and Gernot Tragler
Explaining Fashion Cycles: Imitators Chasing Innovators in Product Space, Jonathan P. Caulkins, Richard F. Hartl, Peter M. Kort, and Gustav Feichtinger
Marijuana Markets: Inferences from Reports by the Household Population, Jonathan P. Caulkins and Rosalie Liccardo Pacula
Spreadsheet Errors and Decision Making: Evidence from Field Interviews, Jonathan P. Caulkins, Erika Layne Morrison, and Timothy Weidemann
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
Specifying Kerberos 5 Cross-Realm Authentication, Iliano Cervesato, A D. Jaggard, A Scedrov, and C Walstad
An Encapsulated Authentication Logic for Reasoning About Key Distribution Protocols, Iliano Cervesato, Catherine Meadows, and Dusko Pavlovic
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types, Iliano Cervesato and Mark-Oliver Stehr
Dynamic Heterogeneous Robot Teams Engaged in Adversarial Tasks, M. Bernardine Dias, Brett Browning, Manuela M. Veloso, and Anthony Stentz
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
Brand Image and Brand Dilution in the Fashion Industry, Peter M. Kort, Jonathan P. Caulkins, Richard F. Hartl, and Gustav Feichtinger
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
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
Collision Warning and Sensor Data Processing in Urban Areas, Charles Thorpe, Christoph Mertz, David Duggins, Jay Gowdy, John Kozar, Robert MacLachlan, Aaron Steinfeld, Arne Suppe, and Chieh-Chih Wang
Submissions from 2004
STP: Skills, Tactics and Plays for Multi-Robot Control in Adversarial Environments, Brett Browning, James Bruce, Michael Bowling, and Manuela Veloso
Development of a Soccer-Playing Dynamically-Balancing Mobile Robot, Brett Browning, Paul Rybski, Jeremy Searock, and Manuela Veloso
A Formal Analysis of Some Properties of Kerberos 5 Using MSR, Frederick Butler, Iliano Cervesato, Andre Scedrov, and Aaron D. Jaggard
Illicit Drug Markets and Economic Irregularities, Jonathan P. Caulkins and Peter Reuter
Fine-Grained MSR Specifications for Quantitative Security Analysis, Iliano Cervesato
The Logical Meeting Point of Multiset Rewriting and Process Algebra: Progress Report, Iliano Cervesato
Accurate and Flexible Simulation for Dynamic, Vision-Centric Robots, Jared Go, Brett Browning, and Manuela Veloso
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
Formal Specification and Analysis of the Group Domain of Interpretation using NPATR and the NRL Protocol Analyzer, Catherine Meadows, Paul Syverson, and Iliano Cervesato
CAMEO: Camera Assisted Meeting Event Observer, Paul E. Rybski, Fernando de la Torre, Raju Patil, Carlos Vallespi, Manuela M. Veloso, and Brett Browning
A Hierarchical Object Based Representation for Simultaneous Localization and Mapping, Charles Thorpe and Chieh-Chih Wang
Specifying Properties of Concurrent Computations in CLF, Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker
Submissions from 2003
Sell First, Fix Later: Impact of Patching on Software Quality, Ashish Arora, Jonathan P. Caulkins, and Rahul Telang
On Representing Biological Systems through Multiset Rewriting, S. Bistarelli, Iliano Cervesato, G. Lenzini, R. Marangoni, and F. Martinelli
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols, Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, and Fabio Martinelli
Relating Process Algebras and Multiset Rewriting for Security Protocol Analysis, Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, and Fabio Martinelli
Plays as Team Plans for Coordination and Adaptation, Michael Bowling, Brett Browning, Allen Chang, and Manuela Veloso
ÜberSim: A Multi-Robot Simulator for Robot Soccer, Brett Browning and Erick Tryzelaar
Planning for Communication Resources, Brett Browning and Manuela Veloso
Multi-Robot Team Response to a Multi-Robot Opponent Team, James Bruce, Michael Bowling, Brett Browning, and Manuela Veloso
A Fault-Tree Representation of NPATRL Security Requirements, Iliano Cervesato and Catherine Meadows
A Linear Spine Calculus, Iliano Cervesato and Frank Pfenning
A Concurrent Logical Framework II: Examples and Applications, Iliano Cervesato, Frank Pfenning, David Walker, and Kevin Watkins
A Concurrent Logical Framework I: Judgments and Properties, Iliano Cervesato, Kevin Watkins, Frank Pfenning, and David Walker
MONAD: A Flexible Architecture for Multi-Agent Control, Thuc Vu, Gal Kaminka, Jared Go, Manuela Veloso, and Brett Browning
Submissions from 2002
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
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
A Formal Analysis of Some Properties of Kerberos 5 Using MSR, Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov
Drug Policy: Insights from Mathematical Analysis, Jonathan P. Caulkins
The Dynamic Character of Drug Problems, Jonathan P. Caulkins
A Model of Moderation: Finding Skiba Points on a Slippery Slope, Jonathan P. Caulkins, Gustav Feichtinger, Dieter Grass, and Gernot Tragler
Cycles of Violence: A Dynamic Control Analysis (or Model?), Jonathan P. Caulkins, Gustav Feichtinger, Gernot Tragler, and Vladimir M. Veliov
Counterterror and Counterdrug Policies: Comparisons and Contrasts, Jonathan P. Caulkins, Mark A.R. Kleiman, and Peter Reuter
Data Access Specification and the Most Powerful Symbolic Attacker in MSR, Iliano Cervesato
The Wolf Within, Iliano Cervesato
A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis, Iliano Cervesato, N. Durgin, P. Lincoln, J. Mitchell, and A. Scedrov
A Linear Logical Framework, Iliano Cervesato and Frank Pfenning
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
A Specification Language for Crypto-Protocols based on Multiset Rewriting, Dependent Types and Subsorting, Iliano Cervesato
Typed MSR: Syntax and Examples, Iliano Cervesato
The Logic of Authentication Protocols, Paul Syverson and Iliano Cervesato
Submissions from 2000
Biologically Plausible Spatial Navigation for a Mobile Robot, Brett Browning
Logical Frameworks: Why Not Just Classical Logic?, Iliano Cervesato
Typed Multiset Rewriting Specifications of Security Protocols, Iliano Cervesato
Interpreting Strands in Linear Logic, Iliano Cervesato, N. Durgin, M. Kanovich, and A. Scedrov
Relating Strands and Multiset Rewriting for Security Protocol Analysis, Iliano Cervesato, N. Durgin, J. Mitchell, P. Lincoln, and A Scedrov