Alberto Martelli
Alberto Martelli
professore di informatica Università di Torino
Dirección de correo verificada de unito.it
Título
Citado por
Citado por
Año
An efficient unification algorithm
A Martelli, U Montanari
ACM Transactions on Programming Languages and Systems (TOPLAS) 4 (2), 258-282, 1982
13041982
An application of heuristic search methods to edge and contour detection
A Martelli
Communications of the ACM 19 (2), 73-83, 1976
3821976
Edge detection using heuristic search methods
A Martelli
Computer graphics and image processing 1 (2), 169-182, 1972
2541972
Optimizing decision trees through heuristically guided search
A Martelli, U Montanari
Communications of the ACM 21 (12), 1025-1039, 1978
2051978
On the complexity of admissible search algorithms
A Martelli
Artificial Intelligence 8 (1), 1-13, 1977
1751977
Additive AND/OR Graphs.
A Martelli, U Montanari
IJCAI 73, 1-11, 1973
1741973
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
1102005
An algorithm for unification in equational theories
A Martelli
Third Conference on Logic Programming, Utah, 1986
881986
Unification in linear time and space: A structured presentation
A Martelli, U Montanari
Istituto di Elaborazione della Informazione, Consiglio Nazionale delle Ricerche, 1976
811976
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
792007
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
651998
Dynamic programming as graph searching: An algebraic approach
S Gnesi, U Montanari, A Martelli
Journal of the ACM (JACM) 28 (4), 737-751, 1981
641981
Ramification and causality in a modal action logic
L Giordano, A Martelli, C Schwind
Journal of logic and computation 10 (5), 625-662, 2000
622000
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
612006
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
562007
A Gaussian elimination algorithm for the enumeration of cut sets in a graph
A Martelli
Journal of the ACM (JACM) 23 (1), 58-73, 1976
541976
Cooperation between aspirin-triggered lipoxin and nitric oxide (NO) mediates antiadhesive properties of 2-(acetyloxy) benzoic acid 3-(nitrooxymethyl) phenyl ester (NCX-4016)(NO …
S Fiorucci, E Distrutti, A Mencarelli, G Rizzo, AR Di Lorenzo, M Baldoni, ...
Journal of Pharmacology and Experimental Therapeutics 309 (3), 1174-1182, 2004
522004
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
522004
Programming rational agents in a modal action logic
M Baldoni, A Martelli, V Patti, L Giordano
Annals of Mathematics and Artificial Intelligence 41 (2-4), 207-257, 2004
482004
Reasoning about actions in dynamic linear time temporal logic
L Giordano, A Martelli, C Schwind
Logic Journal of the IGPL 9 (2), 273-288, 2001
462001
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20