1. A complete logic for Database Abstract State Machines. (6th July 2017) Authors: Ferrarotti, Flavio; Schewe, Klaus-Dieter; Tec, Loredana; Wang, Qing Journal: Logic journal of the IGPL Issue: Volume 25:Number 5(2017:Oct.) Page Start: 700 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A restricted second-order logic for non-deterministic poly-logarithmic time. (12th May 2020) Authors: Ferrarotti, Flavio; GonzÁles, SenÉn; Schewe, Klaus-Dieter; Turull-Torres, JosÉ MarÍa Journal: Logic journal of the IGPL Issue: Volume 28:Number 3(2020) Page Start: 389 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Foundations of information and knowledge systems : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings /: 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings. (2018) Editors: Ferrarotti, Flavio; Woltran, Stefan Other Names: FoIKS (Symposium), 10th Record Type: Book Extent: 1 online resource (xxii, 401 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. New trends in model and data engineering : MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, Proceedings /: MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, Proceedings. (2019) Editors: Attiogbé, Christian; Ferrarotti, Flavio; Maabout, Sofian Other Names: MEDI (Conference), 9th; DETECT (Workshop); DSSGA (Workshop); TRIDENT (Workshop) Record Type: Book Extent: 1 online resource (viii, 209 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Reducing hardware hit by queries in web search engines. Issue 6 (November 2016) Authors: Mendoza, Marcelo; Marín, Mauricio; Gil-Costa, Verónica; Ferrarotti, Flavio Journal: Information processing & management Issue: Volume 52:Issue 6(2016:Nov.) Page Start: 1031 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗