• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Automated synthesis of reactive controllers for software-defined networks
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
July 24, 2026
'Physics Is What the World Is Literally Built On'
Physicist Nina Dzhanayeva, recipient of a Vladimir Potanin Foundation scholarship, focuses her research on nanophotonics. In this interview for the HSE Young Scientists project, she discusses nanowells, scientific intuition, and how physics can help in making frangipane cream puffs.
July 20, 2026
Scientists Create Open Dataset for Studying Concentration
A team of Russian researchers, including scientists from HSE University–St Petersburg, has developed the first open multimodal dataset containing recordings of brain activity, heart function, and video observations to help researchers understand what happens in the human brain during deep concentration. In the future, the dataset could accelerate the development of neural interfaces, rehabilitation technologies, and AI systems. The article has been published in Scientific Data.
July 20, 2026
‘Science Is Universal-It Knows No Borders
Fuad Aleskerov, Tenured Professor and Director of the International Centre of Decision Choice and Analysis at HSE University, together with his colleagues, has developed methods of network analysis in bibliometrics that have made it possible to identify patterns in the appearance and citation of publications in academic journals, as well as their influence on each other. When one or a number of studies are frequently cited by a wide range of journals, this is an indicator that the research is of high quality. By contrast, extensive cross-citation within a limited group of journals increases the likelihood of identifying a network of predatory publications.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Automated synthesis of reactive controllers for software-defined networks

.
Scedrov A., Wang A., Moarref S., Thau Loo B., Topcu U.
Language: English
Keywords: synthesissoftware-defined networks

In book

Network Protocols - Proceedings of the 21st IEEE International Conference ICNP 2013
IEEE, 2013.
Similar publications
Synthesis and Properties of a Composite Material Based on Polyethylene, Bismuth Oxide, and Boron Carbide
Pavlenko V. I., Bondarenko G.G., Cherkashina N. I. et al., Inorganic Materials: Applied Research 2026 Vol. 17 No. 2 P. 276–282
A composite material based on polyethylene, boron carbide (B4C), and bismuth oxide (Bi2O3) is synthesized by the method of joint cryogenic milling of all components in liquid nitrogen environment followed by pressing. The effect of cryogenic milling on the distribution of fillers in a composite is studied and the prospects of using this method are assessed in comparison ...
Added: April 9, 2026
Synthesis and Crystal Structure of the First Imidazolium Derivatives of Cobalt Bis(Dicarbollide)
Erdelyi K., Bets I., Nasyrova D. et al., Journal of Organometallic Chemistry 2026 Vol. 1051 Article 124102
The first imidazolium derivatives of cobalt bis(dicarbollide) were synthesized by the reactions of the iodonium derivative of cobalt bis(dicarbollide) [8,8’-μ-I-3,3'-Co(1,2-C2B9H10)2] with 1-methylimidazole, 1-tert-butylimidazole, 1-phenylimidazole, and 1-isopropyl-benzimidazole. The solid-state structures of [8-MeIm-8’-I-3,3'-Co(1,2-C2B9H10)2], [8-PhIm-8’-I-3,3'-Co(1,2-C2B9H10)2] and [8-iPrBIm-8’-I-3,3'-Co(1,2-C2B9H10)2] were determined by single-crystal X-ray diffraction. ...
Added: March 3, 2026
Синтез и свойства композиционного материала на основе полиэтилена, оксида висмута и карбида бора
Павленко В. И., Bondarenko G., Черкашина Н. И. et al., Перспективные материалы 2025 № 9 С. 22–31
Проведен синтез композитного материала на основе полиэтилена, карбида бора (B4C) и оксида висмута (Bi2O3) методом совместный криогенного помола всех компонентов в среде жидкого азота с дальнейшим прессованием. Изучено влияние криогенного помола на распределение наполнителей в композите и дана оценка перспективности использования данного метода, по сравнению с традиционными способами смешения компонентов полимерных композитов. Исследования структуры и свойств готового композита проводили методами сканирующей ...
Added: September 17, 2025
The influence of methoxy- group position on thermal stability and properties of novel isomeric 4-[(methoxy)phenoxy] phthalonitriles and phthalocyanine complexes based on them
Erzunov D., Rassolova A., Botnar A. et al., Dyes and Pigments 2023 Vol. 219 Article 111600
Isomeric 4-[(methoxy)phenoxy]phthadinitriles were obtained and characterized in this work. The compounds showed high thermal stability, which is directly related to their structure. These features were revealed and described using X-ray diffraction analysis. For m-substituted structures during packing, the largest contribution was found from intermolecular interactions of the π-stacking type between nitrile fragments. In the packing ...
Added: September 16, 2025
Structure, acidic properties and the coordination ability of sapphyrin with an unsymmetric substitution system
Ivanova Y. B., Pukhovskaya S. G., Lukanov M. M. et al., Journal of Porphyrins and Phthalocyanines 2024 Vol. 28 No. 2 P. 73–79
Synthesis of unsymmetrically substituted 2,3,7,13,16,17,22,23-octamethyl-8,12-di-nn-butylsapphyrin dichloride (H5P2+2+Cl2)2) was carried out. The synthesized compound was identified by electron absorption, 1H NMR spectroscopy, and mass spectrometry. The stability of the anionic complex and the acidic properties of H5P2+2+Cl2 were studied by spectrophotometric titration. The parameters of the electronic absorption spectra and the concentration range for the existence of deprotonated forms, ...
Added: September 16, 2025
Вероятностный алгоритм взвешенного разделения потока в программно-конфигурируемых сетях
Zykov S. V., Маличенко С. В., Защита информации. Инсайд 2024 № 6(120) С. 70–73
An updated algorithm of weighted balancing with the possibility of its use for flow distribution in software-defined networks (SDN) is proposed. The aim of the study was the need to adapt existing algorithms to the problems of finding solutions in transport equilibrium models. The methods of deep analogy, probability theory, and mathematical statistics were used in the development. As a result, the presented algorithm can be used in relation to the problems ...
Added: December 18, 2024
Charge-compensated nido-carborane derivatives in the synthesis of iron(II) bis(dicarbollide) complexes
Stogniy M., Anufriev S., Bogdanova E. et al., Dalton Transactions 2024 Vol. 53 No. 7 P. 3363–3376
A series of stable iron(II) bis(dicarbollide) derivatives [8,8’-(RNHC(Et)vHN)2-3,3’-Fe(1,2-C2B9H10)2] (R = Pr, R = Ph, (CH2)2OH, (CH2)3OH, (CH2)2NMe2) was prepared starting from FeCl2 or [FeCl2(dppe)] and the corresponding nido-carboranyl amidines [10-RNHC(Et)vHN-7,8-C2B9H11]. In a similar way, the reactions of the oxonium derivatives of nido-carborane with FeCl2 in tetrahydrofuran in the presence of t-BuOK lead to the corresponding stable oxonium derivatives iron(II) ...
Added: February 28, 2024
Synthesis of N,N′-Unsymmetrical 9-Amino-5,7-dimethyl-bispidines
Kalinin M., Medved’ko A., Minyaev M. E. et al., Journal of Organic Chemistry 2023 Vol. 88 No. 11 P. 7272–7280
A new approach to the preparation of N,N′-unsymmetrically substituted 9-aminobispidines through aminal bridge removal reaction has been developed, the principal feature of which is the ability to selectively functionalize all three nitrogen atoms. The intermediates of 1,3-diazaadamantane’s aminal bridge removal reaction are characterized, and the mechanism of this reaction is proposed based on the analysis ...
Added: February 14, 2024
What are the prospects of [1,2,5]oxadiazolo[3,4-c]cinnoline 5-oxides, 1,5-dioxides and their nitro derivatives as high-energy-density materials? Synthesis, experimental and predicted crystal structures, and calculated explosive properties
Baraboshkin N., Zelenov V., Ivan V. Fedyanin, CrystEngComm 2023 Vol. 25 No. 48 P. 6719–6739
he main objective of this study is to investigate the potential of cinnoline oxides and their nitro derivatives as explosive materials. Thus, the study includes the synthesis, crystal structure prediction, single-crystal X-ray structure determination, crystal packing analysis and calculation of the detonation properties of [1,2,5]oxadiazolo[3,4-c]cinnoline 5-oxide, 1,5-dioxides and their nitro derivatives. It was found that ...
Added: January 18, 2024
New approaches to the functionalization of the 1-carba-closo-decaborate anion
Shmal’ko A., Cendoya P., Anufriev S. et al., Chemical Communications 2022 Vol. 58 No. 23 P. 3775–3778
Two new approaches to the functionalization of the 1-carba-closodecaborate anion [1-CB9H10] at boron atoms via the ring-opening of its 1,4-dioxane derivative with various nucleophiles and Pd-catalysed cross-coupling of its iodo derivative with aromatic amines and heteroaromatics were developed. ...
Added: January 29, 2023
The unexpected reactivity of 9-iodo-nidocarborane: from nucleophilic substitution reactions to the synthesis of tricobalt tris(dicarbollide) Na[4,4’,4’’-(MeOCH2CH2O)3-3,3’,3’’-Co3(μ3-O)(μ3-S)(1,2-C2B9H10)3]
Stogniy M., Anufriev S., Shmal’ko A. et al., Dalton Transactions 2021 Vol. 50 No. 7 P. 2671–2688
An unusual reactivity of 9-iodo-nido-carborane [9-I-7,8-C2B9H11]− towards nucleophiles under strong basic conditions was revealed. The nucleophilic substitution of iodine with O- and N-nucleophiles results in [9-RO-7,8-C2B9H11]− (R = H, CH2CH2OMe) and [9-L-7,8-C2B9H11] (L = Py, NEt3, Me2NCH2CH2NMe2), respectively. Reaction of [9-I-7,8-C2B9H11]− with CoCl2 in 1,2-dimethoxyethane in the presence of t-BuOK, depending on the order of addition of the reagents, ...
Added: April 17, 2022
Synthesis and crystal structures of nickel(II) and palladium(II) complexes with o-carboranyl amidine ligands
Stogniy M., Erokhina S., Suponitsky K. et al., Dalton Transactions 2021 Vol. 50 No. 14 P. 4967–4975
A number of new nido-carboranyl amidines 10-R(CH2)nNHC(Et)vHN-7,8-C2B9H11 (n = 2, R = OH, OMe, and NMe2; n = 3, R = OH) were synthesized by the nucleophilic addition of amino alcohols and N,N-dimethylethylenediamine to the highly activated –CuN+– triple bond of the 10-propionitrilium derivative of nido-carborane. A similar reaction of 10-EtCuN-7,8-C2B9H11 with ethylenediamine unexpectedly resulted in the cleavage of ...
Added: April 8, 2022
Symmetrical Tertiary Amines: Applications and Synthetic Approaches
Afanasyev O., Kuchuk E., Muratov K. et al., European Journal of Organic Chemistry 2021 Vol. 2021 No. 4 P. 543–586
Tertiary amines represent a key class of organic molecules with multiple industrial, synthetic, and analytical applications. The focus of this review is on different approaches towards the synthesis of the C3 and C3V symmetrical tertiary amines. Generally, symmetrical tertiary amines can be prepared via N‐alkylation with alkyl halides and alcohols, reductive amination, desamination, hydroamination of olefins, and ...
Added: March 29, 2021
Embracing Artificial Intelligence and Digital Personnel to Create High-Performance Jobs in the Cyber Economy
Lobova S., Bogoviz A. V., , in: The Cyber Economy. Opportunities and Challenges for Artificial Intelligence in the Digital Workplace.: Switzerland: Springer Publishing Company, 2019. P. 169–174.
The purpose of the chapter is to study the process of creating highly efficient jobs in the cyber economy through the integration of AI and employees’ mastering new digital competencies. ...
Added: December 9, 2019
После нового журнализма: история, миф, фантазия в романах Нормана Мейлера 1980-х - 2000-х гг.
Chernetsova E. V., СПб.: Издательство Нестор-История, 2018.
The book is devoted to one of the most prominent American writers, Norman Mailer who had a vivid imagination. He was one of those authors who visualized themselves as well as their works, and on the contrary novelized their country and reality. N. Mailer was a very public person. He revealed his publicity being a ...
Added: November 21, 2018
Synthesis of Stable Bismuth Silicate with Sillenite Structure in the Na2O–Bi2O3–SiO2 System
Yastrebinskii R. N., Bondarenko G.G., Pavlenko A. V., Inorganic Materials: Applied Research 2018 Vol. 9 No. 2 P. 221–226
A combined method for synthesizing a highly dispersed (0.8–2.5 μm) hydrophobic Na2O– Bi2O3–SiO2 powder (NBS powder) based on solutions of sodium methyl siliconate and bismuth nitrate is studied. The powder is synthesized at a reduced temperature (100°C). The microstructure and the phase composition of the resulting compounds in the Na2O–Bi2O3–SiO2 system at different processing temperatures are investigated. The structural ...
Added: March 28, 2018
Синтез стабильного силиката висмута структуры силленита в системе Na2O – Bi2O3 – SiO2
Ястребинский Р. Н., Bondarenko G., Павленко А. В., Перспективные материалы 2017 № 11 С. 18–25
В работе исследован комбинированный способ синтеза высокодисперсного (0,8-2,5 мкм) гидрофобного порошка Na2O-Bi2O3-SiO2 (NBS-порошок) на основе растворов метилсиликоната натрия и нитрата висмута многофазного минерального состава при пониженной температуре (1000С). Исследована микроструктура и дана оценка фазового состава образующихся соединений в системе Na2O-Bi2O3-SiO2 при различных температурах обработки. Установлены структурно-фазовые превращения в минеральных фазах NBS-порошка в температурном интервале 100-5000С. ...
Added: November 23, 2017
Алгоритм синтеза геометрических характеристик проекционных изображений трехмерных объектов.
Domoratsky E., Информационные технологии 2016 Т. 22 № 8 С. 605–609
Рассмотрен алгоритм синтеза геометрических характеристик одномерных и двумерных проекционных изображений выпуклых трехмерных объектов неправильной формы, аппроксимируемых эллипсоидом общего вида. Алгоритм содержит математические модели последовательности операций (процедур) получения проекционных изображений, их морфологического анализа (получения базовых геометрических признаков) и получения численных значений пространственных геометрических характеристик проекционных изображений. ...
Added: October 16, 2017
International Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED 2016; Torun; Poland; 20-21 June 2016
Torun: CEUR Workshop Proceedings, 2016.
The The workshop first took place in 2015 as a succession of the Applications of Region Theory (ART) workshop series. After the success of the initial workshop, it is only natural to bring together researchers working on region-based synthesis and process mining again. The ATAED'2016 workshop took place in Torun on June 20-21, 2016 and ...
Added: June 30, 2016
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit