R. Wilhelm

Publication List Details

Period

1928 - 2009

Number

119

Co-Authors

Tag des Kolloquiums: 22.10.1999 (2009)

Florian Martin, Dekan Prof, Dr. W. J. Paul, Gutachter Prof, Dr. R. Wilhelm, ...

In this work the automatic generation of program analyzers from concise specifications is presented. It focuses on provably correct and complex interprocedural analyses for real world sized...

Formula (2008)

Reinhold Heckmann, Reinhard Wilhelm, R. Heckmann, R. Wilhelm, Reinhold Heckmann, Reinhard Wilhelm

July3,1995 Both the quality of the results of TEX's formula layout algorithm and the complexity of its description in the TEXbook [1] are hard to beat. The algorithm is (verbally) described as...

The Milky Way's Circular Velocity Curve to 60 kpc and an Estimate of the Dark Matter Halo Mass from Kinematics of ~2400 SDSS Blue Horizontal Branch Stars (2008)

Zhao, G., Fiorentin, P. Re, Naab, T., Steinmetz, M., ...

We derive new constraints on the mass of the Milky Way's dark matter halo, based on a set of halo stars from SDSS as kinematic tracers. Our sample comprises 2401 rigorously selected Blue...

The Milky Way's circular velocity curve to 60 kpc and an estimate of the dark matter halo mass from the kinematics of ~2400 SDSS blue horizontal-branch stars (2008)

Xue, X. X., Rix, H. W., Zhao, G., Re Fiorentin, P., Naab, T., Steinmetz, M., ...

We derive new constraints on the mass of the Milky Way's dark matter halo, based on 2401 rigorously selected blue horizontal-branch halo stars from SDSS DR6. This sample enables construction of the...

A new measurement of direct CP violation in two pion decays of the neutral kaon (2007)

Na Collaboration Fanti, V. Fanti, A. Lai, D. Marras, L. Musa, M. D. Needham, ...

The NA48 experiment at CERN has performed a new measurement of direct CP violation, based on data taken in 1997 00 qy Z X . by simultaneously collecting K and K decays into pp and pp. The result for...

Precision Measurement of the (2007)

Mass And The, Physical Journal C, V. Fanti, A. Lai, D. Marras, L. Musa, ...

. A new precision measurement of the # 0 mass has been performed at the NA48 experiment at the CERN SPS. The value obtained is [1314.820.06 (stat.) 0.2 (syst.)] MeV/c 2 . The branching ratios of # 0...

Science, 88:325--349, 1991. [SWBA90] H. Seidl, R. Wilhelm, and Y. Ben-Asher. Probabilistic load balancing for parallel graph reduction. In (2007)

Proc Int, Swb H. Seidl, Swba H. Seidl, R. Wilhelm, Tw W. Thome, Wamr Reinhard Wilhelm, ...

valuations: A novel representation of plotkin power domain and vietoris. In MFPS '97, volume 6 of Electronic Notes in Theoretical Computer Science, 1997. URL:...

THE EUROPEAN PHYSICAL JOURNAL C (2007)

V. Fanti, A. Lai, L. Musa, M. G. Setzu, G. Barr, G. Bocquet, ...

c ○ Springer-Verlag 1999 A measurement of the transverse polarization of Λ-hyperons

Carnegie Observatories Astrophysics Series, Vol. 4: (2007)

Origin And Evolution, C. Allende Prieto, T. C. Beers, Y. Li, H. J. Newberg, R. Wilhelm, ...

The Sloan Digital Sky Survey (SDSS) is collecting photometry and intermediate resolution spectra for 10 stars in the thick-disk and stellar halo of the Milky Way. This massive dataset can be used to...

The SEGUE Stellar Parameter Pipeline. I. Description and Initial Validation Tests (2007)

Lee, Y. S., Beers, T. C., Sivarani, T., Prieto, C. Allende, Koesterke, L., Wilhelm, R., ...

We describe the development and implementation of the SEGUE (Sloan Extension for Galactic Exploration and Understanding) Stellar Parameter Pipeline (SSPP). The SSPP derives, using multiple...

The SEGUE Stellar Parameter Pipeline. II. Validation with Galactic Globular and Open Clusters (2007)

Lee, Y. S., Beers, T. C., Sivarani, T., Johnson, J. A., An, D., Wilhelm, R., ...

We validate the performance and accuracy of the current SEGUE (Sloan Extension for Galactic Understanding and Exploration) Stellar Parameter Pipeline (SSPP), which determines stellar atmospheric...

The SEGUE Stellar Parameter Pipeline. III. Comparison with High-Resolution Spectroscopy of SDSS/SEGUE Field Stars (2007)

Prieto, C. Allende, Sivarani, T., Beers, T. C., Lee, Y. S., Koesterke, L., Shetrone, M., ...

We report high-resolution spectroscopy of 125 field stars previously observed as part of the Sloan Digital Sky Survey and its program for Galactic studies, the Sloan Extension for Galactic...

Distances to Galactic high-velocity clouds. Complex C (2007)

Wakker, B. P., York, D. G., Howk, J. C., Barentine, J. C., Wilhelm, R., Peletier, R. F., ...

We report the first determination of a distance bracket for the high-velocity cloud (HVC) complex C. Combined with previous measurements showing that this cloud has a metallicity of 0.15 times solar,...

Two Stellar Components in the Halo of the Milky Way (2007)

Carollo, D., Beers, T. C., Lee, Y. S., Chiba, M., Norris, J. E., Wilhelm, R., ...

The halo of the Milky Way provides unique elemental abundance and kinematic information on the first objects to form in the Universe, which can be used to tightly constrain models of galaxy formation...

The Beam and Detector for the NA48 Neutral Kaon CP Violation Experiment at CERN (2007)

Fanti, V, Lai, A, Marras, D, Musa, L, Nappi, A, Batley, J Richard, ...

The Beam and Detector, used for the NA48 experiment, devoted to the measurement of $Re(\epsilon^{\prime}/\epsilon)$, and for the NA48/1 experiment on rare K_S and neutral hyperon decays, are...

Estimation of stellar atmospheric parameters from SDSS/SEGUE spectra (2007)

Fiorentin, P. Re, Lee, Y. S., Beers, T. C., Sivarani, T., Wilhelm, R., ...

We present techniques for the estimation of stellar atmospheric parameters (Teff,logg,[Fe/H]) for stars from the SDSS/SEGUE survey. The atmospheric parameters are derived from the observed...

SDSS spectroscopic survey of stars (2007)

Ivezic, Z., Schlegel, D., Uomoto, A., Bond, N., Beers, T., Prieto, C. Allende, ...

In addition to optical photometry of unprecedented quality, the Sloan Digital Sky Survey (SDSS) is also producing a massive spectroscopic database. We discuss determination of stellar parameters,...

The beam and detector for the NA48 neutral kaon CP violation experiment at CERN (2007)

Fanti, V., Lai, A., Marras, D., Musa, L., Nappi, A., Batley, R., ...

The beam and detector, used for the NA48 experiment, devoted to the measurement of Re(ε′/ε), and for the NA48/1 experiment on rare KS and neutral hyperon decays, are described.

The beam and detector for the NA48 neutral kaon CP violation experiment at CERN (2007)

Fanti, V., Lai, A., Marras, D., Musa, L., Nappi, A., Batley, R., ...

The beam and detector, used for the NA48 experiment, devoted to the measurement of Re(ε′/ε), and for the NA48/1 experiment on rare KS and neutral hyperon decays, are described.

Estimation of stellar atmospheric parameters from SDSS/SEGUE spectra (2007)

Re Fiorentin, P., Lee, Y. S., Beers, T. C., Sivarani, T., Wilhelm, R., ...

We present techniques for the estimation of stellar atmospheric parameters (T_eff, log~g, [Fe/H]) for stars from the SDSS/SEGUE survey. The atmospheric parameters are derived from the observed...

The beam and detector for the NA48 neutral kaon CP violation experiment at CERN (2007)

Fanti, V., Lai, A., Marras, D., Musa, L., Nappi, A., Batley, R., ...

The beam and detector, used for the NA48 experiment, devoted to the measurement of Re(ε′/ε), and for the NA48/1 experiment on rare KS and neutral hyperon decays, are described.

Verifying Temporal Heap Properties Specified via Evolution Logic (2006)

Yahav, E., Reps, T., Sagiv, M., Wilhelm, R.

This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate—and deallocate—new objects and...

Performance study of ground-based infrared Bracewell interferometers. Application to the detection of exozodiacal dust disks with GENIE (2006)

Absil, Olivier, Den Hartog, R, Gondoin, P, Fabry, P, Wilhelm, R, Gitton, P, ...

Nulling interferometry, a powerful technique for high-resolution imaging of the close neighbourhood of bright astrophysical objets, is currently considered for future space missions such as Darwin or...

Stabilized High Power Laser for Advanced Gravitational Wave Detectors (2006)

Willke, Benno, Danzmann, Karsten, Fallnich, Carsten, Frede, Maik, Heurs, Michele, King, Peter, ...

Second generation gravitational wave detectors require high power lasers with several 100W of output power and with very low temporal and spatial fluctuations. In this paper we discuss possible...

SDSS spectroscopic survey of stars (2006)

Ivezic, Z., Schlegel, D., Uomoto, A., Bond, N., Beers, T., Allende Prieto, C., ...

In addition to optical photometry of unprecedented quality, the Sloan Digital Sky Survey (SDSS) is also producing a massive spectroscopic database. We discuss determination of stellar parameters,...

The SDSS-I Value-Added Catalog of stellar parameters and the SEGUE pipeline (2006)

Beers, T. C., Lee, Y., Sivarani, T., Allende Prieto, C., Wilhelm, R., Fiorentin, P. Re, ...

We report on the development, calibration, and refinement of the SDSS-I Value Added Catalog (VAC) of stellar abundances, temperatures, and surface gravities. This catalog is based on observations of...

Verifying Temporal Heap Properties Specified via Evolution Logic (2006)

Yahav, E., Reps, T., Sagiv, M., Wilhelm, R.

This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate--and deallocate--new objects and...

A Spectroscopic Study of the Ancient Milky Way: F- and G-Type Stars in the Third Data Release of the Sloan Digital Sky Survey (2005)

Prieto, C. Allende, Beers, T. C., Wilhelm, R., Newberg, H. J., Rockosi, C. M., Yanny, B., ...

(Abridged) We perform an analysis of spectra and photometry for 22,770 stars included in the third data release (DR3) of the SDSS. We measure radial velocities and, based on a model-atmosphere...

The stellar content of the Hamburg/ESO survey. III. Field horizontal-branch stars in the galaxy (2005)

Christleib, N., Beers, T.C., Thom, C., Wilhelm, R., Rossi, S., Flynn, C., ...

We present a sample of 8321 candidate Field Horizontal-Branch (FHB) stars selected by automatic spectral classification in the digital data base of the Hamburg/ESO objective-prism survey. The stars...

The stellar content of the Hamburg/ESO survey. III. Field horizontal-branch stars in the galaxy (2005)

Christleib, N., Beers, T.C., Thom, C., Wilhelm, R., Rossi, S., Flynn, C., ...

We present a sample of 8321 candidate Field Horizontal-Branch (FHB) stars selected by automatic spectral classification in the digital data base of the Hamburg/ESO objective-prism survey. The stars...

The stellar content of the Hamburg/ESO survey. III. Field horizontal-branch stars in the galaxy (2005)

Christleib, N., Beers, T.C., Thom, C., Wilhelm, R., Rossi, S., Flynn, C., ...

We present a sample of 8321 candidate Field Horizontal-Branch (FHB) stars selected by automatic spectral classification in the digital data base of the Hamburg/ESO objective-prism survey. The stars...

th Intl WORKSHOP ON WORST-CASE EXECUTION TIME (WCET) ANALYSIS (2004)

Catania Sicily Italy, H. S. Negi, A. Roychoudhuri, T. Mitra, J. Staschulat, R. Ernst, ...

Determining worst case execution time of a program by static analysis is important for the design of real-time software. WCET analysis at the programming language level requires the detection of the...

Progress in the new ECRH system for ASDEX upgrade. (2004)

Leuterer, F., Gruenwald, G., Monaco, F., Muenich, M., Schuetz, H., Ryter, F., ...

31st IEEE Internat.Conf.on Plasma Science (ICOPS 2004), Baltimore, Md., June 28 - July 1, 2004

Status of the new ECRH system for ASDEX upgrade. (2004)

Wagner, D., Grünwald, G., Leuterer, F., Monaco, F., Münich, M., Schütz, H., ...

13th Joint Workshop on Electron Cyclotron Emission and Electron Cyclotron Resonance Heating, Nizhny Novgorod, Russia, May 17-20, 2004

Development of large RF driven negative ion sources for neutral beam injection (2003)

Kraus, W., McNeely, P., Franzen, P., Entscheva, A., Bandyopadhyay, M., Heinemann, B., ...

The development of a large-area RF source for the negative ion beam production has been continued concentrating on investigations of volume-mode Cs-free operation. In contrast to most arc discharge...

Plans for a new ECRH system at ASDEX Upgrade (2003)

Leuterer, F., Kirov, K., Monaco, F., Münich, M., Schütz, H., Ryter, F., ...

A new ECRH system is being constructed for ASDEX Upgrade with a total power of 4 MW, generated by four gyrotrons, and a pulse duration of 10 s. Particular features are the use of gyrotrons which can...

Development of coatings to improve RF voltage stand-off (2003)

Bobkov, V. V., Azarenkov, M., Bizyukov, O., Bobkov, Vl. V., Wilhelm, R.

For a reliable operation of Ion Cyclotron RF (ICRF) systems on fusion devices with magnetic confinement at high power, an improvement of the voltage stand-off of RF transmission lines and antennas is...

Plans for a new ECRH system at ASDEX upgrade. (2003)

Leuterer, F., Kirov, K., Monaco, F., Münich, M., Schütz, H., Ryter, F., ...

22nd Symp.on Fusion Technology (SOFT), Helsinki, SF, September 9-13, 2002

A new ECRH system for ASDEX upgrade. (2003)

Wagner, D., Leuterer, F., Kirov, K., Monaco, F., Münich, M., Schütz, H., ...

6th Internat.Workshop on Electron Cyclotron Resonance Heating Transmission Systems, San Diego, September 19-20, 2002

A new ECRH system for ASDEX upgrade. (2003)

Leuterer, F., Kirov, K., Monaco, F., Münich, M., Schütz, H., Ryter, F., ...

28th Internat.Conf.on Infrared and Millimeter Waves, Otsu J, September 29 - October 3, 2003

Development of large radio frequency negative-ion sources for nuclear fusion (2002)

Kraus, W., McNeely, P., Speth, E., Heinemann, B., Vollmer, O., Wilhelm, R.

The development of a large-area radio frequency (rf) source for the negative-ion beam production has been continued using a prototype source of 37 1 with a rf power up to 160 kW at 0.93 MHz. The...

The new ECRH system of ASDEX upgrade. (2002)

Leuterer, F., Kirov, K., Monaco, F., Münich, M., Schütz, H., Ryter, F., ...

14th Joint Russian-German Workshop on ECRH and Gyrotrons, Nizhny Novgorod/Moskva, June 25 - July 2, 2002

Extension of the ASDEX upgrade ECRH system. (2000)

Zohm, H., Leuterer, F., Muenich, M., Wilhelm, R., Gantenbein, G., Kasparek, W., ...

12th Joint Russian-German Meeting on ECRH and Gyrotrons, Nizhny Novgorod, Russia, June 21-28, 2000

A new measurement of direct CP violation in two pion decays of the neutral kaon (1999)

Fanti, V, Lai, A, Marras, D, Musa, L, Bevan, A V, Gershon, T J, ...

The NA48 experiment at CERN has performed a new measurement of direct CP violation, based on data taken in 1997 by simultaneously collecting $kl$ and $ks$ decays into $pipin$ and $pipic$. The result...

Measurement of the decay rate and form factor parameter $\alpha_{K}*$ in the decay $K_{L} \rightarrow e^{+}e^{-}\gamma$ (1999)

Fanti, V, Lai, A, Musa, L, Marras, D, Nappi, A, Hay, B, ...

The decay rate of the neutral K meson $\mathrm{K_{L} \rightarrow e^{+}e^{-}\gamma}$ has been measured with the NA48 detector at the CERN SPS. A total of 6864 events has been observed with an...

Direct search for light gluinos (1999)

Fanti, V., Lai, A., Musa, L., Marras, D., Nappi, A., Hay, B., ...

We present the results for a direct search for light gluinos through the appearance of $\eta\rightarrow 3\pin$ with high transverse momentum in the vacuum tank of the NA48 experiment at CERN. We find...

Direct search for light gluinos (1999)

Fanti, V., Lai, A., Musa, L., Marras, D., Nappi, A., Hay, B., ...

We present the results for a direct search for light gluinos through the appearance of $\eta\rightarrow 3\pin$ with high transverse momentum in the vacuum tank of the NA48 experiment at CERN. We find...

Direct search for light gluinos (1999)

Fanti, V., Lai, A., Musa, L., Marras, D., Nappi, A., Hay, B., ...

We present the results for a direct search for light gluinos through the appearance of $\eta\rightarrow 3\pin$ with high transverse momentum in the vacuum tank of the NA48 experiment at CERN. We find...

Pipeline Behavior Prediction for Superscalar Processors (1999)

J. Schneider, Ch. Ferdinand, R. Wilhelm, Christian Ferdin, Reinhard Wilhelm, Fb Informatik, ...

For real time systems not only the logical function is important but also the timing behavior, i. e. hard real time systems must react inside their deadlines. To guarantee this it is necessary to...

Operations research methods in compiler backends (1998)

Kästner, D., Wilhelm, R.

Operations research can be defined as the theory of numerically solving decision problems. In this context, dealing with optimization problems is a central issue. Code generation is performed by the...

Direct search for light gluinos (1998)

Fanti, V, Lai, A, Musa, L, Marras, D, Nappi, A, Hay, B, ...

We present the results for a direct search for light gluinos through the appearance of $\eta\rightarrow 3\pin$ with high transverse momentum in the vacuum tank of the NA48 experiment at CERN. We find...

First Measurement of the Rate $K^0_L \to \pi \mu \nu \gamma$ (1997)

Bender, M, Augustin, I, Holder, M, Schwarze, I, Ziolkowski, M, Fanti, V, ...

In a preliminary version of the NA48 experiment at the CERN SPS, in which an iron- scintillator sandwich calorimeter was used as a photon detector, the ratio of K$_L \to \pi\mu\nu\gamma$ and K$_L \to...

Steps toward Determination of the Size and Structure of the Broad-Line Region in Active Galactic Nuclei. X. Variability of Fairall 9 from Optical Data (1997)

Santos-Lleo, M, Chatzichristou, E, De Oliveira, C. M, Winge, C, Alloin, D, Peterson, B. M, ...

The results of an optical monitoring campaign on the active nucleus in the luminous Seyfert 1 galaxy Fairall 9 are presented. This campaign was undertaken in parallel with ultraviolet spectroscopic...

Parallel implementation of functional languages (1997)

R. Wilhelm, M. Alt, F. Martin, M. Raber

Lazy evaluation is optimal (up to overhead). J. Niehren, POPL'96 Abstract. Great hopes in the exploitation of the (implicit) parallelism inherent in functional programs have driven a number of...

CLAX - A Visualized Compiler (1996)

Sander, Georg, Alt, M., Ferdinand, C., Wilhelm, R.

The CLAX compiler was developed in the project COMPARE as reconfigurable demonstration compiler. Its various optimization phases are visualized and animated by the graph layout tool VCG....

Date: December 7, 2000 (1993)

There Are Two, Affw M. Alt, C. Fecht, C. Ferdin, The Trafola-h, ...

valuations: A novel representation of plotkin power domain and vietoris. In , volume 6 of , 1997. http://www.elsevier.nl/locate/entcs/volume6.html.