A
A. Fedotov
Publications - 5
Citations - 1685
A. Fedotov is an academic researcher. The author has contributed to research in topics: Computer science & UniProt. The author has an hindex of 2, co-authored 2 publications receiving 1673 citations.
Papers
More filters
The Universal Protein Resource (UniProt) in 2010
Rolf Apweiler,Maria Jesus Martin,Claire O'Donovan,Michele Magrane,Yasmin Alam-Faruque,Ricardo Antunes,Daniel Barrell,Benoit Bely,M Bingley,David Binns,Lynette Bower,Paul Browne,WM Chan,E. Dimmer,Ruth Y. Eberhardt,A. Fedotov,Rebecca E. Foulger,John S. Garavelli,Rachael P. Huntley,Julius O.B. Jacobsen,M. Kleen,Kati Laiho,Rasko Leinonen,Duncan Legge,Quan Lin,W Liu,Jie Luo,Sandra Orchard,Samuel Patient,Diego Poggioli,Manuela Pruess,Matthew Corbett,G di Martino,M Donnelly,P van Rensburg,Amos Marc Bairoch,Lydie Bougueleret,Ioannis Xenarios,S Altairac,Andrea H. Auchincloss,Ghislaine Argoud-Puy,Kristian B. Axelsen,Delphine Baratin,M. C. Blatter,Brigitte Boeckmann,Jerven Bolleman,L. Bollondi,Emmanuel Boutet,SB Quintaje,Lionel Breuza,Alan Bridge,E. Decastro,L Ciapina,D Coral,Elisabeth Coudert,Isabelle Cusin,G Delbard,M Doche,Dolnide Dornevil,Paula Duek Roggli,Séverine Duvaud,Anne Estreicher,L Famiglietti,M Feuermann,Sebastien Gehant,N. Farriol-Mathis,Serenella Ferro,Elisabeth Gasteiger,Alain Gateau,Gerritsen,Arnaud Gos,Nadine Gruaz-Gumowski,Ursula Hinz,Chantal Hulo,Nicolas Hulo,J. James,S. Jimenez,Florence Jungo,T. Kappler,Guillaume Keller,Corinne Lachaize,L Lane-Guermonprez,Petra S. Langendijk-Genevaux,Lara,P Lemercier,Damien Lieberherr,Tdo Lima,Mangold,Xavier D. Martin,Patrick Masson,M. Moinat,Anne Morgat,Anaïs Mottaz,Salvo Paesano,Ivo Pedruzzi,Sandrine Pilbout,Pillet,Sylvain Poux,Monica Pozzato,Nicole Redaschi,Catherine Rivoire,Bernd Roechert,Maria Victoria Schneider,Christian J. A. Sigrist,K Sonesson,S Staehli,Eleanor J Stanley,Andre Stutz,Shyamala Sundaram,Michael Tognolli,Laure Verbregue,A-L Veuthey,L Yip,L Zuletta,Cathy H. Wu,Cecilia N. Arighi,Leslie Arminski,Winona C. Barker,Chuming Chen,Yingfei Chen,Z-Z Hu,Hongzhan Huang,Raja Mazumder,Peter B. McGarvey,Darren A. Natale,Jules Nchoutmboube,Natalia V. Petrova,N Subramanian,Baris E. Suzek,U. Ugochukwu,Sona Vasudevan,C. R. Vinayaka,LS Yeh,Jian Zhang +133 more
Journal ArticleDOI
Ongoing and future developments at the Universal Protein Resource
Anne Morgat,Rolf Apweiler,Maria Jesus Martin,Claire O'Donovan,Michele Magrane,Yasmin Alam-Faruque,Ricardo Antunes,Daniel Barrell,Benoit Bely,M Bingley,David Binns,Lynette Bower,Paul Browne,Chan Wm,E. Dimmer,Ruth Y. Eberhardt,F. Fazzini,A. Fedotov,Rebecca E. Foulger,John S. Garavelli,Castro Lg,Rachael P. Huntley,Julius O.B. Jacobsen,M. Kleen,Kati Laiho,Duncan Legge,Quan Lin,W Liu,Jie Luo,Sandra Orchard,S. Patient,Klemens Pichler,Diego Poggioli,Nikolas Pontikos,Manuela Pruess,Steven Rosanoff,Tony Sawford,H. Sehra,Edward Turner,M. Corbett,M Donnelly,Van Rensburg P,Ioannis Xenarios,Lydie Bougueleret,Andrea H. Auchincloss,Ghislaine Argoud-Puy,Kristian B. Axelsen,Amos Marc Bairoch,Delphine Baratin,Blatter Mc,Brigitte Boeckmann,Jerven Bolleman,L. Bollondi,Emmanuel Boutet,Quintaje Sb,Lionel Breuza,Alan Bridge,E. Decastro,Elisabeth Coudert,Isabelle Cusin,M Doche,Dolnide Dornevil,Séverine Duvaud,Anne Estreicher,L Famiglietti,M Feuermann,Sebastien Gehant,Serenella Ferro,Elisabeth Gasteiger,Alain Gateau,Vivienne Baillie Gerritsen,Arnaud Gos,Nadine Gruaz-Gumowski,Ursula Hinz,Chantal Hulo,Nicolas Hulo,J. James,S. Jimenez,Florence Jungo,T. Kappler,Guillaume Keller,Vicente Lara,P Lemercier,Damien Lieberherr,Xavier D. Martin,Patrick Masson,M. Moinat,Salvo Paesano,Ivo Pedruzzi,Sandrine Pilbout,Sylvain Poux,Monica Pozzato,Nicole Redaschi,Catherine Rivoire,Bernd Roechert,Maria Victoria Schneider,Christian J. A. Sigrist,K Sonesson,S Staehli,E. Stanley,Andre Stutz,Shyamala Sundaram,Michael Tognolli,Laure Verbregue,Veuthey Al,Wu Ch,Arighi Cn,Leslie Arminski,Barker Wc,Chuming Chen,Yongxing Chen,P. Dubey,He Huang,Raja Mazumder,Peter B. McGarvey,Natale Da,Natarajan Tg,J. Nchoutmboube,Roberts Nv,Suzek Be,U. Ugochukwu,Vinayaka Cr,Qiang Wang,Yuqi Wang,Yeh Ls,Jian Zhang +125 more
TL;DR: The primary mission of Universal Protein Resource (UniProt) is to support biological research by maintaining a stable, comprehensive, fully classified, richly and accurately annotated protein sequence knowledgebase, with extensive cross-references and querying interfaces freely accessible to the scientific community.
Journal ArticleDOI
Strong Optimistic Solving for Dynamic Symbolic Execution
TL;DR: This work proposes strong optimistic solving method that eliminates irrelevant path predicate constraints for target branch inversion and separately handle symbolic branches that have nested control transfer instructions that pass control beyond the parent branch scope.
Journal ArticleDOI
Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle
A. V. Vishnyakov,D. Kuts,V.V. Logunova,Darya Parygina,Elissa Kobrin,Georgy Savidov,A. Fedotov +6 more
TL;DR: Sydr-Fuzz as discussed by the authors is a hybrid fuzzer that combines hybrid fuzzing with dynamic analysis frameworks for continuous testing to ensure software safety and satisfy the security development lifecycle requirements.
Journal ArticleDOI
Error detection in binary code with dynamic symbolic execution
TL;DR: This paper proposes a method for automatically detecting errors with the help of dynamic symbolic execution, combining hybrid fuzzing and checking security predicates, and found 11 new different errors in 5 projects.