Rainer Feldmann

A Distributed Algorithm to Evaluate Quantified Boolean Formulae

Rainer Feldmann, Burkhard Monien, Stefan Schamberger · 2000 · 78 citations

Engineering, Boolean Function, Verification +18

THE CUBE-CONNECTED CYCLES NETWORK IS A SUBGRAPH OF THE BUTTERFLY NETWORK

Rainer Feldmann, Walter Unger · Parallel Processing Letters · 1992 · 48 citations

Engineering, Network Analysis, Education +16

Optimal algorithms for dissemination of information in generalized communication modes

Rainer Feldmann, Juraj Hromkovič, S. Madhavapeddy et al. · Discrete Applied Mathematics · 1994 · 19 citations

Network Science, Engineering, Data Communication +7

Design and implementation of a hybrid energy supply system for railway vehicles

R. Li, Andreas Pottharst, N. Frohieke et al. · Twentieth Annual IEEE Applied Power Electronics Conference and Exposition, 2005. APEC 2005. · 2005 · 13 citations

Electrical Engineering, Latter Optimization Techniques, Engineering +14

SAT-Based Techniques in System Synthesis

Christian Haubelt, Jürgen Teich, Rainer Feldmann et al. · Design, Automation, and Test in Europe · 2003 · 13 citations

Engineering, Verification, Computer-aided Verification +18