Oliver Scharf

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 3

Top Topics

Polynomial Equations

User Activities

Ubiquitous Environments

Service Requirements

Top Venues

SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Carna Zivkovic, Christoph Grimm, Markus Olbrich, Oliver Scharf, Erich Barke
Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (10) (2019)
Matthias Hoffmann, Tobias Hartel, Christian Blumhagen, Oliver Scharf, Sven Leonhardt, Sebastian Theil, Hans-Christian Haselbarth, Philipp Werler
Development of network node stations for intelligent local energy distribution. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)
Tobias Teich, Martin Trommer, Phillipp Borner, Tobias Hartel, Sebastian Junghans, Sven Leonhardt, Oliver Scharf, Pierre Werner
Approach to develop innovative services through service networks by using ubiquitous infrastructures. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)
Oliver Scharf, Markus Olbrich, Erich Barke
Split and merge strategies for solving uncertain equations using affine arithmetic. SimuTools (2015)
Marcus Märker, Sebastian Wolf, Oliver Scharf, Daniel Plorin, Tobias Teich
KNX-Based Sensor Monitoring for User Activity Detection in AAL-environments. IWAAL (2014)
Gediminas Gaigalas, Oliver Scharf, Stephan Fritzsche
Hyperfine structure parametrisation in Maple. Comput. Phys. Commun. 174 (3) (2006)
Gediminas Gaigalas, Oliver Scharf, Stephan Fritzsche
Maple procedures for the coupling of angular momenta. VIII. Spin-angular coefficients for single-shell configurations. Comput. Phys. Commun. 166 (2) (2005)