Not finding it? Sign in to also search OpenAlex live.
-
Towards an Isabelle Theory for distributed, interactive systems : the untimed case2020 RWTH Publications (RWTH Aachen) report Computer Science Formal Methods in Verification Open access
Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe⋆, Sebastian Stüber, +1 more
3citations -
A Systematic Review of Graph-Theoretic Approaches to: Lightweight Block Cipher Design: Methods, Architectures, and Future Research Directions0citations
-
Hypergraphs and simplicial complexes in focus: a roadmap for future research in higher-order interactions2026 Journal of Physics Complexity article Computer Science Topological and Geometric Data Analysis Open access
Aida Abiad, Alex Arenas, Agnes Backhausz, József Balogh, Christopher R. S. Banerji, Sergio Barbarossa, +28 more
2citations