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 International Conference on Computer Vision, 9339-9347, 2019
912019
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 Conference on Computer Vision and Pattern, 2019
182019
Zhao
M Savva, A Kadian, O Maksymets
Y., Wijmans, E., Jain, B., Straub, J., Liu, J., Koltun, V., Malik, J, 2019
62019
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 conditions 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
: , , . I
, 2013
12013
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
2020
Searching Online Social Networks Using Entity-based Embeddings
K Subbian, H Wang, O Maksymets
US Patent App. 15/782,475, 2019
2019
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
2018
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
Software verification applications using machine learning.
O Maksymets
Materials of the 8th international scientific conference of young scientists, 2013
2013
Analysis of the properties of Petri nets
KSL Maksymets O.M.
Bulletin of Kyiv National Taras Shevchenko University, Series of Physical, 2013
2013
UY-
, 2012
2012
Iterative algorithm for generating invariants programs of absolutely free algebras
O Maksymets
Seventh All-Ukrainian conference "Scientific research: the theoretical way, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20