Alexey Loginov

发表

Thomas Reps, Mooly Sagiv, Alexey Loginov, 2004 .
Matt Noonan, Eric Schulte, Alexey Loginov, 2018 .
Paul Anderson, Alexey Loginov, 2013, 2013 IEEE International Conference on Technologies for Homeland Security (HST).
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov, 2010, TOPL.
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov, 2005, CAV.
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Bertrand Jeannet, Thomas W. Reps, Shmuel Sagiv, 2004, SAS.
Thomas Reps, Mooly Sagiv, Alexey Loginov, 2004 .
Jong-Deok Choi, Vivek Sarkar, Alexey Loginov, 2001 .
Jong-Deok Choi, Vivek Sarkar, Manu Sridharan, 2002, PLDI '02.
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov, 2006, SAS.
Alexey Loginov, Matthew Noonan, David Cok, 2016, PLDI.
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov, 2003, ESOP.
Bertrand Jeannet, Thomas W. Reps, Shmuel Sagiv, 2004, TOPL.
Thomas W. Reps, Susan Horwitz, Suan Hsi Yong, 2001, FASE.
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov, 2006, Program Analysis and Compilation.
David Melski, Ducson Nguyen, Denis Gopan, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Eran Yahav, Mangala Gowri Nanda, Noam Rinetzky, 2008, ISSTA '08.
Eran Yahav, Noam Rinetzky, Roman Manevich, 2005, VSTTE.