arXiv:1105.5451 2011-05-01 · Computer Science
The Automatic Inference of State Invariants in TIM
Citations
273
Cites / year
18
In-corpus degree
11
PageRank
0.000579
Topic tags
AI-based Problem Solving and PlanningArtificial IntelligenceComputer SciencePhysical SciencesModel-Driven Software Engineering TechniquesSoftware
Keywords
DebuggingDomain (mathematical analysis)Computer scienceInferencePlanner
Corpus metrics
Ranked #51 by PageRank in the 479k-paper OpenAlex CS corpus. Katz centrality score: 0.001170.
This page is part of the researchPapers corpus dataset. Citation count sourced from OpenAlex; in-corpus degree is the number of citation edges within the CS subset.