Bio


Computer security: access control, network protocols, and software system security. Programming languages, type systems, object systems, and formal methods. Applications of mathematical logic to computer science.

Academic Appointments


Honors & Awards


  • Mary and Gordon Crary Family Professor in the School of Engineering, Stanford University

Professional Education


  • PhD, MIT (1984)

2013-14 Courses


Postdoctoral Advisees


Journal Articles


  • A cost effectiveness analysis of stepped care treatment for bulimia nervosa INTERNATIONAL JOURNAL OF EATING DISORDERS Crow, S. J., Agras, W. S., Halmi, K. A., Fairburn, C. G., Mitchell, J. E., Nyman, J. A. 2013; 46 (4): 302-307

    Abstract

    The cost effectiveness of various treatment strategies for bulimia nervosa (BN) is unknown.To examine the cost effectiveness of stepped care treatment for BN.Randomized trial conducted at four clinical centers with intensive measurement of direct medical costs and repeated measurement of subject quality of life and family/significant other time involvement. Two hundred ninety-three women who met DSM-IV criteria for BN received stepped care treatment or cognitive behavioral therapy. Cost effectiveness ratios were compared.The cost per abstinent subject was $12,146 for stepped care, and $20,317 for cognitive behavioral therapy. Quality of life ratings improved significantly with treatment, and family/significant other time burden diminished substantially.In this trial, stepped care for BN appeared cost effective in comparison to cognitive behavioral therapy. Treatment was associated with improved quality of life and diminished time costs of illness.

    View details for DOI 10.1002/eat.22087

    View details for Web of Science ID 000317298900002

    View details for PubMedID 23354913

  • Sodium nitroprusside is not associated with metabolic acidosis during intraoperative infusion in children BMC ANESTHESIOLOGY Hammer, G. B., Connolly, S. G., Schulman, S. R., Lewandowski, A., Cohane, C., Reece, T. L., Anand, R., Mitchell, J., Drover, D. R. 2013; 13

    Abstract

    Sodium nitroprusside (SNP) is a potent vasodilator that has been used to induce deliberate hypotension in children during surgery involving significant blood loss, including craniofacial and spinal fusion procedures. SNP metabolism liberates cyanide, which may cause interference with cellular energy metabolism, leading to metabolic acidosis and central nervous system injury. We performed a retrospective, case-control study to determine whether the short-term intra-operative use of SNP for deliberate hypotension is associated with metabolic acidosis in children undergoing surgical procedures for craniofacial or spinal anomalies. Cyanide and thiocyanate concentrations were also recorded in patients who received SNP.Data from 166 children undergoing craniofacial and spinal fusion surgery between 2005 and 2010 at Lucile Packard Children's Hospital (LPCH) at Stanford were analyzed. Records from 60 patients who received SNP (SNP group) as part of a multicenter, randomized, double-blind study were compared with records from 106 eligible patients who had blood pressure reduction using anesthetic agents and did not receive SNP (control group). Metabolic acidosis was defined as serum bicarbonate (HCO3) < 18.5 mEq/L. Whole blood CN, plasma thiocyanate and urinary thiocyanate concentrations were measured in patients in the SNP group. Differences in metabolic acidosis rates between the SNP and control groups were assessed through a test of noninferiority in the rate for the SNP group with a noninferiority threshold of 0.2. A z-test was used to test the null hypothesis. The alternative hypothesis was that the difference in these rates was less than 0.2. The same noninferiority threshold of 0.2 was also used to perform separate, secondary tests for noninferiority in the proportion of patients with HCO3 levels below 18.5 mEq/L and the proportion of patients who required HCO3 administration.Fewer patients in the SNP group experienced metabolic acidosis compared to the control group (31.7% vs. 36.8%, respectively; p < .001). No whole blood CN levels above the lower limit of quantification were detected in any of the 51 patients with validated CN data. Plasma and urinary thiocyanate levels were also low.Our findings suggest that SNP, when used for short-term deliberate hypotension, does not cause an increased incidence of metabolic acidosis compared with the use of anesthetic agents alone.Trial registration number: NCT00135668.

    View details for DOI 10.1186/1471-2253-13-9

    View details for Web of Science ID 000318602200001

    View details for PubMedID 23631460

  • Eating disorder and obsessive-compulsive symptoms in a sample of bulimic women: Perfectionism as a mediating factor PERSONALITY AND INDIVIDUAL DIFFERENCES Bernert, R. A., Timpano, K. R., Peterson, C. B., Crow, S. J., Bardone-Cone, A. M., Le Grange, D., Klein, M., Crosby, R. D., Mitchell, J. E., Wonderlich, S. A., Joiner, T. E. 2013; 54 (2): 231-235
  • Interplay between intrinsic and stacking-fault magnetic domains in bi-layered manganites APPLIED PHYSICS LETTERS Hossain, M. A., Burkhardt, M. H., Sarkar, S., Ohldag, H., Chuang, Y., Scholl, A., Young, A. T., Doran, A., Dessau, D. S., Zheng, H., Mitchell, J. F., Duerr, H. A., Stoehr, J. 2012; 101 (13)

    View details for DOI 10.1063/1.4754618

    View details for Web of Science ID 000309426800041

  • Measurements of atmospheric neutrinos and antineutrinos in the MINOS far detector PHYSICAL REVIEW D Adamson, P., Backhouse, C., Barr, G., Bishai, M., Blake, A. S., Bock, G. J., Boehnlein, D. J., Bogert, D., Cao, S. V., Chapman, J. D., Childress, S., Coelho, J. A., Corwin, L., Cronin-Hennessy, D., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Escobar, C. O., Evans, J. J., Falk, E., FELDMAN, G. J., Frohne, M. V., Gallagher, H. R., Gomes, R. A., Goodman, M. C., Gouffon, P., Graf, N., Gran, R., Grzelak, K., Habig, A., Hartnell, J., Hatcher, R., Himmel, A., Holin, A., Hylen, J., Irwin, G. M., Isvan, Z., Jaffe, D. E., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Koizumi, G., Kopp, S., Kordosky, M., Kreymer, A., Lang, K., Ling, J., Litchfield, P. J., Loiacono, L., Lucas, P., Mann, W. A., Marshak, M. L., Mathis, M., Mayer, N., Medeiros, M. M., Mehdiyev, R., Meier, J. R., Messier, M. D., Miller, W. H., Mishra, S. R., Mitchell, J., Moore, C. D., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Nowak, J. A., Oliver, W. P., Orchanian, M., Pahlka, R. B., Paley, J., Patterson, R. B., Pawloski, G., Phan-Budd, S., Plunkett, R. K., Qiu, X., Radovic, A., Ratchford, J., Rebel, B., Rosenfeld, C., Rubin, H. A., Sanchez, M. C., Schneps, J., Schreckenberger, A., Schreiner, P., Sharma, R., Sousa, A., Speakman, B., Strait, M., Tagg, N., Talaga, R. L., Thomas, J., Thomson, M. A., Toner, R., Torretta, D., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Walding, J. J., Weber, A., Webb, R. C., White, C., Whitehead, L., Wojcicki, S. G., Zhang, K., Zwaska, R. 2012; 86 (5)
  • Pressure-induced tuning of a magnetic phase separation in Nd0.53Sr0.47MnO3 PHYSICAL REVIEW B Baldini, M., Ding, Y., Wang, S., Lin, Y., Tulk, C. A., dos Santos, A. M., Mitchell, J. F., Haskel, D., Mao, W. L. 2012; 86 (9)
  • Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems ACM SIGPLAN NOTICES Stefan, D., Russo, A., Buiras, P., Levy, A., Mitchell, J. C., Mazieres, D. 2012; 47 (9): 201-213
  • Longitudinal stability of binge-eating type in eating disorders INTERNATIONAL JOURNAL OF EATING DISORDERS Peterson, C. B., Swanson, S. A., Crow, S. J., Mitchell, J. E., Agras, W. S., Halmi, K. A., Crosby, R. D., Wonderlich, S. A., Berg, K. C. 2012; 45 (5): 664-669

    Abstract

    The purpose of this study was to examine the 2-year longitudinal stability of objective bulimic (binge eating) episodes (OBEs) and subjective bulimic (binge eating) episodes (SBEs) in a multisite eating disorders sample.Participants included 288 females with eating disorder symptoms who were assessed every 6 months using the Eating Disorder Examination.Markov modeling revealed considerable longitudinal variability between types of binge eating over 6-month time intervals with relatively higher probability estimates for consistency between OBEs and SBEs than specific transitions between types for the overall sample as well as for eating disorder diagnostic groups. Transition patterns examining all five time points indicated notable variability in binge-eating patterns among participants.These findings suggest that although longitudinal patterns of binge types are variable among individuals with eating disorders, consistency in OBEs and SBEs was the most common pattern observed.

    View details for DOI 10.1002/eat.22008

    View details for Web of Science ID 000304993700005

    View details for PubMedID 22407944

  • A Learning-Based Approach to Reactive Security IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING Barth, A., Rubinstein, B. I., Sundararajan, M., Mitchell, J. C., Song, D., Bartlett, P. L. 2012; 9 (4): 482-493

    View details for DOI 10.1109/2011.42

    View details for Web of Science ID 000304147900005

  • Response of Dorsomedial Prefrontal Cortex Predicts Altruistic Behavior JOURNAL OF NEUROSCIENCE Waytz, A., Zaki, J., Mitchell, J. P. 2012; 32 (22): 7646-7650

    Abstract

    Human beings have an unusual proclivity for altruistic behavior, and recent commentators have suggested that these prosocial tendencies arise from our unique capacity to understand the minds of others (i.e., to mentalize). The current studies test this hypothesis by examining the relation between altruistic behavior and the reflexive engagement of a neural system reliably associated with mentalizing. Results indicated that activity in the dorsomedial prefrontal cortex--a region consistently involved in understanding others' mental states--predicts both monetary donations to others and time spent helping others. These findings address long-standing questions about the proximate source of human altruism by suggesting that prosocial behavior results, in part, from our broader tendency for social-cognitive thought.

    View details for DOI 10.1523/JNEUROSCI.6193-11.2012

    View details for Web of Science ID 000304627100023

    View details for PubMedID 22649243

  • Improved Measurement of Muon Antineutrino Disappearance in MINOS PHYSICAL REVIEW LETTERS Adamson, P., Ayres, D. S., Backhouse, C., Barr, G., Bishai, M., Blake, A., Bock, G. J., Boehnlein, D. J., Bogert, D., Cao, S. V., Childress, S., Coelho, J. A., Corwin, L., Cronin-Hennessy, D., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Escobar, C. O., Evans, J. J., Falk, E., FELDMAN, G. J., Frohne, M. V., Gallagher, H. R., Gomes, R. A., Goodman, M. C., Gouffon, P., Graf, N., Gran, R., Grzelak, K., Habig, A., Hartnell, J., Hatcher, R., Himmel, A., Holin, A., Huang, X., Hylen, J., Irwin, G. M., Isvan, Z., Jaffe, D. E., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Koizumi, G., Kopp, S., Kordosky, M., Kreymer, A., Lang, K., Ling, J., Litchfield, P. J., Loiacono, L., Lucas, P., Mann, W. A., Marshak, M. L., Mathis, M., Mayer, N., Mehdiyev, R., Meier, J. R., Messier, M. D., Michael, D. G., Miller, W. H., Mishra, S. R., Mitchell, J., Moore, C. D., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Nowak, J. A., Oliver, W. P., Orchanian, M., Pahlka, R. B., Paley, J., Patterson, R. B., Pawloski, G., Phan-Budd, S., Plunkett, R. K., Qiu, X., Radovic, A., Ratchford, J., Rebel, B., Rosenfeld, C., Rubin, H. A., Sanchez, M. C., Schneps, J., Schreckenberger, A., Schreiner, P., Sharma, R., Sousa, A., Strait, M., Tagg, N., Talaga, R. L., Thomas, J., Thomson, M. A., Tinti, G., Toner, R., Torretta, D., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Walding, J. J., Weber, A., Webb, R. C., White, C., Whitehead, L., Wojcicki, S. G., Zwaska, R. 2012; 108 (19)

    Abstract

    We report an improved measurement of ?(?) disappearance over a distance of 735 km using the MINOS detectors and the Fermilab Main Injector neutrino beam in a ?(?)-enhanced configuration. From a total exposure of 2.95×10(20) protons on target, of which 42% have not been previously analyzed, we make the most precise measurement of ?m2=[2.62(-0.28)(+0.31)(stat)±0.09(syst)]×10(-3)??eV2 and constrain the ?(?) mixing angle sin2(2?)>0.75 (90% C.L.). These values are in agreement with ?m2 and sin2(2?) measured for ?(?), removing the tension reported in [P. Adamson et al. (MINOS), Phys. Rev. Lett. 107, 021801 (2011).].

    View details for DOI 10.1103/PhysRevLett.108.191801

    View details for Web of Science ID 000303909400002

    View details for PubMedID 23003026

  • Privacy and Cybersecurity: The Next 100 Years PROCEEDINGS OF THE IEEE Landwehr, C., Boneh, D., Mitchell, J. C., Bellovin, S. M., Landau, S., Lesk, M. E. 2012; 100: 1659-1673
  • Racial/Ethnic Differences in Adults in Randomized Clinical Trials of Binge Eating Disorder JOURNAL OF CONSULTING AND CLINICAL PSYCHOLOGY Franko, D. L., Thompson-Brenner, H., Thompson, D. R., Boisseau, C. L., Davis, A., Forbush, K. T., Roehrig, J. P., Bryson, S. W., Bulik, C. M., Crow, S. J., Devlin, M. J., Gorin, A. A., Grilo, C. M., Kristeller, J. L., Masheb, R. M., Mitchell, J. E., Peterson, C. B., Safer, D. L., Striegel, R. H., Wilfley, D. E., Wilson, G. T. 2012; 80 (2): 186-195

    Abstract

    Recent studies suggest that binge eating disorder (BED) is as prevalent among African American and Hispanic Americans as among Caucasian Americans; however, data regarding the characteristics of treatment-seeking individuals from racial and ethnic minority groups are scarce. The purpose of this study was to investigate racial/ethnic differences in demographic characteristics and eating disorder symptoms in participants enrolled in treatment trials for BED.Data from 11 completed randomized, controlled trials were aggregated in a single database, the Clinical Trials of Binge Eating Disorder (CT-BED) database, which included 1,204 Caucasian, 120 African American, and 64 Hispanic participants assessed at baseline. Age, gender, race/ethnicity, education, body mass index (BMI), binge eating frequency, and Eating Disorder Examination (EDE) Restraint, Shape, Weight, and Eating Concern subscale scores were examined.Mixed model analyses indicated that African American participants in BED treatment trials had higher mean BMI than Caucasian participants, and Hispanic participants had significantly greater EDE shape, weight, and eating concerns than Caucasian participants. No racial or ethnic group differences were found on the frequency of binge eating episodes. Observed racial/ethnic differences in BED symptoms were not substantially reduced after adjusting for BMI and education. Comparisons between the CT-BED database and epidemiological data suggest limitations to the generalizability of data from treatment-seeking samples to the BED community population, particularly regarding the population with lower levels of education.Further research is needed to assess alternative demographic, psychological, and culturally specific variables to better understand the diversity of treatment-seeking individuals with BED.

    View details for DOI 10.1037/a0026700

    View details for Web of Science ID 000301882600002

    View details for PubMedID 22201327

  • Search for Lorentz invariance and CPT violation with muon antineutrinos in the MINOS Near Detector PHYSICAL REVIEW D Adamson, P., Ayres, D. S., Barr, G., Bishai, M., Blake, A., Bock, G. J., Boehnlein, D. J., Bogert, D., Cao, S. V., Cavanaugh, S., Childress, S., Coelho, J. A., Corwin, L., Cronin-Hennessy, D., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Escobar, C. O., Evans, J. J., Falk, E., FELDMAN, G. J., Frohne, M. V., Gallagher, H. R., Gomes, R. A., Goodman, M. C., Gouffon, P., Graf, N., Gran, R., Grzelak, K., Habig, A., Hartnell, J., Hatcher, R., Himmel, A., Holin, A., Hylen, J., Irwin, G. M., Isvan, Z., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Koizumi, G., Kopp, S., Kordosky, M., Kreymer, A., Lang, K., Ling, J., Litchfield, P. J., Loiacono, L., Lucas, P., Mann, W. A., Marshak, M. L., Mathis, M., Mayer, N., Mehdiyev, R., Meier, J. R., Messier, M. D., Miller, W. H., Mishra, S. R., Mitchell, J., Moore, C. D., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Nowak, J. A., Oliver, W. P., Orchanian, M., Pahlka, R. B., Paley, J., Patterson, R. B., Pawloski, G., Phan-Budd, S., Plunkett, R. K., Qiu, X., Radovic, A., Ratchford, J., Rebel, B., Rosenfeld, C., Rubin, H. A., Sanchez, M. C., Schneps, J., Schreckenberger, A., Schreiner, P., Sharma, R., Sousa, A., Strait, M., Tagg, N., Talaga, R. L., Thomas, J., Thomson, M. A., Tinti, G., Toner, R., Torretta, D., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Walding, J. J., Weber, A., Webb, R. C., White, C., Whitehead, L., Wojcicki, S. G., Zwaska, R. 2012; 85 (3)
  • Information-flow control for programming on encrypted data. IACR Cryptology ePrint Archive Mitchell, John, C., Sharma, R., Stefan, D., Zimmerman, J. 2012: 205
  • Flexible Dynamic Information Flow Control in the Presence of Exceptions. CoRR abs/1207.1457 Stefan, D., Russo, A., Mitchell, John, C., Mazières, D. 2012
  • Driving magnetic order in a manganite by ultrafast lattice excitation PHYSICAL REVIEW B Foerst, M., Tobey, R. I., Wall, S., Bromberger, H., Khanna, V., Cavalieri, A. L., Chuang, Y., Lee, W. S., Moore, R., Schlotter, W. F., Turner, J. J., Krupin, O., Trigo, M., Zheng, H., Mitchell, J. F., Dhesi, S. S., Hill, J. P., Cavalleri, A. 2011; 84 (24)
  • Examining the Stability of DSM-IV and Empirically Derived Eating Disorder Classification: Implications for DSM-5 JOURNAL OF CONSULTING AND CLINICAL PSYCHOLOGY Peterson, C. B., Crow, S. J., Swanson, S. A., Crosby, R. D., Wonderlich, S. A., Mitchell, J. E., Agras, W. S., Halmi, K. A. 2011; 79 (6): 777-783

    Abstract

    The purpose of this investigation was to derive an empirical classification of eating disorder symptoms in a heterogeneous eating disorder sample using latent class analysis (LCA) and to examine the longitudinal stability of these latent classes (LCs) and the stability of DSM-IV eating disorder (ED) diagnoses.A total of 429 females with ED symptoms were assessed using the Eating Disorder Examination every 6 months for 2 years. LCA was used to derive empirical classification at baseline. Latent transition analysis (LTA) was used to examine the longitudinal stability of LCs, and Markov modeling procedures were used to examine DSM-IV ED diagnoses over all the time points.LCA yielded a 3-class solution: binge eating and purging, binge eating only, and low body mass index. LTA indicated that these LCs showed greater stability over 2 years than DSM-IV diagnoses with the probability of remaining in the same class ranging from 0.69 to 0.91 for LCs and from 0.40 to 0.75 for DSM-IV diagnoses. Transition patterns also revealed more stability for LCs with only 21% changing classes compared with 63% of the DSM-IV diagnostic categories.Empirically derived classes of ED symptoms showed greater longitudinal stability than DSM-IV diagnoses over a 2-year time period, suggesting that modifying the criteria to be consistent with empirically based classification (e.g., reducing frequency requirements of binge eating and purging) may reduce ED diagnostic crossover in DSM-5.

    View details for DOI 10.1037/a0025941

    View details for Web of Science ID 000297548600007

    View details for PubMedID 22040286

  • Improved Search for Muon-Neutrino to Electron-Neutrino Oscillations in MINOS PHYSICAL REVIEW LETTERS Adamson, P., Auty, D. J., Ayres, D. S., Backhouse, C., Barr, G., Betancourt, M., Bishai, M., Blake, A., Bock, G. J., Boehnlein, D. J., Bogert, D., Cao, S. V., Cavanaugh, S., Cherdack, D., Childress, S., Coelho, J. A., Corwin, L., Cronin-Hennessy, D., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Dorman, M., Escobar, C. O., Evans, J., Falk, E., FELDMAN, G. J., Frohne, M. V., Gallagher, H. R., Gomes, R. A., Goodman, M. C., Gouffon, P., Graf, N., Gran, R., Grzelak, K., Habig, A., Hartnell, J., Hatcher, R., Himmel, A., Holin, A., Huang, X., Hylen, J., Irwin, G. M., Isvan, Z., Jaffe, D. E., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Koizumi, G., Kopp, S., Kordosky, M., Kreymer, A., Lang, K., Lefeuvre, G., Ling, J., Litchfield, P. J., Loiacono, L., Lucas, P., Mann, W. A., Marshak, M. L., Mathis, M., Mayer, N., McGowan, A. M., Mehdiyev, R., Meier, J. R., Messier, M. D., Michael, D. G., Miller, W. H., Mishra, S. R., Mitchell, J., Moore, C. D., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Nowak, J. A., Ochoa-Ricoux, J. P., Oliver, W. P., Orchanian, M., Paley, J., Patterson, R. B., Pawloski, G., Pearce, G. F., Phan-Budd, S., Plunkett, R. K., Qiu, X., Ratchford, J., Rebel, B., Rosenfeld, C., Rubin, H. A., Sanchez, M. C., Schneps, J., Schreckenberger, A., Schreiner, P., Shanahan, P., Sharma, R., Sousa, A., Tagg, N., Talaga, R. L., Thomas, J., Thomson, M. A., Toner, R., Torretta, D., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Walding, J. J., Weber, A., Webb, R. C., White, C., Whitehead, L., Wojcicki, S. G., Yang, T., Zwaska, R. 2011; 107 (18)

    Abstract

    We report the results of a search for ?(e) appearance in a ?(?) beam in the MINOS long-baseline neutrino experiment. With an improved analysis and an increased exposure of 8.2 × 10(20) protons on the NuMI target at Fermilab, we find that 2 sin(2) (?(23))sin(2)(2?(13))<0.12(0.20) at 90% confidence level for ? = 0 and the normal (inverted) neutrino mass hierarchy, with a best-fit of 2sin(2) (?(23))sin(2)(2?(13)) = 0.041(-0.031)(+0.047) (0.079(-0.053) (+0.071)). The ?(13) = 0 hypothesis is disfavored by the MINOS data at the 89% confidence level.

    View details for DOI 10.1103/PhysRevLett.107.181802

    View details for Web of Science ID 000297004200009

    View details for PubMedID 22107623

  • Search for the disappearance of muon antineutrinos in the NuMI neutrino beam PHYSICAL REVIEW D Adamson, P., Auty, D. J., Ayres, D. S., Backhouse, C., Barr, G., Bishai, M., Blake, A., Bock, G. J., Boehnlein, D. J., Bogert, D., Cao, S. V., Cavanaugh, S., Cherdack, D., Childress, S., Choudhary, B. C., Coelho, J. A., Coleman, S. J., Corwin, L., Cronin-Hennessy, D., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Dorman, M., Escobar, C. O., Evans, J. J., Falk, E., FELDMAN, G. J., Frohne, M. V., Gallagher, H. R., Gomes, R. A., Goodman, M. C., Gouffon, P., Graf, N., Gran, R., Grant, N., Grzelak, K., Habig, A., Hartnell, J., Hatcher, R., Himmel, A., Holin, A., Howcroft, C., Huang, X., Hylen, J., Irwin, G. M., Isvan, Z., Jaffe, D. E., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Koizumi, G., Kopp, S., Kordosky, M., Kreymer, A., Lang, K., Lefeuvre, G., Ling, J., Litchfield, P. J., Loiacono, L., Lucas, P., Mann, W. A., Marshak, M. L., Mathis, M., Mayer, N., Mehdiyev, R., Meier, J. R., Messier, M. D., Michael, D. G., Miller, W. H., Mishra, S. R., Mitchell, J., Moore, C. D., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Nowak, J. A., Ochoa-Ricoux, J. P., Oliver, W. P., Orchanian, M., Pahlka, R., Paley, J., Patterson, R. B., Pawloski, G., Pearce, G. F., Phan-Budd, S., Plunkett, R. K., Qiu, X., Ratchford, J., Rebel, B., Rosenfeld, C., Rubin, H. A., Sanchez, M. C., Schneps, J., Schreckenberger, A., Schreiner, P., Sharma, R., Sousa, A., Strait, M., Tagg, N., Talaga, R. L., Tavera, M. A., Thomas, J., Thomson, M. A., Tinti, G., Toner, R., Torretta, D., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Walding, J. J., Weber, A., Webb, R. C., White, C., Whitehead, L., Wojcicki, S. G., Yang, T., Zwaska, R. 2011; 84 (7)
  • A 1-year follow-up of a multi-center treatment trial of adults with anorexia nervosa EATING AND WEIGHT DISORDERS-STUDIES ON ANOREXIA BULIMIA AND OBESITY Yu, J., Agras, W. S., HALMI, K. A., Crow, S., Mitchell, J., Bryson, S. W. 2011; 16 (3): E177-E181

    Abstract

    To examine maintenance of recovery following treatment in an adult anorexia nervosa (AN) population.One year follow-up of a randomized clinical trial with 122 participants treated with: cognitive behavioral therapy (CBT), drug therapy (fluoxetine), or a combination (CBT+fluoxetine) for 12 months. Participants were assessed at baseline, end of treatment, and follow-up. The primary outcomes were weight and the global scores from the Eating Disorder Examination (EDE) separately and combined.Fifty-two participants completed the follow-up. Mean weight increased from end of treatment to follow-up. Seventy-five percent (75%) of those weight recovered at end of treatment maintained this recovery at follow-up. Recovery of eating disorder psychopathology was stable from end of treatment to follow-up, with 40% of participants with a global EDE score within normal range. Using the most stringent criteria for recovery, only 21% of the completer sample was recovered.The findings suggest that while adults with AN improve with treatment and maintain these improvements during follow-up, the majority is not recovered. Additionally, further research is needed to understand barriers to treatment and assessment completion.

    View details for Web of Science ID 000303170600005

    View details for PubMedID 22290033

  • First Direct Observation of Muon Antineutrino Disappearance PHYSICAL REVIEW LETTERS Adamson, P., Andreopoulos, C., Auty, D. J., Ayres, D. S., Backhouse, C., Barr, G., Bishai, M., Blake, A., Bock, G. J., Boehnlein, D. J., Bogert, D., Cavanaugh, S., Cherdack, D., Childress, S., Choudhary, B. C., Coelho, J. A., Coleman, S. J., Corwin, L., Cronin-Hennessy, D., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Dorman, M., Escobar, C. O., Evans, J. J., Falk, E., FELDMAN, G. J., Frohne, M. V., Gallagher, H. R., Gomes, R. A., Goodman, M. C., Gouffon, P., Graf, N., Gran, R., Grant, N., Grzelak, K., Habig, A., Harris, D., Hartnell, J., Hatcher, R., Himmel, A., Holin, A., Howcroft, C., Huang, X., Hylen, J., ILIC, J., Irwin, G. M., Isvan, Z., Jaffe, D. E., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Koizumi, G., Kopp, S., Kordosky, M., Kreymer, A., Lang, K., Lefeuvre, G., Ling, J., Litchfield, P. J., Loiacono, L., Lucas, P., Mann, W. A., Marshak, M. L., Mayer, N., McGowan, A. M., Mehdiyev, R., Meier, J. R., Messier, M. D., Miller, W. H., Mishra, S. R., Mitchell, J., Moore, C. D., Morfin, J., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Nicholls, T. C., Nowak, J. A., Ochoa-Ricoux, J. P., Oliver, W. P., Orchanian, M., Ospanov, R., Paley, J., Patterson, R. B., Pawloski, G., Pearce, G. F., Petyt, D. A., Phan-Budd, S., Plunkett, R. K., Qiu, X., Ratchford, J., Raufer, T. M., Rebel, B., Rodrigues, P. A., Rosenfeld, C., Rubin, H. A., Sanchez, M. C., Schneps, J., Schreiner, P., Shanahan, P., Sousa, A., Stamoulis, P., Strait, M., Tagg, N., Talaga, R. L., Tetteh-Lartey, E., Thomas, J., Thomson, M. A., Tinti, G., Toner, R., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Weber, A., Webb, R. C., White, C., Whitehead, L., Wojcicki, S. G., Yang, T., Zwaska, R. 2011; 107 (1)
  • Active to Sterile Neutrino Mixing Limits from Neutral-Current Interactions in MINOS PHYSICAL REVIEW LETTERS Adamson, P., Auty, D. J., Ayres, D. S., Backhouse, C., Barr, G., Bishai, M., Blake, A., Bock, G. J., Boehnlein, D. J., Bogert, D., Cavanaugh, S., Cherdack, D., Childress, S., Coelho, J. A., Coleman, S. J., Corwin, L., Cronin-Hennessy, D., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Dorman, M., Escobar, C. O., Evans, J. J., Falk, E., FELDMAN, G. J., Frohne, M. V., Gallagher, H. R., Gomes, R. A., Goodman, M. C., Gouffon, P., Graf, N., Gran, R., Grant, N., Grzelak, K., Habig, A., Harris, D., Hartnell, J., Hatcher, R., Himmel, A., Holin, A., Huang, X., Hylen, J., ILIC, J., Irwin, G. M., Isvan, Z., Jaffe, D. E., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Koizumi, G., Kopp, S., Kordosky, M., Kreymer, A., Lang, K., Lefeuvre, G., Ling, J., Litchfield, P. J., Loiacono, L., Lucas, P., Mann, W. A., Marshak, M. L., Mayer, N., McGowan, A. M., Mehdiyev, R., Meier, J. R., Messier, M. D., Miller, W. H., Mishra, S. R., Mitchell, J., Moore, C. D., Morfin, J., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Nicholls, T. C., Nowak, J. A., Oliver, W. P., Orchanian, M., Paley, J., Patterson, R. B., Pawloski, G., Pearce, G. F., Petyt, D. A., Phan-Budd, S., Pittam, R., Plunkett, R. K., Qiu, X., Ratchford, J., Raufer, T. M., Rebel, B., Rodrigues, P. A., Rosenfeld, C., Rubin, H. A., Sanchez, M. C., Schneps, J., Schreiner, P., Sharma, R., Shanahan, P., Sousa, A., Stamoulis, P., Strait, M., Tagg, N., Talaga, R. L., Tetteh-Lartey, E., Thomas, J., Thomson, M. A., Tinti, G., Toner, R., Torretta, D., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Walding, J. J., Weber, A., Webb, R. C., White, C., Whitehead, L., Wojcicki, S. G., Zwaska, R. 2011; 107 (1)

    Abstract

    Results are reported from a search for active to sterile neutrino oscillations in the MINOS long-baseline experiment, based on the observation of neutral-current neutrino interactions, from an exposure to the NuMI neutrino beam of 7.07×10(20) protons on target. A total of 802 neutral-current event candidates is observed in the Far Detector, compared to an expected number of 754 ± 28(stat) ± 37(syst) for oscillations among three active flavors. The fraction f(s) of disappearing ?(?) that may transition to ?(s) is found to be less than 22% at the 90% C.L.

    View details for DOI 10.1103/PhysRevLett.107.011802

    View details for Web of Science ID 000292256400004

    View details for PubMedID 21797535

  • Measurement of the Neutrino Mass Splitting and Flavor Mixing by MINOS PHYSICAL REVIEW LETTERS Adamson, P., Andreopoulos, C., Armstrong, R., Auty, D. J., Ayres, D. S., Backhouse, C., Barr, G., Bishai, M., Blake, A., Bock, G. J., Boehnlein, D. J., Bogert, D., Cavanaugh, S., Cherdack, D., Childress, S., Choudhary, B. C., Coelho, J. A., Coleman, S. J., Corwin, L., Cronin-Hennessy, D., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Dorman, M., Escobar, C. O., Evans, J. J., Falk, E., FELDMAN, G. J., Frohne, M. V., Gallagher, H. R., Gomes, R. A., Goodman, M. C., Gouffon, P., Graf, N., Gran, R., Grant, N., Grzelak, K., Habig, A., Harris, D., Hartnell, J., Hatcher, R., Himmel, A., Holin, A., Huang, X., Hylen, J., ILIC, J., Irwin, G. M., Isvan, Z., Jaffe, D. E., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Koizumi, G., Kopp, S., Kordosky, M., Kreymer, A., Lang, K., Lefeuvre, G., Ling, J., Litchfield, P. J., Litchfield, R. P., Loiacono, L., Lucas, P., Mann, W. A., Marshak, M. L., Mayer, N., McGowan, A. M., Mehdiyev, R., Meier, J. R., Messier, M. D., Michael, D. G., Miller, W. H., Mishra, S. R., Mitchell, J., Moore, C. D., Moffin, J., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Nowak, J. A., Oliver, W. P., Orchanian, M., Ospanov, R., Paley, J., Patterson, R. B., Pawloski, G., Pearce, G. F., Petyt, D. A., Phan-Budd, S., Plunkett, R. K., Qiu, X., Ratchford, J., Raufer, T. M., Rebel, B., Rodrigues, P. A., Rosenfeld, C., Rubin, H. A., Sanchez, M. C., Schneps, J., Schreiner, P., Shanahan, P., Smith, C., Sousa, A., Stamoulis, P., Strait, M., Tagg, N., Talaga, R. L., Thomas, J., Thomson, M. A., Tinti, G., Toner, R., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Weber, A., Webb, R. C., White, C., Whitehead, L., Wojcicki, S. G., Yang, T., Zwaska, R. 2011; 106 (18)

    Abstract

    Measurements of neutrino oscillations using the disappearance of muon neutrinos from the Fermilab NuMI neutrino beam as observed by the two MINOS detectors are reported. New analysis methods have been applied to an enlarged data sample from an exposure of 7.25×10(20) protons on target. A fit to neutrino oscillations yields values of |?m(2)|=(2.32(-0.08)(+0.12))×10(-3) eV(2) for the atmospheric mass splitting and sin(2)(2?)>0.90 (90% C.L.) for the mixing angle. Pure neutrino decay and quantum decoherence hypotheses are excluded at 7 and 9 standard deviations, respectively.

    View details for DOI 10.1103/PhysRevLett.106.181801

    View details for Web of Science ID 000290101000002

    View details for PubMedID 21635083

  • Security Modeling and Analysis IEEE SECURITY & PRIVACY Bau, J., Mitchell, J. C. 2011; 9 (3): 18-25

    View details for DOI 10.1109/MSP.2011.2

    View details for Web of Science ID 000290999800004

  • Stepped care and cognitive behavioural therapy for bulimia nervosa: randomised trial BRITISH JOURNAL OF PSYCHIATRY Mitchell, J. E., Agras, S., Crow, S., Halmi, K., Fairburn, C. G., Bryson, S., Kraemer, H. 2011; 198 (5): 391-397

    Abstract

    This study compared the best available treatment for bulimia nervosa, cognitive-behavioural therapy (CBT) augmented by fluoxetine if indicated, with a stepped-care treatment approach in order to enhance treatment effectiveness.To establish the relative effectiveness of these two approaches.This was a randomised trial conducted at four clinical centres (Clinicaltrials.gov registration number: NCT00733525). A total of 293 participants with bulimia nervosa were randomised to one of two treatment conditions: manual-based CBT delivered in an individual therapy format involving 20 sessions over 18 weeks and participants who were predicted to be non-responders after 6 sessions of CBT had fluoxetine added to treatment; or a stepped-care approach that began with supervised self-help, with the addition of fluoxetine in participants who were predicted to be non-responders after six sessions, followed by CBT for those who failed to achieve abstinence with self-help and medication management.Both in the intent-to-treat and completer samples, there were no differences between the two treatment conditions in inducing recovery (no binge eating or purging behaviours for 28 days) or remission (no longer meeting DSM-IV criteria). At the end of 1-year follow-up, the stepped-care condition was significantly superior to CBT.Therapist-assisted self-help was an effective first-level treatment in the stepped-care sequence, and the full sequence was more effective than CBT suggesting that treatment is enhanced with a more individualised approach.

    View details for DOI 10.1192/bjp.bp.110.082172

    View details for Web of Science ID 000290706100016

    View details for PubMedID 21415046

  • Measurement of the underground atmospheric muon charge ratio using the MINOS Near Detector PHYSICAL REVIEW D Adamson, P., Andreopoulos, C., Auty, D. J., Ayres, D. S., Backhouse, C., Barr, G., Barrett, W. L., Bhattarai, P., Bishai, M., Blake, A., Bock, G. J., Boehnlein, D. J., Bogert, D., Budd, S., Cavanaugh, S., Cherdack, D., Childress, S., Choudhary, B. C., Coelho, J. A., Coleman, S. J., Corwin, L., Cronin-Hennessy, D., Damiani, D., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Dorman, M., Escobar, C. O., Evans, J. J., Falk, E., FELDMAN, G. J., Fields, T. H., Frohne, M. V., Gallagher, H. R., Gomes, R. A., Goodman, M. C., Gouffon, P., Graf, N., Gran, R., Grant, N., Grzelak, K., Habig, A., Harris, D., Harris, P. G., Hartnell, J., Hatcher, R., Himmel, A., Holin, A., Huang, X., Hylen, J., ILIC, J., Irwin, G. M., Isvan, Z., Jaffe, D. E., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Koizumi, G., Kopp, S., Kordosky, M., Krahn, Z., Kreymer, A., Lang, K., Lefeuvre, G., Ling, J., Litchfield, P. J., Loiacono, L., Lucas, P., Mann, W. A., Marshak, M. L., Mayer, N., McGowan, A. M., Mehdiyev, R., Meier, J. R., Messier, M. D., Michael, D. G., Miller, W. H., Mishra, S. R., Mitchell, J., Moore, C. D., Morfin, J., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Nowak, J. A., Oliver, W. P., Orchanian, M., Paley, J., Patterson, R. B., Pawloski, G., Pearce, G. F., Pittam, R., Plunkett, R. K., Qiu, X., Ratchford, J., Raufer, T. M., Rebel, B., Reichenbacher, J., Rodrigues, P. A., Rosenfeld, C., Rubin, H. A., Ryabov, V. A., Sanchez, M. C., Saoulidou, N., Schneps, J., Schreiner, P., Shanahan, P., Sousa, A., Strait, M., Tagg, N., Talaga, R. L., Thomas, J., Thomson, M. A., Tinti, G., Toner, R., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Weber, A., Webb, R. C., White, C., Whitehead, L., Wojcicki, S. G., Wright, D. M., Yang, T., Zwaska, R. 2011; 83 (3)
  • Observation in the MINOS far detector of the shadowing of cosmic rays by the sun and moon ASTROPARTICLE PHYSICS Adamson, P., Andreopoulos, C., Ayres, D. S., Backhouse, C., Barr, G., Barrett, W. L., Bishai, M., Blake, A., Bock, B., Bock, G. J., Boehnlein, D. J., Bogert, D., Bower, C., Budd, S., Cavanaugh, S., Cherdack, D., Childress, S., Choudhary, B. C., COBB, J. H., Coelho, J. A., Coleman, S. J., Corwin, L., Cronin-Hennessy, D., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Dorman, M., Escobar, C. O., Evans, J. J., Falk, E., FELDMAN, G. J., Frohne, M. V., Gallagher, H. R., Godley, A., Gomes, R. A., Goodman, M. C., Gouffon, P., Gran, R., Grant, N., Grashorn, E. W., Grzelak, K., Habig, A., Harris, D., Harris, P. G., Hartnell, J., Hatcher, R., Himmel, A., Holin, A., Huang, X., Hylen, J., ILIC, J., Irwin, G. M., Isvan, Z., Jaffe, D. E., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Koizumi, G., Kopp, S., Kordosky, M., Krahn, Z., Kreymer, A., Lang, K., Lefeuvre, G., Ling, J., Litchfield, P. J., Litchfield, R. P., Loiacono, L., Lucas, P., Mann, W. A., Marshak, M. L., Marshall, J. S., Mayer, N., McGowan, A. M., Mehdiyev, R., Meier, J. R., Messier, M. D., Michael, D. G., Miller, W. H., Mishra, S. R., Mitchell, J., Moore, C. D., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Nicholls, T. C., Oliver, W. P., Orchanian, M., Paley, J., Patterson, R. B., Pawloski, G., Pearce, G. F., Peterson, E. A., Pittam, R., Plunkett, R. K., Ratchford, J., Raufer, T. M., Rebel, B., Reichenbacher, J., Rodrigues, P. A., Rosenfeld, C., Rubin, H. A., Ryabov, V. A., Sanchez, M. C., Schneps, J., Schreiner, P., Semenov, V. K., Shanahan, P., Sousa, A., Strait, M., Tagg, N., Talaga, R. L., Thomas, J., Thomson, M. A., Thron, J. L., Tinti, G., Toner, R., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Weber, A., Webb, R. C., White, C., Whitehead, L., Wojcicki, S. G., Wright, D. M., Yang, T., Zwaska, R. 2011; 34 (6): 457-466
  • Flexible Dynamic Information Flow Control in Haskell HASKELL 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN HASKELL SYMPOSIUM Stefan, D., Russo, A., Mitchell, J. C., Mazieres, D. 2011: 95-106
  • TBA : A Hybrid of Logic and Extensional Access Control Systems. Formal Aspects in Security and Trust Hinrichs, Timothy, L., Garrison III, William, C., Lee, Adam, J., Saunders, S., Mitchell, John, C. 2011
  • A Domain-Specific Language for Computing on Encrypted Data. IACR Cryptology ePrint Archive Bain, A., Mitchell, John, C., Sharma, R., Stefan, D., Zimmerman, J. 2011: 561
  • Search for Lorentz Invariance and CPT Violation with the MINOS Far Detector PHYSICAL REVIEW LETTERS Adamson, P., Auty, D. J., Ayres, D. S., Backhouse, C., Barr, G., Barrett, W. L., Bishai, M., Blake, A., Bock, G. J., Boehnlein, D. J., Bogert, D., Bower, C., Budd, S., Cavanaugh, S., Cherdack, D., Childress, S., Choudhary, B. C., Coelho, J. A., COBB, J. H., Coleman, S. J., Corwin, L., Cravens, J. P., Cronin-Hennessy, D., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Dorman, M., Escobar, C. O., Evans, J. J., Falk, E., FELDMAN, G. J., Frohne, M. V., Gallagher, H. R., Gomes, R. A., Goodman, M. C., Gouffon, P., Gran, R., Grant, N., Grzelak, K., Habig, A., Harris, D., Harris, P. G., Hartnell, J., Hatcher, R., Himmel, A., Holin, A., Huang, X., Hylen, J., ILIC, J., Irwin, G. M., Isvan, Z., Jaffe, D. E., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Koizumi, G., Kopp, S., Kordosky, M., Krahn, Z., Kreymer, A., Lang, K., Lefeuvre, G., Ling, J., Litchfield, P. J., Loiacono, L., Lucas, P., Mann, W. A., Marshak, M. L., Mayer, N., McGowan, A. M., Mehdiyev, R., Meier, J. R., Messier, M. D., Michael, D. G., Miller, J. L., Miller, W. H., Mishra, S. R., Mitchell, J., Moore, C. D., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Oliver, W. P., Orchanian, M., Paley, J., Patterson, R. B., Patzak, T., Pawloski, G., Pearce, G. F., Pittam, R., Plunkett, R. K., Ratchford, J., Raufer, T. M., Rebel, B., Rodrigues, P. A., Rosenfeld, C., Rubin, H. A., Ryabov, V. A., Sanchez, M. C., Saoulidou, N., Schneps, J., Schreiner, P., Semenov, V. K., Shanahan, P., Smart, W., Sousa, A., Strait, M., Tagg, N., Talaga, R. L., Thomas, J., Thomson, M. A., Tinti, G., Toner, R., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Weber, A., Webb, R. C., White, C., Whitehead, L., Wojcicki, S. G., Wright, D. M., Yang, T., Zois, M., Zwaska, R. 2010; 105 (15)

    Abstract

    We searched for a sidereal modulation in the MINOS far detector neutrino rate. Such a signal would be a consequence of Lorentz and CPT violation as described by the standard-model extension framework. It also would be the first detection of a perturbative effect to conventional neutrino mass oscillations. We found no evidence for this sidereal signature, and the upper limits placed on the magnitudes of the Lorentz and CPT violating coefficients describing the theory are an improvement by factors of 20-510 over the current best limits found by using the MINOS near detector.

    View details for DOI 10.1103/PhysRevLett.105.151601

    View details for Web of Science ID 000282426400005

    View details for PubMedID 21230890

  • Simulating greenhouse gas budgets of four California cropping systems under conventional and alternative management ECOLOGICAL APPLICATIONS De Gryze, S., Wolf, A., Kaffka, S. R., Mitchell, J., Rolston, D. E., Temple, S. R., Lee, J., Six, J. 2010; 20 (7): 1805-1819

    Abstract

    Despite the importance of agriculture in California's Central Valley, the potential of alternative management practices to reduce soil greenhouse gas (GHG) emissions has been poorly studied in California. This study aims at (1) calibrating and validating DAYCENT, an ecosystem model, for conventional and alternative cropping systems in California's Central Valley, (2) estimating CO2, N2O, and CH4 soil fluxes from these systems, and (3) quantifying the uncertainty around model predictions induced by variability in the input data. The alternative practices considered were cover cropping, organic practices, and conservation tillage. These practices were compared with conventional agricultural management. The crops considered were beans, corn, cotton, safflower, sunflower, tomato, and wheat. Four field sites, for which at least five years of measured data were available, were used to calibrate and validate the DAYCENT model. The model was able to predict 86-94% of the measured variation in crop yields and 69-87% of the measured variation in soil organic carbon (SOC) contents. A Monte Carlo analysis showed that the predicted variability of SOC contents, crop yields, and N2O fluxes was generally smaller than the measured variability of these parameters, in particular for N2O fluxes. Conservation tillage had the smallest potential to reduce GHG emissions among the alternative practices evaluated, with a significant reduction of the net soil GHG fluxes in two of the three sites of 336 +/- 47 and 550 +/- 123 kg CO2-eq x ha(-1) x yr(-1) (mean +/- SE). Cover cropping had a larger potential, with net soil GHG flux reductions of 752 +/- 10, 1072 +/- 272, and 2201 +/- 82 kg CO2-eq x ha(-1) x yr(-1). Organic practices had the greatest potential for soil GHG flux reduction, with 4577 +/- 272 kg CO2-eq x ha(-1) x yr(-1). Annual differences in weather or management conditions contributed more to the variance in annual GHG emissions than soil variability did. We concluded that the DAYCENT model was successful at predicting GHG emissions of different alternative management systems in California, but that a sound error analysis must accompany the predictions to understand the risks and potentials of GHG mitigation through adoption of alternative practices.

    View details for Web of Science ID 000282278200004

    View details for PubMedID 21049871

  • New constraints on muon-neutrino to electron-neutrino transitions in MINOS PHYSICAL REVIEW D Adamson, P., Andreopoulos, C., Auty, D. J., Ayres, D. S., Backhouse, C., Barr, G., Bernstein, R. H., Betancourt, M., Bhattarai, P., Bishai, M., Blake, A., Bock, G. J., Boehm, J., Boehnlein, D. J., Bogert, D., Bower, C., Budd, S., Cavanaugh, S., Cherdack, D., Childress, S., Choudhary, B. C., COBB, J. H., Coelho, J. A., Coleman, S. J., Corwin, L., Cronin-Hennessy, D., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Dorman, M., Escobar, C. O., Evans, J. J., Falk, E., FELDMAN, G. J., Frohne, M. V., Gallagher, H. R., Godley, A., Goodman, M. C., Gouffon, P., Graf, N., Gran, R., Grashorn, E. W., Grzelak, K., Habig, A., Harris, D., Harris, P. G., Hartnell, J., Hatcher, R., Heller, K., Himmel, A., Holin, A., Huang, X., Hylen, J., ILIC, J., Irwin, G. M., Isvan, Z., Jaffe, D. E., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Koizumi, G., Kopp, S., Kordosky, M., Krahn, Z., Kreymer, A., Lang, K., Lefeuvre, G., Ling, J., Litchfield, P. J., Litchfield, R. P., Loiacono, L., Lucas, P., Ma, J., Mann, W. A., Marshak, M. L., Marshall, J. S., Mayer, N., McGowan, A. M., Mehdiyev, R., Meier, J. R., Messier, M. D., Michael, D. G., Miller, W. H., Mishra, S. R., Mitchell, J., Moore, C. D., Morfin, J., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Ochoa-Ricoux, J. P., Oliver, W. P., Orchanian, M., Ospanov, R., Paley, J., Para, A., Patterson, R. B., Pawloski, G., Pearce, G. F., Petyt, D. A., Pittam, R., Plunkett, R. K., Rameika, R. A., Raufer, T. M., Rebel, B., Rodrigues, P. A., Rosenfeld, C., Rubin, H. A., Ryabov, V. A., Sanchez, M. C., Schneps, J., Schreiner, P., Shanahan, P., Smart, W., Smith, C., Sousa, A., Strait, M., Swain, S., Tagg, N., Talaga, R. L., Thomas, J., Thomson, M. A., Tinti, G., Toner, R., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Weber, A., Webb, R. C., White, C., Whitehead, L., Wojcicki, S. G., Wright, D. M., Yang, T., Zhang, K., Zois, M., Zwaska, R. 2010; 82 (5)
  • Neutrino and antineutrino inclusive charged-current cross section measurements with the MINOS near detector PHYSICAL REVIEW D Adamson, P., Andreopoulos, C., Arms, K. E., Armstrong, R., Auty, D. J., Ayres, D. S., Backhouse, C., Barnes, P. D., Barr, G., Barrett, W. L., Bhattacharya, D., Bishai, M., Blake, A., Bock, G. J., Boehnlein, D. J., Bogert, D., Bower, C., Cavanaugh, S., Chapman, J. D., Cherdack, D., Childress, S., Choudhary, B. C., Coelho, J. A., Coleman, S. J., Cronin-Hennessy, D., Culling, A. J., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Dorman, M., Erwin, A. R., Escobar, C. O., Evans, J. J., Falk, E., FELDMAN, G. J., Frohne, M. V., Gallagher, H. R., Godley, A., Goodman, M. C., Gouffon, P., Gran, R., Grashorn, E. W., Grzelak, K., Habig, A., Harris, D., Harris, P. G., Hartnell, J., Hatcher, R., Heller, K., Himmel, A., Holin, A., Hylen, J., Irwin, G. M., Isvan, Z., Jaffe, D. E., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Kim, J. J., Koizumi, G., Kopp, S., Kordosky, M., Koskinen, D. J., Krahn, Z., Kreymer, A., Lang, K., Ling, J., Litchfield, P. J., Litchfield, R. P., Loiacono, L., Lucas, P., Ma, J., Mann, W. A., Marshak, M. L., Marshall, J. S., Mayer, N., McGowan, A. M., Mehdiyev, R., Meier, J. R., Messier, M. D., Metelko, C. J., Michael, D. G., Miller, W. H., Mishra, S. R., Mitchell, J., Moore, C. D., Morfin, J., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Nicholls, T. C., Ochoa-Ricoux, J. P., Oliver, W. P., Osiecki, T., Ospanov, R., Paley, J., Paolone, V., Patterson, R. B., Pavlovic, Z., Pawloski, G., Pearce, G. F., Petyt, D. A., Pittam, R., Plunkett, R. K., Rahaman, A., Rameika, R. A., Raufer, T. M., Rebel, B., Rodrigues, P. A., Rosenfeld, C., Rubin, H. A., Ryabov, V. A., Sanchez, M. C., Saoulidou, N., Schneps, J., Schreiner, P., Semenov, V. K., Shanahan, P., Smart, W., Smith, C., Sousa, A., Stamoulis, P., Strait, M., Tagg, N., Talaga, R. L., Thomas, J., Thomson, M. A., Tinti, G., Toner, R., Tsarev, V. A., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Watabe, M., Weber, A., Webb, R. C., West, N., White, C., Whitehead, L., Wojcicki, S. G., Wright, D. M., Yang, T., Zois, M., Zhang, K., Zwaska, R. 2010; 81 (7)
  • Management of Alveolar Air Leaks After Pulmonary Resection ANNALS OF THORACIC SURGERY Singhal, S., Ferraris, V. A., Bridges, C. R., Clough, E. R., Mitchell, J. D., Fernando, H. C., Shrager, J. B. 2010; 89 (4): 1327-1335

    Abstract

    Air leaks are a common problem after pulmonary resection and can be a source of significant morbidity and mortality. Air leaks are associated with prolonged hospital stays, and infectious and cardiopulmonary complications, and they occasionally require reoperation. Despite reasonably robust literature on the topic, the optimal approaches to manage postoperative air leaks remain controversial. We used available literature and expert consensus to formulate suggestions regarding the preferred approaches to both routine and prolonged alveolar air leaks. This review summarizes our findings.

    View details for DOI 10.1016/j.athoracsur.2009.09.020

    View details for Web of Science ID 000275885800068

    View details for PubMedID 20338378

  • Search for sterile neutrino mixing in the MINOS long-baseline experiment PHYSICAL REVIEW D Adamson, P., Andreopoulos, C., Auty, D. J., Ayres, D. S., Backhouse, C., Barnes, P. D., Barr, G., Barrett, W. L., Bishai, M., Blake, A., Bock, G. J., Boehnlein, D. J., Bogert, D., Bower, C., Cavanaugh, S., Chapman, J. D., Cherdack, D., Childress, S., Choudhary, B. C., Coelho, J. A., COBB, J. H., Coleman, S. J., Cravens, J. P., Cronin-Hennessy, D., Culling, A. J., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Dorman, M., Erwin, A. R., Escobar, C. O., Evans, J. J., Falk, E., FELDMAN, G. J., Frohne, M. V., Gallagher, H. R., Godley, A., Goodman, M. C., Gouffon, P., Gran, R., Grashorn, E. W., Grzelak, K., Habig, A., Harris, D., Harris, P. G., Hartnell, J., Hatcher, R., Heller, K., Himmel, A., Holin, A., Huang, X., Hylen, J., Irwin, G. M., Isvan, Z., Jaffe, D. E., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Koizumi, G., Kopp, S., Kordosky, M., Koskinen, D. J., Krahn, Z., Kreymer, A., Lang, K., Ling, J., Litchfield, P. J., Litchfield, R. P., Loiacono, L., Lucas, P., Ma, J., Mann, W. A., Marchionni, A., Marshak, M. L., Marshall, J. S., Mayer, N., McGowan, A. M., Mehdiyev, R., Meier, J. R., Messier, M. D., Metelko, C. J., Michael, D. G., Miller, W. H., Mishra, S. R., Mitchell, J., Moore, C. D., Morfin, J., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Nicholls, T. C., Ochoa-Ricoux, J. P., Oliver, W. P., Orchanian, M., Osiecki, T., Ospanov, R., Paley, J., Paolone, V., Patterson, R. B., Pavlovic, Z., Pawloski, G., Pearce, G. F., Pittam, R., Plunkett, R. K., Rahaman, A., Rameika, R. A., Raufer, T. M., Rebel, B., Rodrigues, P. A., Rosenfeld, C., Rubin, H. A., Ryabov, V. A., Sanchez, M. C., Saoulidou, N., Schneps, J., Schreiner, P., Shanahan, P., Smart, W., Smith, C., Sousa, A., Stamoulis, P., Strait, M., Tagg, N., Talaga, R. L., Thomas, J., Thomson, M. A., Tinti, G., Toner, R., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Watabe, M., Weber, A., Webb, R. C., West, N., White, C., Whitehead, L., Wojcicki, S. G., Wright, D. M., Yang, T., Zhang, K., Zwaska, R. 2010; 81 (5)
  • The next generation of scenarios for climate change research and assessment NATURE Moss, R. H., Edmonds, J. A., Hibbard, K. A., Manning, M. R., Rose, S. K., Van Vuuren, D. P., Carter, T. R., Emori, S., Kainuma, M., Kram, T., Meehl, G. A., Mitchell, J. F., Nakicenovic, N., Riahi, K., Smith, S. J., Stouffer, R. J., Thomson, A. M., Weyant, J. P., Wilbanks, T. J. 2010; 463 (7282): 747-756

    Abstract

    Advances in the science and observation of climate change are providing a clearer understanding of the inherent variability of Earth's climate system and its likely response to human and natural influences. The implications of climate change for the environment and society will depend not only on the response of the Earth system to changes in radiative forcings, but also on how humankind responds through changes in technology, economies, lifestyle and policy. Extensive uncertainties exist in future forcings of and responses to climate change, necessitating the use of scenarios of the future to explore the potential consequences of different response options. To date, such scenarios have not adequately examined crucial possibilities, such as climate change mitigation and adaptation, and have relied on research processes that slowed the exchange of information among physical, biological and social scientists. Here we describe a new process for creating plausible scenarios to investigate some of the most challenging and important questions about climate change confronting the global community.

    View details for DOI 10.1038/nature08823

    View details for Web of Science ID 000274394300028

    View details for PubMedID 20148028

  • Inductive trace properties for computational security. Journal of Computer Security Roy, A., Datta, A., Derek, A., Mitchell, John, C. 2010; 6 (18): 1035-1073
  • Observation of muon intensity variations by season with the MINOS far detector PHYSICAL REVIEW D Adamson, P., Andreopoulos, C., Arms, K. E., Armstrong, R., Auty, D. J., Ayres, D. S., Backhouse, C., Barnett, J., Barr, G., Barrett, W. L., Becker, B. R., Bishai, M., Blake, A., Bock, B., Bock, G. J., Boehnlein, D. J., Bogert, D., Bower, C., Cavanaugh, S., Chapman, J. D., Cherdack, D., Childress, S., Choudhary, B. C., COBB, J. H., Coleman, S. J., Cronin-Hennessy, D., Culling, A. J., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Dorman, M., Escobar, C. O., Evans, J. J., Falk, E., FELDMAN, G. J., Fields, T. H., Frohne, M. V., Gallagher, H. R., Godley, A., Goodman, M. C., Gouffon, P., Gran, R., Grashorn, E. W., Grzelak, K., Habig, A., Harris, D., Harris, P. G., Hartnell, J., Hatcher, R., Heller, K., Himmel, A., Holin, A., Hylen, J., Irwin, G. M., Isvan, Z., Jaffe, D. E., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Koizumi, G., Kopp, S., Kordosky, M., Korman, K., Koskinen, D. J., Krahn, Z., Kreymer, A., Lang, K., Ling, J., Litchfield, P. J., Loiacono, L., Lucas, P., Ma, J., Mann, W. A., Marshak, M. L., Marshall, J. S., Mayer, N., McGowan, A. M., Mehdiyev, R., Meier, J. R., Messier, M. D., Metelko, C. J., Michael, D. G., Miller, K. H., Mishra, S. R., Mitchell, J., Moore, C. D., Morfin, J., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Nicholls, T. C., Ochoa-Ricoux, J. P., Oliver, W. P., Osiecki, T., Ospanov, R., Osprey, S., Paley, J., Patterson, R. B., Patzak, T., Pawloski, G., Pearce, G. F., Peterson, E. A., Pittam, R., Plunkett, R. K., Rahaman, A., Rameika, R. A., Raufer, T. M., Rebel, B., Reichenbacher, J., Rodrigues, P. A., Rosenfeld, C., Rubin, H. A., Ryabov, V. A., Sanchez, M. C., Saoulidou, N., Schneps, J., Schreiner, P., Shanahan, P., Smart, W., Smith, C., Sousa, A., Speakman, B., Stamoulis, P., Strait, M., Tagg, N., Talaga, R. L., Thomas, J., Thomson, M. A., Thron, J. L., Tinti, G., Toner, R., Tsarev, V. A., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Watabe, M., Weber, A., Webb, R. C., West, N., White, C., Whitehead, L., Wojcicki, S. G., Wright, D. M., Yang, T., Zois, M., Zhang, K., Zwaska, R. 2010; 81 (1)
  • A Security Evaluation of DNSSEC with NSEC3. IACR Cryptology ePrint Archive Bau, J., Mitchell, John, C. 2010: 115
  • A Learning-Based Approach to Reactive Security. Financial Cryptography Barth, A., Rubinstein, Benjamin, I. P., Sundararajan, M., Mitchell, John, C. 2010
  • Search for Muon-Neutrino to Electron-Neutrino Transitions in MINOS PHYSICAL REVIEW LETTERS Adamson, P., Andreopoulos, C., Arms, K. E., Armstrong, R., Auty, D. J., Ayres, D. S., Backhouse, C., Barnes, P. D., Barr, G., Barrett, W. L., Becker, B. R., Belias, A., Bernstein, R. H., Betancourt, M., Bhattacharya, D., Bishai, M., Blake, A., Bock, G. J., Boehm, J., Boehnlein, D. J., Bogert, D., Bower, C., Cavanaugh, S., Chapman, J. D., Cherdack, D., Childress, S., Choudhary, B. C., COBB, J. H., Coelho, J. A., Coleman, S. J., Cronin-Hennessy, D., Culling, A. J., Danko, I. Z., de Jong, J. K., Devenish, N. E., Diwan, M. V., Dorman, M., Erwin, A. R., Escobar, C. O., Evans, J. J., Falk, E., FELDMAN, G. J., Frohne, M. V., Gallagher, H. R., Godley, A., Goodman, M. C., Gouffon, P., Gran, R., Grashorn, E. W., Grzelak, K., Habig, A., Harris, D., Harris, P. G., Hartnell, J., Hatcher, R., Heller, K., Himmel, A., Holin, A., Howcroft, C., Huang, X., Hylen, J., Irwin, G. M., Isvan, Z., Jaffe, D. E., James, C., Jensen, D., Kafka, T., Kasahara, S. M., Koizumi, G., Kopp, S., Kordosky, M., Koskinen, D. J., Krahn, Z., Kreymer, A., Lang, K., Ling, J., Litchfield, P. J., Litchfield, R. P., Loiacono, L., Lucas, P., Ma, J., Mann, W. A., Marshak, M. L., Marshall, J. S., Mayer, N., McGowan, A. M., Mehdiyev, R., Meier, J. R., Messier, M. D., Metelko, C. J., Michael, D. G., Miller, W. H., Mishra, S. R., Mitchell, J., Moore, C. D., Morfin, J., Mualem, L., Mufson, S., Musser, J., Naples, D., Nelson, J. K., Newman, H. B., Nichol, R. J., Nicholls, T. C., Ochoa-Ricoux, J. P., Oliver, W. P., Ospanov, R., Paley, J., Para, A., Patterson, R. B., Patzak, T., Pavlovic, Z., Pawloski, G., Pearce, G. F., Petyt, D. A., Pittam, R., Plunkett, R. K., Rahaman, A., Rameika, R. A., Raufer, T. M., Rebel, B., Reichenbacher, J., Rodrigues, P. A., Rosenfeld, C., Rubin, H. A., Ryabov, V. A., Sanchez, M. C., Saoulidou, N., Schneps, J., Schreiner, P., Shanahan, P., Smart, W., Smith, C., Sousa, A., Speakman, B., Stamoulis, P., Strait, M., Tagg, N., Talaga, R. L., Thomas, J., Thomson, M. A., Thron, J. L., Tinti, G., Toner, R., Tsarev, V. A., Tzanakos, G., Urheim, J., Vahle, P., Viren, B., Ward, D. R., Watabe, M., Weber, A., Webb, R. C., West, N., White, C., Whitehead, L., Wojcicki, S. G., Wright, D. M., Yang, T., Zhang, K., Zheng, H., Zois, M., Zwaska, R. 2009; 103 (26)

    Abstract

    This Letter reports on a search for nu(mu) --> nu(e) transitions by the MINOS experiment based on a 3.14x10(20) protons-on-target exposure in the Fermilab NuMI beam. We observe 35 events in the Far Detector with a background of 27+/-5(stat)+/-2(syst) events predicted by the measurements in the Near Detector. If interpreted in terms of nu(mu) --> nu(e) oscillations, this 1.5sigma excess of events is consistent with sin2(2theta(13)) comparable to the CHOOZ limit when |Delta m2|=2.43x10(-3) eV2 and sin2(2theta(23))=1.0 are assumed.

    View details for DOI 10.1103/PhysRevLett.103.261802

    View details for Web of Science ID 000273232200009

    View details for PubMedID 20366304

  • A 4-Year Prospective Study of Eating Disorder NOS Compared with Full Eating Disorder Syndromes INTERNATIONAL JOURNAL OF EATING DISORDERS Agras, W. S., Crow, S., Mitchell, J. E., Halmi, K. A., Bryson, S. 2009; 42 (6): 565-570

    Abstract

    To examine the course of Eating Disorder NOS (EDNOS) compared with anorexia nervosa (AN), bulimia nervosa (BN), and binge eating disorder (BED).Prospective study of 385 participants meeting DSM-IV criteria for AN, BN, BED, and EDNOS at three sites. Recruitment was from the community and specialty clinics. Participants were followed at 6-month intervals during a 4-year period using the Eating Disorder Examination as the primary assessment.EDNOS remitted significantly more quickly that AN or BN but not BED. There were no differences between EDNOS and full ED syndromes, or the subtypes of EDNOS, in time to relapse following first remission. Only 18% of the EDNOS group had never had or did not develop another ED diagnosis during the study; however, this group did not differ from the remaining EDNOS group.EDNOS appears to be a way station between full ED syndromes and recovery, and to a lesser extent from recovery or EDNOS status to a full ED. Implications for DSM-V are examined.

    View details for DOI 10.1002/eat.20708

    View details for Web of Science ID 000269224000012

    View details for PubMedID 19544557

  • Securing Frame Communication in Browsers COMMUNICATIONS OF THE ACM Barth, A., Jackson, C., Mitchell, J. C. 2009; 52 (6): 83-91
  • The Society of Thoracic Surgeons Practice Guideline Series: Guidelines for the Management of Barrett's Esophagus With High-Grade Dysplasia ANNALS OF THORACIC SURGERY Fernando, H. C., Murthy, S. C., Hofstetter, W., Shrager, J. B., Bridges, C., Mitchell, J. D., Landreneau, R. J., Clough, E. R., Watson, T. J. 2009; 87 (6): 1993-2002

    Abstract

    The management of Barrett's esophagus with high-grade dysplasia is controversial. The standard of care has traditionally been esophagectomy. However, a number of treatment options aimed at esophageal preservation are increasingly being utilized by many centers. These esophageal-sparing approaches include endoscopic surveillance, mucosal ablation, and endoscopic mucosal resection. In this guideline we review the best evidence supporting these commonly used strategies for high-grade dysplasia to better define management and guide future investigation.

    View details for DOI 10.1016/j.athoracsur.2009.04.032

    View details for Web of Science ID 000266234900072

    View details for PubMedID 19463651

  • A Learning-Based Approach to Reactive Security. CoRR abs/0912.1155 Barth, A., Rubinstein, Benjamin, I. P., Sundararajan, M., Mitchell, John, C., Song, D. X., Bartlett, Peter, L. 2009
  • An Automated Approach for Proving PCL Invariants. Electr. Notes Theor. Comput. Sci. Mitchell, John, C., Roy, A., Sundararajan, M. 2009; 234: 93-113
  • Diffuse myogenin expression by immunohistochemistry is an independent marker of poor survival in pediatric rhabdomyosarcoma - A tissue microarray study of 71 primary tumors including correlation with molecular phenotype AMERICAN JOURNAL OF SURGICAL PATHOLOGY Heerema-McKenney, A., Wijnaendts, L. C., Pulliam, J. F., Lopez-Terrada, D., McKenney, J. K., Zhu, S., Montgomery, K., Mitchell, J., Marinelli, R. J., Hart, A. A., van de Rijn, M., Linn, S. C. 2008; 32 (10): 1513-1522

    Abstract

    The pathologic classification of rhabdomyosarcoma (RMS) into embryonal or alveolar subtype is an important prognostic factor guiding the therapeutic protocol chosen for an individual patient. Unfortunately, this classification is not always straightforward, and the diagnostic criteria are controversial in a subset of cases. Ancillary studies are used to aid in the classification, but their potential use as independent prognostic factors is rarely studied. The aim of this study is to identify immunohistochemical markers of potential prognostic significance in pediatric RMS and to correlate their expression with PAX-3/FKHR and PAX-7/FKHR fusion status. A single tissue microarray containing 71 paraffin-embedded pediatric RMSs was immunostained with antibodies against p53, bcl-2, Ki-67, CD44, myogenin, and MyoD1. The tissue microarray and whole paraffin blocks were studied for PAX-3/FKHR and PAX-7/FKHR gene fusions by fluorescence in situ hybridization and reverse transcription-polymerase chain reaction. Clinical follow-up data were available for each patient. Immunohistochemical staining results and translocation status were correlated with recurrence-free interval (RFI) and overall survival (OS) using the Kaplan-Meier method, the log-rank test, and Cox proportional hazard regression. The minimum clinical follow-up interval was 24 months (median follow-up=57 mo). On univariable analysis, immunohistochemical expression of myogenin, bcl-2, and identification of a gene fusion were associated with decreased 5-year RFI and 10-year OS (myogenin RFI P=0.0028, OS P=0.0021; bcl-2 RFI P=0.037, OS P=0.032; gene fusion RFI P=0.0001, OS P=0.0058). After adjustment for Intergroup Rhabdomyosarcoma Study-TNM stage, tumor site, age, tumor histology, and translocation status by multivariable analysis, only myogenin retained an independent association with RFI (P=0.034) and OS (P=0.0069). In this retrospective analysis, diffuse immunohistochemical reactivity for myogenin in RMS correlates with decreased RFI and OS, independent of histologic subtype, translocation status, tumor site, or stage.

    View details for Web of Science ID 000259684300010

    View details for PubMedID 18708938

  • On the relationships between notions of simulation-based security JOURNAL OF CRYPTOLOGY Kuesters, R., Datta, A., Mitchell, J. C., Ramanathan, A. 2008; 21 (4): 492-546
  • Functional auditory hair cells produced in the mammalian cochlea by in utero gene transfer NATURE Gubbels, S. P., Woessner, D. W., Mitchell, J. C., Ricci, A. J., Brigande, J. V. 2008; 455 (7212): 537-U47

    Abstract

    Sensory hair cells in the mammalian cochlea convert mechanical stimuli into electrical impulses that subserve audition. Loss of hair cells and their innervating neurons is the most frequent cause of hearing impairment. Atonal homologue 1 (encoded by Atoh1, also known as Math1) is a basic helix-loop-helix transcription factor required for hair-cell development, and its misexpression in vitro and in vivo generates hair-cell-like cells. Atoh1-based gene therapy to ameliorate auditory and vestibular dysfunction has been proposed. However, the biophysical properties of putative hair cells induced by Atoh1 misexpression have not been characterized. Here we show that in utero gene transfer of Atoh1 produces functional supernumerary hair cells in the mouse cochlea. The induced hair cells display stereociliary bundles, attract neuronal processes and express the ribbon synapse marker carboxy-terminal binding protein 2 (refs 12,13). Moreover, the hair cells are capable of mechanoelectrical transduction and show basolateral conductances with age-appropriate specializations. Our results demonstrate that manipulation of cell fate by transcription factor misexpression produces functional sensory cells in the postnatal mammalian cochlea. We expect that our in utero gene transfer paradigm will enable the design and validation of gene therapies to ameliorate hearing loss in mouse models of human deafness.

    View details for DOI 10.1038/nature07265

    View details for Web of Science ID 000259449600047

    View details for PubMedID 18754012

  • Temperature-dependent electronic structure of the colossal magnetoresistive manganite La0.7Sr0.3MnO3 from hard x-ray photoemission PHYSICAL REVIEW B Offi, F., Mannella, N., Pardini, T., Panaccione, G., Fondacaro, A., Torelli, P., West, M. W., Mitchell, J. F., Fadley, C. S. 2008; 77 (17)
  • Eating disorder symptoms in pregnancy: A prospective study INTERNATIONAL JOURNAL OF EATING DISORDERS Crow, S. J., Agras, W. S., Crosby, R., Halmi, K., Mitchell, J. E. 2008; 41 (3): 277-279

    Abstract

    Previous work suggests that eating disorder symptoms diminish with pregnancy. However, little prospective study has been conducted, and little is known about pregnancy symptoms in eating disorder not otherwise specified. This research prospectively studies both eating behaviors and disordered eating cognitions in pregnant women with various eating disorder diagnoses.Forty-two participants became pregnant during 4-year follow-up of 385 women with full or subthreshold anorexia nervosa, bulimia nervosa, or binge eating disorder. Participants completed the Eating Disorders Examination (EDE) at 6-month intervals. Mixed modeling procedures were used to examine change in eating disorder cognitions, binge eating, and purging.EDE restraint, EDE shape concerns, EDE weight concerns, binge eating, and purging diminished from prepartum to intrapartum, but returned to approximately baseline levels postpartum.In this longitudinal sample of women with diverse eating disorder diagnoses, eating disorder symptoms improved during pregnancy, but worsened postpartum. These results highlight pregnancy as a potential time for eating disorder interventions.

    View details for DOI 10.1002/eat.20496

    View details for Web of Science ID 000254114400012

    View details for PubMedID 18027861

  • Changes in psychopathology and symptom severity in bulimia nervosa between 1993 and 2003 INTERNATIONAL JOURNAL OF EATING DISORDERS Vaught, A. S., Agras, W. S., Bryson, S. W., Crow, S. J., Halmi, K. A., Mitchell, J. E. 2008; 41 (2): 113-117

    Abstract

    This study investigated changes in symptom severity and the psychopathology of patients with bulimia nervosa between 1993 and 2003.Pretreatment data of patients diagnosed with bulimia nervosa, collected between 1993 and 1997 from two multisite studies (N = 263), and from 2001 to 2003 from a third multisite study (N = 233) were compared for differences in psychopathology, eating disorder symptoms, and demographic characteristics.There was a significant increase in baseline age between the cohorts (1993M = 28.7 +/- 7.9, 2001M = 30.3 +/- 8.7, p = 0.036) together with a decrease in personality disorders and in several aspects of eating disorder psychopathology. After controlling for age however, significant pretreatment differences were found only in the restraint subscale on the EDE.Results suggest that the presentation of individuals with bulimia nervosa has changed between 1993 and 2003, in that participants were older and demonstrated less dietary restraint. Hence, comparisons between samples and treatment trials over time must be made with caution.

    View details for DOI 10.1002/eat.20464

    View details for Web of Science ID 000253226300002

    View details for PubMedID 18004720

  • Characterizing Bots' Remote Control Behavior. Botnet Detection Stinson, E., Mitchell, John, C. 2008: 45-64
  • Polaron coherence condensation as the mechanism for colossal magnetoresistance in layered manganites PHYSICAL REVIEW B Mannella, N., Yang, W. L., Tanaka, K., Zhou, X. J., Zheng, H., Mitchell, J. F., Zaanen, J., Devereaux, T. P., Nagaosa, N., Hussain, Z., Shen, Z. 2007; 76 (23)
  • Treatment of bulimia nervosa: Where are we and where are we going? INTERNATIONAL JOURNAL OF EATING DISORDERS Mitchell, J. E., Agras, S., Wonderlich, S. 2007; 40 (2): 95-101

    Abstract

    The purpose of this article is to review the extant treatment literature on bulimia nervosa and to offer suggestions for future research directions.The available treatment studies regarding both pharmacotherapy and psychotherapy are reviewed.Both pharmacotherapy and psychotherapy appear to play a role in the treatment of bulimia nervosa; however, available data suggest that cognitive behavioral therapy remains the treatment of choice.Additional work is clearly indicated regarding assisted and unassisted self-help. An enhanced form of CBT and the integrative cognitive-affective therapy both deserve further study. New approaches need to be piloted. More research is needed on treatment modeling.

    View details for DOI 10.1002/eat.20343

    View details for Web of Science ID 000244263100001

    View details for PubMedID 17080448

  • Protocol Composition Logic (PCL). Electr. Notes Theor. Comput. Sci. Datta, A., Derek, A., Mitchell, John, C., Roy, A. 2007; 172: 311-358
  • Inductive Proof Method for Computational Secrecy. IACR Cryptology ePrint Archive Roy, A., Datta, A., Derek, A., Mitchell, John, C. 2007: 165
  • Thickness-dependent properties of (110)-oriented La1.2Sr1.8Mn2O7 thin films JOURNAL OF APPLIED PHYSICS Takamura, Y., Chopdekar, R. V., Grepstad, J. K., Suzuki, Y., Marshall, A. F., Vailionis, A., Zheng, H., Mitchell, J. F. 2006; 99 (8)

    View details for DOI 10.1063/1.2162087

    View details for Web of Science ID 000237404200790

  • A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols THEORETICAL COMPUTER SCIENCE Mitchell, J. C., Ramanathan, A., Scedrov, A., Teague, V. 2006; 353 (1-3): 118-164
  • An evaluation of tumor oxygenation and gene expression in patients with early stage non-small cell lung cancers CLINICAL CANCER RESEARCH Le, Q. T., Chen, E., Salim, A., Cao, H. B., Kong, C. S., Whyte, R., Donington, J., Cannon, W., Wakelee, H., Tibshirani, R., Mitchell, J. D., Richardson, D., O'Byrne, K. J., Koong, A. C., Giaccia, A. J. 2006; 12 (5): 1507-1514

    Abstract

    To directly assess tumor oxygenation in resectable non-small cell lung cancers (NSCLC) and to correlate tumor pO2 and the selected gene and protein expression to treatment outcomes.Twenty patients with resectable NSCLC were enrolled. Intraoperative measurements of normal lung and tumor pO2 were done with the Eppendorf polarographic electrode. All patients had plasma osteopontin measurements by ELISA. Carbonic anhydrase-IX (CA IX) staining of tumor sections was done in the majority of patients (n = 16), as was gene expression profiling (n = 12) using cDNA microarrays. Tumor pO2 was correlated with CA IX staining, osteopontin levels, and treatment outcomes.The median tumor pO2 ranged from 0.7 to 46 mm Hg (median, 16.6) and was lower than normal lung pO2 in all but one patient. Because both variables were affected by the completeness of lung deflation during measurement, we used the ratio of tumor/normal lung (T/L) pO2 as a reflection of tumor oxygenation. The median T/L pO2 was 0.13. T/L pO2 correlated significantly with plasma osteopontin levels (r = 0.53, P = 0.02) and CA IX expression (P = 0.006). Gene expression profiling showed that high CD44 expression was a predictor for relapse, which was confirmed by tissue staining of CD44 variant 6 protein. Other variables associated with the risk of relapse were T stage (P = 0.02), T/L pO2 (P = 0.04), and osteopontin levels (P = 0.001).Tumor hypoxia exists in resectable NSCLC and is associated with elevated expression of osteopontin and CA IX. Tumor hypoxia and elevated osteopontin levels and CD44 expression correlated with poor prognosis. A larger study is needed to confirm the prognostic significance of these factors.

    View details for DOI 10.1158/1078-0432.CCR-05-2049

    View details for Web of Science ID 000235988000016

    View details for PubMedID 16533775

  • Inductive Trace Properties for Computational Security. IACR Cryptology ePrint Archive Roy, A., Datta, A., Derek, A., Mitchell, John, C. 2006: 486
  • On the Relationships Between Notions of Simulation-Based Security. IACR Cryptology ePrint Archive Datta, A., Küsters, R., Mitchell, John, C., Ramanathan, A. 2006: 153
  • Understanding SPKI/SDSI using first-order logic. Int. J. Inf. Sec. Li, N., Mitchell, John, C. 2006; 1 (5): 48-64
  • Key Exchange Protocols: Security Definition, Proof Method and Applications. IACR Cryptology ePrint Archive Datta, A., Derek, A., Mitchell, John, C., Warinschi, B. 2006: 56
  • Nodal quasiparticle in pseudogapped colossal magnetoresistive manganites NATURE Mannella, N., Yang, W. L., Zhou, X. J., Zheng, H., Mitchell, J. F., Zaanen, J., Devereaux, T. P., Nagaosa, N., Hussain, Z., Shen, Z. X. 2005; 438 (7067): 474-478

    Abstract

    A characteristic feature of the copper oxide high-temperature superconductors is the dichotomy between the electronic excitations along the nodal (diagonal) and antinodal (parallel to the Cu-O bonds) directions in momentum space, generally assumed to be linked to the 'd-wave' symmetry of the superconducting state. Angle-resolved photoemission measurements in the superconducting state have revealed a quasiparticle spectrum with a d-wave gap structure that exhibits a maximum along the antinodal direction and vanishes along the nodal direction. Subsequent measurements have shown that, at low doping levels, this gap structure persists even in the high-temperature metallic state, although the nodal points of the superconducting state spread out in finite 'Fermi arcs'. This is the so-called pseudogap phase, and it has been assumed that it is closely linked to the superconducting state, either by assigning it to fluctuating superconductivity or by invoking orders which are natural competitors of d-wave superconductors. Here we report experimental evidence that a very similar pseudogap state with a nodal-antinodal dichotomous character exists in a system that is markedly different from a superconductor: the ferromagnetic metallic groundstate of the colossal magnetoresistive bilayer manganite La1.2Sr1.8Mn2O7. Our findings therefore cast doubt on the assumption that the pseudogap state in the copper oxides and the nodal-antinodal dichotomy are hallmarks of the superconductivity state.

    View details for DOI 10.1038/nature04273

    View details for Web of Science ID 000233458200044

    View details for PubMedID 16306987

  • Structural, magnetic, and electronic properties of (110)-oriented epitaxial thin films of the bilayer manganite La1.2Sr1.8Mn2O7 APPLIED PHYSICS LETTERS Takamura, Y., Grepstad, J. K., Chopdekar, R. V., Suzuki, Y., Marshall, A. F., Zheng, H., Mitchell, J. F. 2005; 87 (14)

    View details for DOI 10.1063/1.2077850

    View details for Web of Science ID 000232225700042

  • Case 5 - 2005 - Anesthetic management of major hemorrhage during mediastinoscopy JOURNAL OF CARDIOTHORACIC AND VASCULAR ANESTHESIA Lohser, J., Donington, J. S., Mitchell, J. D., Brodsky, J. B., Raman, J., Slinger, P. 2005; 19 (5): 678-683

    View details for DOI 10.1053/j.jvca.2005.07.016

    View details for Web of Science ID 000233054400023

    View details for PubMedID 16202909

  • Predictors of treatment acceptance and completion in anorexia nervosa - Implications for future study designs ARCHIVES OF GENERAL PSYCHIATRY Halmi, K. A., Agras, W. S., Crow, S., Mitchell, J., Wilson, G. T., Bryson, S. W., Kraemer, H. C. 2005; 62 (7): 776-781

    Abstract

    There have been very few randomized controlled treatment studies of anorexia nervosa.To evaluate factors leading to nonacceptance and noncompletion of treatment for 2 specific therapies and their combination in the treatment of anorexia nervosa.Randomized prospective study.Weill-Cornell Medical Center, White Plains, NY; University of Minnesota, Minneapolis; and Stanford University, Stanford, Calif. Patients One hundred twenty-two patients meeting DSM-IV criteria for anorexia nervosa.Treatment with cognitive-behavioral therapy, fluoxetine hydrochloride, or their combination for 1 year.Dropout rate and acceptance of treatment (defined as staying in treatment at least 5 weeks).Of the 122 randomized cases, 21 (17%) were withdrawn; the overall dropout rate was 46% (56/122) in the remaining patients. Treatment acceptance occurred in 89 (73%) of the 122 randomized cases. Of the 41 assigned to medication alone, acceptance occurred in 23 (56%). In the other 2 groups, acceptance rate was differentiated by high and low obsessive preoccupation scores (rates of 91% and 60%, respectively). The only predictor of treatment completion was high self-esteem, which was associated with a 51% rate of treatment acceptance.Acceptance of treatment and relatively high dropout rates pose a major problem for research in the treatment of anorexia nervosa. Differing characteristics predict dropout rates and acceptance, which need to be carefully studied before comparative treatment trials are conducted.

    View details for Web of Science ID 000230352100012

    View details for PubMedID 15997019

  • Beyond proof-of-compliance: Security analysis in trust management JOURNAL OF THE ACM Li, N. H., Mitchell, J. C., Winsborough, W. H. 2005; 52 (3): 474-514
  • Beam test of a prototype detector array for the PoGO astronomical hard X-ray/soft gamma-ray polarimeter NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT Mizuno, T., Kamae, T., Ng, J. S., Tajima, H., Mitchell, J. W., Streitmatter, R., Fernholz, R. C., Groth, E., Fukazawa, Y. 2005; 540 (1): 158-168
  • A derivation system and compositional logic for security protocols. Journal of Computer Security Datta, A., Derek, A., Mitchell, John, C., Pavlovic, D. 2005; 3 (13): 423-482
  • Games and the Impossibility of Realizable Ideal Functionality. IACR Cryptology ePrint Archive Datta, A., Derek, A., Mitchell, John, C., Ramanathan, A., Scedrov, A. 2005: 211
  • Fludarabine treatment of patients with chronic lymphocytic leukemia induces a p53-dependent gene expression response BLOOD Rosenwald, A., Chuang, E. Y., Davis, R. E., Wiestner, A., Alizadeh, A. A., Arthur, D. C., Mitchell, J. B., Marti, G. E., Fowler, D. H., Wilson, W. H., Staudt, L. M. 2004; 104 (5): 1428-1434

    Abstract

    Fludarabine, the current standard treatment for B-cell chronic lymphocytic leukemia (CLL), can induce apoptosis in CLL cells in vitro, and a number of molecular mechanisms contribute to its cytotoxicity. Using gene expression profiling, we investigated the molecular consequences of fludarabine treatment of patients with CLL in vivo. In 7 patients with CLL, a consistent gene expression signature of in vivo fludarabine exposure was identified. Many of the fludarabine signature genes were known p53 target genes and genes involved in DNA repair. In vitro treatment of CLL cells with fludarabine induced the same set of genes as observed in vivo, and many of these genes were also induced by in vitro exposure of CLL cells to ionizing radiation. Using isogenic p53 wild-type and null lymphoblastoid cell lines, we confirmed that many of the fludarabine signature genes were also p53 target genes. Because in vivo treatment with fludarabine induces a p53-dependent gene expression response, fludarabine treatment has the potential to select p53-mutant CLL cells, which are more drug resistant and associated with an aggressive clinical course. These considerations suggest that fludarabine treatment should be given in strict accordance to the current National Cancer Institute (NCI) guidelines that have established criteria of disease activity that warrant treatment.

    View details for DOI 10.1182/blood-2003-09-3236

    View details for Web of Science ID 000223544000038

    View details for PubMedID 15138159

  • Chronic expanding hematoma: Mystery or misnomer? Reply AMERICAN JOURNAL OF ROENTGENOLOGY Hwang, G. L., Moffat, S. D., Mitchell, J. D., Leung, A. N. 2004; 183 (1): 244-244
  • Chylothorax after heart/lung transplantation JOURNAL OF HEART AND LUNG TRANSPLANTATION Ziedalski, T. M., Raffin, T. A., Sze, D. Y., Mitchell, J. D., Robbins, R. C., Theodore, J., Faul, J. L. 2004; 23 (5): 627-631

    Abstract

    Chylothorax is a potentially serious complication of lung and heart-lung transplantation. This article describes the clinical course of chylothorax in 3 heart-lung allograft recipients. We discuss management options, including dietary modifications, octreotide infusion, thoracic duct ligation and embolization, and surgical pleurodesis. In addition, we describe the novel use of aminocaproic acid to reduce lymph flow. We propose a multidisciplinary approach for the management of chylothorax that includes both medical and surgical options.

    View details for Web of Science ID 000221393700018

    View details for PubMedID 15135382

  • A trial of a relapse prevention strategy in women with bulimia nervosa who respond to cognitive-behavior therapy INTERNATIONAL JOURNAL OF EATING DISORDERS Mitchell, J. E., Agras, W. S., Wilson, G. T., Halmi, K., Kraemer, H., Crow, S. 2004; 35 (4): 549-555

    Abstract

    This study examines a relapse prevention strategy for bulimia nervosa (BN). Subjects in a multicenter BN treatment trial who initially achieved abstinence after a course of cognitive-behavioral therapy (CBT) were told to recontact the clinic if they had a recurrence of symptoms or feared such a reoccurrence so that they could receive additional therapy visits.At the end of CBT, subjects whose scores on the Eating Disorders Examination indicated that they were abstinent from binge eating and purging, and therefore considered to be treated successfully, were assigned randomly to follow-up only or to a crisis intervention model. With the crisis intervention model, subjects would receive additional visits if needed.None of the 30 subjects who relapsed during the follow-up sought additional treatment visits.Simply telling patients with BN who appear to have been successfully treated to come back if they have additional problems, or fear that they are developing such problems, may be an ineffective relapse prevention technique. Alternative strategies, such as planned return visits or phone calls, should be considered as alternative relapse prevention strategies.

    View details for DOI 10.1002/eat.10265

    View details for Web of Science ID 000221120900240

    View details for PubMedID 15101070

  • Report of the National Institutes of Health Workshop on Overcoming Barriers to Treatment Research in Anorexia Nervosa INTERNATIONAL JOURNAL OF EATING DISORDERS Agras, W. S., Brandt, H. A., Bulik, C. M., Dolan-Sewell, R., Fairburn, C. G., HALMI, K. A., Herzog, D. B., Jimerson, D. C., Kaplan, A. S., Kaye, W. H., le Grange, D., Lock, J., Mitchell, J. E., Rudorfer, M. V., Street, L. L., Striegel-Moore, R., Vitousek, K. M., Walsh, B. T., Wilfley, D. E. 2004; 35 (4): 509-521

    Abstract

    Anorexia nervosa (AN) is associated with serious medical morbidity and has the highest mortality rate of all psychiatric disorders. The National Institutes of Health (NIH) Workshop on Overcoming Barriers to Treatment Research in Anorexia Nervosa convened on September 26-27, 2002 to address the dearth of treatment research in this area. The goals of this workshop were to discuss the stages of illness and illness severity, pharmacologic interventions, psychological interventions, and methodologic considerations.The program consisted of a series of brief presentations by moderators, each followed by a discussion of the topic by workshop participants, facilitated by the session chair.This report summarizes the major discussions of these sessions and concludes with a set of recommendations related to the development of treatment research in AN based on these findings.It is crucial that treatment research in this area be prioritized.

    View details for DOI 10.1002/eat.10261

    View details for Web of Science ID 000221120900237

    View details for PubMedID 15101067

  • Multiset rewriting and the complexity of bounded security protocols. Journal of Computer Security Durgin, Nancy, A., Lincoln, P., Mitchell, John, C. 2004; 2 (12): 247-311
  • Participant recruitment for an anorexia nervosa treatment study INTERNATIONAL JOURNAL OF EATING DISORDERS McDermott, C., Agras, W. S., Crow, S. J., Halmi, K., Mitchell, J. E., Bryson, S. 2004; 35 (1): 33-41

    Abstract

    To investigate the nature of differing recruitment rates for clinical treatment trials for anorexia nervosa and bulimia nervosa.Recruitment rates from a study recruiting women partially recovered from anorexia nervosa were compared with the rates from two studies conducted at the same sites recruiting women with bulimia nervosa.At all sites in the anorexia study, the total number of contacts per month rose steadily over the first 2 years of the recruitment phase then decreased to near zero with the number of participants randomized to the study practically evaporating. In contrast, the bulimia studies screened a larger group of contacts and met monthly randomization goals in the time allotted for recruitment. Participants eligible for a study but with a barrier to participation occurred at a much higher rate in the anorexia study than in the bulimia studies.These results reveal a difficulty in planning recruitment from a small population such as partially recovered anorexics. A small population's total pool size diminishes faster than it is replenished, suggesting that future studies of anorexia nervosa may recruit more successfully from many sites in a short period rather than at a few sites over a long period.

    View details for DOI 10.1002/eat.10231

    View details for Web of Science ID 000187798700005

    View details for PubMedID 14705155

  • Reconstructing Trust Management. Journal of Computer Security Chander, A., Dean, D., Mitchell, John, C. 2004; 1 (12): 131-164
  • Development of investigational radiation modifiers JOURNAL OF THE NATIONAL CANCER INSTITUTE Colevas, A. D., Brown, J. M., Hahn, S., Mitchell, J., Camphausen, K., Coleman, C. N. 2003; 95 (9): 646-651

    View details for Web of Science ID 000182672800007

    View details for PubMedID 12734315

  • Chronic expanding hematoma of the thorax AMERICAN JOURNAL OF ROENTGENOLOGY Hwang, G. L., Moffatt, S. D., Mitchell, J. D., Leung, A. N. 2003; 180 (4): 1182-1183

    View details for Web of Science ID 000181745500064

    View details for PubMedID 12646486

  • Precision measurement of the proton and deuteron spin structure functions g(2) and asymmetries A(2) PHYSICS LETTERS B Anthony, P. L., Arnold, R. G., Averett, T., Band, H. R., Benmouna, N., Boeglin, W., Borel, H., Bosted, P. E., Bultmann, S. L., Court, G. R., Crabb, D., Day, D., Decowski, P., DePietro, P., Egiyan, H., Erbacher, R., Erickson, R., Fatemi, R., Frlez, E., Griffioen, K. A., Harris, C., Hughes, E. W., Hyde-Wright, C., Igo, G., Johnson, J., King, P., Kramer, K., Kuhn, S. E., LAWRENCE, D., Liang, Y., Lindgren, R., Lombard-Nielsen, R. M., McKee, P., McNulty, D. E., Meyer, W., Mitchell, G. S., Mitchell, J., Olson, M., Penttila, S., Peterson, G. A., Pitthan, R., Pocanic, D., Prepost, R., Prescott, C., Raue, B. A., Reyna, D., Ryan, P., Rochester, L. S., Rock, S., Rondon-Aramayo, O., Sabatie, F., Smith, T., Sorrell, L., St Lorant, S., Szalata, Z., Terrien, Y., Tobias, A., Toole, T., Trentalange, S., Wesselmann, F. R., Wright, T. R., Zeier, M., Zhu, H., Zihlmann, B. 2003; 553 (1-2): 18-24
  • A Compositional Logic for Proving Security Properties of Protocols. Journal of Computer Security Durgin, Nancy, A., Mitchell, John, C., Pavlovic, D. 2003; 4 (11): 677-722
  • A type system for the Java bytecode language and verifier JOURNAL OF AUTOMATED REASONING Freund, S. N., Mitchell, J. C. 2003; 30 (3-4): 271-321
  • Distributed Credential Chain Discovery in Trust Management. Journal of Computer Security Li, N., Winsborough, William, H., Mitchell, John, C. 2003; 1 (11): 35-86
  • Security by typing. STTT Debbabi, M., Durgin, Nancy, A., Mejri, M., Mitchell, John, C. 2003; 4 (4): 472-495
  • Relapse predictors of patients with bulimia nervosa who achieved abstinence through cognitive behavioral therapy ARCHIVES OF GENERAL PSYCHIATRY HALMI, K. A., Agras, W. S., Mitchell, J., Wilson, G. T., Crow, S., Bryson, S. W., Kraemer, H. 2002; 59 (12): 1105-1109

    Abstract

    Little information exists on relapse in patients with bulimia nervosa who responded with complete abstinence from binge eating and purging to cognitive behavioral therapy. Identification of relapse predictors may be useful to design effective early intervention strategies for relapse of susceptible patients with bulimia nervosa.This multisite study examined relapse in 48 patients with bulimia nervosa who had responded to cognitive behavioral therapy with complete abstinence from binge eating and purging. Structured interviews and questionnaires were used to assess patients before and after treatment and at 4 months after treatment.Four months after treatment, 44% of the patients had relapsed. Those who relapsed had a higher level of preoccupation and ritualization of eating and less motivation for change, and had maintained abstinence for a shorter time during the treatment period.The predictors of relapse found in this study can be readily determined by clinicians. The effectiveness of early additional treatment interventions needs to be determined with well-designed studies of large samples.

    View details for Web of Science ID 000179710600004

    View details for PubMedID 12470126

  • Full syndromal versus subthreshold anorexia nervosa, bulimia nervosa, and binge eating disorder: A multicenter study INTERNATIONAL JOURNAL OF EATING DISORDERS Crow, S. J., Agras, W. S., Halmi, K., Mitchell, J. E., Kraemer, H. C. 2002; 32 (3): 309-318

    Abstract

    The diagnostic criteria for anorexia nervosa (AN), bulimia nervosa (BN), and binge eating disorder (BED) establish symptom severity levels, which are used to separate full cases from partial cases. However, the value of these distinctions is unclear.Three hundred eighty-five women with full or partial AN, BN, or BED were assessed at entry into a longitudinal study of eating disorders.Stepwise discriminant analysis revealed that full and partial BN were discriminated by the Yale-Brown-Cornell Eating Disorders Scale total scores (kappa =.46). However, it was not possible to discriminate between full and partial AN or BED. Discriminant analysis also demonstrated clear differences between full AN, BN, and BED.Full BN can be differentiated from partial BN by more severe eating disorder symptoms, whereas both full and partial AN and full and partial BED appear quite similar. These results emphasize the distinct nature of AN, BN, and BED, as well as the similarities between full and partial cases.

    View details for DOI 10.1002/eat.10088

    View details for Web of Science ID 000177666100006

    View details for PubMedID 12210645

  • A randomized secondary treatment study of women with bulimia nervosa who fail to respond to CBT INTERNATIONAL JOURNAL OF EATING DISORDERS Mitchell, J. E., Halmi, K., Wilson, G. T., Agras, W. S., Kraemer, H., Crow, S. 2002; 32 (3): 271-281

    Abstract

    Since the description of bulimia nervosa as a distinct diagnostic entity in 1979, several psychological and pharmacological interventions have been developed and empirically tested. The existence of several effective treatments, none of which is completely effective, is common to most psychiatric conditions. The research question that flows from such findings is whether second-level treatments would be effective for those who fail initial treatment.In the case of bulimia nervosa, the research findings suggest that cognitive behavioral therapy (CBT) is the first level of treatment and that both antidepressant medication and interpersonal psychotherapy (IPT) may potentially be effective second-level treatments. This was a multicenter study in which 194 patients were initially treated with CBT. Those treated unsuccessfully (n = 62) were then randomized to treatment with IPT or medication management.Of those assigned to secondary treatment, 37 completed such treatment and 25 dropped out or were withdrawn. The abstinence rate for subjects assigned to treatment with IPT was 16% and for those assigned to medication management was 10%. No significant differences were found between medication and IPT in either the intent-to-treat or completer analysis.Dropout rates were high, and response rates were low among BN patients assigned to secondary treatments who failed to achieve remission with CBT. Offering lengthy sequential treatments appears to have little value, and alternative models for therapy need to be tested.

    View details for DOI 10.1002/eat.10092

    View details for Web of Science ID 000177666100002

    View details for PubMedID 12210641

  • Massive pleural endometriosis EUROPEAN JOURNAL OF CARDIO-THORACIC SURGERY Moffatt, S. D., Mitchell, J. D. 2002; 22 (2): 321-323

    Abstract

    We present a patient who was referred to our thoracic surgical service with a massive, loculated right pleural effusion accompanied by significant ascites. Thoracotomy and decortication were required and pleural biopsy led to a diagnosis of endometriosis. Aggressive medical therapy was subsequently initiated but hysterectomy with bilateral oophorectomy was required due to poor symptom control and the inability to rule out a neoplastic process. There are less than 15 reported cases of endometriosis presenting with both pleural effusion and ascites. Thoracic surgeons presented with such a scenario should be cognizant of this pathological entity.

    View details for Web of Science ID 000177664200028

    View details for PubMedID 12142212

  • Role of video-assisted thoracoscopic surgery and classic thoracotomy in lung cancer management CURRENT OPINION IN PULMONARY MEDICINE Moffatt, S. D., Mitchell, J. D., Whyte, R. I. 2002; 8 (4): 281-286

    Abstract

    Lung cancer is the leading cause of cancer-related death worldwide. For patients diagnosed with early-stage lung cancer, complete surgical resection remains the best hope for cure. Limited resections are avoided when possible because of higher recurrence rates and potentially worse long-term survival. Traditionally, a posterolateral thoracotomy has been used to perform anatomic lung resections and mediastinal lymph node dissection for complete staging. More recently, the use of video-assisted thoracoscopic surgery has been introduced for the treatment of stage I lung cancers. Although thought minimally invasive and thus perceived as resulting in less postoperative pain and faster recovery, its acceptance has varied worldwide. Questions about training, cost containment, and oncologic principles prevail. In essence, the absolute indications and limitations of video-assisted thoracoscopic surgery for patients with lung cancer have yet to be defined.

    View details for DOI 10.1097/01.MCP.0000014671.23304.E5

    View details for Web of Science ID 000178728300007

    View details for PubMedID 12055390

  • Finite-state analysis of two contract signing protocols THEORETICAL COMPUTER SCIENCE Shmatikov, V., Mitchell, J. C. 2002; 283 (2): 419-450
  • Subtyping binge eating-disordered women along dieting and negative affect dimensions INTERNATIONAL JOURNAL OF EATING DISORDERS Stice, E., Agras, W. S., Telch, C. F., HALMI, K. A., Mitchell, J. E., Wilson, T. 2001; 30 (1): 11-27

    Abstract

    Because etiologic and maintenance models of binge eating center around dieting and affect regulation, this study tested whether binge eating-disordered (BED) individuals could be subtyped along dieting and negative affect dimensions and whether subtypes differed in eating pathology, social functioning, psychiatric comorbidity, and response to treatment.Three independent samples of interviewer-diagnosed BED women (N = 218) were subtyped along dieting and negative affect dimensions using cluster analysis and compared on the outcomes of interest.Cluster analyses replicated across the three independent samples and revealed a dietary subtype (63%) and a dietary-depressive subtype (37%). The latter subtype reported greater eating and weight obsessions, social maladjustment, higher lifetime rates of mood, anxiety, and personality disorders, and poorer response to treatment than did the dietary subtype.Results suggest that moderate dieting is a central feature of BED and that affective disturbances occur in only a subset of cases. However, the confluence of dieting and negative affect signals a more severe variant of the disorder marked by elevated psychopathology, impaired social functioning, and a poorer treatment response.

    View details for Web of Science ID 000169077300002

    View details for PubMedID 11439405

  • A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report). Electr. Notes Theor. Comput. Sci. Mitchell, John, C., Ramanathan, A., Scedrov, A., Teague, V. 2001; 45: 280-310
  • Measurements of the Q(2)-dependence of the proton and neutron spin structure functions g(1)(p) and g(1)(n) PHYSICS LETTERS B Anthony, P. L., Arnold, R. G., Averett, T., Band, H. R., Berisso, M. C., Borel, H., Bosted, P. E., Bultmann, S. L., Buenerd, M., Chupp, T., Churchwell, S., Court, G. R., Crabb, D., Day, D., Decowski, P., DePietro, P., Erbacher, R., Erickson, R., Feltham, A., Fonvieille, H., Frlez, E., Gearhart, R., Ghazikhanian, V., Gomez, J., Griffioen, K. A., Harris, C., Houlden, M. A., Hughes, E. W., Hyde-Wright, C. E., Igo, G., Incerti, S., Jensen, J., Johnson, J. R., KING, P. M., Kolomensky, Y. G., Kuhn, S. E., Lindgren, R., Lombard-Nelsen, R. M., MARRONCLE, J., McCarthy, J., McKee, P., Meyer, W., Mitchell, G. S., Mitchell, J., Olson, M., Penttila, S., Peterson, G. A., Petratos, G. G., Pitthan, R., Pocanic, D., Prepost, R., Prescott, C., Qin, L. M., Raue, B. A., Reyna, D., Rochester, L. S., Rock, S., Rondon-Aramayo, O. A., Sabatie, F., Sick, I., Smith, T., Sorrell, L., Staley, F., St Lorant, S., Stuart, L. M., Szalata, Z., Terrien, Y., Tobias, A., Todor, L., Toole, T., Trentalange, S., Walz, D., Welsh, R. C., Wesselmann, F. R., Wright, T. R., Young, C. C., Zeier, M., Zhu, H., Zihlmann, B. 2000; 493 (1-2): 19-28
  • Outcome predictors for the cognitive behavior treatment of bulimia nervosa: Data from a multisite study AMERICAN JOURNAL OF PSYCHIATRY Agras, W. S., Crow, S. J., HALMI, K. A., Mitchell, J. E., Wilson, G. T., Kraemer, H. C. 2000; 157 (8): 1302-1308

    Abstract

    The aim of this study was to discover clinically useful predictors of attrition and outcome in the treatment of bulimia nervosa with cognitive behavior therapy.Pretreatment, course of treatment, and outcome data were gathered on 194 women meeting the DSM-III-R criteria for bulimia nervosa who were treated with 18 sessions of manual-based cognitive behavior therapy in a three-site study. Differences between dropouts and nondropouts and between recovered and nonrecovered participants were first examined descriptively, and signal detection analyses were then used to determine clinically significant cutoff points predicting attrition and abstinence.The dropouts were characterized by more severe bulimic cognitions and greater impulsivity, but it was not possible to identify clinically useful predictors. The participants with treatment failures were characterized by poor social adjustment and a lower body mass index, presumably indicating greater dietary restriction. However, early progress in therapy best predicted outcome. Signal detection analyses revealed that poor outcome was predicted by a reduction in purging of less than 70% by treatment session 6, allowing identification of a substantial proportion of prospective failures.A cutoff point based on reduction of purging by session 6 usefully differentiates patients who will and will not respond to cognitive behavior therapy for bulimia nervosa, potentially allowing early use of a second therapy.

    View details for Web of Science ID 000088520100020

    View details for PubMedID 10910795

  • Establishing guidelines for pharmacotherapy trials in bulimia nervosa and anorexia nervosa INTERNATIONAL JOURNAL OF EATING DISORDERS Mitchell, J. E., Tareen, B., Sheehan, W., Agras, S., Brewerton, T. D., Crow, S., Devlin, M., Eckert, E., Halmi, K., Herzog, D., Marcus, M., Powers, P., Stunkard, A., Walsh, B. T. 2000; 28 (1): 1-7

    Abstract

    This paper addresses the lack of a standard protocol for pharmacotherapy trials for patients with bulimia nervosa (BN) and anorexia nervosa (AN).Twenty-two surveys were sent to established researchers in the field of eating disorders to elicit their opinions regarding medication trials, including baseline laboratory tests, the optimal length/frequency of medication management sessions, and the information that should or should not be included in these sessions.Sixteen of 22 researchers completed and returned the survey. Their answers are the basis of the data presented.We propose a battery of screening laboratory tests for both conditions. We suggest 30-45-min initial medication management sessions in both AN and BN trials with 15-min follow-ups to be held weekly for AN subjects, and weekly for 2 weeks, then biweekly for 2 weeks, then monthly, for BN subjects. We also recommend that published trials should include explicit details of medication management.

    View details for Web of Science ID 000086991600001

    View details for PubMedID 10800008

  • Analysis of Abuse-Free Contract Signing. Financial Cryptography Shmatikov, V., Mitchell, John, C. 2000
  • Re-evaluating gadolinium(III) texaphyrin as a radiosensitizing agent CANCER RESEARCH Bernhard, E. J., Mitchell, J. B., Deen, D., Cardell, M., Rosenthal, D. I., Brown, J. M. 2000; 60 (1): 86-91

    Abstract

    Gadolinium(III) texaphyrin (Gd-tex) was recently proposed as a radiosensitizing agent that combines preferential tumor uptake with detection of drug localization by magnetic resonance imaging (S. W. Young et al., Proc. Natl. Acad. Sci. USA, 93: 6610-6615, 1996). In view of the initial report on this compound, four radiobiology laboratories undertook independent efforts to further study radiosensitization by Gd-tex. In addition to repeating the previously reported studies on Gd-tex in HT-29 cells, we tested five other human tumor cell lines (U-87 MG, U251-NCI, SW480, A549, and MCF-7). These studies included a Gd-tex treatment period of 24 h before irradiation (as in the original publication), with concentrations of Gd-tex ranging from 20-500 microM. In neither the HT-29 cells nor any of the other five human cell lines did we see radiation sensitization by Gd-tex. Two cell lines (MCF-7 and U-87 MG) were further tested for radiosensitization by Gd-tex under hypoxic conditions. No radiosensitization was observed in either case. Finally, the radiation response of two tumor lines were assessed in vivo. Neither HT-29 xenografts in severe combined immunodeficient (SCID) mice nor RIF-1 tumors growing in C3H mice demonstrated radiosensitization after Gd-tex treatment before single or fractionated doses of radiation. Our results raise questions about the efficacy of Gd-tex as a radiosensitizing agent.

    View details for Web of Science ID 000084765000019

    View details for PubMedID 10646858

  • A type system for object initialization in the Java bytecode language ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS Freund, S. N., Mitchell, J. C. 1999; 21 (6): 1196-1250
  • A formal framework for the Java bytecode language and verifier ACM SIGPLAN NOTICES Freund, S. N., Mitchell, J. C. 1999; 34 (10): 147-166
  • Measurement of the deuteron spin structure function g(1)(d)(x) for 1 (GeV/c)(2) < Q(2) < 40 (GeV/c)(2) PHYSICS LETTERS B Anthony, P. L., Arnold, R. G., Averett, T., Band, H. R., Berisso, M. C., Borel, H., Bosted, P. E., Bultmann, S. L., Buenerd, M., Chupp, T., Churchwell, S., Court, G. R., Crabb, D., Day, D., Decowski, P., DePietro, P., Erbacher, R., Erickson, R., Feltham, A., Fonvieille, H., Frlez, E., Gearhart, R., Ghazikhanian, V., Gomez, J., Griffioen, K. A., Harris, C., Houlden, M. A., Hughes, E. W., Hyde-Wright, C. E., Igo, G., Incerti, S., Jensen, J., Johnson, J. R., KING, P. M., Kolomensky, Y. G., Kuhn, S. E., Lindgren, R., Lombard-Nelsen, R. M., MARRONCLE, J., McCarthy, J., McKee, P., Meyer, W., Mitchell, G., Mitchell, J., Olson, M., Penttila, S., Peterson, G., Petratos, G. G., Pitthan, R., Pocanic, D., Prepost, R., Prescott, C., Qin, L. M., Raue, B. A., Reyna, D., Rochester, L. S., Rock, S., Rondon-Aramayo, O. A., Sabatie, F., Sick, I., Smith, T., Sorrell, L., Staley, F., St Lorant, S., Stuart, L. M., Szalata, Z., Terrien, Y., Tobias, A., Todor, L., Toole, T., Trentalange, S., Walz, D., Welsh, R. C., Wesselmann, F. R., Wright, T. R., Young, C. C., Zeier, M., Zhu, H., Zihlmann, B. 1999; 463 (2-4): 339-345
  • Inclusive hadron photoproduction from longitudinally polarized protons and deuterons PHYSICS LETTERS B Anthony, P. L., Arnold, R. G., Averett, T., Band, H. R., Berisso, M. C., Borel, H., Bosted, P. E., Bultmann, S. L., Buenerd, M., Chupp, T., Churchwell, S., Court, G. R., Crabb, D., Day, D., Decowski, P., DePietro, P., Erbacher, R., Erickson, R., Feltham, A., Fonvieille, H., Frlez, E., Gearhart, R., Ghazikhanian, V., Gomez, J., Griffioen, K. A., Harris, C., Houlden, M. A., Hughes, E. W., Hyde-Wright, C. E., Igo, G., Incerti, S., Jensen, J., Johnson, J. R., KING, P. M., Kolomensky, Y. G., Kuhn, S. E., Lindgren, R., Lombard-Nelsen, R. M., MARRONCLE, J., McCarthy, J., McKee, P., Meyer, W., Mitchell, G. S., Mitchell, J., Olson, M., Penttila, S., Peterson, G. A., Petratos, G. G., Pitthan, R., Pocanic, D., Prepost, R., Prescott, C., Qin, L. M., Raue, B. A., Reyna, D., Rochester, L. S., Rock, S., Rondon-Aramayo, O. A., Sabatie, F., Sick, I., Smith, T., Sorrell, L., Staley, F., St Lorant, S., Stuart, L. M., Szalata, Z., Terrien, Y., Tobias, A., Todor, L., Toole, T., Trentalange, S., Walz, D., Welsh, R. C., Wesselmann, F. R., Wright, T. R., Young, C. C., Zeier, M., Zhu, H., Zihlmann, B. 1999; 458 (4): 536-544
  • Measurement of the proton and deuteron spin structure functions g(2) and asymmetry A(2) PHYSICS LETTERS B Anthony, P. L., Arnold, R. G., Averett, T., Band, H. R., Berisso, M. C., Borel, H., Bosted, P. E., Bultmann, S. L., Buenerd, M., Chupp, T. E., Churchwell, S., Court, G., Crabb, D., Day, D., Decowski, P., DePietro, P., Erbacher, R., Erickson, R., Feltham, A., Fonvieille, H., Frlez, E., Gearhart, R., Ghazikhanian, V., Gomez, J., Griffioen, K. A., Harris, C., Houlden, M. A., Hughes, E. W., Hyde-Wright, C., Igo, G., Incerti, S., Jensen, J., Johnson, J. R., KING, P. M., Kolomensky, Y. G., Kuhn, S. E., Lindgren, R., Lombard-Nelsen, R. M., MARRONCLE, J., McCarthy, J., McKee, P., Meyer, W., Mitchell, G. S., Mitchell, J., Olson, M., Penttila, S., Peterson, G. A., Petratos, G. G., Pitthan, R., Pocanic, D., Prepost, R., Prescott, C., Qin, L. M., Raue, B., Reyna, D., Rochester, L. S., Rock, S. E., Rondon-Aramayo, O., Sabatie, F., Sick, I., Smith, T., Sorrell, L., Staley, F., St Lorant, S., Stuart, L. M., Szalata, Z., Terrien, Y., Tobias, A., Todor, L., Toole, T., Trentalange, S., Walz, D., Welsh, R. C., Wesselmann, F., Wright, T. R., Young, C. C., Zeier, M., Zhu, H., Zihlmann, B. 1999; 458 (4): 529-535
  • A solid polarized target for high-luminosity experiments NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT Averett, T. D., Crabb, D. G., Day, D. B., Liu, T. J., McCarthy, J. S., Mitchell, J., Rondon, O., Zimmermann, D., Sick, I., Zihlmann, B., Court, G., Dutz, H., Meyer, W., Rijllart, A., St Lorant, S., Button-Shafer, J., Johnson, J. 1999; 427 (3): 440-454
  • Parametricity and variants of Girard's J operator INFORMATION PROCESSING LETTERS Harper, R., Mitchell, J. C. 1999; 70 (1): 1-5
  • Measurements of R = sigma(L)/sigma(T) for 0.03 < x < 0.1 and fit to world data PHYSICS LETTERS B Abe, K., Akagi, T., Anthony, P. L., Antonov, R., Arnold, R. G., Averett, T., Band, H. R., Bauer, J. M., Borel, H., Bosted, P. E., Breton, V., Button-Shafer, J., Chen, J. P., Chupp, T. E., Clendenin, J., Comptour, C., Coulter, K. P., Court, G., Crabb, D., Daoudi, M., Day, D., Dietrich, F. S., Dunne, J., Dutz, H., Erbacher, R., Fellbaum, J., Feltham, A., Fonvieille, H., Frlez, E., Garvey, D., Gearhart, R., Gomez, J., Grenier, P., Griffioen, K. A., Hoibraten, S., Hughes, E. W., Hyde-Wright, C., Johnson, J. R., Kawall, D., Klein, A., Kuhn, S. E., Kuriki, M., Lindgren, R., Liu, T. J., Lombard-Nelsen, R. M., MARRONCLE, J., Maruyama, T., Maruyama, X. K., McCarthy, J., Meyer, W., Meziani, Z. E., Minehart, R., Mitchell, J., Morgenstern, J., Petratos, G. G., Pitthan, R., Pocanic, D., Prepost, R., Prescott, C., Raines, P., Raue, B., Reyna, D., Rijllart, A., Roblin, Y., Rochester, L. S., Rock, S. E., Rondon, O. A., Sick, I., Smith, L. C., Smith, T. B., Spengos, M., Staley, F., Steiner, P., St Lorant, S., Stuart, L. M., Suekane, F., Szalata, Z. M., Tang, H., Terrien, Y., Usher, T., Walz, D., Wesselmann, F., WHITE, J. L., Witte, K., Young, C. C., Youngman, B., Yuta, H., Zapalac, G., Zihlmann, B., Zimmermann, D. 1999; 452 (1-2): 194-200
  • Fast polyhedral cell sorting for interactive rendering of unstructured grids COMPUTER GRAPHICS FORUM Comba, J., Klosowski, J. T., Max, N., Mitchell, J. S., Silva, C. T., Williams, P. L. 1999; 18 (3): C369-?
  • The type system for object initializatiion in the Jave bytecode language. ACM Trans. Program. Lang. Syst. Freund, Stephen, N., Mitchell, John, C. 1999; 6 (21): 1196-1250
  • A Core Calculus of Classes and Objects. Electr. Notes Theor. Comput. Sci. Bono, V., Mitchell, John, C., Patel, A., Shmatikov, V. 1999; 20: 28-49
  • Measurements of the proton and deuteron spin structure functions g(1) and g(2) PHYSICAL REVIEW D Abe, K., Akagi, T., Anthony, P. L., Antonov, R., Arnold, R. G., Averett, T., Band, H. R., Bauer, J. M., Borel, H., Bosted, P. E., Breton, V., Button-Shafer, J., Chen, J. P., Chupp, T. E., Clendenin, J., Comptour, C., Coulter, K. P., Court, G., Crabb, D., Daoudi, M., Day, D., Dietrich, F. S., Dunne, J., Dutz, H., Erbacher, R., Fellbaum, J., Feltham, A., Fonvieille, H., Frlez, E., Garvey, D., Gearhart, R., Gomez, J., Grenier, P., Griffioen, K. A., Hoibraten, S., Hughes, E. W., Hyde-Wright, C., Johnson, J. R., Kawall, D., Klein, A., Kuhn, S. E., Kuriki, M., Lindgren, R., Liu, T. J., Lombard-Nelsen, R. M., MARRONCLE, J., Maruyama, T., Maruyama, X. K., McCarthy, J., Meyer, W., Meziani, Z. E., Minehart, R., Mitchell, J., Morgenstern, J., Petratos, G. G., Pitthan, R., Pocanic, D., Prescott, C., Prepost, R., Raines, P., Raue, B., Reyna, D., Rijllart, A., Roblin, Y., Rochester, L. S., Rock, S. E., Rondon, O. A., Sick, I., Smith, L. C., Smith, T. B., Spengos, M., Staley, F., Steiner, P., St Lorant, S., Stuart, L. M., Suekane, F., Szalata, Z. M., Tang, H., Terrien, Y., Usher, T., Walz, D., Wesselmann, F., WHITE, J. L., Witte, K., Young, C. C., Youngman, B., Yuta, H., Zapalac, G., Zihlmann, B., Zimmermann, D. 1998; 58 (11)
  • A type system for object initialization in the Java (TM) bytecode language ACM SIGPLAN NOTICES Freund, S. N., Mitchell, J. C. 1998; 33 (10): 310-328
  • Voronoi diagrams of moving points INTERNATIONAL JOURNAL OF COMPUTATIONAL GEOMETRY & APPLICATIONS Albers, G., Guibas, L. J., Mitchell, J. S., Roos, T. 1998; 8 (3): 365-379
  • Basic principles of information technology organization in health care institutions - Questions and answers JOURNAL OF THE AMERICAN MEDICAL INFORMATICS ASSOCIATION Hammond, W. E., Frisse, M. E., Hripcsak, G., Mitchell, J. A., Paton, J., Rodbard, D., STEAD, B., Florance, V., Johnson, K., TARCZYHORNOCH, P., Rindfleisch, T. 1997; 4 (2): S36-S40
  • Measurement of the proton and deuteron spin structure function g(1) in the resonance region PHYSICAL REVIEW LETTERS Abe, K., Akagi, T., Anthony, P. L., Antonov, R., Arnold, R. G., Averett, T., Band, H. R., Bauer, J. M., Borel, H., Bosted, P. E., Breton, V., BUTTONSHAFER, J., Chen, J. P., Chupp, T. E., Clendenin, J., Comptour, C., Coulter, K. P., Court, G., Crabb, D., Daoudi, M., Day, D., Dietrich, F. S., Dunne, J., Dutz, H., Erbacher, R., Fellbaum, J., Feltham, A., Fonvieille, H., Frlez, E., Garvey, D., Gearhart, R., Gomez, J., Grenier, P., Griffioen, K. A., Hoibraten, S., Hughes, E. W., HYDEWRIGHT, C. E., Johnson, J. R., Kawall, D., Klein, A., Kuhn, S. E., Kuriki, M., Lindgren, R., Liu, T. J., LOMBARDNELSEN, R. M., MARRONCLE, J., Maruyama, T., Maruyama, X. K., McCarthy, J., Meyer, W., Meziani, Z. E., Minehart, R., Mitchell, J., Morgenstern, J., Petratos, G. G., Pitthan, R., Pocanic, D., Prescott, C., Prepost, R., Raines, P., Raue, B. A., Reyna, D., Rijllart, A., Roblin, Y., Rochester, L. S., Rock, S. E., Rondon, O. A., Sick, I., Smith, L. C., Smith, T. B., Spengos, M., Staley, F., Steiner, P., STLORANT, S., Stuart, L. M., Suekane, F., Szalata, Z. M., Tang, H., Terrien, Y., Usher, T., Walz, D., Wesselmann, F., WHITE, J. L., Witte, K., Young, C. C., Youngman, B., Yuta, H., Zapalac, G., Zihlmann, B., Zimmelmann, D. 1997; 78 (5): 815-819
  • A Type System For Object Initialization In the Java Bytecode Language. Electr. Notes Theor. Comput. Sci. Freund, Stephen, N., Mitchell, John, C. 1997; 10: 242-245
  • The analysis of programming structure. SIGACT News Mitchell, John, C., Riecke, Jon, G. 1997; 2 (28): 24-31
  • Strategic directions in software engineering and programming languages ACM COMPUTING SURVEYS Gunter, C., Mitchell, J., Notkin, D. 1996; 28 (4): 727-737
  • Measurements of the proton and deuteron spin structure function g(2) and asymmetry A(2) PHYSICAL REVIEW LETTERS Abe, K., Akagi, T., Anthony, P. L., Antonov, R., Arnold, R. G., Averett, T., Band, H. R., Bauer, J. M., Borel, H., Bosted, P. E., Breton, V., BUTTONSHAFER, J., Chen, J. P., Chupp, T. E., Clendenin, J., Comptour, C., Coulter, K. P., Court, G., Crabb, D., Daoudi, M., Day, D., Dietrich, F. S., Dunne, J., Dutz, H., Erbacher, R., Fellbaum, J., Feltham, A., Fonvieille, H., Frlez, E., Garvey, D., Gearhart, R., Gomez, J., Grenier, P., Griffioen, K. A., Hoibraten, S., Hughes, E. W., HYDEWRIGHT, C., Johnson, J. R., Kawall, D., Klein, A., Kuhn, S. E., Kuriki, M., Lindgren, R., Liu, T. J., LOMBARDNELSEN, R. M., MARRONCLE, J., Maruyama, T., Maruyama, X. K., McCarthy, J., Meyer, W., Meziani, Z. E., Minehart, R., Mitchell, J., Morgenstern, J., Petratos, G. G., Pitthan, R., Pocanic, D., Prescott, C., Prepost, R., Raines, P., Raue, B., Reyna, D., Rijllart, A., Roblin, Y., Rochester, L. S., Rock, S. E., Rondon, O. A., Sick, I., Smith, L. C., Smith, T. B., Spengos, M., Staley, F., Steiner, P., STLORANT, S., Stuart, L. M., Suekane, F., Szalata, Z. M., Tang, H., Terrien, Y., Usher, T., Walz, D., WHITE, J. L., Witte, K., Young, C. C., Youngman, B., Yuta, H., Zapalac, G., Zihlmann, B., Zimmermann, D. 1996; 76 (4): 587-591
  • Linear logic proof games and optimization. Bulletin of Symbolic Logic Lincoln, P., Mitchell, John, C., Scedrov, A. 1996; 3 (2): 322-338
  • The Complexity of Local Proof Search in Linear Logic. Electr. Notes Theor. Comput. Sci. Lincoln, P., Mitchell, John, C., Scedrov, A. 1996; 3: 120-129
  • ML and Beyond. ACM Comput. Surv. Harper, R., Mitchell, John, C. 1996; 4es (28): 219
  • PRECISION-MEASUREMENT OF THE DEUTERON SPIN STRUCTURE-FUNCTION G(1)(D) PHYSICAL REVIEW LETTERS Abe, K., Akagi, T., Anthony, P. L., Antonov, R., Arnold, R. G., Averett, T., Band, H. R., Bauer, J. M., Borel, H., Bosted, P. E., Breton, V., BUTTONSHAFER, J., Chen, J. P., Chupp, T. E., Clendenin, J., Comptour, C., Coulter, K. P., Court, G., Crabb, D., Daoudi, M., Day, D., Dietrich, F. S., Dunne, J., Dutz, H., Erbacher, R., Fellbaum, J., Feltham, A., Fonvieille, H., Frlez, E., Garvey, D., Gearhart, R., Gomez, J., GRENIER, P. O., Griffioen, K. A., Hoibraten, S., Hughes, E. W., HYDEWRIGHT, C., Johnson, J. R., Kawall, D., Klein, A., Kuhn, S. E., Kuriki, M., Lindgren, R., Liu, T., LOMBARDNELSEN, R. M., MARRONCLE, J., Maruyama, T., Maruyama, X. K., McCarthy, J., Meyer, W., Meziani, Z. E., Minehart, R., Mitchell, J., Morgenstern, J., Petratos, G. G., Pitthan, R., Pocanic, D., Prescott, C., Prepost, R., Raines, P., Raue, B., Reyna, D., Rijllart, A., Roblin, Y., Rochester, L. S., Rock, S. E., Rondon, O. A., Sick, I., Smith, L. C., Smith, T. B., Spengos, M., Staley, F., Steiner, P., STLORANT, S., Stuart, L. M., Suekane, F., Szalata, Z. M., Tang, H., Terrien, Y., Usher, T., Walz, D., WHITE, J. L., Witte, K., Young, C. C., Youngman, B., Yuta, H., Zapalac, G., Zihlmann, B., Zimmermann, D. 1995; 75 (1): 25-28
  • ARRANGEMENTS OF SEGMENTS THAT SHARE END-POINTS - SINGLE FACE RESULTS DISCRETE & COMPUTATIONAL GEOMETRY Arkin, E. M., Halperin, D., Kedem, K., Mitchell, J. S., Naor, N. 1995; 13 (3-4): 257-270
  • PRECISION-MEASUREMENT OF THE PROTON SPIN STRUCTURE-FUNCTION G(1)(P) PHYSICAL REVIEW LETTERS Abe, K., Akagi, T., Anthony, P. L., Antonov, R., Arnold, R. G., Averett, T., Band, H. R., Bauer, J. M., Borel, H., Bosted, P. E., Breton, V., BUTTONSHAFER, J., Chen, J. P., Chupp, T. E., Clendenin, J., Comptour, C., Coulter, K. P., Court, G., Crabb, D., Daoudi, M., Day, D., Dietrich, F. S., Dunne, J., Dutz, H., Erbacher, R., Fellbaum, J., Feltham, A., Fonvieille, H., FRIEZ, E., Garvey, D., Gearhart, R., Gomez, J., Grenier, P., Griffioen, K. A., Hoibraten, S., Hughes, E. W., HYDEWRIGHT, C., Johnson, J. R., Kawall, D., Klein, A., Kuhn, S. E., Kuriki, M., Lindgren, R., Liu, T. J., LOMBARDNELSEN, R. M., MARRONCLE, J., Maruyama, T., Maruyama, X. K., McCarthy, J., Meyer, W., Meziani, Z. E., Minehart, R., Mitchell, J., Morgenstern, J., Petratos, G. G., Pitthan, R., Pocanic, D., Prescott, C., Prepost, R., Raines, P., Raue, B., Reyna, D., Rijllart, A., Roblin, Y., Rochester, L. S., Rock, S. E., Rondon, O. A., Sick, I., Smith, L. C., Smith, T. B., Spengos, M., Staley, F., Steiner, P., LORANT, S. S., Stuart, L. M., Suekane, F., Szalata, Z. M., Tang, H., Terrien, Y., Usher, T., Walz, D., WHITE, J. L., Witte, K., Young, C. C., Youngman, B., Yuta, H., Zapalac, G., Zihlmann, B., Zimmermann, D. 1995; 74 (3): 346-350
  • The Development of Type Systems for Object-Oriented Languages. TAPOS Fisher, K., Mitchell, John, C. 1995; 3 (1): 189-220
  • A lambda Calculus of Objects and Method Specialization. Nord. J. Comput. Fisher, K., Honsell, F., Mitchell, John, C. 1994; 1 (1): 3-37
  • An Extension of System F with Subtyping. Inf. Comput. Cardelli, L., Martini, S., Mitchell, John, C., Scedrov, A. 1994; 1/2 (109): 4-56
  • VO(2PEAK) AND END-STAGE RENAL-DISEASE - RESPONSE MEDICINE AND SCIENCE IN SPORTS AND EXERCISE Moore, G. E., Mitchell, J. H. 1993; 25 (12): 1430-1431
  • ON ABSTRACTION AND THE EXPRESSIVE POWER OF PROGRAMMING-LANGUAGES SCIENCE OF COMPUTER PROGRAMMING Mitchell, J. C. 1993; 21 (2): 141-163
  • ON THE TYPE-STRUCTURE OF STANDARD ML ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS Harper, R., Mitchell, J. C. 1993; 15 (2): 211-252
  • On Abstraction and the Expressive Power of Programming Languages. Sci. Comput. Program. Mitchell, John, C. 1993; 2 (21): 141-163
  • On the Type Structure of Standard ML. ACM Trans. Program. Lang. Syst. Harper, R., Mitchell, John, C. 1993; 2 (15): 211-252
  • Type Inference with Extended Pattern Matching and Subtypes. Fundam. Inform. Jategaonkar, L., Mitchell, John, C. 1993; 1/2 (19): 127-165
  • SPECIAL ISSUE - SELECTIONS FROM 1990 IEEE SYMPOSIUM ON LOGIC IN COMPUTER-SCIENCE - PREFACE INFORMATION AND COMPUTATION Mitchell, J. 1992; 98 (2): 141-141
  • DECISION-PROBLEMS FOR PROPOSITIONAL LINEAR LOGIC ANNALS OF PURE AND APPLIED LOGIC Lincoln, P., Mitchell, J., Scedrov, A., Shankar, N. 1992; 56 (1-3): 239-311
  • BINGE EATING DISORDER - A MULTISITE FIELD TRIAL OF THE DIAGNOSTIC-CRITERIA INTERNATIONAL JOURNAL OF EATING DISORDERS Spitzer, R. L., Devlin, M., Walsh, B. T., Hasin, D., Wing, R., Marcus, M., Stunkard, A., Wadden, T., Yanovski, S., Agras, S., Mitchell, J., Nonas, C. 1992; 11 (3): 191-203
  • Decision Problems for Propositional Linear Logic. Ann. Pure Appl. Logic Lincoln, P., Mitchell, John, C. 1992; 1-3 (56): 239-311
  • L1 SHORTEST PATHS AMONG POLYGONAL OBSTACLES IN THE PLANE ALGORITHMICA Mitchell, J. S. 1992; 8 (1): 55-88
  • BINGE EATING DISORDER - TO BE OR NOT TO BE IN DSM-IV INTERNATIONAL JOURNAL OF EATING DISORDERS Spitzer, R. L., Devlin, M. J., Walsh, B. T., Hasin, D., Wing, R., Marcus, M. D., Stunkard, A., Wadden, T., Yanovski, S., Agras, S., Mitchell, J., Nonas, C. 1991; 10 (6): 627-629
  • Kripke-Style Models for Typed lambda Calculus. Ann. Pure Appl. Logic Mitchell, John, C., Moggi, E. 1991; 1-2 (51): 99-124
  • AN EXTENSION OF SYSTEM-F WITH SUBTYPING LECTURE NOTES IN COMPUTER SCIENCE Cardelli, L., Martini, S., Mitchell, J. C., Scedrov, A. 1991; 526: 750-770
  • ON ABSTRACTION AND THE EXPRESSIVE POWER OF PROGRAMMING-LANGUAGES LECTURE NOTES IN COMPUTER SCIENCE Mitchell, J. C. 1991; 526: 290-310
  • THE WEIGHTED REGION PROBLEM - FINDING SHORTEST PATHS THROUGH A WEIGHTED PLANAR SUBDIVISION JOURNAL OF THE ACM Mitchell, J. S., Papadimitriou, C. H. 1991; 38 (1): 18-73
  • Type Inference With Simple Subtypes. J. Funct. Program. Mitchell, John, C. 1991; 3 (1): 245-285
  • Operations on Records. Mathematical Structures in Computer Science Cardelli, L., Mitchell, John, C. 1991; 1 (1): 3-48
  • THE SEMANTICS OF 2ND-ORDER LAMBDA CALCULUS INFORMATION AND COMPUTATION Bruce, K. B., Meyer, A. R., Mitchell, J. C. 1990; 85 (1): 76-134
  • The Semantics of Second-Order Lambda Calculus. Inf. Comput. Bruce, Kim, B., Meyer, Albert, R., Mitchell, John, C. 1990; 1 (85): 76-134
  • OPERATIONS ON RECORDS LECTURE NOTES IN COMPUTER SCIENCE Cardelli, L., Mitchell, J. C. 1990; 442: 22-52
  • Type Systems for Programming Languages. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) Mitchell, John, C. 1990: 365-458
  • SOLUTE-PAIRING IN SOLUTION-HARDENED BINARY AND TERNARY FCC ALLOYS PHYSICA B-CONDENSED MATTER Wong, J., NIXON, W. E., Mitchell, J. W., LADERMAN, S. S. 1989; 158 (1-3): 25-27
  • OPERATIONS ON RECORDS LECTURE NOTES IN COMPUTER SCIENCE Cardelli, L., Mitchell, J. C. 1989; 389: 75-81
  • ABSTRACT TYPES HAVE EXISTENTIAL TYPE ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS Mitchell, J. C., Plotkin, G. D. 1988; 10 (3): 470-502
  • CHEMICAL MODIFICATION OF RADIATION AND CHEMOTHERAPY AMERICAN JOURNAL OF CLINICAL ONCOLOGY-CANCER CLINICAL TRIALS Brown, J. M., Hall, E. J., Hirst, D. G., Kinsella, T. J., Kligerman, M. M., Mitchell, J. B., TRAVIS, E. J., Valeriote, F. 1988; 11 (3): 288-303

    View details for Web of Science ID A1988N875600006

    View details for PubMedID 3289362

  • Polymorphic Type Inference and Containment. Inf. Comput. Mitchell, John, C. 1988; 2/3 (76): 211-249
  • THE DISCRETE GEODESIC PROBLEM SIAM JOURNAL ON COMPUTING Mitchell, J. S., Mount, D. M., Papadimitriou, C. H. 1987; 16 (4): 647-668
  • 98-PERCENT-EFFECTIVE LOT-SIZING FOR ONE-WAREHOUSE, MULTIRETAILER INVENTORY SYSTEMS WITH BACKLOGGING OPERATIONS RESEARCH Mitchell, J. S. 1987; 35 (3): 399-404
  • ENHANCEMENT OF MISONIDAZOLE CYTOTOXICITY BY IRON INTERNATIONAL JOURNAL OF RADIATION BIOLOGY Samuni, A., Bump, E. A., Mitchell, J. B., Brown, J. M. 1986; 49 (1): 77-83

    Abstract

    The toxicity of misonidazole (MISO) to hypoxic Chinese hamster ovary (CHO) cells in serum-free medium is enhanced by Fe(III)-EDTA. Enhancement of MISO cytotoxicity by a factor of 1.6 was seen with 2 microM Fe(III)-EDTA, while 200 microM Fe(III)-EDTA results in sensitization by a factor of 2.0. Treatment of CHO cells with the iron chelator desferal resulted in protection against the hypoxic cytotoxicity in MISO (approximate protection factor of 2.5 with 100 microM desferal). Similar results were obtained with Chinese hamster V79 cells. Fe(III)-EDTA also enhanced binding of [2-14C] MISO to cellular macromolecules while desferal decreased binding of MISO to cellular macromolecules. These results suggest that iron plays an important role in the reductive metabolism of MISO and that modification of the intracellular metal ion status may be a useful approach to modulating the biological effect of nitro compounds.

    View details for Web of Science ID A1986AXV3000006

    View details for PubMedID 3079744

  • On the Sequential Nature of Unification. J. Log. Program. Dwork, C., Kanellakis, Paris, C., Mitchell, John, C. 1984; 1 (1): 35-50
  • The Implication Problem for Functional and Inclusion Dependencies. Information and Control Mitchell, John, C. 1983; 3 (56): 154-173
  • Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability. Information and Control Meyer, Albert, R., Mitchell, John, C. 1983; 1/2 (56): 112-138

Books and Book Chapters


  • Concepts in programming languages. Mitchell, John, C. Cambridge University Press. 2003
  • Foundations for programming languages. Mitchell, John, C. Foundation of computing series, MIT Press. 1996
  • Unification and ML-Type Reconstruction. Computational Logic - Essays in Honor of Alan Robinson Kanellakis, Paris, C., Mairson, Harry, G., Mitchell, John, C. 1991: 444-478

Conference Proceedings


  • Principles of Security and Trust - Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software edited by Basin, David, A., Mitchell, John, C. 2013
  • Oblivious Program Execution and Path-Sensitive Non-interference. Planul, J., Mitchell, John, C. 2013
  • Compressive Feature Learning. Paskov, Hristo, S., West, R., Mitchell, John, C., Hastie, Trevor, J. 2013
  • Third-Party Web Tracking: Policy and Technology. Mayer, Jonathan, R., Mitchell, John, C. 2012
  • SessionJuggler: secure web login from an untrusted terminal using session hijacking. Bursztein, E., Soman, C., Boneh, D., Mitchell, John, C. 2012
  • Addressing covert termination and timing channels in concurrent information flow systems. Stefan, D., Russo, A., Buiras, P., Levy, A., Mitchell, John, C., Mazières, D. 2012
  • Declarative privacy policy: finite models and attribute-based encryption. Lam, Peifung, E., Mitchell, John, C., Scedrov, A., Sundaram, S., Wang, F. 2012
  • Information-Flow Control for Programming on Encrypted Data. Mitchell, John, C., Sharma, R., Stefan, D., Zimmerman, J. 2012
  • A Symbolic Logic with Exact Bounds for Cryptographic Protocols. Mitchell, John, C. 2011
  • Automated Analysis of Security-Critical JavaScript APIs. Taly, A., Erlingsson, Ú., Mitchell, John, C., Miller, Mark, S., Nagra, J. 2011
  • The Failure of Noise-Based Non-continuous Audio Captchas. Bursztein, E., Beauxis, R., Paskov, Hristo, S., Perito, D., Fabry, C., Mitchell, John, C. 2011
  • Program Analysis for Web Security. Mitchell, John, C. 2011
  • Disjunction Category Labels. Stefan, D., Russo, A., Mazières, D., Mitchell, John, C. 2011
  • Reclaiming the Blogosphere, TalkBack: A Secure LinkBack Protocol for Weblogs. Bursztein, E., Gourdin, B., Mitchell, John, C. 2011
  • Text-based CAPTCHA strengths and weaknesses. Bursztein, E., Martin, M., Mitchell, John, C. 2011
  • A Security Evaluation of DNSSEC with NSEC3. Bau, J., Mitchell, John, C. 2010
  • How Good Are Humans at Solving CAPTCHAs? A Large Scale Evaluation. Bursztein, E., Bethard, S., Fabry, C., Mitchell, John, C., Jurafsky, D. 2010
  • State of the Art: Automated Black-Box Web Application Vulnerability Testing. Bau, J., Bursztein, E., Gupta, D., Mitchell, John, C. 2010
  • Object Capabilities and Isolation of Untrusted Web Applications. Maffeis, S., Mitchell, John, C., Taly, A. 2010
  • Towards a Formal Foundation of Web Security. Akhawe, D., Barth, A., Lam, Peifung, E., Mitchell, John, C., Song, D. 2010
  • Isolating JavaScript with Filters, Rewriting, and Wrappers. Maffeis, S., Mitchell, John, C., Taly, A. 2009
  • MRI Assessment of Angiogenesis Inhibitor Sunitinib's Influence on Tumor Oxygenation to Identify an Optimal Chemoradiotherapeutic Window Batra, S., Matsumoto, S., Hyodo, F., Mitchell, J., Krishna, M. C. ELSEVIER SCIENCE INC. 2009: S43-S43
  • A Formalization of HIPAA for a Medical Messaging System. Lam, Peifung, E., Mitchell, John, C., Sundaram, S. 2009
  • Practical declarative network management. Hinrichs, Timothy, L., Gude, N., Casado, M., Mitchell, John, C., Shenker, S. 2009
  • TrackBack spam: abuse and prevention. Bursztein, E., Lam, Peifung, E., Mitchell, John, C. 2009
  • Using Strategy Objectives for Network Security Analysis. Bursztein, E., Mitchell, John, C. 2009
  • A Layered Architecture for Detecting Malicious Behaviors. Martignoni, L., Stinson, E., Fredrikson, M., Jha, S., Mitchell, John, C. 2008
  • Analysis of EAP-GPSK Authentication Protocol. Mitchell, John, C., Roy, A., Rowe, P., Scedrov, A. 2008
  • Securing Frame Communication in Browsers. Barth, A., Jackson, C., Mitchell, John, C. 2008
  • An Operational Semantics for JavaScript. Maffeis, S., Mitchell, John, C., Taly, A. 2008
  • Robust defenses for cross-site request forgery. Barth, A., Jackson, C., Mitchell, John, C. 2008
  • Towards Systematic Evaluation of the Evadability of Bot/Botnet Detection Methods. Stinson, E., Mitchell, John, C. 2008
  • Characterizing Bots' Remote Control Behavior. Stinson, E., Mitchell, John, C. 2007
  • Privacy and Utility in Business Processes. Barth, A., Mitchell, John, C., Datta, A., Sundaram, S. 2007
  • Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols. Roy, A., Datta, A., Mitchell, John, C. 2007
  • Inductive Proofs of Computational Secrecy. Roy, A., Datta, A., Derek, A., Mitchell, John, C. 2007
  • Compositional analysis of contract-signing protocols Backes, M., Datta, A., Derek, A., Mitchell, J. C., Turuani, M. ELSEVIER SCIENCE BV. 2006: 33-56
  • Games and the Impossibility of Realizable Ideal Functionality. Datta, A., Derek, A., Mitchell, John, C., Ramanathan, A., Scedrov, A. 2006
  • Secrecy Analysis in Protocol Composition Logic. Roy, A., Datta, A., Derek, A., Mitchell, John, C., Seifert, J. 2006
  • Protecting browser state from web privacy attacks. Jackson, C., Bortz, r., Boneh, D., Mitchell, John, C. 2006
  • Computationally Sound Compositional Logic for Key Exchange Protocols. Datta, A., Derek, A., Mitchell, John, C., Warinschi, B. 2006
  • Managing Digital Rights using Linear Logic. Barth, A., Mitchell, John, C. 2006
  • Privacy and Contextual Integrity: Framework and Applications. Barth, A., Datta, A., Mitchell, John, C., Nissenbaum, H. 2006
  • A comprehensive evaluation of tumor oxygenation and gene expression in patients with early stage non-small cell lung cancers (NSCLC) Le, Q., Chen, E., Salim, A., Cao, H., Kong, C., O'Byrne, K., Mitchell, J., Donington, J., Whyte, R., Giaccia, A. ELSEVIER IRELAND LTD. 2005: S134-S134
  • Proceedings of the 2005 ACM workshop on Formal methods in security engineering edited by Atluri, V., Samarati, P., Küsters, R. 2005
  • Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. Datta, A., Derek, A., Mitchell, John, C., Shmatikov, V., Turuani, M. 2005
  • A modular correctness proof of IEEE 802.11i and TLS. He, C., Sundararajan, M., Datta, A., Derek, A., Mitchell, John, C. 2005
  • Security analysis of network protocols: logical and computational methods. Mitchell, John, C. 2005
  • Compositional Analysis of Contract Signing Protocols. Backes, M., Datta, A., Derek, A., Mitchell, John, C., Turuani, M. 2005
  • Security Analysis and Improvements for IEEE 802.11i. He, C., Mitchell, John, C. 2005
  • On the Relationships Between Notions of Simulation-Based Security. Datta, A., Küsters, R., Mitchell, John, C., Ramanathan, A. 2005
  • Enterprise privacy promises and enforcement. Barth, A., Mitchell, John, C. 2005
  • Client-Side Defense Against Web-Based Identity Theft. Chou, N., Ledesma, R., Teraguchi, Y., Mitchell, John, C. 2004
  • A Distributed High Assurance Reference Monitor. Chander, A., Dean, D., Mitchell, John, C. 2004
  • Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols. Ramanathan, A., Mitchell, John, C., Scedrov, A., Teague, V. 2004
  • Exploring New Frontiers of Theoretical Informatics edited by Lévy, J., Mayr, Ernst, W., Mitchell, John, C. 2004
  • Analysis of the 802.11i 4-way handshake. He, C., Mitchell, John, C. 2004
  • Conflict and combination in privacy policy languages. Barth, A., Mitchell, John, C., Rosenstein, J. 2004
  • Securing Java RMI-Based Distributed Applications. Li, N., Mitchell, John, C., Tong, D. 2004
  • Abstraction and Refinement in Protocol Derivation. Datta, A., Derek, A., Mitchell, John, C., Pavlovic, D. 2004
  • A Derivation System for Security Protocols and its Logical Formalization. Datta, A., Derek, A., Mitchell, John, C., Pavlovic, D. 2003
  • Understanding SPKI/SDSI Using First-Order Logic. Li, N., Mitchell, John, C. 2003
  • Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management. Li, N., Winsborough, William, H., Mitchell, John, C. 2003
  • Contract Signing, Optimism, and Advantage. Chadha, R., Mitchell, John, C., Scedrov, A., Shmatikov, V. 2003
  • Specifying and Verifying Hardware for Tamper-Resistant Software. Lie, D., Mitchell, John, C., Thekkath, Chandramohan, A., Horowitz, M. 2003
  • DATALOG with Constraints: A Foundation for Trust Management Languages. Li, N., Mitchell, John, C. 2003
  • Secure protocol composition. Datta, A., Derek, A., Mitchell, John, C., Pavlovic, D. 2003
  • A Role-based Trust-management Framework. Li, N., Mitchell, John, C. 2003
  • Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus. Mateus, P., Mitchell, John, C., Scedrov, A. 2003
  • Relating cryptography and formal methods: a panel. Backes, M., Meadows, C., Mitchell, John, C. 2003
  • New similarity measures between polylines with applications to morphing and polygon sweeping Efrat, A., Guibas, L. J., Har-Peled, S., Mitchell, J. S., Murali, T. M. SPRINGER. 2002: 535-569
  • Thrombin inhibition by a reactive center L444R mutant of heparin cofactor II Fortenberry, Y. M., Mitchell, J. W., Myles, T., Leung, L. L., Church, F. C. FEDERATION AMER SOC EXP BIOL. 2002: A1193-A1193
  • Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages edited by Launchbury, J., Mitchell, John, C. 2002
  • Tissue microarray analysis of CD44, p53, Ki-67 and bcl-2 as prognostic markers in rhabdomyosarcoma Linn, S. C., West, R. B., Wijnaendts, L. C., Montgomery, K., Mitchell, J., van de Rijn, M. NATURE PUBLISHING GROUP. 2002: 312A-313A
  • Design of a Role-Based Trust-Management Framework. Li, N., Mitchell, John, C., Winsborough, William, H. 2002
  • A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. Cervesato, I., Durgin, Nancy, A., Lincoln, P., Mitchell, John, C., Scedrov, A. 2002
  • Multiset Rewriting and Security Protocol Analysis. Mitchell, John, C. 2002
  • Autonomous Nodes and Distributed Mechanisms. Mitchell, John, C., Teague, V. 2002
  • Programming language methods in computer security Mitchell, J. C. ASSOC COMPUTING MACHINERY. 2001: 1-3
  • Distributed credential chain discovery in trust management: extended abstract. Li, N., Winsborough, William, H., Mitchell, John, C. 2001
  • Programming language methods in computer security. Mitchell, John, C. 2001
  • Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis. Mitchell, John, C., Ramanathan, A., Scedrov, A., Teague, V. 2001
  • Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis. Mitchell, John, C. 2001
  • A Compositional Logic for Protocol Correctness. Durgin, Nancy, A., Mitchell, John, C., Pavlovic, D. 2001
  • A State-Transition Model of Trust Management and Access Control. Chander, A., Mitchell, John, C., Dean, D. 2001
  • Architectural support for copy and tamper resistant software Lie, D., Thekkath, C., Mitchell, M., Lincoln, P., Boneh, D., Mitchell, J., Horowitz, M. ASSOC COMPUTING MACHINERY. 2000: 168-177
  • Analysis of a Fair Exchange Protocol. Shmatikov, V., Mitchell, John, C. 2000
  • Relating Strands and Multiset Rewriting for Security Protocol Analysis. Cervesato, I., Durgin, Nancy, A., Mitchell, John, C., Lincoln, P., Scedrov, A. 2000
  • Optimization complexity of linear logic proof games Lincoln, P. D., Mitchell, J. C., Scedrov, A. ELSEVIER SCIENCE BV. 1999: 299-331
  • Probabilistic Polynomial-Time Equivalence and Security Analysis. Lincoln, P., Mitchell, John, C., Mitchell, M., Scedrov, A. 1999
  • A Meta-Notation for Protocol Analysis. Cervesato, I., Durgin, Nancy, A., Lincoln, P., Mitchell, John, C., Scedrov, A. 1999
  • A Formal Framework for the Java Bytecode Language and Verifier. Freund, Stephen, N., Mitchell, John, C. 1999
  • A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time. Mitchell, John, C., Mitchell, M., Scedrov, A. 1998
  • On the relationship between classes, objects, and data abstraction Fisher, K., Mitchell, J. C. JOHN WILEY & SONS INC. 1998: 3-25
  • A Probabilistic Poly-Time Framework for Protocol Analysis. Lincoln, P., Mitchell, John, C., Mitchell, M., Scedrov, A. 1998
  • A Type System for Object Initialization in the Java Bytecode Language. Freund, Stephen, N., Mitchell, John, C. 1998
  • Finite-State Analysis of Security Protocols. Mitchell, John, C. 1998
  • Adding type parameterization to the Java(TM) language Agesen, O., Freund, S. N., Mitchell, J. C. ASSOC COMPUTING MACHINERY. 1997: 49-65
  • ML and beyond Harper, R., Mitchell, J. C. ASSOC COMPUTING MACHINERY. 1997: 80-85
  • Adding Type Parameterization to the Java Language. Agesen, O., Freund, Stephen, N., Mitchell, John, C. 1997
  • Automated analysis of cryptographic protocols using Mur-phi. Mitchell, John, C., Mitchell, M., Stern, U. 1997
  • Standard ML-NJ weak polymorphism and imperative constructs Mitchell, J., Viswanathan, R. ACADEMIC PRESS INC ELSEVIER SCIENCE. 1996: 102-116
  • Anorexia nervosa: Prevention of relapse HALMI, K. A., Mitchell, J., Agras, S. ELSEVIER SCIENCE INC. 1996: 564-564
  • BOXTREE: A hierarchical representation for surfaces in 3D Barequet, G., Chazelle, B., Guibas, L. J., Mitchell, J. S., Tal, A. WILEY-BLACKWELL PUBLISHING, INC. 1996: C387-?
  • Effective Models of Polymorphism, Subtyping and Recursion (Extended Abstract). Mitchell, John, C., Viswanathan, R. 1996
  • Lower Bounds on Type Inference with Subtypes. Hoang, M., Mitchell, John, C. 1995
  • A Delegation-based Object Calculus with Subtying. Fisher, K., Mitchell, John, C. 1995
  • CLASSIFICATION OF SPORTS Mitchell, J. H., Haskell, W. L., Raven, P. B. LIPPINCOTT WILLIAMS & WILKINS. 1994: S242-S245

    View details for Web of Science ID A1994PM54800005

    View details for PubMedID 7934746

  • POLYMORPHISM AND SUBTYPING IN INTERFACES Katiyar, D., LUCKHAM, D., Mitchell, J., Meldal, S. ASSOC COMPUTING MACHINERY. 1994: 22-34
  • AN EXTENSION OF SYSTEM-F WITH SUBTYPING Cardelli, L., Martini, S., Mitchell, J. C., Scedrov, A. ACADEMIC PRESS INC JNL-COMP SUBSCRIPTIONS. 1994: 4-56
  • Polymorphism and Subtyping in Interfaces. Katiyar, D., Luckham, David, C., Mitchell, John, C. 1994
  • A Type System for Prototyping Languages. Katiyar, D., Luckham, David, C., Mitchell, John, C. 1994
  • Theoretical Aspects of Computer Software edited by Hagiya, M., Mitchell, John, C. 1994
  • Notes on Typed Object-Oriented Programming. Fisher, K., Mitchell, John, C. 1994
  • A MULTIDIMENSIONAL EXAMINATION OF DEPRESSION AMONG THE ELDERLY Mitchell, J., Mathews, H. F., Yesavage, J. A. SAGE PUBLICATIONS INC. 1993: 198-219
  • Standard ML-NJ weak polymorphism and imperative constructs. Hoang, M., Mitchell, John, C. 1993
  • A lambda calculus of objects and method specialization. Mitchell, John, C., Honsell, F., Fisher, K. 1993
  • CONNECTING FORMAL SEMANTICS TO CONSTRUCTIVE INTUITIONS Kurtz, S. A., Mitchell, J. C., Odonnell, M. J. SPRINGER VERLAG. 1992: 1-21
  • VORONOI DIAGRAMS OF MOVING POINTS IN THE PLANE Guibas, L. J., Mitchell, J. S., Roos, T. SPRINGER VERLAG. 1992: 113-125
  • Algorithmic Aspects of Type Inference with Subtypes. Lincoln, P., Mitchell, John, C. 1992
  • Operational aspects of linear lambda calculus. Lincoln, P., Mitchell, John, C. 1992
  • PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism. Bruce, Kim, B., Mitchell, John, C. 1992
  • Notes on Sconing and Relators. Mitchell, John, C., Scedrov, A. 1992
  • KRIPKE-STYLE MODELS FOR TYPED LAMBDA-CALCULUS Mitchell, J. C., Moggi, E. ELSEVIER SCIENCE BV. 1991: 99-124
  • APPROXIMATING POLYGONS AND SUBDIVISIONS WITH MINIMUM LINK PATHS Guibas, L. J., Hershberger, J. E., Snoeyink, J. S., Mitchell, J. S. SPRINGER VERLAG. 1991: 151-162
  • An Extension of Standard ML Modules with Subtyping and Inheritance. Mitchell, John, C., Meldal, S., Madhav, N. 1991
  • Connecting Formal Semantics to Constructive Intuitions. Kurtz, Stuart, A., Mitchell, John, C., O'Donnell, Michael, J. 1991
  • An Extension of System F with Subtyping. Cardelli, L., Martini, S., Mitchell, John, C. 1991
  • On Abstraction and the Expressive Power of Programming Languages. Mitchell, John, C. 1991
  • Higher-Order Modules and the Phase Distinction. Harper, R., Mitchell, John, C., Moggi, E. 1990
  • Decision Problems for Propositional Linear Logic. Lincoln, P., Mitchell, John, C., Scedrov, A., Shankar, N. 1990
  • Toward a Typed Foundation for Method Specialization and Inheritance. Mitchell, John, C. 1990
  • Operational and Axiomatic Semantics of PCF. Howard, Brian, T., Mitchell, John, C. 1990
  • Operations in Records. Cardelli, L., Mitchell, John, C. 1989
  • Operations on Records. Cardelli, L., Mitchell, John, C. 1989
  • F-Bounded Polymorphism for Object-Oriented Programming. Canning, Peter, S., Cook, William, R., Hill, Walter, L., Olthoff, Walter, G., Mitchell, John, C. 1989
  • Polymorphic Unification and ML Typing. Kanellakis, Paris, C., Mitchell, John, C. 1989
  • ML with Extended Pattern Matching and Subtypes. Jategaonkar, L., Mitchell, John, C. 1988
  • The Essence of ML. Mitchell, John, C., Harper, R. 1988
  • Empty Types in Polymorphic Lambda Calculus. Meyer, Albert, R., Mitchell, John, C., Moggi, E., Statman, R. 1987
  • Kripke-Style models for typed lambda calculus. Mitchell, John, C., Moggi, E. 1987
  • Representation Independence and Data Abstraction. Mitchell, John, C. 1986
  • Realisability Semantics for Error-Tolerant Logics. Mitchell, John, C., O'Donnell, Michael, J. 1986
  • A Type-Inference Approach to Reduction Properties and Semantics of Polymorphic Expressions (Summary). Mitchell, John, C. 1986
  • Second-Order Logical Relations (Extended Abstract). Mitchell, John, C., Meyer, Albert, R. 1985
  • Abstract Types Have Existential Type. Mitchell, John, C., Plotkin, Gordon, D. 1985
  • Semantic Models for Second-Order Lambda Calculus. Mitchell, John, C. 1984
  • Coercion and Type Inference. Mitchell, John, C. 1984
  • Inference Rules for Functional and Inclusion Dependencies. Mitchell, John, C. 1983
  • Axiomatic Definability and Completeness for Recursive Programs. Meyer, Albert, R., Mitchell, John, C. 1982