| 2016 | ICTAI | Expressing User Intent in Planning by Instance Rewriting. | Amol Dattatraya Mali |
| 2016 | ICTAI | An Approach to Planning Multi-Phase Projects. | Amol Dattatraya Mali |
| 2016 | ICTAI | Modifying Keyboard Layout to Reduce Finger-Travel Distance. | Nan Yang, Amol Dattatraya Mali |
| 2013 | ICTAI | Motion-Driven Action-Based Planning. | Brandon Ellenberger, Amol Dattatraya Mali |
| 2013 | ICTAI | Fully-Automated Instance Decomposition and Subplan Synthesis for Parallel Execution. | Amol Dattatraya Mali, Ravi Puthiyattil |
| 2004 | ECAI | Variants of A* for Planning. | Minh Tang, Amol Dattatraya Mali |
| 2003 | ICTAI | MFSAT: A SAT Solver Using Multi-Flip Local Search. | Amol Dattatraya Mali, Yevgeny Lipen |
| 2003 | ICTAI | S-MEP: A Planner for Numeric Goals. | Javier Snchez, Amol Dattatraya Mali |
| 2003 | ICTAI | Search Control Techniques for Planning. | Minh Tang, Amol Dattatraya Mali |
| 2002 | ICTAI | Distributed Graphplan. | Mark A. Iwen, Amol Dattatraya Mali |
| 2002 | ICTAI | DSatz: A Directional SAT Solver for Planning. | Mark A. Iwen, Amol Dattatraya Mali |
| 2002 | ICTAI | On Temporal Planning as CSP. | Amol Dattatraya Mali |
| 2001 | ICRA | A Distributed Ladder Transportation Algorithm for Two Robots in a Corridor. | Yuichi Asahiro, Eric Chung-Hui Chang, Amol Dattatraya Mali, Ichiro Suzuki, Masafumi Yamashita |
| 1999 | AAAI | Externalizing Internal State. | Amol Dattatraya Mali |
| 1999 | AAAI | Hybrid Propositional Encodings of Planning. | Amol Dattatraya Mali |
| 1999 | AAAI | On the utility of Plan-space (Causal) Encodings. | Amol Dattatraya Mali, Subbarao Kambhampati |
| 1999 | ICRA | Marker-Augmented Robot-Environment Interaction. | Amol Dattatraya Mali |
| 1998 | AAAI | Hybrid Planning for Partially Hierarchical Domains. | Subbarao Kambhampati, Amol Dattatraya Mali, Biplav Srivastava |
| 1998 | AAAI | Refinement-Based Planning as Satisfiability. | Amol Dattatraya Mali |
| 1998 | ICRA | Tradeoffs in Making the Behavior-Based Robotic Systems Goal-Directed. | Amol Dattatraya Mali |
| 1998 | ICRA | Metrics for Evaluation of Behavior-Based Robotic Systems. | Amol Dattatraya Mali, Amitabha Mukerjee |
| 1997 | AAAI | Constraint-based specification of reactive multi-agent systems. | Amol Dattatraya Mali |
| 1997 | AAAI | Modularity Assumptions in Situated Agency. | Amol Dattatraya Mali, Amitabha Mukerjee |
| 1996 | AAAI | Social Laws For Agent Modeling. | Amol Dattatraya Mali |
| 1994 | AAAI | Robot Behavior Conflicts: Can Intelligence Be Modularized? | Amol Dattatraya Mali, Amitabha Mukerjee |