3 citations
- ATA Engineering (United States)US1 paper
- Athens University of Economics and BusinessGR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Engineering (Italy)IT1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- National and Kapodistrian University of AthensGR1 paper
- University of TurinIT1 paper
- University of West AtticaGR1 paper
2 papers
cs.DC2022★ 3 cited
A Novel Micro-service Based Platform for Composition, Deployment and Execution of BDA Applications
Davide Profeta, Nicola Masi, Domenico Messina +3
Big Data are growing at an exponential rate and it becomes necessary the use of tools and technologies to manage, process and visualize them in order to extract value. In this pape…
cs.LO2011★ 1 cited
Intersection Logic in sequent calculus style
Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos +1
The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logi…