output
20022009
most citedGraphene Antidot Lattices - Designed Defects and Spin Qubits

541 citations

researchers with a paper here
collaborating institutions
Showing cs.DSShow all

1 paper · 1 filter

cs.DS2009

Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains

Morten Kühnrich, Stefan Schwoon, Jiří Srba +1

We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes after…