Publications

J. Frank, P. Morris, J. Greene and T. Hall. "The Challenge of Evolving Mission Operations Tools for Manned Spaceflight." Proceedings of the 9th International Symposium on Artificial Intelligence, Robotics, Automation in Space (to appear)

J. Frank, P. Morris "Bounding the Resource Availability of Activities with Linear Resource Impact." Proceedings of the 17th International Conference on Automated Planning and Scheduling, 2007

J. Frank and P. Jarvis and A. Farhang Mehr and P. Wysocki. "Challenges in Integration of Simulation and Automated Planning and Scheduling." To Appear in the Fall Simulation Interoperability Workshop, 2006.

J. Frank and A. Jonsson. "Approximations Algorithms and Heuristics for Planning Problems." Book chapter, to appear in Handbook on Approximation Algorithms and Metaheuristics

J. Frank. "SOFIA's Challenge: Automated Scheduling of Airborne Astronomy Observations." Proceedings of the 2d Conference on Space Mission Challenges for Information Technology, 2006 . Poster to appear in the 5th International Workshop on Planning and Scheduling for Space, 2006.

J. Frank, J. Crawford, L. Khatib and R. Brafman. "Tractable Optimal Competitive Scheduling." Proceedings of the 16th International Conference on Automated Planning and Scheduling, 2006 (Note: this version differs from that published in the proceedings; some minor errors have been corrected.)

G. Brat, E. Denney, J. Frank, D. Giannakopoulou, A. Jonsson. "Verification and Validation of Autonomous Systems for Space Applications." IEEE Aerospace Conference, 2006

G. Brat, E. Denney, K. Farrell, D. Giannakopoulou, A. Jonsson J. Frank, M. Boddy, T. Carpenter, T. Estlin, M. Pivtoraiko. "A Robust Compositional Architecture for Autonomous Systems." IEEE Aerospace Conference, 2006

R. Dearden, J. Frank. "Scheduling Under Uncertain Resource Consumption and Utility." The 24th Annual Workshop of the UK Planning and Scheduling Special Interest Group, 2005

J. Frank. "Planning and Scheduling for Environmental Sensors." (Oral Presentation) American Geophysical Union Fall Meeting, Emerging Technologies for Environmental Sensors (Session IN14-05) 2005

S. Shoenung and S. S. Wegener and J. Frank and C. Frost and M. Freed and J. Totah. "Intelligent UAV Airborne Science Missions." Infotech@Aerospace, Proceedings of the American Institute for Aeronautics and Astronautics, 2005

David Joslin, J. Frank and A. Jonsson and David Smith. "Simulation Based Planning for Planetary Rover Experiments." 2005 Winter Simulation Conference

P. Daley and J. Frank and M. Iatauro and C. McGann and W. Taylor. "PlanWorks: A Debugging Environment for Constraint-Based Planning Systems." Entry in the 1st International Knowledge Engineering Competition, 2005.

J. Frank and E. Kurklu "High and Dry: Trading Water Vapor, Fuel and Observing Time for Airborne Infrared Astronomy" Proceedings of the 25th International Geoscience and Remote Sensing Symposium, 2005. (Note: this version differs from that published in the proceedings; some minor errors have been corrected.)

J. Frank and E. Kurklu "Mixed Discrete and Continuous Algorithms for Scheduling Airborne Astronomy Observations" Proceedings of the 2d International Conference on Constraint Programming, Artificial Intelligence and Operations Research, 2005.

D. Sullivan and S. S. Wegener and F. Enomoto and C. Frost and J. Kaneshige and J. Frank. "Intelligent Mission Management for Uninhabited Air Vehicles." Proceedings of the 4th SPIE Symposium on Remote Sensing of the Atmosphere, Ocean, Environment and Space, 2004.

S. S. Wegener and S. M. Shoenung and J. Totah and D. Sullivan and J. Frank and F. Enomoto and C. Frost and C. Theodore. "UAV Autonomous Operations for Airborne Science Missions." Proceedings of the American Institute for Aeronautics and Astronautics 3rd "Unmanned...Unlimited" Technical Conference, Workshop, and Exhibit, 2004

A. Bachmann and T. Bedrax-Weiss and J. Frank and C. McGann and M. Iatauro and W. Taylor. "PLASMA: A Constraint-Based Planning Architecture (Demonstration)" Proceedings of the 10th International Conference on the Principles and Practice of Constraint Programming,2004

J. Frank "Bounding the Resource Availability of Partially Ordered Events with Constant Resource Impact" Proceedings of the 10th International Conference on the Principles and Practice of Constraint Programming, 2004 (Note: this version differs from that published in the proceedings; some minor errors have been corrected.)

J. Frank and M. A. K. Gross and E. Kurklu. "SOFIA's Choice: An AI Approach to Scheduling Airborne Astronomy Observations" Proceedings of the 16th Conference on Innovative Applications of Artificial Intelligence, 2004

J. Frank and E. Kurklu. "SOFIA's Choice: Scheduling Observations for an Airborne Observatory" Proceedings of the 13th International Conference on Artificial Intelligence Planning and Scheduling, 2003

J. Frank and A. Jonsson. "Constraint-Based Attribute and Interval Planning." Journal of Constraints Special Issue on Constraints and Planning, vol. 8 no 4, 2003.

J. Dowding and J. Frank and B. A. Hockey and A. Jonsson and G. Aist and J. Hieronymous. "A Spoken Language Interface to the EUROPA Planner." Proceedings of the 3d International NASA Workshop on Planning and Scheduling for Space, 2002

J. Dowding and J. Frank and B. A. Hockey and A. Jonsson and G. Aist. "Demonstration of a A Spoken Language Interface for Planning Activities of a Semi-Autonomous Robot. (Demonstration)." Proceedings of the Conference on Human Language Technology, 2002

K. Golden and J. Frank. "Universal Quantification in a Constraint-Based Planner." Proceedings of the 6th International Conference on Artificial Intelligence Planning and Scheduling, 2002.

J. Dowding and J. Frank and B. A. Hockey and A. Jonsson and G. Aist "Demonstration of a Spoken Dialog Interface for Planning Activities of a Semi-Autonomous Robot. (Demo)" Conference on Human Language Technology, 2002

J. Frank, A. Jonsson, R. Morris and D. Smith. Planning and Scheduling for Fleets of Earth Observing Satellites. Proceedings of the 6th International Symposium on Artificial Intelligence, Robotics, Automation and Space, 2001 .

A. Jonsson, J. Frank. A Framework for Dynamic Constraint Reasoning Using Procedural Constraints. European Artificial Intelligence Conference, 2000 .

J. Frank, A Jonsson, P. Morris . On Reformulating Planning As Dynamic Constraint Satisfaction (Extended Abstract) Symposium on Abstraction, Reformulation and Approximation, 2000. Papers in this volume are published by Springer Verlag in its Lecture Notes in Artificial Intelligence series.

J Frank. "SOFIA's Choice: Automating the Scheduling of Airborne Observations" Proceedings of the 2d NASA Workshop on Planning and Scheduling for Space, March 2000.

D. Smith, J. Frank and A. Jonsson. "Bridging the Gap Between Planning and Scheduling." Knowledge Engineering Review, v. 15, no 1, 2000. (This link will get you the final proofs which were returned to the publisher.)

A. Jonsson, J. Frank. A Framework for Dynamic Constraint Reasoning Using Procedural Constraints. Workshop on Constraints in Control, held in conjunction with the 5th International Conference on Principles and Practices of Constraint Programming, 1999 .

J Frank. "The CP99 Workshop on Constraint Problem Reformulation." AI Magazine, vol 20, no 4, 1999.

C. Plaunt, A. Jonsson, J. Frank. Satellite Tele-Communications Scheduling as Dynamic Constraint Satisfaction. Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space, Noordwijk, NE, 1999.

C. Plaunt, A. Jonsson, J. Frank. Run-Time Satellite Tele-Communications Call Handling as Dynamic Constraint Satisfaction. Proceedings of the IEEE Aerospace Conference, 1999.

D. Wolpert, K. Tumer, J. Frank. Using Collective Intelligence to Route Internet Traffic. Proceedings of the 11th Conference on Neural Information Processing Systems, 1998.

D. Banerjee, J. Frank and B. Mukherjee. Passive Optical Network Architecture Based on Waveguide Grating Routers. In IEEE Journal on Selected Areas in Communications, Sept. 1998, vol.16, (no.7):1040-50.

J. Frank, I. Gent, T. Walsh. Asymptotic and Finite Size Parameters for Phase Transitions: Hamiltonian Circuit as a Case Study. Information Processing Letters. v. 65, issue 5, 1998.

M. Bishop, S. Cheung, C. Wee, J. Frank, J. Hoagland, S. Samorodin. "The Threat from the Net." IEEE Spectrum, Aug. 1997. Note that the last three authors, including myself, are in the Acknowledgements due to lack of space in the byline section.

J. Frank, P. Cheeseman, J. Stutz. When Gravity Fails: Local Search Topology. Journal of AI Research, v. 7, 1997.

J. Frank. Learning Short Term Weights for GSAT. IJCAI 1997. As per the IJCAI copyright requirements, here is a link to the IJCAI Electronic Publication Site.

Stuart Staniford-Chen, R. Crawford, M. Dilger, J. Frank, J. Hoagland, K. Levitt, D. Zerkle. GrIDS: A Graph-Based Intrusion Detection System for Large Networks. 19th National Information Systems Security Conference, 1996.

D. Banerjee, J. Frank. Constraint Satisfaction in Optical Routing for Passive Wavelength-Routed Networks. 2d International Conference on Principles and Practices of Constraint Programming, 1996.

D. Clark, J. Frank, I. Gent, E. MacIntyre, N Tomov, T. Walsh. Local Search and the Number of Solutions. 2d International Conference on Principles and Practices of Constraint Programming, 1996.

J. Frank. Weighting for Godot: Learning Heuristics for GSAT. AAAI 1996. As per the AAAI copyright requirements, here is a link to the AAAI Electronic Publication Site.

J. Frank, C. Martel. Phase Transitions in Random Graphs. Studying and Solving Really Hard Problems Workshop, in association with 1st International Conference on Principles and Practice of Constraint Programming, Cassis, 1995.

J. Frank. Machine Learning and Intrusion Detection: Current and Future Directions. Outstanding Paper Award Winner, Proceedings of the National 17th Computer Security Conference, 1994.