Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Jamie Stark
Observed name:
J.A. Stark
Institution:
Apple (United States)
Observed institutions:
Leidos (United States),
BT Research,
Heriot-Watt University,
Apple (United States),
Science Applications International Corporation (United States)
OpenAlex ID:
A5113376369
Agent Oriented Analysis Using Message/UML
2002
·
Giovanni Caire
, Wim Coulier
, et al.
·
Lecture notes in computer science
·
260
Invariant Discovery via Failed Proof Attempts
1999
·
Jamie Stark
, Andrew Ireland
·
Lecture notes in computer science
·
40
Agent Oriented Analysis using MESSAGE/UML
2001
·
Giovanni Caire
, Wim Coulier
, et al.
·
25
Understanding activity and physiology at scale: The Apple Heart & Movement Study
2024
·
James Truslow
, Angela Spillane
, et al.
·
npj Digital Medicine
·
20
PDF
Proof planning for strategy development
2000
·
Andrew Ireland
, Jamie Stark
·
Annals of Mathematics and Artificial Intelligence
·
17
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
2005
·
Andrew Ireland
, Jamie Stark
·
Automated Software Engineering
·
11
Trends in software process: the psp and agile methods
2003
·
J.A. Stark
, R. Crocker
·
IEEE Software
·
10
Proof planning for imperative program development
2000
·
Jamie Stark
·
OpenGrey (Institut de l'Information Scientifique et Technique)
·
2
Show more works
View as search
Works count:
9
Citation count:
385
H-index:
7
I10-index:
7
Year
Topic
Type
