Predicate abstraction and canonical abstraction for singly-linked lists von Manevich, Roman, Yahav, E., Ramalingam, G., Sagiv, Mooly

Volltext

Adatom Hypothesis as a Predominant Mechanism of Surface Enhanced Raman Scattering: A Review of Experimental Argumentation von Lazorenko-Manevich, R. M.

Volltext

Estimating resonance enhancement of Raman scattering by metal adatom-adsorbate complexes von Lazorenko-Manevich, R. M.

Volltext

Compactly Representing First-Order Structures for Static Analysis von Manevich, R., Ramalingam, G., Field, J., Goyal, D., Sagiv, M.

Volltext

Justifying the Model of Spatial Separation of Metal Dissolution and Passivation Processes von Lazorenko-manevich, R M, Podobaev, A N, Sokolova, L A

Volltext

Role of solution components in the processes of anodic dissolution of metals von Florianovich, G.M., Lazorenko-Manevich, R.M.

Volltext

Combining shape analyses by intersecting abstractions von ARNOLD, Gilad, MANEVICH, Roman, SAGIV, Mooly, SHAHAM, Ran

Volltext

Progress in Modeling of Active Dissolution of Hydrophilic Metals von Lazorenko-manevich, R M, Podobaev, A N

Volltext

Relaxation kinetics of the current of hydrophilic metal dissolution activated by anodic pulses von Lazorenko-Manevich, R. M., Sokolova, L. A.

Volltext

Mechanism of the anion participation in anodic dissolution of liquid and polycrystalline gallium in acid solutions von LAZORENKO-MANEVICH, R. M, SOKOLOVA, L. A, KRYUCHKOVA, G. T

Volltext

Dissolution kinetics of hydrophilic metal at medium coverages of its surface by specifically adsorbed anions von Lazorenko-Manevich, R. M., Sokolova, L. A.

Volltext

Electroreflectance spectra of polycrystalline gallium in alkali solutions von Lazorenko-Manevich, R. M., Sokolova, L. A.

Volltext

To the 100th anniversary of Academician Ya.M. Kolotyrkin von Davydov, A. D., Lazorenko-Manevich, R. M., Safonov, V. A.

Volltext

The giant Raman scattering absolute cross-section for light scattered by the silver-adatom-metal complexes at silver electrodes in silver perchlorate aqueous solutions von Lazorenko-Manevich, R. M., Krivosheev, Ya. V., Podobaev, A. N., Portyan, A. T., Fetisov, I. V.

Volltext

The mechanism of pulse anodic activation of iron dissolution in acid solutions von Lazorenko-Manevich, R. M., Sokolova, L. A.

Volltext

Partially Disjunctive Heap Abstraction von Manevich, Roman, Sagiv, Mooly, Ramalingam, Ganesan, Field, John

Volltext

Eduard Vladimirovich Kasatkin (To the 80th anniversary) von Podkosov, V. N., Lakeev, S. G., Timashev, S. F., Lazorenko-Manevich, R. M., Potapova, G. F.

Volltext

Producing thin glass by thermal polishing on molten metal (survey) von MANEVICH, R. V

Volltext

Electrochemical determination of the absolute cross-section of giant Raman light scattering by silver-silver adatom complexes von Lazorenko-Manevich, R. M., Krivosheev, Ya. V., Nekrasov, V. V., Podobaev, A. N., Fetisov, I. V.

Volltext

One of the pioneers in corrosion science: On the centenary of the birth of academician Ya.M. Kolotyrkin von Tsivadze, A. Yu, Davydov, A. D., Lazorenko-Manevich, R. M., Safonov, V. A.

Volltext