AAAAAA
Results:
1-8
|
Results: 8
Authors:
Palopoli, L
Lipari, G
Abeni, L
Di Natale, M
Ancilotti, P
Conticelli, GLF
Citation: L. Palopoli et al., A tool for simulation and fast prototyping of embedded control systems, ACM SIGPL N, 36(8), 2001, pp. 73-81
Authors:
Ben-Eliyahu-Zohary, R
Palopoli, L
Zemlyanker, V
Citation: R. Ben-eliyahu-zohary et al., More on tractable disjunctive Datalog, J LOGIC PR, 46(1-2), 2000, pp. 61-101
Authors:
Palopoli, L
Pontieri, L
Terracina, G
Ursino, D
Citation: L. Palopoli et al., Intensional and extensional integration and abstraction of heterogeneous databases, DATA KN ENG, 35(3), 2000, pp. 201-237
Authors:
Cadoli, M
Ianni, G
Palopoli, L
Schaerf, A
Vasile, D
Citation: M. Cadoli et al., NP-SPEC: an executable specification language for solving all problems in NP, COMPUT LANG, 26(2-4), 2000, pp. 165-195
Authors:
Cadoli, M
Palopoli, L
Scarcello, F
Citation: M. Cadoli et al., Propositional lower bounds: Algorithms and complexity, ANN MATH A, 27(1-4), 1999, pp. 129-148
Authors:
Palopoli, L
Sacca, D
Ursino, D
Citation: L. Palopoli et al., DLp: a description logic for extracting and managing complex terminological and structural properties from database schemes, INF SYST, 24(5), 1999, pp. 401-424
Authors:
Palopoli, L
Sacca, D
Ursino, D
Citation: L. Palopoli et al., Semi-automatic techniques for deriving interscheme properties from database schemes, DATA KN ENG, 30(3), 1999, pp. 239-273
Authors:
Palopoli, L
Pirri, F
Pizzuti, C
Citation: L. Palopoli et al., Algorithms for selective enumeration of prime implicants, ARTIF INTEL, 111(1-2), 1999, pp. 41-72
Risultati:
1-8
|