Publications

You are here

Home » Research
Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Author is Antonio Brogi  [Clear All Filters]
2018
R. Guidotti, Soldani, J., Neri, D., and Brogi, A., “Explaining successful docker images using pattern mining analysis”, in Federation of International Conferences on Software Technologies: Applications and Foundations, 2018.
1999
A. Brogi, Renso, C., and Turini, F., “Dynamic Composition of Parameterised Logic Modules”, Computer Languages, pp. 211–242, 1999.
A. Brogi, Renso, C., and Turini, F., “Dynamic composition of parameterised logic modules”, Comput. Lang., vol. 25, pp. 211-242, 1999.
1994
A. Brogi, Renso, C., and Turini, F., “Amalgamating Language and Meta-language for Composing Logic Programs”, in GULP-PRODE (2), 1994, pp. 408-422.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., “Implementations of Program Composition Operations”, pp. 292–307, 1994.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., “Implementations of Program Composition Operations”, in PLILP, 1994, pp. 292-307.
A. Brogi, Chiarelli, A., Mancarella, P., Mazzotta, V., Pedreschi, D., Renso, C., and Turini, F., “Implementations of Program Composition Operations”, in PLILP, 1994, pp. 292-307.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Modular Logic Programming”, ACM Trans. Program. Lang. Syst., vol. 16, pp. 1361-1398, 1994.
1992
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Meta for Modularising Logic Programming”, in META, 1992, pp. 105-119.
1991
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Theory Construction in Computational Logic”, in ICLP Workshop on Construction of Logic Programs, 1991, pp. 241-250.
1990
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Logic Programming within a Functional Framework”, in PLILP, 1990, pp. 372-386.
A. Brogi, Mancarella, P., Pedreschi, D., and Turini, F., “Universal Quantification by Case Analysis”, in ECAI, 1990, pp. 111-116.