John Case

Publication Activity (10 Years)

Years Active: 1971-2020
Publications (10 Years): 6

Top Venues

Inf. Comput.

CiE

Theor. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Clay Woody, John Case, Dereck Kennedy, John Caddell
Leveraging Iterative Design of Experiments to Innovate in a High-Risk Production Environment: A US Army Aviation Case Study. SysCon (2020)
John Case, Sanjay Jain, Frank Stephan
Effectivity questions for Kleene's recursion theorem. Theor. Comput. Sci. 733 (2018)
John Case, Timo Kötzing
Topological separations in inductive inference. Theor. Comput. Sci. 620 (2016)
John Case, Michael Ralston
Non-Obfuscated Unprovable Programs & Many Resultant Subtleties. Log. Methods Comput. Sci. 12 (2) (2016)
John Case, Timo Kötzing
Strongly non-U-shaped language learning results by general techniques. Inf. Comput. 251 (2016)
John Case, James S. Royer
Program Size Complexity of Correction Grammars in the Ershov Hierarchy. CiE (2016)
John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
Automatic learners with feedback queries. J. Comput. Syst. Sci. 80 (4) (2014)
John Case, Timo Kötzing
Topological Separations in Inductive Inference. ALT (2013)
John Case, Sanjay Jain, Frank Stephan
Effectivity Questions for Kleene's Recursion Theorem. LFCS (2013)
John Case, Timo Kötzing
Memory-limited non-U-shaped learning with solved open problems. Theor. Comput. Sci. 473 (2013)
Lorenzo Carlucci, John Case
On the Necessity of U-Shaped Learning. Top. Cogn. Sci. 5 (1) (2013)
John Case, Sanjay Jain, Samuel Seah, Frank Stephan
Automatic functions, linear time and learning. Log. Methods Comput. Sci. 9 (3) (2013)
John Case, Michael Ralston
Beyond Rogers' Non-constructively Computable Function. CiE (2013)
John Case, Sanjay Jain, Samuel Seah, Frank Stephan
Automatic Functions, Linear Time and Learning. CiE (2012)
John Case, Sanjay Jain, Trong Dao Le, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
Automatic learning of subclasses of pattern languages. Inf. Comput. 218 (2012)
John Case, Timo Kötzing
Learning secrets interactively. Dynamic modeling in inductive inference. Inf. Comput. 220 (2012)
John Case
Algorithmic Scientific Inference: Within Our Computable Expected Reality? Int. J. Unconv. Comput. 8 (3) (2012)
John Case, Samuel E. Moelius
Program Self-Reference in Constructive Scott Subdomains. Theory Comput. Syst. 51 (1) (2012)
John Case, Sanjay Jain, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
Automatic Learners with Feedback Queries. CiE (2011)
John Case, Samuel E. Moelius
Optimal language learning from positive data. Inf. Comput. 209 (10) (2011)
John Case, Sanjay Jain
Rice and Rice-Shapiro Theorems for transfinite correction grammars. Math. Log. Q. 57 (5) (2011)
John Case, Samuel E. Moelius
Properties Complementary to Program Self-Reference. Fundam. Informaticae 111 (3) (2011)
John Case, Sanjay Jain, Trong Dao Le, Yuh Shin Ong, Pavel Semukhin, Frank Stephan
Automatic Learning of Subclasses of Pattern Languages. LATA (2011)
John Case, Timo Kötzing
Measuring Learning Complexity with Criteria Epitomizers. STACS (2011)
John Case, Timo Kötzing
Strongly Non-U-Shaped Learning Results by General Techniques. COLT (2010)
Leonor Becerra-Bonache, John Case, Sanjay Jain, Frank Stephan
Iterative learning of simple external contextual languages. Theor. Comput. Sci. 411 (29-30) (2010)
John Case, Timo Kötzing
Solutions to Open Questions for Non-U-Shaped Learning with Memory Limitations. ALT (2010)
John Case, Samuel E. Moelius
-Ary Recursion Theorems. FCT (2009)
Lorenzo Carlucci, John Case, Sanjay Jain
Learning correction grammars. J. Symb. Log. 74 (2) (2009)
John Case, Samuel E. Moelius
Characterizing Programming Systems Allowing Program Self-Reference. Theory Comput. Syst. 45 (4) (2009)
John Case, Timo Kötzing
Difficulties in Forcing Fairness of Polynomial Time Inductive Inference. ALT (2009)
John Case
Resource Restricted Computability Theoretic Learning: Illustrative Topics and Problems. Theory Comput. Syst. 45 (4) (2009)
John Case, Samuel E. Moelius
Parallelism increases iterative learning power. Theor. Comput. Sci. 410 (19) (2009)
John Case, Samuel E. Moelius
Program Self-reference in Constructive Scott Subdomains. CiE (2009)
John Case, Timo Kötzing
Dynamic Modeling in Inductive Inference. ALT (2008)
Lorenzo Carlucci, John Case, Sanjay Jain, Frank Stephan
Non-U-shaped vacillatory and team learning. J. Comput. Syst. Sci. 74 (4) (2008)
John Case, Timo Kötzing
Dynamically Delayed Postdictive Completeness and Consistency in Learning. ALT (2008)
John Case, Samuel E. Moelius
Optimal Language Learning. ALT (2008)
Leonor Becerra-Bonache, John Case, Sanjay Jain, Frank Stephan
Iterative Learning of Simple External Contextual Languages. ALT (2008)
John Case, Samuel E. Moelius
U-shaped, iterative, and iterative-with-counter learning. Mach. Learn. 72 (1-2) (2008)
John Case, Takeshi Shinohara, Thomas Zeugmann, Sandra Zilles
Foreword. Theor. Comput. Sci. 397 (1-3) (2008)
Ganesh Baliga, John Case, Wolfgang Merkle, Frank Stephan, Rolf Wiehagen
When unlearning helps. Inf. Comput. 206 (5) (2008)
John Case, Samuel E. Moelius
Properties Complementary to Program Self-reference. MFCS (2007)
John Case, Samuel E. Moelius
Cautious virus detection in the extreme. PLAS (2007)
John Case
Resource Restricted Computability Theoretic Learning: Illustrative Topics and Problems. CiE (2007)
John Case, Samuel E. Moelius
Characterizing Programming Systems Allowing Program Self-reference. CiE (2007)
Lorenzo Carlucci, John Case, Sanjay Jain
Learning Correction Grammars. COLT (2007)
Shai Ben-David, John Case, Thomas Zeugmann
Foreword. Theor. Comput. Sci. 382 (3) (2007)
Lorenzo Carlucci, John Case, Sanjay Jain, Frank Stephan
Results on memory-limited U-shaped learning. Inf. Comput. 205 (10) (2007)
John Case, Samuel E. Moelius
U-Shaped, Iterative, and Iterative-with-Counter Learning. COLT (2007)
John Case, Samuel E. Moelius
Parallelism Increases Iterative Learning Power. ALT (2007)
John Case, Timo Kötzing, Todd Paddock
Feasible Iteration of Feasible Learning Functionals. ALT (2007)
John Case, Sanjay Jain, Rüdiger Reischuk, Frank Stephan, Thomas Zeugmann
Learning a subclass of regular patterns in polynomial time. Theor. Comput. Sci. 364 (1) (2006)
John Case, Sanjay Jain, Eric Martin, Arun Sharma, Frank Stephan
Identifying Clusters from Positive Data. SIAM J. Comput. 36 (1) (2006)
John Case, Keh-Jiann Chen, Sanjay Jain, Wolfgang Merkle, James S. Royer
Generality's price: Inescapable deficiencies in machine-learned programs. Ann. Pure Appl. Log. 139 (1-3) (2006)
Lorenzo Carlucci, John Case, Sanjay Jain, Frank Stephan
Memory-Limited U-Shaped Learning. COLT (2006)
John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi
On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. J. Comput. Syst. Sci. 71 (3) (2005)
Lorenzo Carlucci, John Case, Sanjay Jain, Frank Stephan
Non U-Shaped Vacillatory and Team Learning. ALT (2005)
John Case
Off-Loading Memory to the Environment: A Quantitative Example. Minds Mach. 14 (3) (2004)
John Case, Efim B. Kinber, Arun Sharma, Frank Stephan
On the classification of recursive languages. Inf. Comput. 192 (1) (2004)
Andris Ambainis, John Case, Sanjay Jain, Mandayam Suraj
Parsimony hierarchies for inductive inference. J. Symb. Log. 69 (1) (2004)
Hsing-Kuo Pao, John Case
Computing Entropy for Ortholog Detection. International Conference on Computational Intelligence (2004)
John Case, Sanjay Jain, Rüdiger Reischuk, Frank Stephan, Thomas Zeugmann
A Polynomial Time Learner for a Subclass of Regular Patterns Electron. Colloquium Comput. Complex. (038) (2004)
John Case, Sanjay Jain, Eric Martin, Arun Sharma, Frank Stephan
Identifying Clusters from Positive Data Electron. Colloquium Comput. Complex. (058) (2004)
John Case, Sanjay Jain, Frank Stephan, Rolf Wiehagen
Robust learning--rich and poor. J. Comput. Syst. Sci. 69 (2) (2004)
John Case, Sanjay Jain, Eric Martin, Arun Sharma, Frank Stephan
Identifying Clusters from Positive Data. ICGI (2004)
John Case, Sanjay Jain, Rüdiger Reischuk, Frank Stephan, Thomas Zeugmann
Learning a Subclass of Regular Patterns in Polynomial Time. ALT (2003)
John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi
On Learning to Coordinate: Random Bits Help, Insightful Normal Forms, and Competency Isomorphisms. COLT (2003)
John Case, Keh-Jiann Chen, Sanjay Jain, Wolfgang Merkle, James S. Royer
Generality's Price: Inescapable Deficiencies in Machine-Learned Programs. COLT (2003)
John Case, Sanjay Jain, Mandayam Suraj
Control structures in hypothesis spaces: the influence on learning. Theor. Comput. Sci. 270 (1-2) (2002)
John Case, Matthias Ott, Arun Sharma, Frank Stephan
Learning to Win Process-Control Games Watching Game-Masters. Inf. Comput. 174 (1) (2002)
John Case, Sanjay Jain, Frank Stephan, Rolf Wiehagen
Robust Learning - Rich and Poor. COLT/EuroCOLT (2001)
Ming Ouyang, John Case, Joan Burnside
Divide and Conquer Machine Learning for a Genomics Analogy Problem (Progress Report). Discovery Science (2001)
John Case, Sanjay Jain, Susanne Kaufmann, Arun Sharma, Frank Stephan
Predictive learning models for concept drift. Theor. Comput. Sci. 268 (2) (2001)
John Case, Dayanand S. Rajan, Anil M. Shende
Lattice computers for approximating Euclidean space. J. ACM 48 (1) (2001)
John Case, Sanjay Jain
Synthesizing Learners Tolerating Computable Noisy Data. J. Comput. Syst. Sci. 62 (3) (2001)
John Case, Sanjay Jain, Arun Sharma
Synthesizing noise-tolerant language learners. Theor. Comput. Sci. 261 (1) (2001)
John Case, Keh-Jiann Chen, Sanjay Jain
Costs of general purpose learning. Theor. Comput. Sci. 259 (1-2) (2001)
John Case, Sanjay Jain, Matthias Ott, Arun Sharma, Frank Stephan
Robust Learning Aided by Context. J. Comput. Syst. Sci. 60 (2) (2000)
John Case, Sanjay Jain, Frank Stephan
Vacillatory and BC learning on noisy data. Theor. Comput. Sci. 241 (1-2) (2000)
Ganesh Baliga, John Case, Wolfgang Merkle, Frank Stephan
Unlearning Helps. ICALP (2000)
John Case, Sanjay Jain, Steffen Lange, Thomas Zeugmann
Incremental Concept Learning for Bounded Data Mining. Inf. Comput. 152 (1) (1999)
John Case, Keh-Jiann Chen, Sanjay Jain
Costs of General Purpose Learning. STACS (1999)
John Case
The Power of Vacillation in Language Learning. SIAM J. Comput. 28 (6) (1999)
John Case, Mark A. Fulk
Maximal Machine Learnable Classes. J. Comput. Syst. Sci. 58 (1) (1999)
Ganesh Baliga, John Case, Sanjay Jain
The Synthesis of Language Learners. Inf. Comput. 152 (1) (1999)
John Case, Sanjay Jain, Matthias Ott, Arun Sharma, Frank Stephan
Robust Learning Aided by Context. COLT (1998)
John Case, Sanjay Jain, Susanne Kaufmann, Arun Sharma, Frank Stephan
Predictive Learning Models for Concept Drift. ALT (1998)
John Case, Sanjay Jain
Synthesizing Learners Tolerating Computable Noisy Data. ALT (1998)
John Case, Matthias Ott, Arun Sharma, Frank Stephan
Learning to Win Process-Control Games Watching Game-Masters. ALT (1998)
John Case, Efim B. Kinber, Arun Sharma, Frank Stephan
On the Classification of Computable Languages. STACS (1997)
John Case, Sanjay Jain, Arun Sharma
Synthesizing Noise-Tolerant Language Learners. ALT (1997)
John Case, Sanjay Jain, Mandayam Suraj
Control Structures in Hypothesis Spaces: The Influence on Learning. EuroCOLT (1997)
John Case, Susanne Kaufmann, Efim B. Kinber, Martin Kummer
Learning Recursive Functions from Approximations. J. Comput. Syst. Sci. 55 (1) (1997)
John Case, Sanjay Jain, Arun Sharma
Anomalous Learning Helps Succinctness. Theor. Comput. Sci. 164 (1&2) (1996)
John Case, Sanjay Jain, Arun Sharma
Machine Induction Without Revolutionary Changes in Hypothesis Size. Inf. Comput. 128 (2) (1996)
John Case, Sanjay Jain, Frank Stephan
Vacillatory and BC Learning on Noisy Data. ALT (1996)
Ganesh Baliga, John Case
Learnability: Admissible, Co-Finite, and Hypersimple Languages. J. Comput. Syst. Sci. 53 (1) (1996)
Ganesh Baliga, John Case, Sanjay Jain
Synthesizing Enumeration Techniques for Language Learning. COLT (1996)
John Case, Susanne Kaufmann, Efim B. Kinber, Martin Kummer
Learning recursive functions from approximations. EuroCOLT (1995)

John Case.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John Case