Jamie Stark

According to our database, Jamie Stark authored at least 8 papers between 1998 and 2024.

Collaborative distances:

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

2024

Understanding activity and physiology at scale: The Apple Heart & Movement Study.

James Truslow, Angela Spillane, Huiming Lin, Katherine Cyr, Adeeti Ullal, Edith Arnold, Ron Huang, Laura Rhodes, Jennifer Block, Jamie Stark, James Kretlow, Alexis L. Beatty, Andreas Werdich, Deepali Bankar, Matt Bianchi, Ian Shapiro, Jaime Villalpando, Sharon Ravindran, Irida Mance, Adam Phillips, John Earl, Rahul C. Deo, Sumbul A. Desai, Calum A. Macrae

npj Digit. Medicine, 2024

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