Jamie Stark

According to our database, Jamie Stark authored at least 7 papers between 1998 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Identifying Corporate Credit Risk Sentiments from Financial News.

Noujoud Ahbali, Xinyuan Liu, Albert Nanda, Jamie Stark, Ashit Talukder, Rupinder Paul Khandpur

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: Industry Track, 2022

2006

Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis.

Andrew Ireland, Jamie Stark

Autom. Softw. Eng., 2006

2001

Agent Oriented Analysis Using Message/UML.

Giovanni Caire, Wim Coulier, Francisco J. Garijo, Jorge J. Gómez-Sanz, Juan Pavón, Francisco Leal, Paulo Chainho, Paul E. Kearney, Jamie Stark, Richard Evans, Philippe Massonet

Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

2000

Proof planning for imperative program development.

Jamie Stark

PhD thesis, 2000

Proof planning for strategy development.

Andrew Ireland, Jamie Stark

Ann. Math. Artif. Intell., 2000

1999

Towards Automatic Imperative Program Synthesis Through Proof Planning.

Jamie Stark, Andrew Ireland

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

1998

Invariant Discovery via Failed Proof Attempts.

Jamie Stark, Andrew Ireland

Proceedings of the Logic Programming Synthesis and Transformation, 1998