An efficient unification algorithm A Martelli, U Montanari
ACM Transactions on Programming Languages and Systems (TOPLAS) 4 (2), 258-282, 1982
1490 1982 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
502 2018 An application of heuristic search methods to edge and contour detection A Martelli
Communications of the ACM 19 (2), 73-83, 1976
429 1976 Measurement of jet fragmentation in PbPb and S Chatrchyan, V Khachatryan, AM Sirunyan, A Tumasyan, W Adam, ...
Physical Review C 90 (2), 024908, 2014
425 * 2014 Search for a massive resonance decaying into a Higgs boson and a W or Z boson in hadronic final states in proton-proton collisions at V Khachatryan, AM Sirunyan, A Tumasyan, W Adam, E Asilar, T Bergauer, ...
Journal of High Energy Physics 2016 (2), 1-42, 2016
355 * 2016 Edge detection using heuristic search methods A Martelli
Computer graphics and image processing 1 (2), 169-182, 1972
273 1972 Optimizing decision trees through heuristically guided search A Martelli, U Montanari
Communications of the ACM 21 (12), 1025-1039, 1978
238 1978 On the complexity of admissible search algorithms A Martelli
Artificial Intelligence 8 (1), 1-13, 1977
215 1977 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
169 2014 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
169 2013 Measurement of jet substructure observables in CMS collaboration
arXiv preprint arXiv:1808.07340, 2018
152 * 2018 Suppression of V Khachatryan, AM Sirunyan, A Tumasyan, W Adam, E Aşılar, T Bergauer, ...
arXiv preprint arXiv:1611.01510 770, 357-379, 2017
138 2017 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
125 2005 Search for Z′ resonances decaying to tt in dilepton+ jets final states in pp collisions at√ s= 7 TeV CMS collaboration
Physical Review D 87 (7), 072002, 2013
124 * 2013 Search for a heavy resonance decaying into a Z boson and a vector boson in the CMS collaboration
arXiv preprint arXiv:1803.03838, 2018
118 2018 Evidence for electroweak production of four charged leptons and two jets in proton-proton collisions at CMS collaboration
arXiv preprint arXiv:2008.07013, 2020
115 * 2020 Search for decays of stopped exotic long-lived particles produced in proton-proton collisions at AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, E Asilar, T Bergauer, ...
Journal of high energy physics 2018 (5), 1-47, 2018
110 2018 ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES A Martelli, C Moiso, GF Rossi
TECHNICAL REPORTS-CSELT 14 (6), 459-465, 1986
87 1986 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
83 2007 