Oliver Scharf

According to our database, Oliver Scharf authored at least 7 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams.

Carna Zivkovic, Christoph Grimm, Markus Olbrich, Oliver Scharf, Erich Barke

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

2017

Approach to develop innovative services through service networks by using ubiquitous infrastructures.

Tobias Teich, Martin Trommer, Phillipp Borner, Tobias Hartel, Sebastian Junghans, Sven Leonhardt, Oliver Scharf, Pierre Werner

Proceedings of the 2017 IEEE SmartWorld, 2017

Development of network node stations for intelligent local energy distribution.

Matthias Hoffmann, Tobias Hartel, Christian Blumhagen, Oliver Scharf, Sven Leonhardt, Sebastian Theil, Hans-Christian Haselbarth, Philipp Werler

Proceedings of the 2017 IEEE SmartWorld, 2017

2015

Split and merge strategies for solving uncertain equations using affine arithmetic.

Oliver Scharf, Markus Olbrich, Erich Barke

Proceedings of the 8th International Conference on Simulation Tools and Techniques, 2015

2014

KNX-Based Sensor Monitoring for User Activity Detection in AAL-environments.

Marcus Märker, Sebastian Wolf, Oliver Scharf, Daniel Plorin, Tobias Teich

Proceedings of the Ambient Assisted Living and Daily Activities, 2014

2006

Hyperfine structure parametrisation in Maple.

Gediminas Gaigalas, Oliver Scharf, Stephan Fritzsche

Comput. Phys. Commun., 2006

2005

Maple procedures for the coupling of angular momenta. VIII. Spin-angular coefficients for single-shell configurations.

Gediminas Gaigalas, Oliver Scharf, Stephan Fritzsche

Comput. Phys. Commun., 2005