32 citations · 36 across the 3 of their papers we have counts for
3 papers
cs.LO2022★ 1 cited
FindFacts: A Scalable Theorem Search
Fabian Huch, Alexander Krauss
The Isabelle Archive of Formal Proofs (AFP) has grown to over 500 articles in late 2019. Meanwhile, finding formalizations in it has not exactly become easier. At the time of writi…
q-bio.PE2021★ 3 cited
Master Stability Functions for metacommunities with two types of habitats
Alexander Krauß, Thilo Gross, Barbara Drossel
Current questions in ecology revolve around instabilities in the dynamics on spatial networks and particularly the effect of node heterogeneity. We extend the Master Stability Func…
cs.LO2010★ 32 cited
Recursive Definitions of Monadic Functions
Alexander Krauss
Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple opti…