Presents sound abstract interpretation plus controlled unsoundness techniques to produce tighter, efficient, terminating approximations of fixed points for non-monotone processes.
2000.Approximations, Stable Operators, Well-Founded Fixpoints and Applications in Nonmonotonic Reasoning
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
method 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
method 1polarities
use method 1representative citing papers
RMF calculations identify a shell/sub-shell closure at N=154 in Es isotopes using the NL-SH parameter set, along with estimates of alpha, beta, and cluster decay half-lives.
citing papers explorer
-
Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
Presents sound abstract interpretation plus controlled unsoundness techniques to produce tighter, efficient, terminating approximations of fixed points for non-monotone processes.
-
The Ground State Aspects and the Impact of Shell Structures on the Stability of Es-Isotopes
RMF calculations identify a shell/sub-shell closure at N=154 in Es isotopes using the NL-SH parameter set, along with estimates of alpha, beta, and cluster decay half-lives.