| 2026 | SAT | New Algorithms for Parity-SAT and Its Bounded-Occurrence Versions. | Sanjay Jain, Junqiang Peng, Frank Stephan, Haoyun Tang, Mingyu Xiao |
| 2024 | MFCS | Quasi-Isometric Reductions Between Infinite Strings. | Karen Frilya Celine, Ziyuan Gao, Sanjay Jain, Ryan Lou, Frank Stephan, Guohua Wu |
| 2024 | WALCOM | A Bisection Approach to Subcubic Maximum Induced Matching. | Gordon Hoi, Sanjay Jain, Ammar Fathin Sabili, Frank Stephan |
| 2022 | ICTAC | Alternating Automatic Register Machines. | Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan |
| 2022 | WSC | A Tale of Three Simulations for Project Managers. | Sanjay Jain |
| 2021 | LATA | Learnability and Positive Equivalence Relations. | David R. Blanger, Ziyuan Gao, Sanjay Jain, Wei Li, Frank Stephan |
| 2020 | CP | A Faster Exact Algorithm to Count X3SAT Solutions. | Gordon Hoi, Sanjay Jain, Frank Stephan |
| 2020 | LATA | Ordered Semiautomatic Rings with Applications to Geometry. | Ziyuan Gao, Sanjay Jain, Ji Qi, Philipp Schlicht, Frank Stephan, Jacob Tarr |
| 2020 | WSC | A Tale of Two Simulations for Project Managers. | Sanjay Jain |
| 2019 | MFCS | Random Subgroups of Rationals. | Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Alexander G. Melnikov, Karen Seidel, Frank Stephan |
| 2019 | WSC | Infrastructure for Model Based Analytics for Manufacturing. | Sanjay Jain, Anantha Narayanan, Yung-Tsun Tina Lee |
| 2019 | WSC | Digital Twin for Smart Manufacturing: The Simulation Aspect. | Guodong Shao, Sanjay Jain, Christoph Laroque, Loo Hay Lee, Peter Lendermann, Oliver Rose |
| 2019 | TAMC | Exact Satisfiabitity with Jokers. | Gordon Hoi, Sanjay Jain, Sibylle Schwarz, Frank Stephan |
| 2018 | ALT | On the Help of Bounded Shot Verifiers, Comparators and Standardisers for Learnability in Inductive Inference. | Ziyuan Gao, Sanjay Jain, Frank Stephan, Thomas Zeugmann |
| 2018 | LATA | Learners Based on Transducers. | Sanjay Jain, Shao Ning Kuek, Eric Martin, Frank Stephan |
| 2018 | WSC | Comparison of Data Analytics Approaches using simulation. | Sanjay Jain, Anantha Narayanan, Yung-Tsun Tina Lee |
| 2017 | ALT | Automatic Learning from Repetitive Texts. | Rupert Hlzl, Sanjay Jain, Philipp Schlicht, Karen Seidel, Frank Stephan |
| 2017 | WSC | Towards smart manufacturing with virtual factory and data analytics. | Sanjay Jain, David Lechevalier, Anantha Narayanan |
| 2017 | STOC | Deciding parity games in quasipolynomial time. | Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li, Frank Stephan |
| 2016 | ALT | Learning Pattern Languages over Groups. | Rupert Hlzl, Sanjay Jain, Frank Stephan |
| 2016 | ALT | Intrinsic Complexity of Partial Learning. | Sanjay Jain, Efim B. Kinber |
| 2016 | CiE | Finitely Generated Semiautomatic Groups. | Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan |
| 2016 | FC | When Cryptocurrencies Mine Their Own Business. | Jason Teutsch, Sanjay Jain, Prateek Saxena |
| 2016 | WSC | Standards based generation of a virtual factory model. | Sanjay Jain, David Lechevalier |
| 2016 | SOFSEM | Learning Automatic Families of Languages. | Sanjay Jain, Frank Stephan |
| 2015 | ALT | Priced Learning. | Sanjay Jain, Junqi Ma, Frank Stephan |
| 2015 | WSC | Towards a virtual factory prototype. | Sanjay Jain, David Lechevalier, Jungyub Woo, Seung-Jun Shin |
| 2015 | STACS | Inductive Inference and Reverse Mathematics. | Rupert Hlzl, Sanjay Jain, Frank Stephan |
| 2014 | ALT | Parallel Learning of Automatic Classes of Languages. | Sanjay Jain, Efim B. Kinber |
| 2014 | ALT | On the Role of Update Constraints and Text-Types in Iterative Learning. | Sanjay Jain, Timo Ktzing, Junqi Ma, Frank Stephan |
| 2014 | CSR | Semiautomatic Structures. | Sanjay Jain, Bakhadyr Khoussainov, Frank Stephan, Dan Teng, Siyuan Zou |
| 2014 | WSC | Teaching of simulation at business schools. | Sanjay Jain |
| 2014 | WSC | Virtual factory revisited for manufacturing data analytics. | Sanjay Jain, Guodong Shao |
| 2014 | WSC | Data analytics using simulation for smart manufacturing. | Guodong Shao, Seung-Jun Shin, Sanjay Jain |
| 2013 | ALT | Editors' Introduction. | Sanjay Jain, Rmi Munos, Frank Stephan, Thomas Zeugmann |
| 2013 | CiE | On Conservative Learning of Recursively Enumerable Languages. | Ziyuan Gao, Sanjay Jain, Frank Stephan |
| 2013 | LFCS | Effectivity Questions for Kleene's Recursion Theorem. | John Case, Sanjay Jain, Frank Stephan |
| 2013 | WSC | Multi-resolution modeling for supply chain sustainability analysis. | Sanjay Jain, Sigrur Sigurardttir, Erik Lindskog, Jon Andersson, Anders Skoogh, Bjrn Johansson |
| 2012 | ALT | Automatic Learning from Positive Data and Negative Counterexamples. | Sanjay Jain, Efim B. Kinber |
| 2012 | ALT | Enlarging Learnable Classes. | Sanjay Jain, Timo Ktzing, Frank Stephan |
| 2012 | CiE | Automatic Functions, Linear Time and Learning. | John Case, Sanjay Jain, Samuel Seah, Frank Stephan |
| 2012 | LICS | The Complexity of Verbal Languages over Groups. | Sanjay Jain, Alexei Miasnikov, Frank Stephan |
| 2012 | WSC | Supply chain carbon footprint tradeoffs using simulation. | Sanjay Jain, Erik Lindskog, Bjrn Johansson |
| 2012 | STACS | Mind Change Speed-up for Learning Languages from Positive Data. | Sanjay Jain, Efim B. Kinber |
| 2012 | TAMC | On the Amount of Nonconstructivity in Learning Formal Languages from Positive Data. | Sanjay Jain, Frank Stephan, Thomas Zeugmann |
| 2011 | ALT | Robust Learning of Automatic Classes of Languages. | Sanjay Jain, Eric Martin, Frank Stephan |
| 2011 | ALT | Learning and Classifying. | Sanjay Jain, Eric Martin, 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 | WSC | Impact of hybrid and electric vehicles on automobile recycling infrastructure. | Deogratias Kibira, Sanjay Jain |
| 2011 | TAMC | Closed Left-R.E. Sets. | Sanjay Jain, Frank Stephan, Jason Teutsch |
| 2010 | ALT | Inductive Inference of Languages from Samplings. | Sanjay Jain, Efim B. Kinber |
| 2010 | LATA | Learnability of Automatic Classes. | Sanjay Jain, Qinglong Luo, Frank Stephan |
| 2010 | WSC | A knowledge sharing framework for homeland security modeling and simulation. | Sanjay Jain, Charles W. Hutchings, Y. Tina Lee, Charles R. McLean |
| 2010 | WSC | A framework for multi-resolution modeling of sustainable manufacturing. | Sanjay Jain, Deogratias Kibira |
| 2009 | ALT | Iterative Learning from Texts and Counterexamples Using Additional Information. | Sanjay Jain, Efim B. Kinber |
| 2009 | ALT | Uncountable Automatic Classes and Learning. | Sanjay Jain, Qinglong Luo, Pavel Semukhin, Frank Stephan |
| 2009 | ALT | Learning from Streams. | Sanjay Jain, Frank Stephan, Nan Ye |
| 2009 | CiE | Index Sets and Universal Numberings. | Sanjay Jain, Frank Stephan, Jason Teutsch |
| 2009 | COLT | Consistent Partial Identification. | Sanjay Jain, Frank Stephan |
| 2009 | LATA | Hypothesis Spaces for Learning. | Sanjay Jain |
| 2009 | WSC | Recommended Practices for Homeland Security Modeling and Simulation. | Sanjay Jain, Charles R. McLean |
| 2008 | ALT | Iterative Learning of Simple External Contextual Languages. | Leonor Becerra-Bonache, John Case, Sanjay Jain, Frank Stephan |
| 2008 | ALT | Numberings Optimal for Learning. | Sanjay Jain, Frank Stephan |
| 2008 | WSC | Tradeoffs in building a generic supply chain simulation capability. | Sanjay Jain |
| 2007 | ALT | One-Shot Learners Using Negative Counterexamples and Nearest Positive Examples. | Sanjay Jain, Efim B. Kinber |
| 2007 | ALT | Learning in Friedberg Numberings. | Sanjay Jain, Frank Stephan |
| 2007 | ALT | Prescribed Learning of R.E. Classes. | Sanjay Jain, Frank Stephan, Nan Ye |
| 2007 | CiE | Input-Dependence in Function-Learning. | Sanjay Jain, Eric Martin, Frank Stephan |
| 2007 | COLT | Learning Correction Grammars. | Lorenzo Carlucci, John Case, Sanjay Jain |
| 2007 | COLT | Mitotic Classes. | Sanjay Jain, Frank Stephan |
| 2007 | WSC | Distributed simulation for interoperability testing along the supply chain. | Sanjay Jain, Frank Riddick, Andreas Craens, Deogratias Kibira |
| 2006 | ALT | Learning and Extending Sublanguages. | Sanjay Jain, Efim B. Kinber |
| 2006 | ALT | Iterative Learning from Positive Data and Negative Counterexamples. | Sanjay Jain, Efim B. Kinber |
| 2006 | ALT | Towards a Better Understanding of Incremental Learning. | Sanjay Jain, Steffen Lange, Sandra Zilles |
| 2006 | COLT | Memory-Limited U-Shaped Learning. | Lorenzo Carlucci, John Case, Sanjay Jain, Frank Stephan |
| 2006 | COLT | On Learning Languages from Positive Data and a Limited Number of Short Counterexamples. | Sanjay Jain, Efim B. Kinber |
| 2006 | WSC | A concept prototype for integrated gaming and simulation for incident management. | Sanjay Jain, Charles R. McLean |
| 2006 | TAMC | Invertible Classes. | Sanjay Jain, Jochen Nessel, Frank Stephan |
| 2006 | TAMC | Some Recent Results in U-Shaped Learning. | Sanjay Jain, Frank Stephan |
| 2005 | ALT | Non U-Shaped Vacillatory and Team Learning. | Lorenzo Carlucci, John Case, Sanjay Jain, Frank Stephan |
| 2005 | ALT | Learning Multiple Languages in Groups. | Sanjay Jain, Efim B. Kinber |
| 2005 | ALT | Gold-Style and Query Learning Under Various Constraints on the Target Class. | Sanjay Jain, Steffen Lange, Sandra Zilles |
| 2005 | ALT | Absolute Versus Probabilistic Classification in a Logical Setting. | Sanjay Jain, Eric Martin, Frank Stephan |
| 2005 | ALT | Editors' Introduction. | Sanjay Jain, Hans Ulrich Simon, Etsuji Tomita |
| 2005 | COLT | Variations on U-Shaped Learning. | Lorenzo Carlucci, Sanjay Jain, Efim B. Kinber, Frank Stephan |
| 2005 | WSC | Stress testing a supply chain using simulation. | Sanjay Jain, Swee Leong |
| 2005 | WSC | Integrated simulation and gaming architecture for incident management training. | Sanjay Jain, Charles R. McLean |
| 2004 | ALT | Learning Languages from Positive Data and Negative Counterexamples. | Sanjay Jain, Efim B. Kinber |
| 2004 | WSC | Supply Chain Management Tradeoffs Analysis. | Sanjay Jain |
| 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 |
| 2003 | COLT | Learning All Subfunctions of a Function. | Sanjay Jain, Efim B. Kinber, Rolf Wiehagen |
| 2003 | WSC | Simulation for emergency response: a framework for modeling and simulation for emergency response. | Sanjay Jain, Charles R. McLean |
| 2002 | ALT | Classes with Easily Learnable Subclasses. | Sanjay Jain, Wolfram Menzel, Frank Stephan |
| 2002 | WSC | Supply chain opportunities: panel session: opportunities for simulation in supply chain management. | Jerry Banks, Sanjay Jain, Stephen J. Buckley, Peter Lendermann, Mani S. Manivannan |
| 2002 | WSC | Manufacturing supply chain applications: modeling computer assembly operations for supply chain integration. | Sanjay Jain, Ngai Fong Choong, William G. K. Lee |
| 2001 | ALT | Learning Recursive Functions Refutably. | Sanjay Jain, Efim B. Kinber, Rolf Wiehagen, Thomas Zeugmann |
| 2001 | ALT | Learning Languages in a Union. | Sanjay Jain, Yen Kaow Ng, Tiong Seng Tay |
| 2001 | ALT | Learning by Switching Type of Information. | Sanjay Jain, Frank Stephan |
| 2001 | ALT | Learning How to Separate. | Sanjay Jain, Frank Stephan |
| 2001 | COLT | Robust Learning - Rich and Poor. | John Case, Sanjay Jain, Frank Stephan, Rolf Wiehagen |
| 2001 | COLT | Intrinsic Complexity of Learning Geometrical Concepts from Positive Data. | Sanjay Jain, Efim B. Kinber |
| 2001 | IM | A Network Management Framework for Multi-Layered Network Survivability: An Overview. | Deepankar Medhi, Sanjay Jain, Deepa Shenoy Ramam, T. Srinivasa Rao, Mukunda Saddi, Fred Summa |
| 2001 | WSC | Analyzing the supply chain for a large logistics operation using simulation. | Sanjay Jain, Eric C. Ervin, Andrew P. Lathrop, Russell W. Workman, Lisa M. Collins |
| 2001 | WSC | Supply chain applications II: development of a high-level supply chain simulation model. | Sanjay Jain, Russell W. Workman, Lisa M. Collins, Eric C. Ervin, Andrew P. Lathrop |
| 2000 | COLT | Language Learning From Texts: Degrees of Instrinsic Complexity and Their Characterizations. | Sanjay Jain, Efim B. Kinber, Rolf Wiehagen |
| 2000 | PADS | Load balancing for conservative simulation on shared memory multiprocessor systems. | Boon-Ping Gan, Yoke-Hean Low, Sanjay Jain, Stephen John Turner, Wentong Cai, Wen-Jing Hsu, Shell-Ying Huang |
| 2000 | WSC | Manufacturing sypply chain management: distributed supply chain simulation across enterprise boundaries. | Boon-Ping Gan, Li Liu, Sanjay Jain, Stephen John Turner, Wentong Cai, Wen-Jing Hsu |
| 1999 | COLT | On a Generalized Notion of Mistake Bounds. | Sanjay Jain, Arun Sharma |
| 1999 | PADS | Performance Prediction Tools for Parallel Discrete-Event Simulation. | Chu-Cheow Lim, Yoke-Hean Low, Boon-Ping Gan, Sanjay Jain, Wentong Cai, Wen-Jing Hsu, Shell-Ying Huang |
| 1999 | WSC | Simulation in the next millennium. | Sanjay Jain |
| 1999 | WSC | Criticality of detailed modeling in semiconductor supply chain simulation. | Sanjay Jain, Chu-Cheow Lim, Boon-Ping Gan, Yoke-Hean Low |
| 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 with Refutation. | Sanjay Jain |
| 1998 | COLT | Robust Learning Aided by Context. | John Case, Sanjay Jain, Matthias Ott, Arun Sharma, Frank Stephan |
| 1998 | COLT | On the Power of Learning Robustly. | Sanjay Jain, Carl H. Smith, Rolf Wiehagen |
| 1998 | WSC | Implementations of Dispatch Rules in Parallel Manufacturing Simulation. | Chu-Cheow Lim, Yoke-Hean Low, Boon-Ping Gan, Sanjay Jain |
| 1997 | ALT | Synthesizing Noise-Tolerant Language Learners. | John Case, Sanjay Jain, Arun Sharma |
| 1997 | ALT | Learning of R.E. Languages from Good Examples. | Sanjay Jain, Steffen Lange, Jochen Nessel |
| 1997 | WSC | Experiences with Backward Simulation Based Approach for Lot Release Planning. | Sanjay Jain, Stephen Chan |
| 1996 | ALT | Vacillatory and BC Learning on Noisy Data. | John Case, Sanjay Jain, Frank Stephan |
| 1996 | ALT | On Learning and Co-learning of Minimal Programs. | Sanjay Jain, Efim B. Kinber, Rolf Wiehagen |
| 1996 | COLT | Synthesizing Enumeration Techniques for Language Learning. | Ganesh R. Baliga, John Case, Sanjay Jain |
| 1996 | COLT | Elementary Formal Systems, Intrinsic Complexity, and Procrastination. | Sanjay Jain, Arun Sharma |
| 1996 | PRICAI | Team Learning of Recursive Languages. | Sanjay Jain, Arun Sharma |
| 1995 | ALT | Machine Induction Without Revolutionary Paradigm Shifts. | John Case, Sanjay Jain, Arun Sharma |
| 1994 | ALT | Program Synthesis in the Presence of Infinite Number of Inaccuracies. | Sanjay Jain |
| 1994 | ALT | On Monotonic Strategies for Learning r.e. Languages. | Sanjay Jain, Arun Sharma |
| 1994 | COLT | On the Intrinsic Complexity of Language Identification. | Sanjay Jain, Arun Sharma |
| 1993 | ALT | On Aggregating Teams of Learning Machines. | Sanjay Jain, Arun Sharma |
| 1993 | COLT | Probability is More Powerful Than Team for Language Identification from Positive Data. | Sanjay Jain, Arun Sharma |
| 1993 | STACS | Language Learning With Some Negative Information. | Ganesh R. Baliga, John Case, Sanjay Jain |
| 1992 | ALT | Prudence in Vacillatory Language Identification (Extended Abstract). | Sanjay Jain, Arun Sharma |
| 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 |
| 1992 | LFCS | Banishing Robust Turing Completeness. | Lane A. Hemachandra, Sanjay Jain, Nikolai K. Vereshchagin |
| 1990 | ALT | Anomalous Learning Helps Succinctness (Extended Abstract). | John Case, Sanjay Jain, Arun Sharma |
| 1990 | ALT | Approximate Inference and Scientific Method. | Mark A. Fulk, Sanjay Jain |
| 1990 | COLT | Finite Learning by a "Team". | Sanjay Jain, Arun Sharma |
| 1990 | ICALP | Language Learning by a "Team" (Extended Abstract). | Sanjay Jain, Arun Sharma |
| 1990 | TARK | Hypothesis Formation and Language Acquisition with an Infinitely-Often Correct Teacher. | Sanjay Jain, Arun Sharma |
| 1989 | COLT | Learning in the Presence of Inaccurate Information. | Mark A. Fulk, Sanjay Jain |
| 1989 | COLT | Convergence to Nearly Minimal Size Grammars by Vacillating Learning Machines. | Sanjay Jain, Arun Sharma, John Case |
| 1989 | WSC | Expert simulation for on-line scheduling. | Sanjay Jain, Karon Barber, David Osterfeld |
| 1987 | ICPP | Crowd Control: Coordinating Processes in Parallel. | Thomas J. LeBlanc, Sanjay Jain |