Volgen
Alberto Martelli
Alberto Martelli
professore di informatica Università di Torino
Geverifieerd e-mailadres voor unito.it
Titel
Geciteerd door
Geciteerd door
Jaar
An efficient unification algorithm
A Martelli, U Montanari
ACM Transactions on Programming Languages and Systems (TOPLAS) 4 (2), 258-282, 1982
14581982
An application of heuristic search methods to edge and contour detection
A Martelli
Communications of the ACM 19 (2), 73-83, 1976
4231976
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
4122014
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 TeV
V Khachatryan, AM Sirunyan, A Tumasyan, W Adam, E Asilar, T Bergauer, ...
Journal of High Energy Physics 2016 (2), 1-42, 2016
401*2016
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
3732018
Edge detection using heuristic search methods
A Martelli
Computer graphics and image processing 1 (2), 169-182, 1972
2641972
Optimizing decision trees through heuristically guided search
A Martelli, U Montanari
Communications of the ACM 21 (12), 1025-1039, 1978
2291978
On the complexity of admissible search algorithms
A Martelli
Artificial Intelligence 8 (1), 1-13, 1977
2041977
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
1562014
Measurement of jet substructure observables in events from proton-proton collisions at 13TeV
CMS collaboration
arXiv preprint arXiv:1808.07340, 2018
132*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
1232005
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
1072018
Search for decays of stopped exotic long-lived particles produced in proton-proton collisions at TeV
AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, E Asilar, T Bergauer, ...
Journal of High Energy Physics 2018 (5), 1-47, 2018
972018
ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES
A Martelli, C Moiso, GF Rossi
TECHNICAL REPORTS-CSELT 14 (6), 459-465, 1986
881986
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
852007
Unification in linear time and space: A structured presentation
A Martelli, U Montanari
Istituto di Elaborazione della Informazione, Consiglio Nazionale delle Ricerche, 1976
851976
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
741998
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
732006
Ramification and causality in a modal action logic
L Giordano, A Martelli, C Schwind
Journal of logic and computation 10 (5), 625-662, 2000
732000
Dynamic programming as graph searching: An algebraic approach
S Gnesi, U Montanari, A Martelli
Journal of the ACM (JACM) 28 (4), 737-751, 1981
691981
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20