Sprinkle, J., van Buskirk, C., & Karsai, G. (2000). Modeling Agent Negotiation. In IEEE International Conference on Systems, Man, and Cybernetics, Proceedings. Nashville, TN. (Original work published 2025)

Sprinkle, J., van Buskirk, C., & Karsai, G. (2001). Analysis and Representation of Clauses in Satisfiability of Constraints. ISIS-01-205. Institute for Software Integrated Systems. (Original work published 2025)

van Buskirk, C., Dawant, B., Karsai, G., Sprinkle, J., Szokoli, G., Suwanmongkol, K., & Currer, R. (2002). Computer-aided Aircraft Maintenance Scheduling. ISIS-02-303. Institute for Software Integrated Systems. (Original work published 2025)

Kandasamy, N., Hanak, D., van Buskirk, C., Neema, H., & Karsai, G. (2004). Synthesis of Robust Task Schedules for Minimum Disruption Repair. In IEEE International Conference on Systems, Man and Cybernetics (Vol. 6, pp. 5056–5061). (Original work published October 2004)

Balasubramanian, D., Narayanan, A., van Buskirk, C., & Karsai, G. (2006). The Graph Rewriting and Transformation Language: GReAT. Electronic Communications of the EASST, 1.

Maheswaran, R. T., Szekely, P., Becker, M., Fitzpatrick, S., Gati, G., Jin, J., … van Buskirk, C. (2008). Predictability & criticality metrics for coordination in complex environments. Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems.