Alexander Fedotov

According to our database, Alexander Fedotov authored at least 5 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Genomic considerations for FHIR®; eMERGE implementation lessons.

Mullai Murugan, Lawrence J. Babb, Casey Overby Taylor, Luke V. Rasmussen, Robert R. Freimuth, Eric Venner, Fei Yan, Victoria Yi, Stephen J. Granite, Hana Zouk, Samuel J. Aronson, Kevin Power, Alexander Fedotov, David R. Crosslin, David Fasel, Gail P. Jarvik, Hakon Hakonarson, Hana Bangash, Iftikhar J. Kullo, John J. Connolly, Jordan G. Nestor, Pedro J. Caraballo, Wei-Qi Wei, Ken Wiley, Heidi L. Rehm, Richard A. Gibbs

J. Biomed. Informatics, 2021

2020

Effective System Level Liveness Verification.

Alexander Fedotov, Jeroen J. A. Keiren, Julien Schmaltz

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

The Complex WKB Method for Difference Equations and Airy Functions.

Alexander Fedotov, Frédéric Klopp

SIAM J. Math. Anal., 2019

2018

Dangerous Situation Prediction and Driving Statistics Accumulation Using Smartphone.

Alexey M. Kashevnik, Alexander Fedotov, Igor Lashkov

Proceedings of the 9th IEEE International Conference on Intelligent Systems, 2018

Automatic generation of hardware checkers from formal micro-architectural specifications.

Alexander Fedotov, Julien Schmaltz

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018