V. Rybalchenko: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Activation of aerobic metabolism by Amaranth oil improves heart rate variability both in athletes and patients with type 2 diabetes mellitus

Yelisyeyeva, Olha, Semen, Khrystyna, Zarkovic, Neven, Kaminskyy, Danylo, Lutsyk, Olexander, Rybalchenko, Volodymyr

Journal:

Archives of Physiology and Biochemistry

Year:

2012

Language:

english

File:

PDF, 1003 KB

english, 2012

52

From tests to proofs

Ashutosh Kumar Gupta, Rupak Majumdar, Andrey Rybalchenko

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 518 KB

english, 2013

53

The effect of Amaranth oil on monolayers of artificial lipids and hepatocyte plasma membranes with adrenalin-induced stress

Yelisyeyeva, O.P., Semen, K.O., Ostrovska, G.V., Kaminskyy, D.V., Sirota, T.V., Zarkovic, N., Mazur, D., Lutsyk, O.D., Rybalchenko, K., Bast, A.

Journal:

Year:

2014

Language:

english

File:

PDF, 497 KB

english, 2014

54

[Developments in Water Science] Underground Injection Science and Technology Volume 52 || Deep Injection Disposal of Liquid Radioactive Waste in Russia, 1963–2002: Results and Consequences

Rybalchenko, A.I.

Year:

2005

Language:

english

File:

PDF, 142 KB

english, 2005

55

P-0301 * THE APOPTOTIC AND CYTOSTATIC INFLUENCE OF MALEIMIDE DERIVATIVE ON COLORECTAL ADENOCARCINOMA CELL LINE COLO-205

Nikulina, V., Garmanchuk, L., Denis, E., Dzhus, O., Nikolaienko, T., Ostapchenko, L., Rybalchenko, V., Biluk, A., Stupak, Y., Skachkova, O.

Journal:

Annals of Oncology

Year:

2013

Language:

english

File:

PDF, 30 KB

english, 2013

56

Transalkylation of Higher Trifluoromethylated Fullerenes with C 70 : A Pathway to New Addition Patterns of C 70 (CF 3 ) 8

Belov, Nikita M., Apenova, Marina G., Rybalchenko, Alexey V., Borkovskaya, Eugenia V., Lukonina, Natalia S., Goryunkov, Alexey A., Ioffe, Ilya N., Troyanov, Sergey I., Sidorov, Lev N.

Journal:

Chemistry - A European Journal

Year:

2014

Language:

english

File:

PDF, 932 KB

english, 2014

57

Comparative analysis of theophylline and cholera toxin in rat colon reveals an induction of sealing tight junction proteins

Markov, Alexander G., Falchuk, Evgeny L., Kruglova, Natalia M., Rybalchenko, Oksana V., Fromm, Michael, Amasheh, Salah

Journal:

Pflügers Archiv European Journal of Physiology

Year:

2014

Language:

english

File:

PDF, 565 KB

english, 2014

58

ERK5/KLF4 signaling as a common mediator of the neuroprotective effects of both nerve growth factor and hydrogen peroxide preconditioning

Chang Su,Fen Sun,Rebecca L. Cunningham,Nataliya Rybalchenko,Meharvan Singh

Journal:

Year:

2014

Language:

english

File:

PDF, 1.69 MB

english, 2014

59

[6,6]-Open and [6,6]-Closed Isomers of C 70 (CF 2 ): Synthesis, Electrochemical and Quantum Chemical Investigation

Samoylova, Nataliya A., Belov, Nikita M., Brotsman, Victor A., Ioffe, Ilya N., Lukonina, Natalia S., Markov, Vitaliy Yu., Ruff, Adrian, Rybalchenko, Alexey V., Schuler, Paul, Semivrazhskaya, Olesya O.

Journal:

Chemistry - A European Journal

Year:

2013

Language:

english

File:

PDF, 966 KB

english, 2013

60

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Finding heap-bounds for hardware synthesis

Cook, B., Gupta, A., Magill, S., Rybalchenko, A., Simsa, J., Singh, S., Vafeiadis, V.

Year:

2009

Language:

english

File:

PDF, 199 KB

english, 2009

61

RAPID METHOD FOR THE DETECTION OF METABOLITE OF SULFUR MUSTARD 1,1′-SULFONYLBIS[2-S-(N-ACETYLCYSTEINYL)ETHANE] IN PLASMA AND URINE BY LIQUID CHROMATOGRAPHY-NEGATIVE ELECTROSPRAY-TANDEM MASS SPECTROMETRY

Rodin, Igor A., Braun, Arkady V., Savelieva, Elena I., Rybalchenko, Igor V., Ananieva, Irina A., Shpigun, Oleg A.

Journal:

Journal of Liquid Chromatography & Related Technologies

Year:

2011

Language:

english

File:

PDF, 377 KB

english, 2011

62

[IEEE 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2009.09.26-2009.09.29)] 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Automated Methods for Proving Program Termination and Liveness

Rybalchenko, Andrey

Year:

2009

Language:

english

File:

PDF, 136 KB

english, 2009

63

[Int. Centre for Sci. & Tech. Inf International Conference on Satellite Communications. ICSC'94 - Moscow, Russia (18-21 Oct. 1994)] Proceedings of International Conference on Satellite Communications. ICSC'94 - Low Earth orbit satellite communication system Courier 1

Guskov, G., Rybalchenko, Y., Solomonov, Y.

Year:

1994

Language:

english

File:

PDF, 191 KB

english, 1994

64

[IEEE 2009 30th IEEE Symposium on Security and Privacy (SP) - Oakland, CA, USA (2009.05.17-2009.05.20)] 2009 30th IEEE Symposium on Security and Privacy - Automatic Discovery and Quantification of Information Leaks

Backes, Michael, Köpf, Boris, Rybalchenko, Andrey

Year:

2009

Language:

english

File:

PDF, 247 KB

english, 2009

65

'Dilute-and-Shoot' RSLC-MS-MS Method for Fast Detection of Nerve and Vesicant Chemical Warfare Agent Metabolites in Urine

Rodin, I., Braun, A., Stavrianidi, A., Baygildiev, T., Shpigun, O., Oreshkin, D., Rybalchenko, I.

Journal:

Journal of Analytical Toxicology

Year:

2015

Language:

english

File:

PDF, 549 KB

english, 2015

66

[IEEE 2005 International Conference Physics and Control, 2005. - Saint Petersburg, Russia (Aug. 24-26, 2005)] Proceedings. 2005 International Conference Physics and Control, 2005. - Definition of the fiber-optical tomography problem

Denisov, I.V., Denisova, E.V., Rybalchenko, N.A., Sedov, V.A.

Year:

2005

Language:

english

File:

PDF, 92 KB

english, 2005

67

[IEEE Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - Turku, Finland (2004.07.17-2004.07.17)] Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. - Transition invariants

Podelski, A., Rybalchenko, A.

Year:

2004

Language:

english

File:

PDF, 482 KB

english, 2004

68

The unliganded long isoform of estrogen receptor beta stimulates brain ryanodine receptor single channel activity alongside with cytosolic Ca 2+

Rybalchenko, Volodymyr, Grillo, Michael A., Gastinger, Matthew J., Rybalchenko, Nataliya, Payne, Andrew J., Koulen, Peter

Journal:

Journal of Receptor and Signal Transduction Research

Year:

2009

Language:

english

File:

PDF, 1.39 MB

english, 2009

69

Hydrophilic Interaction Liquid Chromatography Tandem Mass Spectrometry Methylphosphonic Acid Determination in Water Samples after Derivatization withp-Bromophenacyl Bromide

Rodin, Igor, Baygildiev, Timur, Stavrianidi, Andrey, Braun, Arcady, Rybalchenko, Igor, Shpigun, Oleg

Journal:

Chromatographia

Year:

2015

Language:

english

File:

PDF, 622 KB

english, 2015

70

Strand invasion promoted by recombination protein of coliphage

Rybalchenko, N., Golub, E. I., Bi, B., Radding, C. M.

Journal:

Proceedings of the National Academy of Sciences

Year:

2004

Language:

english

File:

PDF, 329 KB

english, 2004

71

Disrupted coupling of gating charge displacement to Na+ current activation for DIIS4 mutations in hypokalemic periodic paralysis

Mi, W., Rybalchenko, V., Cannon, S. C.

Journal:

The Journal of General Physiology

Year:

2014

Language:

english

File:

PDF, 1.44 MB

english, 2014

72

Human and yeast Rad52 proteins promote DNA strand exchange

Bi, B., Rybalchenko, N., Golub, E. I., Radding, C. M.

Journal:

Proceedings of the National Academy of Sciences

Year:

2004

Language:

english

File:

PDF, 308 KB

english, 2004

73

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 ||

Kuncak, Viktor, Rybalchenko, Andrey

Year:

2012

Language:

english

File:

PDF, 5.87 MB

english, 2012

74

Structure and Fatigue Properties of Cr-Ni-Ti Austenitic Steel after Equal Channel Angular Pressing

Dobatkin, Sergey V., Skrotzki, Werner, Terent’ev, Vladimir, Rybalchenko, Olga, Belyakov, Andrey, Prosvirnin, Dmitry, Zolotarev, Eugenie

Journal:

Materials Science Forum

Year:

2014

Language:

english

File:

PDF, 1.39 MB

english, 2014

75

Membrane Potential Regulates Nicotinic Acid Adenine Dinucleotide Phosphate (NAADP) Dependence of the pH- and Ca2+-sensitive Organellar Two-pore Channel TPC1

Rybalchenko, V., Ahuja, M., Coblentz, J., Churamani, D., Patel, S., Kiselyov, K., Muallem, S.

Journal:

Journal of Biological Chemistry

Year:

2012

Language:

english

File:

PDF, 2.92 MB

english, 2012

76

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 || Model Checking Information Flow in Reactive Systems

Kuncak, Viktor, Rybalchenko, Andrey

Year:

2012

Language:

english

File:

PDF, 301 KB

english, 2012

77

Ultrastructure of the surface film of bacterial colonies

Tetz, V. V., Rybalchenko, O. V., Savkova, G. A.

Journal:

Journal of General Microbiology

Year:

1993

Language:

english

File:

PDF, 942 KB

english, 1993

78

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 || Loop Invariant Symbolic Execution for Parallel Programs

Kuncak, Viktor, Rybalchenko, Andrey

Year:

2012

Language:

english

File:

PDF, 303 KB

english, 2012

79

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || An Optimal Bloom Filter Replacement Based on Matrix Solving

Frid, Anna, Morozov, Andrey, Rybalchenko, Andrey, Wagner, Klaus W.

Year:

2009

Language:

english

File:

PDF, 195 KB

english, 2009

80

[Lecture Notes in Computer Science] Verified Software: Theories, Tools, Experiments Volume 8164 || Formal Verification of Loop Bound Estimation for WCET Analysis

Cohen, Ernie, Rybalchenko, Andrey

Year:

2014

Language:

english

File:

PDF, 603 KB

english, 2014

81

The first representative of a new family of the bridgehead-modified difluoromethylenated homofullerenes: electrochemical properties and synthetic availability

Rybalchenko, Alexey V., Magdesieva, Tatiana V., Brotsman, Victor A., Belov, Nikita M., Markov, Vitali Yu., Ioffe, Ilya N., Ruff, Adrian, Schuler, Paul, Speiser, Bernd, Heinze, Jürgen, Sidorov, Lev N.,

Journal:

Electrochimica Acta

Year:

2015

Language:

english

File:

PDF, 568 KB

english, 2015

82

[Lecture Notes in Computer Science] Computer Science - Theory and Applications Volume 5675 || On Models of a Nondeterministic Computation

Frid, Anna, Morozov, Andrey, Rybalchenko, Andrey, Wagner, Klaus W.

Year:

2009

Language:

english

File:

PDF, 191 KB

english, 2009

83

Proving program termination

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 3.55 MB

english, 2011

84

Leaky sodium channels from voltage sensor mutations in periodic paralysis, but not paramyotonia

Francis, D. G., Rybalchenko, V., Struyk, A., Cannon, S. C.

Journal:

Year:

2011

Language:

english

File:

PDF, 1.83 MB

english, 2011

85

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - Separation logic + superposition calculus = heap theorem prover

Navarro Pérez, Juan Antonio, Rybalchenko, Andrey

Year:

2011

Language:

english

File:

PDF, 596 KB

english, 2011

86

[ACM Press the 2006 ACM SIGPLAN conference - Ottawa, Ontario, Canada (2006.06.11-2006.06.14)] Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation - PLDI '06 - Termination proofs for systems code

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Year:

2006

Language:

english

File:

PDF, 175 KB

english, 2006

87

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Proving non-termination

Gupta, Ashutosh, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey, Xu, Ru-Gang

Year:

2008

Language:

english

File:

PDF, 265 KB

english, 2008

88

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Path invariants

Beyer, Dirk, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey

Year:

2007

Language:

english

File:

PDF, 212 KB

english, 2007

89

Proving thread termination

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 283 KB

english, 2007

90

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Predicate abstraction and refinement for verifying multi-threaded programs

Gupta, Ashutosh, Popeea, Corneliu, Rybalchenko, Andrey

Year:

2011

Language:

english

File:

PDF, 567 KB

english, 2011

91

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Proving that programs eventually do something good

Cook, Byron, Gotsman, Alexey, Podelski, Andreas, Rybalchenko, Andrey, Vardi, Moshe Y.

Year:

2007

Language:

english

File:

PDF, 633 KB

english, 2007

92

[ACM Press the 13th international ACM SIGPLAN symposium - Odense, Denmark (2011.07.20-2011.07.22)] Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming - PPDP '11 - Towards automatic synthesis of software verification tools

Rybalchenko, Andrey

Year:

2011

Language:

english

File:

PDF, 315 KB

english, 2011

93

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A constraint-based approach to solving games on infinite graphs

Beyene, Tewodros, Chaudhuri, Swarat, Popeea, Corneliu, Rybalchenko, Andrey

Year:

2014

Language:

english

File:

PDF, 584 KB

english, 2014

94

[ACM Press the 2014 International SPIN Symposium - San Jose, CA, USA (2014.07.21-2014.07.23)] Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 - CTL+FO verification as constraint solving

Beyene, Tewodros A., Brockschmidt, Marc, Rybalchenko, Andrey

Year:

2014

Language:

english

File:

PDF, 309 KB

english, 2014

95

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Verifying liveness for asynchronous programs

Ganty, Pierre, Majumdar, Rupak, Rybalchenko, Andrey

Year:

2008

Language:

english

File:

PDF, 316 KB

english, 2008

96

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Proving thread termination

Cook, Byron, Podelski, Andreas, Rybalchenko, Andrey

Year:

2007

Language:

english

File:

PDF, 283 KB

english, 2007

97

Transition predicate abstraction and fair termination

Podelski, Andreas, Rybalchenko, Andrey

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2007

Language:

english

File:

PDF, 525 KB

english, 2007

98

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Synthesizing software verifiers from proof rules

Grebenshchikov, Sergey, Lopes, Nuno P., Popeea, Corneliu, Rybalchenko, Andrey

Year:

2012

Language:

english

File:

PDF, 608 KB

english, 2012

99

Inhibitory effects ofLactobacillus fermentumon microbial growth and biofilm formation

Rybalchenko, Oxana V., Bondarenko, Viktor M., Orlova, Olga G., Markov, Alexander G., Amasheh, S.

Journal:

Archives of Microbiology

Year:

2015

Language:

english

File:

PDF, 870 KB

english, 2015

100

Morphofunctional parameters of blood cells of a rat with 1,2-dimethylhydrazine-induced colon carcinogenesis

Byelinska, I. V., Lynchak, O. V., Rybalchenko, T. V., Yablonska, S. V., Bahurynska, O. M., Rybalchenko, V. K.

Journal:

Cytology and Genetics

Year:

2015

Language:

english

File:

PDF, 755 KB

english, 2015