No photo of Eran Yahav

View Scopus Profile

Eran Yahav

Prof.

 https://orcid.org/0000-0003-4305-6314
    Calculated based on number of publications stored in Pure and citations from Scopus
    1996 …2023

    Research activity per year

    Filter
    Conference contribution

    Search results

    • 2023

      On the Expressivity Role of LayerNorm in Transformers' Attention

      Brody, S., Alon, U. & Yahav, E., 2023, Findings of the Association for Computational Linguistics, ACL 2023. p. 14211-14221 11 p. (Proceedings of the Annual Meeting of the Association for Computational Linguistics).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      2 Scopus citations
    • 2021

      Thinking Like Transformers

      Weiss, G., Goldberg, Y. & Yahav, E., 2021, Proceedings of the 38th International Conference on Machine Learning, ICML 2021. p. 11080-11090 11 p. (Proceedings of Machine Learning Research; vol. 139).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      10 Scopus citations

    • Thinking Like Transformers

      Weiss, G., Goldberg, Y. & Yahav, E., 1 Jun 2021, Proceedings of the 38th International Conference on Machine Learning. Meila, M. & Zhang, T. (eds.). Vol. 139. p. 11080-11090 11 p. (Proceedings of Machine Learning Research).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2020

      A formal hierarchy of RNN architectures

      Merrill, W., Weiss, G., Goldberg, Y., Schwartz, R., Smith, N. A. & Yahav, E., 2020, ACL 2020 - 58th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference. p. 443-459 17 p. (Proceedings of the Annual Meeting of the Association for Computational Linguistics).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      20 Scopus citations

    • A Formal Hierarchy of RNN Architectures

      Merrill, W., Weiss, G., Goldberg, Y., Schwartz, R., Smith, N. A. & Yahav, E., 2020, Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, ACL 2020, Online, July 5-10, 2020. Jurafsky, D., Chai, J., Schluter, N. & Tetreault, J. R. (eds.). p. 443-459 17 p.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Neural Edit Completion

      Brody, S., Alon, U. & Yahav, E., 2020, OOPSLA'20: Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Structural language models of code

      Alon, U., Sadaka, R., Levy, O. & Yahav, E., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). p. 222-233 12 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-1).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      33 Scopus citations
    • 2019

      From typestate verification to interpretable deep models (invited talk abstract)

      Yahav, E., Fink, S. J., Dor, N., Ramalingam, G. & Geay, E., 10 Jul 2019, ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Zhang, D. & Moller, A. (eds.). p. 4-5 2 p. (ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2018

      A general path-based representation for predicting program properties

      Alon, U., Zilberstein, M., Levy, O. & Yahav, E., 11 Jun 2018, PLDI 2018 - Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. Foster, J. S., Grossman, D. & Foster, J. S. (eds.). p. 404-419 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      80 Scopus citations

    • Extracting automata from recurrent neural networks using queries and counterexamples

      Weiss, G., Goldberg, Y. & Yahav, E., 2018, 35th International Conference on Machine Learning, ICML 2018. Dy, J. & Krause, A. (eds.). p. 8340-8349 10 p. (35th International Conference on Machine Learning, ICML 2018; vol. 12).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      37 Scopus citations

    • From programs to interpretable deep models and back

      Yahav, E., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). p. 27-37 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10981 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      5 Scopus citations

    • On the practical computational power of finite precision RNNs for language recognition

      Weiss, G., Goldberg, Y. & Yahav, E., 2018, ACL 2018 - 56th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference (Short Papers). p. 740-745 6 p. (ACL 2018 - 56th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference (Long Papers); vol. 2).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      130 Scopus citations

    • Practical concurrent traversals in search trees

      Drachsler-Cohen, D., Vechev, M. & Yahav, E., 10 Feb 2018, PPoPP 2018 - Proceedings of the 23rd Principles and Practice of Parallel Programming. p. 207-218 12 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      2 Scopus citations

    • Statistical reconstruction of class hierarchies in binaries

      Katz, O., Rinetzky, N. & Yahav, E., 19 Mar 2018, ASPLOS 2018 - 23rd International Conference on Architectural Support for Programming Languages and Operating Systems. p. 363-376 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      11 Scopus citations

    • Supplementary material - Extracting automata from recurrent neural networks using queries and counterexamples

      Weiss, G., Goldberg, Y. & Yahav, E., 2018, 35th International Conference on Machine Learning, ICML 2018. Dy, J. & Krause, A. (eds.). p. 8350-8357 8 p. (35th International Conference on Machine Learning, ICML 2018; vol. 12).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • 2017

      Learning Disjunctions of Predicates

      Bshouty, N. H., Drachsler-Cohen, D., Vechev, M. & Yahav, E., 1 Jul 2017, Proceedings of the 2017 Conference on Learning Theory. Kale, S. & Shamir, O. (eds.). Vol. 65. p. 346-369 24 p. (Proceedings of Machine Learning Research).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Similarity of Binaries through re-Optimization

      David, Y., Partush, N. & Yahav, E., 14 Jun 2017, PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Cohen, A. & Vechev, M. (eds.). p. 79-94 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. Part F128414).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      48 Scopus citations

    • Synthesis of forgiving data extractors

      Omari, A., Shoham, S. & Yahav, E., 2 Feb 2017, WSDM 2017 - Proceedings of the 10th ACM International Conference on Web Search and Data Mining. p. 385-394 10 p. (WSDM 2017 - Proceedings of the 10th ACM International Conference on Web Search and Data Mining).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      11 Scopus citations

    • Synthesis with abstract examples

      Drachsler-Cohen, D., Shoham, S. & Yahav, E., 2017, Computer Aided Verification - 29th International Conference, CAV 2017, Proceedings. Kuncak, V. & Majumdar, R. (eds.). p. 254-278 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10426 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      16 Scopus citations
    • 2016

      D3: Data-driven disjunctive abstraction

      Peleg, H., Shoham, S. & Yahav, E., 2016, Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, Proceedings. Rustan, K., Leino, M. & Jobstmann, B. (eds.). p. 185-205 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9583).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      4 Scopus citations

    • Estimating types in binaries using predictive modeling

      Katz, O., El-Yaniv, R. & Yahav, E., 11 Jan 2016, POPL 2016 - Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Majumdar, R. & Bodik, R. (eds.). p. 313-326 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages; vol. 20-22-January-2016).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      20 Scopus citations

    • Extracting code from programming tutorial videos

      Yadid, S. & Yahav, E., 20 Oct 2016, Onward! 2016 - Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. Visser, E., Murphy-Hill, E. & Lopes, C. (eds.). p. 98-111 14 p. (Onward! 2016 - Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      37 Scopus citations

    • Leveraging a corpus of natural language descriptions for program similarity

      Zilberstein, M. & Yahav, E., 20 Oct 2016, Onward! 2016 - Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. Visser, E., Murphy-Hill, E. & Lopes, C. (eds.). p. 197-211 15 p. (Onward! 2016 - Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      14 Scopus citations

    • Lossless separation of web pages into layout code and data

      Omari, A., Kimelfeld, B., Yahav, E. & Shoham, S., 13 Aug 2016, KDD 2016 - Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. p. 1805-1814 10 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining; vol. 13-17-August-2016).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      7 Scopus citations

    • Pattern-based synthesis of synchronization for the C++ memory model

      Meshman, Y., Rinetzky, N. & Yahav, E., 11 Aug 2016, Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015. Kaivola, R. & Wahl, T. (eds.). p. 120-127 8 p. 7542261. (Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      9 Scopus citations
    • 2015

      Automatic scalable atomicity via semantic locking

      Golan-Gueta, G., Ramalingam, G., Sagiv, M. & Yahav, E., 24 Jan 2015, 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 - Proceedings. p. 31-41 11 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP; vol. 2015-January).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      13 Scopus citations

    • Effective abstractions for verification under relaxed memory models

      Dan, A., Meshman, Y., Vechev, M. & Yahav, E., 2015, Verification, Model Checking and Abstract Interpretation - 16th International Conference, VMCAI 2015, Proceedings. D’Souza, D., Lal, A. & Larsen, K. G. (eds.). p. 449-466 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8931).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      21 Scopus citations

    • Programming with “big code”

      Yahav, E., 2015, Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Proceedings. Park, S. & Feng, X. (eds.). p. 3-8 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9458).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      5 Scopus citations
    • 2014

      Abstract semantic differencing via speculative correlation

      Partush, N. & Yahav, E., 15 Oct 2014, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA. p. 811-828 18 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      24 Scopus citations

    • Automatic semantic locking

      Golan-Gueta, G., Ramalingam, G., Sagiv, M. & Yahav, E., 2014, PPoPP 2014 - Proceedings of the 2014 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. p. 385-386 2 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Code Similarity via Natural Language Descriptions

      Sinai, M. B. & Yahav, E., 2014, OBT'15: POPL Off the Beaten Track.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    • Practical concurrent binary search trees via logical ordering

      Drachsler, D., Vechev, M. & Eran, Y., Aug 2014, PPoPP 2014 - Proceedings of the 2014 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. 8 ed. Vol. 49. p. 343-356 14 p. (ACM SIGPLAN Notices).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      50 Scopus citations

    • Tracelet-based code search in executables

      David, Y. & Yahav, E., 2014, PLDI 2014 - Proceedings of the 2014 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 349-360 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      141 Scopus citations

    • Verifying atomicity via data independence

      Shacham, O., Yahav, E., Golan-Gueta, G., Aiken, A., Bronson, N., Sagiv, M. & Vechev, M., 21 Jul 2014, 2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings. p. 26-36 11 p. (2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      13 Scopus citations
    • 2013

      Automatic synthesis of deterministic concurrency

      Raychev, V., Vechev, M. & Yahav, E., 2013, Static Analysis - 20th International Symposium, SAS 2013, Proceedings. p. 283-303 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7935 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      11 Scopus citations

    • Concurrent libraries with foresight

      Golan-Gueta, G., Ramalingam, G., Sagiv, M. & Yahav, E., 2013, PLDI 2013 - Proceedings of the 2013 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 263-273 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      19 Scopus citations

    • Finding rare numerical stability errors in concurrent computations

      Chockler, H., Even, K. & Yahav, E., 2013, 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings. p. 12-22 11 p. (2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      1 Scopus citations

    • Predicate abstraction for relaxed memory models

      Dan, A. M., Meshman, Y., Vechev, M. & Yahav, E., 2013, Static Analysis - 20th International Symposium, SAS 2013, Proceedings. p. 84-104 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7935 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      30 Scopus citations

    • Symbolic automata for static specification mining

      Peleg, H., Shoham, S., Yahav, E. & Yang, H., 2013, Static Analysis - 20th International Symposium, SAS 2013, Proceedings. p. 63-83 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7935 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      8 Scopus citations
    • 2012

      Dynamic synthesis for relaxed memory models

      Liu, F., Nedev, N., Prisadnikov, N., Vechev, M. & Yahav, E., 2012, PLDI'12 - Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 429-439 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      43 Scopus citations

    • Scalable and precise dynamic datarace detection for structured parallelism

      Raman, R., Zhao, J., Sarkar, V., Vechev, M. & Yahav, E., 2012, PLDI'12 - Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 531-542 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      81 Scopus citations
    • 2011

      Asynchronous assertions

      Aftandilian, E. E., Guyer, S. Z., Vechev, M. & Yahav, E., 2011, OOPSLA'11 - Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications. p. 275-288 14 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      5 Scopus citations

    • Automatic fine-grain locking using shape properties

      Golan-Gueta, G., Bronson, N., Alex, A., Ramalingam, G., Sagiv, M. & Yahav, E., 2011, OOPSLA'11 - Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications. p. 225-241 17 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      17 Scopus citations

    • Partial-coherence abstractions for relaxed memory models

      Kuperstein, M., Vechev, M. & Yahav, E., 2011, PLDI'11 - Proceedings of the 2011 ACM Conference on Programming Language Design and Implementation. p. 187-198 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      60 Scopus citations

    • Sprint: Speculative prefetching of remote data

      Raman, A., Yorsh, G., Vechev, M. & Yahav, E., 2011, OOPSLA'11 - Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications. p. 259-273 15 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      4 Scopus citations

    • Testing atomicity of composed concurrent operations

      Shacham, O., Bronson, N., Aiken, A., Sagiv, M., Vechev, M. & Yahav, E., 2011, OOPSLA'11 - Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications. p. 51-64 14 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      51 Scopus citations
    • 2010

      Abstraction-guided synthesis of synchronization

      Vechev, M., Yahav, E. & Yorsh, G., 2010, POPL'10 - Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 327-338 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      69 Scopus citations

    • Automatic inference of memory fences

      Kuperstein, M., Vechev, M. & Yahav, E., 2010, Formal Methods in Computer Aided Design, FMCAD 2010. p. 111-119 9 p. 5770939. (Formal Methods in Computer Aided Design, FMCAD 2010).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      69 Scopus citations

    • Automatic verification of determinism for structured parallel programs

      Vechev, M., Yahav, E., Raman, R. & Sarkar, V., 2010, Static Analysis - 17th International Symposium, SAS 2010, Proceedings. p. 455-471 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6337 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access
      22 Scopus citations

    • Efficient data race detection for async-finish parallelism

      Raman, R., Zhao, J., Sarkar, V., Vechev, M. & Yahav, E., 2010, Runtime Verification - First International Conference, RV 2010, Proceedings. p. 368-383 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6418 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      54 Scopus citations