E-LIB Suche - Ergebnisse für: Zaytsev, Vadim

1

Evaluation of the quality of life in patients with meningio..:

Shimanskiy, Vadim N. ; Sultanov, Ruslan A. ; Yusupova, Dzhamilya G....
N.N. Priorov Journal of Traumatology and Orthopedics. 31 (2024) 1 - p. 21-30 , 2024

Link: https://doi.org/10.17816..

2

Visual Assurance in Refactoring Through Trace Equivalence o..:

, In: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER),

Deknop, Celine ; Fabry, Johan ; Mens, Kim. - p. 835-839 , 2024

Link: https://doi.org/10.1109/..

3

Extending Refactoring Detection to Kotlin: A Dataset and Co..:

, In: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER),

Moghadam, Iman Hemati ; Afkhami, Mohammad Mehdi ; Kamalipour, Parsa. - p. 267-271 , 2024

Link: https://doi.org/10.1109/..

4

Microsurgical Clip Reconstruction of a True Posterior Commu..:

Dzhindzhikhadze, Revaz ; Gadzhiagaev, Vadim ; Zaytsev, Andrey...
World Neurosurgery. 185 (2024) - p. 149 , 2024

Link: https://doi.org/10.1016/..

5

The Limits of the Identifiable: Challenges in Python Versio..:

, In: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER),

Gerhold, Marcus ; Solovyeva, Lola ; Zaytsev, Vadim - p. 137-146 , 2024

Link: https://doi.org/10.1109/..

6

Deriving modernity signatures of codebases with static anal..:

Admiraal, Chris ; van den Brink, Wouter ; Gerhold, Marcus..
Journal of Systems and Software. 211 (2024) - p. 111973 , 2024

Link: https://doi.org/10.1016/..

7

Crossover: Towards Compiler-Enabled COBOL-C Interoperabilit:

, In: Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,

van Assen, Mart ; Ntagengerwa, Manzi Aimé ; Sayilir, Ömer. - p. 72-85 , 2023

Link: https://dl.acm.org/doi/1..

8

usethesource/rascal: v0.28.11:

Paul Klint ; Jurgen J. Vinju ; Davy Landman...
https://github.com/usethesource/rascal/tree/v0.28.11. , 2023

Link: https://zenodo.org/recor..

9

usethesource/rascal: v0.32.0:

Paul Klint ; Jurgen J. Vinju ; Davy Landman...
https://github.com/usethesource/rascal/tree/v0.32.0. , 2023

Link: https://zenodo.org/recor..

10

usethesource/rascal: v0.31.0:

Paul Klint ; Jurgen J. Vinju ; Davy Landman...
https://github.com/usethesource/rascal/tree/v0.31.0. , 2023

Link: https://zenodo.org/recor..

11

usethesource/rascal: v0.33.0:

Paul Klint ; Jurgen J. Vinju ; Davy Landman...
https://github.com/usethesource/rascal/tree/v0.33.0. , 2023

Link: https://zenodo.org/recor..

12

Modelling program verification tools for software engineers:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,

Lathouwers, Sophie ; Zaytsev, Vadim - p. 98-108 , 2022

Link: https://dl.acm.org/doi/1..

13

A refined model of ill-definedness in project-based learnin:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,

Rump, Arthur ; Zaytsev, Vadim - p. 115-122 , 2022

Link: https://dl.acm.org/doi/1..

14

Generating Customised Control Flow Graphs for Legacy Langua..:

, In: 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME),

Deknop, Celine ; Fabry, Johan ; Mens, Kim. - p. 523-532 , 2022

Link: https://doi.org/10.1109/..

15

Secondary Pollution of the Urban Atmosphere by Motor Transp..:

, In: Society 5.0: Human-Centered Society Challenges and Solutions; Studies in Systems, Decision and Control,

Zaytsev, Vadim A. - p. 253-263 , 2022

Link: https://doi.org/10.1007/..