1 citations · 1 across the 2 of their papers we have counts for
4 papers
Beyond Lemma Sharing -- Novel Parallelization Strategies for Property Directed Reachability
Verner Vlačić
Property Directed Reachability (PDR) is a commonly used technique for automated hardware model checking, yet efficiently parallelizing it remains a significant challenge. Existing…
Nonlinear spectral clustering with C++ GraphBLAS
Dimosthenis Pasadakis, Olaf Schenk, Verner Vlacic +1
Nonlinear reformulations of the spectral clustering method have gained a lot of recent attention due to their increased numerical benefits and their solid mathematical background.…
Beurling-type density criteria for system identification
V. Vlačić, C. Aubel, H. Bölcskei
This paper addresses the problem of identifying a linear time-varying (LTV) system characterized by a (possibly infinite) discrete set of delay-Doppler shifts without a lattice (or…
Neural network identifiability for a family of sigmoidal nonlinearities
Verner Vlačić, Helmut Bölcskei
This paper addresses the following question of neural network identifiability: Does the input-output map realized by a feed-forward neural network with respect to a given nonlinear…