Personal information

Emails & domains

Verified email domains

Websites & social links

Софткрафт. Разноликое программирование
ВШЭ. Персональная страница.

Other IDs

ResearcherID: A-4787-2014
ResearcherID: A-4787-2014
Scopus Author ID: 57219476499

Countries

Russia

Activities

Collapse all

Employment (2)

National Research University Higher School of Economics: Moscow, RU

2020-09-01 to present | professor (School of Software Engineering)
Employment
Source: Self-asserted source
Alexander Legalov

Siberian Federal University: Krasnoyarsk, Siberia, RU

1992 to 2020-08-31 | professor (Department of Computer Technic)
Employment
Source: Self-asserted source
Alexander Legalov

Works (30)

C Language Extension to Support Procedural-Parametric Polymorphism

Automatic Control and Computer Sciences
2024-12 | Journal article
DOI: 10.3103/S014641162470024X
Contributors: A. I. Legalov; P. V. Kosov
Source: check_circle
Crossref

On accelerating transformations of programs for solving the generalized Dirichlet problem

Numerical Methods and Programming (Vychislitel'nye Metody i Programmirovanie)
2024-06-30 | Journal article
DOI: 10.26089/NumMet.v25r322
Contributors: Е.А. Метелица; Б.Я. Штейнберг
Source: check_circle
Crossref

Methods for Changing Parallelism in the Process of High-Level VLSI Synthesis

Automatic Control and Computer Sciences
2023-12 | Journal article
DOI: 10.3103/S014641162307012X
Contributors: I. N. Ryzhenko; O. V. Nepomnyaschy; A. I. Legalov; V. V. Shaidurov
Source: check_circle
Crossref

Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language

Automatic Control and Computer Sciences
2023-12 | Journal article
DOI: 10.3103/S0146411623070088
Contributors: A. I. Legalov; Y. G. Bugayenko; N. K. Chuykin; M. V. Shipitsin; Y. I. Riabtsev; A. N. Kamenskiy
Source: check_circle
Crossref

C Language Extension to Support Procedural-Parametric Polymorphism

Modeling and Analysis of Information Systems
2023-04-28 | Journal article
DOI: 10.18255/1818-1015-2023-1-40-62
Contributors: Alexander I. Legalov; Pavel V. Kosov
Source: check_circle
Crossref

LOGIC CIRCUITS DESIGN BASED ON THE FUNCTIONAL-FLOW PROGRAMMING

Mathematical Methods in Technologies and Technics
2022 | Journal article
DOI: 10.52348/2712-8873_MMTT_2022_10_147
Contributors: D.S. Romanova; A.I. Legalov
Source: check_circle
Crossref

Parallelism reduction method in the high-level VLSI synthesis implementation

Proceedings of the Institute for System Programming of the RAS
2022 | Journal article
DOI: 10.15514/ISPRAS-2022-34(1)-5
Contributors: Darya Sergeevna Romanova; Oleg Vladimirovich Nepomnyashchiy; Igor Nikolayevich Ryzhenko; Alexander Ivanovich Legalov; Natalya Yurievna Sirotinina
Source: check_circle
Crossref

Transformation of Functional Dataflow Parallel Programs into Imperative Programs

Automatic Control and Computer Sciences
2022-12 | Journal article
DOI: 10.3103/S0146411622070239
Contributors: V. S. Vasilev; A. I. Legalov; S. V. Zykov
Source: check_circle
Crossref

Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language

Modeling and Analysis of Information Systems
2022-09-25 | Journal article
DOI: 10.18255/1818-1015-2022-3-246-264
Contributors: Alexander I. Legalov; Yegor G. Bugayenko; Nickolay K. Chuykin; Maksim V. Shipitsin; Yaroslav I. Riabtsev; Andrey N. Kamenskiy
Source: check_circle
Crossref

Methods for Change Parallelism in Process of High-level VLSI Synthesis

Modeling and Analysis of Information Systems
2022-03-17 | Journal article
DOI: 10.18255/1818-1015-2022-1-60-72
Contributors: Igor Nikolaevich Ryzhenko; Oleg Vladimirovich Nepomnyaschy; Aleksandr Ivanovich Legalov; Vladimir Viktorovich Shaidurov
Source: check_circle
Crossref

Eolang: Toward a New Java-Based Object-Oriented Programming Language

2021 | Book chapter
DOI: 10.1007/978-981-16-2765-1_30
Contributors: Hadi Saleh; Sergey Zykov; Alexander Legalov
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Exploring the Eolang-Java integration and interoperability

Procedia Computer Science
2021 | Conference paper
DOI: 10.1016/j.procs.2021.09.234
EID:

2-s2.0-85116872442

Part of ISSN: 18770509
Contributors: Saleh, H.; Attakorah, J.A.; Zykov, S.; Legalov, A.
Source: Self-asserted source
Alexander Legalov via Scopus - Elsevier

Preface

CEUR Workshop Proceedings
2021 | Conference paper
EID:

2-s2.0-85109553995

Part of ISSN: 16130073
Contributors: Kovalev, I.; Semenkin, E.; Gulyaev, Y.; Barakaev, N.; Shaidurov, V.; Škraba, A.; Tsarev, R.; Legalov, A.; Saramud, M.; Grosspietsch, K.-E. et al.
Source: Self-asserted source
Alexander Legalov via Scopus - Elsevier

Dynamically Changing Parallelism with Asynchronous Sequential Data Flows

Automatic Control and Computer Sciences
2021-12 | Journal article
DOI: 10.3103/S0146411621070105
Contributors: A. I. Legalov; I. V. Matkovskii; M. S. Ushakova; D. S. Romanova
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

The System for Transforming the Code of Dataflow Programs into Imperative

Modeling and Analysis of Information Systems
2021-06-11 | Journal article
DOI: 10.18255/1818-1015-2021-2-198-214
Contributors: Vladimir S. Vasilev; Alexander I. Legalov; Sergey V. Zykov
Source: check_circle
Crossref

Asynchronous-streamed model for describing dynamically changing parallelism

CEUR Workshop Proceedings
2020 | Conference paper
EID:

2-s2.0-85090427216

Part of ISSN: 16130073
Contributors: Legalov, A.I.; Romanova, D.S.
Source: Self-asserted source
Alexander Legalov via Scopus - Elsevier

Control flow graphs optimization in intermediate representations of the functional dataflow parallel programming language

Science Bulletin of the Novosibirsk State Technical University
2020-12-18 | Journal article
DOI: 10.17212/1814-1196-2020-4-37-46
Contributors: Vladimir Vasilev; Alexander Legalov
Source: check_circle
Crossref

Dynamically Changing Parallelism with the Asynchronous Sequential Data Flows

Modeling and Analysis of Information Systems
2020-06-24 | Journal article
DOI: 10.18255/1818-1015-2020-2-164-179
Contributors: Alexander I. Legalov; Ivan V. Matkovskii; Mariya S. Ushakova; Darya S. Romanova
Source: check_circle
Crossref

Specifics of semantics of a statically typed language of functional and dataflow parallel programming

2019 | Conference paper
DOI: 10.20948/abrau-2019-08
Contributors: Alexander Ivanovich Legalov; Igor Alexandrovich Legalov; Ivan Vasilievich Matkovsky
Source: check_circle
Crossref

Loop-invariant Optimization in the Pifagor Language

Modeling and Analysis of Information Systems
2018-08-27 | Journal article
DOI: 10.18255/1818-1015-2018-4-347-357
Contributors: Vladimir S. Vasilev; Alexander I. Legalov
Source: check_circle
Crossref

Verification of Programs with Mutual Recursion in the Pifagor Language

Modeling and Analysis of Information Systems
2018-08-27 | Journal article
DOI: 10.18255/1818-1015-2018-4-358-381
Contributors: Mariya S. Ushakov; Alexander I. Legalov
Source: check_circle
Crossref

Brain's tumor image processing using shearlet transform

Proceedings of SPIE - The International Society for Optical Engineering
2017 | Conference paper
DOI: 10.1117/12.2272792
EID:

2-s2.0-85034788773

Part of ISSN: 1996756X 0277786X
Contributors: Cadena, L.; Espinosa, N.; Cadena, F.; Korneeva, A.; Kruglyakov, A.; Legalov, A.; Romanenko, A.; Zotin, A.
Source: Self-asserted source
Alexander Legalov via Scopus - Elsevier

Noise reduction techniques for processing of medical images

Lecture Notes in Engineering and Computer Science
2017 | Conference paper
EID:

2-s2.0-85041238863

Part of ISSN: 20780958
Contributors: Cadena, L.; Zotin, A.; Cadena, F.; Korneeva, A.; Legalov, A.; Morales, B.
Source: Self-asserted source
Alexander Legalov via Scopus - Elsevier

Application of numerical optimization methods to molecular docking on graphics processing units

Automatic Control and Computer Sciences
2016 | Journal article
DOI: 10.3103/S0146411616070051
EID:

2-s2.0-85010066587
Contributors: Farkov, M.A.; Legalov, A.I.
Source: Self-asserted source
Alexander Legalov via Scopus - Elsevier

Evolutionary software development using procedural-parametric programming

ACM International Conference Proceeding Series
2013 | Conference paper
DOI: 10.1145/2556610.2556619
EID:

2-s2.0-84894560559
Contributors: Legalov, A.; Kosov, P.
Source: Self-asserted source
Alexander Legalov via Scopus - Elsevier

Formal verification of programs in the functional data-flow parallel language

Automatic Control and Computer Sciences
2013 | Journal article
DOI: 10.3103/S0146411613070225
EID:

2-s2.0-84894609798
Contributors: Kropacheva, M.S.; Legalov, A.I.
Source: Self-asserted source
Alexander Legalov via Scopus - Elsevier

Formal verification of programs in the pifagor language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
DOI: 10.1007/978-3-642-39958-9-7
EID:

2-s2.0-84890030010
Contributors: Kropacheva, M.; Legalov, A.
Source: Self-asserted source
Alexander Legalov via Scopus - Elsevier

Tail recursion transformation in functional dataflow parallel programs

Automatic Control and Computer Sciences
2013 | Journal article
DOI: 10.3103/S0146411613070237
EID:

2-s2.0-84894610246
Contributors: Legalov, A.I.; Nepomnyaschy, O.V.; Matkovsky, I.V.; Kropacheva, M.S.
Source: Self-asserted source
Alexander Legalov via Scopus - Elsevier

Solution of large-scale problems of global optimization on the basis of parallel algorithms and cluster implementation of computing processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Book
DOI: 10.1007/978-3-642-03275-2_12
EID:

2-s2.0-70350505789

Part of ISSN: 03029743 16113349
Contributors: Koshur, V.; Kuzmin, D.; Legalov, A.; Pushkaryov, K.
Source: Self-asserted source
Alexander Legalov via Scopus - Elsevier

Protective laminar composites design optimisation using genetic algorithm and parallel processing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2003 | Book
EID:

2-s2.0-35248838945

Part of ISSN: 16113349 03029743
Contributors: Vishnevsky, M.A; Dmitrievich, K.V.; Legalov, A.I; Moiseevich, M.E.
Source: Self-asserted source
Alexander Legalov via Scopus - Elsevier
How many people are using ORCID?