Giuseppe Greco
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2013–2023
Best venue rank
C
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | TABLEAUX | Non-distributive Description Logic. | Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere |
| 2022 | AiML | Algorithmic correspondence and analytic rules. | Andrea De Domenico, Giuseppe Greco |
| 2019 | WoLLIC | Non Normal Logics: Semantic Analysis and Proof Theory. | Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis |
| 2018 | ITP | Software Tool Support for Modular Reasoning in Modal Logics of Actions. | Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano |
| 2017 | WoLLIC | Multi-type Display Calculus for Semi De Morgan Logic. | Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano |
| 2017 | WoLLIC | Lattice Logic Properly Displayed. | Giuseppe Greco, Alessandra Palmigiano |
| 2016 | WoLLIC | A Multi-type Calculus for Inquisitive Logic. | Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang |
| 2014 | IECON | Layered electro-thermal model of high-end integrated power electronics modules with IGBTs. | Giuseppe Greco, Giovanni Vinci, Gaetano Bazzano, Angelo Raciti, Davide Cristaldi |
| 2013 | IECON | Electro-thermal model of Integrated Power Electronics Modules based on an innovative layered approach. | Giuseppe Greco, Giovanni Vinci, Gaetano Bazzano, Angelo Raciti, Davide Cristaldi |