| An efficient unification algorithm A Martelli, U Montanari ACM Transactions on Programming Languages and Systems (TOPLAS) 4 (2), 258-282, 1982 | 1441 | 1982 |
| An application of heuristic search methods to edge and contour detection A Martelli Communications of the ACM 19 (2), 73-83, 1976 | 424 | 1976 |
| Measurement of jet fragmentation in PbPb and collisions at TeV S Chatrchyan, V Khachatryan, AM Sirunyan, A Tumasyan, W Adam, ... Physical Review C 90 (2), 024908, 2014 | 405 | 2014 |
| Performance of reconstruction and identification of tau leptons decaying to hadrons and nu (tau) in pp collisions at√ s= 13 TeV AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, E Asilar, T Bergauer, ... Journal of Instrumentation 13, 2018 | 330 | 2018 |
| Search for direct pair production of scalar top quarks in the single- and dilepton channels in proton-proton collisions at s = 8 TeV V Khachatryan, AM Sirunyan, A Tumasyan, W Adam, E Asilar, T Bergauer, ... Journal of High Energy Physics 2016 (7), 1-49, 2016 | 289* | 2016 |
| Edge detection using heuristic search methods A Martelli Computer graphics and image processing 1 (2), 169-182, 1972 | 269 | 1972 |
| Optimizing decision trees through heuristically guided search A Martelli, U Montanari Communications of the ACM 21 (12), 1025-1039, 1978 | 227 | 1978 |
| On the complexity of admissible search algorithms A Martelli Artificial Intelligence 8 (1), 1-13, 1977 | 201 | 1977 |
| Search for supersymmetry in final states with missing transverse energy and 0, 1, 2, or≥ 3 b-quark jets in 7 TeV pp collisions using the variable α T S Chatrchyan, V Khachatryan, AM Sirunyan, A Tumasyan, W Adam, ... Journal of High Energy Physics 2013 (1), 1-40, 2013 | 172 | 2013 |
| Measurement of the cross section ratio sigma (t t-bar b b-bar)/sigma (t t-bar jj) in pp collisions at sqrt (s)= 8 TeV CMS collaboration arXiv preprint arXiv:1411.5621, 2014 | 163 | 2014 |
| Measurement of jet substructure observables in events from proton-proton collisions at 13TeV CMS collaboration arXiv preprint arXiv:1808.07340, 2018 | 125* | 2018 |
| Verifying the conformance of web services to global interaction protocols: A first step M Baldoni, C Baroglio, A Martelli, V Patti, C Schifanella European Workshop on Performance Engineering, 257-271, 2005 | 121 | 2005 |
| Search for a heavy resonance decaying into a Z boson and a vector boson in the final state CMS collaboration arXiv preprint arXiv:1803.03838, 2018 | 111 | 2018 |
| Search for decays of stopped exotic long-lived particles produced in proton-proton collisions at s = 13 TeV AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, E Asilar, T Bergauer, ... Journal of High Energy Physics 2018 (5), 1-47, 2018 | 97 | 2018 |
| Unification in linear time and space: A structured presentation A Martelli, U Montanari Istituto di Elaborazione della Informazione, Consiglio Nazionale delle Ricerche, 1976 | 87 | 1976 |
| Specifying and verifying interaction protocols in a temporal action logic L Giordano, A Martelli, C Schwind Journal of Applied Logic 5 (2), 214-234, 2007 | 85 | 2007 |
| An algorithm for unification in equational theories A Martelli, C Moiso, G Rossi Proceedings of the 1986 Symposium on Logic Programming, 180-186, 1986 | 85 | 1986 |
| A tableau calculus for multimodal logics and some (un) decidability results M Baldoni, L Giordano, A Martelli Automated Reasoning with Analytic Tableaux and Related Methods …, 1998 | 74 | 1998 |
| Evidence for electroweak production of four charged leptons and two jets in proton-proton collisions at s= 13TeV AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, T Bergauer, ... Physics Letters B 812, 135992, 2021 | 72 | 2021 |
| Ramification and causality in a modal action logic L Giordano, A Martelli, C Schwind Journal of logic and computation 10 (5), 625-662, 2000 | 71 | 2000 |
