Follow

Submissions from 2003

PDF

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

Link

Information Technology, Organizational Learning and the Market Value of the Firm, Starling David Hunter

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 2000

PDF

Biologically Plausible Spatial Navigation for a Mobile Robot, Brett Browning

PDF

Logical Frameworks: Why Not Just Classical Logic?, Iliano Cervesato

PDF

Typed Multiset Rewriting Specifications of Security Protocols, Iliano Cervesato

PDF

Interpreting Strands in Linear Logic, Iliano Cervesato, N. Durgin, M. Kanovich, and A. Scedrov

PDF

Relating Strands and Multiset Rewriting for Security Protocol Analysis, Iliano Cervesato, N. Durgin, J. Mitchell, P. Lincoln, and A Scedrov

Submissions from 1998

PDF

How Effective Is Micro Harm Reduction At Reducing Macro Harm?, Jonathan P. Caulkins

PDF

How Should Low-Level Drug Dealers Be Punished?, Jonathan P. Caulkins and Philip Heymann

PDF

What Drug Dealers Tell Us About Their Costs of Doing Business, Jonathan P. Caulkins, Bruce Johnson, Angela Taylor, and Lowell Taylor

Submissions from 1996

PDF

Adjusting GPA to Reflect Course Difficulty, Jonathan P. Caulkins, Patrick D. Larkey, and Jifa Wei

Submissions from 1993

PDF

ONDCP's First Four Years as a Policy Agency, Peter Reuter and Jonathan Caulkins