Follow
Alberto Martelli
Alberto Martelli
professore di informatica UniversitÓ di Torino
Verified email at unito.it
Title
Cited by
Cited by
Year
An efficient unification algorithm
A Martelli, U Montanari
ACM Transactions on Programming Languages and Systems (TOPLAS) 4 (2), 258-282, 1982
13771982
An application of heuristic search methods to edge and contour detection
A Martelli
Communications of the ACM 19 (2), 73-83, 1976
4101976
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
3562014
Edge detection using heuristic search methods
A Martelli
Computer graphics and image processing 1 (2), 169-182, 1972
2571972
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, ...
2542018
Optimizing decision trees through heuristically guided search
A Martelli, U Montanari
Communications of the ACM 21 (12), 1025-1039, 1978
2271978
On the complexity of admissible search algorithms
A Martelli
Artificial Intelligence 8 (1), 1-13, 1977
1901977
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
1622013
Search for the associated production of a Higgs boson with a single top quark 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 (6), 1-48, 2016
146*2016
Verifying the conformance of web services to global interaction protocols: A first step
M Baldoni, C Baroglio, A Martelli, V Patti, C Schifanella
Formal Techniques for Computer Systems and Business Processes, 257-271, 2005
1212005
Unification in linear time and space: A structured presentation
A Martelli, U Montanari
Istituto di Elaborazione della Informazione, Consiglio Nazionale delle Ricerche, 1976
841976
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
832007
An algorithm for unification in equational theories
A Martelli
Third Conference on Logic Programming, Utah, 1986
821986
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
792018
A tableau calculus for multimodal logics and some (un) decidability results
M Baldoni, L Giordano, A Martelli
International Conference on Automated Reasoning with Analytic Tableaux andá…, 1998
731998
Ramification and causality in a modal action logic
L Giordano, A Martelli, C Schwind
Journal of logic and computation 10 (5), 625-662, 2000
712000
A priori conformance verification for guaranteeing interoperability in open environments
M Baldoni, C Baroglio, A Martelli, V Patti
International Conference on Service-Oriented Computing, 339-351, 2006
672006
Dynamic programming as graph searching: An algebraic approach
S Gnesi, U Montanari, A Martelli
Journal of the ACM (JACM) 28 (4), 737-751, 1981
651981
Reasoning about interaction protocols for customizing web service selection and composition
M Baldoni, C Baroglio, A Martelli, V Patti
The Journal of Logic and Algebraic Programming 70 (1), 53-73, 2007
582007
Rule-based policy specification: State of the art and future work
P Bonatti, N Shahmehri, C Duma, D Olmedilla, W Nejdl, M Baldoni, ...
REWERSE, 2004
552004
The system can't perform the operation now. Try again later.
Articles 1–20