Skip to content

Author

Aleksander Kubanski

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#software testing Open access Sep 2026

Bistable-Cert: Certified Selective Writing in Diffusively Coupled Bistable Graph Networks

The software certifies storage of prescribed binary patterns (Theorem A) and branch-safe switching of a selected node by a constant pulse (Theorem B) in networks of diffusively coupled bistable cells. Certificate decisions are based on explicit sufficient conditions and do not require numerical integration of the diffe...

Aleksander Kubanski · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.