| 2016 | CiE | Program Size Complexity of Correction Grammars in the Ershov Hierarchy. | John Case, James S. Royer |
| 2013 | ALT | Topological Separations in Inductive Inference. | John Case, Timo Ktzing |
| 2013 | CiE | Beyond Rogers' Non-constructively Computable Function. | John Case, Michael Ralston |
| 2013 | LFCS | Effectivity Questions for Kleene's Recursion Theorem. | John Case, Sanjay Jain, Frank Stephan |
| 2012 | CiE | Automatic Functions, Linear Time and Learning. | John Case, Sanjay Jain, Samuel Seah, Frank Stephan |
| 2011 | CiE | Automatic Learners with Feedback Queries. | John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukhin, Frank Stephan |
| 2011 | LATA | Automatic Learning of Subclasses of Pattern Languages. | John Case, Sanjay Jain, Trong Dao Le, Yuh Shin Ong, Pavel Semukhin, Frank Stephan |
| 2011 | STACS | Measuring Learning Complexity with Criteria Epitomizers. | John Case, Timo Ktzing |
| 2010 | ALT | Solutions to Open Questions for Non-U-Shaped Learning with Memory Limitations. | John Case, Timo Ktzing |
| 2010 | COLT | Strongly Non-U-Shaped Learning Results by General Techniques. | John Case, Timo Ktzing |
| 2009 | ALT | Difficulties in Forcing Fairness of Polynomial Time Inductive Inference. | John Case, Timo Ktzing |
| 2009 | CiE | Program Self-reference in Constructive Scott Subdomains. | John Case, Samuel E. Moelius |
| 2009 | FCT | Independence Results for | John Case, Samuel E. Moelius |
| 2008 | ALT | Iterative Learning of Simple External Contextual Languages. | Leonor Becerra-Bonache, John Case, Sanjay Jain, Frank Stephan |
| 2008 | ALT | Dynamically Delayed Postdictive Completeness and Consistency in Learning. | John Case, Timo Ktzing |
| 2008 | ALT | Dynamic Modeling in Inductive Inference. | John Case, Timo Ktzing |
| 2008 | ALT | Optimal Language Learning. | John Case, Samuel E. Moelius |
| 2007 | ALT | Feasible Iteration of Feasible Learning Functionals. | John Case, Timo Ktzing, Todd Paddock |
| 2007 | ALT | Parallelism Increases Iterative Learning Power. | John Case, Samuel E. Moelius |
| 2007 | CiE | Resource Restricted Computability Theoretic Learning: Illustrative Topics and Problems. | John Case |
| 2007 | CiE | Characterizing Programming Systems Allowing Program Self-reference. | John Case, Samuel E. Moelius |
| 2007 | COLT | Learning Correction Grammars. | Lorenzo Carlucci, John Case, Sanjay Jain |
| 2007 | COLT | U-Shaped, Iterative, and Iterative-with-Counter Learning. | John Case, Samuel E. Moelius |
| 2007 | MFCS | Properties Complementary to Program Self-reference. | John Case, Samuel E. Moelius |
| 2007 | PLDI | Cautious virus detection in the extreme. | John Case, Samuel E. Moelius |
| 2006 | COLT | Memory-Limited U-Shaped Learning. | Lorenzo Carlucci, John Case, Sanjay Jain, Frank Stephan |
| 2005 | ALT | Non U-Shaped Vacillatory and Team Learning. | Lorenzo Carlucci, John Case, Sanjay Jain, Frank Stephan |
| 2003 | ALT | Learning a Subclass of Regular Patterns in Polynomial Time. | John Case, Sanjay Jain, Rdiger Reischuk, Frank Stephan, Thomas Zeugmann |
| 2003 | COLT | Generality's Price: Inescapable Deficiencies in Machine-Learned Programs. | John Case, Keh-Jiann Chen, Sanjay Jain, Wolfgang Merkle, James S. Royer |
| 2003 | COLT | On Learning to Coordinate: Random Bits Help, Insightful Normal Forms, and Competency Isomorphisms. | John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi |
| 2001 | COLT | Robust Learning - Rich and Poor. | John Case, Sanjay Jain, Frank Stephan, Rolf Wiehagen |
| 2001 | DIS | Divide and Conquer Machine Learning for a Genomics Analogy Problem (Progress Report). | Ming Ouyang, John Case, Joan Burnside |
| 2000 | ICALP | Unlearning Helps. | Ganesh R. Baliga, John Case, Wolfgang Merkle, Frank Stephan |
| 1999 | STACS | Costs of General Purpose Learning. | John Case, Keh-Jiann Chen, Sanjay Jain |
| 1998 | ALT | Synthesizing Learners Tolerating Computable Noisy Data. | John Case, Sanjay Jain |
| 1998 | ALT | Predictive Learning Models for Concept Drift. | John Case, Sanjay Jain, Susanne Kaufmann, Arun Sharma, Frank Stephan |
| 1998 | ALT | Learning to Win Process-Control Games Watching Game-Masters. | John Case, Matthias Ott, Arun Sharma, Frank Stephan |
| 1998 | COLT | Robust Learning Aided by Context. | John Case, Sanjay Jain, Matthias Ott, Arun Sharma, Frank Stephan |
| 1997 | ALT | Synthesizing Noise-Tolerant Language Learners. | John Case, Sanjay Jain, Arun Sharma |
| 1997 | STACS | On the Classification of Computable Languages. | John Case, Efim B. Kinber, Arun Sharma, Frank Stephan |
| 1996 | ALT | Vacillatory and BC Learning on Noisy Data. | John Case, Sanjay Jain, Frank Stephan |
| 1996 | COLT | Synthesizing Enumeration Techniques for Language Learning. | Ganesh R. Baliga, John Case, Sanjay Jain |
| 1995 | ALT | Machine Induction Without Revolutionary Paradigm Shifts. | John Case, Sanjay Jain, Arun Sharma |
| 1994 | ALT | Learning with Higher Order Additional Information. | Ganesh R. Baliga, John Case |
| 1993 | ICALP | Learnability: Admissible, Co-finite, and Hypersimple Languages. | Ganesh R. Baliga, John Case |
| 1993 | STACS | Language Learning With Some Negative Information. | Ganesh R. Baliga, John Case, Sanjay Jain |
| 1992 | COLT | On Learning Limiting Programs. | John Case, Sanjay Jain, Arun Sharma |
| 1992 | LFCS | Machine Learning of Higher Order Programs. | Ganesh R. Baliga, John Case, Sanjay Jain, Mandayam Suraj |
| 1990 | ALT | Anomalous Learning Helps Succinctness (Extended Abstract). | John Case, Sanjay Jain, Arun Sharma |
| 1989 | COLT | Convergence to Nearly Minimal Size Grammars by Vacillating Learning Machines. | Sanjay Jain, Arun Sharma, John Case |
| 1988 | COLT | The Power of Vacillation. | John Case |
| 1982 | ICALP | Machine Inductive Inference and Language Identification. | John Case, Christopher Lynes |
| 1978 | STOC | Anomaly Hierarchies of Mechanized Inductive Inference | John Case, Carl H. Smith |