Jamie Stark

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 1

Top Topics

Credit Risk Evaluation

Top Venues

NAACL-HLT (Industry Papers)

Heriot-Watt University, Edinburgh, UK (PHD)

Education History

Heriot-Watt University, Edinburgh, UK

PHD

Publications

Noujoud Ahbali, Xinyuan Liu, Albert Nanda, Jamie Stark, Ashit Talukder, Rupinder Paul Khandpur
Identifying Corporate Credit Risk Sentiments from Financial News. NAACL-HLT (Industry Papers) (2022)
Andrew Ireland, Jamie Stark
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis. Autom. Softw. Eng. 13 (1) (2006)
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
Agent Oriented Analysis Using Message/UML. AOSE (2001)
Andrew Ireland, Jamie Stark
Proof planning for strategy development. Ann. Math. Artif. Intell. 29 (1-4) (2000)
Jamie Stark, Andrew Ireland
Towards Automatic Imperative Program Synthesis Through Proof Planning. ASE (1999)
Jamie Stark, Andrew Ireland
Invariant Discovery via Failed Proof Attempts. LOPSTR (1998)