PhD Theses of the CLPLAB members are stored here.

All publications of group members can be retrieved from official repositories (e.g., for Agostino Dovier see: DBLP)

We just report the JOURNAL papers **since 2015** on the lab research topics with at least a coauthor between the “internal” members of the LAB

- Agostino Dovier: Preface (to the special Issue of TPLP on New Trends on Constraint Logic Programming). TPLP 17(4): 359-364 (2017)
- Roman Barták, Lukás Chrpa, Agostino Dovier, Jindrich Vodrázka, Neng-Fa Zhou:

Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain. Sci. Comput. Program. 147: 54-77 (2017) - Davide Ancona, Agostino Dovier: A Theoretical Perspective of Coinductive Logic Programming. Fundam. Inform. 140(3-4): 221-246 (2015)
- Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli: CUD@SAT: SAT solving on GPUs. J. Exp. Theor. Artif. Intell. 27(3): 293-316 (2015)
- Federico Campeotto, Agostino Dovier, Enrico Pontelli: A declarative concurrent system for protein structure prediction on GPU. J. Exp. Theor. Artif. Intell. 27(5): 503-541 (2015)
- Ferdinando Fioretto, Agostino Dovier, Enrico Pontelli: Constrained Community-Based Gene Regulatory Network Inference. ACM Trans. Model. Comput. Simul. 25(2):11:1-11:26 (2015)
- Neng-Fa Zhou, Roman Barták, Agostino Dovier: Planning as tabled logic programming. TPLP 15(4-5): 543-558 (2015)
- Tommaso Dreossi, Thao Dang, Carla Piazza: Reachability computation for polynomial dynamical systems. Formal Methods in System Design 50(1): 1-38 (2017)
- Alberto Casagrande, Carla Piazza, Alberto Policriti: Is Hyper-extensionality Preservable Under Deletions of Graph Elements? Electr. Notes Theor. Comput. Sci. 322: 103-118 (2016)
- Raffaella Gentilini, Carla Piazza, Alberto Policriti: Rank and simulation: the well-founded case. J. Log. Comput. 25(6): 1331-1349 (2015)
- Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron:

Checking interval properties of computations. Acta Inf. 53(6-8): 587-619 (2016) - Angelo Montanari, Gabriele Puppis, Tiziano Villa: Games, Automata, Logics, and Formal Verification (GandALF 2013). Inf. Comput. 245: 1-2 (2015)

We end citing this book edited by two lab members (13222 official chapter downloads 2010-2016):