Oleksandr Maksymets
Oleksandr Maksymets
Facebook AI Research, Ph.D. in Computer Science
Verified email at fb.com - Homepage
Title
Cited by
Cited by
Year
Habitat: A platform for embodied ai research
M Savva, A Kadian, O Maksymets, Y Zhao, E Wijmans, B Jain, J Straub, ...
Proceedings of the IEEE/CVF International Conference on Computer Vision …, 2019
3232019
Embodied question answering in photorealistic environments with point cloud perception
E Wijmans, S Datta, O Maksymets, A Das, G Gkioxari, S Lee, I Essa, ...
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2019
492019
Objectnav revisited: On evaluation of embodied agents navigating to objects
D Batra, A Gokaslan, A Kembhavi, O Maksymets, R Mottaghi, M Savva, ...
arXiv preprint arXiv:2006.13171, 2020
232020
Integrating Egocentric Localization for More Realistic Point-Goal Navigation Agents
S Datta, O Maksymets, J Hoffman, S Lee, D Batra, D Parikh
arXiv preprint arXiv:2009.03231, 2020
62020
Searching Online Social Networks Using Entity-based Embeddings
K Subbian, H Wang, O Maksymets
US Patent App. 15/782,475, 2019
42019
Habitat 2.0: Training Home Assistants to Rearrange their Habitat
A Szot, A Clegg, E Undersander, E Wijmans, Y Zhao, J Turner, N Maestre, ...
arXiv preprint arXiv:2106.14405, 2021
22021
Program verification: State of the art, problems, and results. I
SL Kryvyi, OM Maksymets
Cybernetics and Systems Analysis 49 (6), 805-814, 2013
22013
Application of minimization algorithm for finite acyclic automata in finding condition’s basis for program invariant search
OM Maksymets
Proceedings of International Conference on Theoretical and Applied Aspects …, 2011
22011
Program invariant generation over polynomial ring using iterative methods
SL Kryvyi, OM Maksymets
Intern. J.“Information Theories & Applications 20, 113-121, 1993
21993
Memory-Augmented Reinforcement Learning for Image-Goal Navigation
L Mezghani, S Sukhbaatar, T Lavril, O Maksymets, D Batra, P Bojanowski, ...
arXiv preprint arXiv:2101.05181, 2021
12021
Automating the Conversion of Colored Petri Nets with Qualitative Tokens Into Colored Petri Nets with Quantitative Tokens
DK Hlomozda, MM Glybovets, OM Maksymets
Cybernetics and Systems Analysis 54 (4), 650-661, 2018
12018
Верификация программ: состояние, проблемы, экспериментальные результаты. I
АН Максимец
Проблеми програмування, 2013
12013
Habitat-Matterport 3D Dataset: 1000 Large-scale 3D Environments for Embodied AI
SK Ramakrishnan, A Gokaslan, E Wijmans, O Maksymets, A Clegg, ...
2021
Robust Visual Odometry for Realistic PointGoal Navigation
R Partsey, O Dobosevych, O Maksymets
Ukrainian Catholic University, 2021
2021
Search for invariants of UY-programs by an interactive algorithm over completely free data algebras
OM Maksymets
PROBLEMS IN PROGRAMMING, 2015
2015
Algebraic automata analysis methods of procedural programs and reactive systems
O Maksymets
Taras Shevchenko National University of Kyiv, 2014
2014
Разработка и обоснование алгоритмов на основе семантических свойств
СЛ Крывый, АН Максимец
Проблеми програмування, 151-159, 2014
2014
Program Verification: State of the Art, Problems, and Results. II1
SL Kryvyi, OM Maksymets
Cybernetics and Systems Analysis 50 (1), 8-16, 2014
2014
Program polynomial invariants generation.
MOM Kryvyi S.L.
Material 11-th International Scientific Conference "AVIA 2013" 1, 14-17, 2013
2013
Formal verification methods based on Petri nets.
OMM S.L. Kryvyi
Materials of 10th International Scientific Conference "Theoretical and …, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20