BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Giuseppe Greco
SearchCollections
Map detail
Giuseppe Greco13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipGiuseppe GrecoAGiuseppe GrecoResearcherMulti Order Coverage data structure to plan multi-messenger observationsWMulti Order Coverage da...preprint / 2022Thermal Annealing Effect on Electrical and Structural Properties of Tungsten Carbide Schottky Contacts on AlGaN/GaN heterostructuresWThermal Annealing Effec...preprint / 2020Unified Correspondence as a Proof-Theoretic ToolWUnified Correspondence ...preprint / 2016Linear Logic Properly DisplayedWLinear Logic Properly D...preprint / 2016Lattice Logic Properly DisplayedWLattice Logic Properly ...preprint / 2016Generating proof systems for three-valued propositional logicsWGenerating proof system...preprint / 2024Syntactic completeness of proper display calculiWSyntactic completeness ...preprint / 2021Processing issues in SiC and GaN power devices technology: the cases of 4H-SiC planar MOSFET and recessed hybrid GaN MISHEMTWProcessing issues in Si...preprint / 2020Structural Multi-type Sequent Calculus for Inquisitive LogicWStructural Multi-type S...preprint / 2016Multi-type Sequent CalculiWMulti-type Sequent Calculipreprint / 2016Unified inverse correspondence for DLE-LogicsWUnified inverse corresp...preprint / 2022Neighbourhood semantics for graded modal logicWNeighbourhood semantics...preprint / 2021
Person12 links

Giuseppe Greco

Researcher

PaperMulti Order Coverage data structure to plan multi-messenger observationsAuthorship / preprint / 2022PaperThermal Annealing Effect on Electrical and Structural Properties of Tungsten Carbide Schottky Contacts on AlGaN/GaN heterostructuresAuthorship / preprint / 2020PaperUnified Correspondence as a Proof-Theoretic ToolAuthorship / preprint / 2016PaperLinear Logic Properly DisplayedAuthorship / preprint / 2016PaperLattice Logic Properly DisplayedAuthorship / preprint / 2016PaperGenerating proof systems for three-valued propositional logicsAuthorship / preprint / 2024PaperSyntactic completeness of proper display calculiAuthorship / preprint / 2021PaperProcessing issues in SiC and GaN power devices technology: the cases of 4H-SiC planar MOSFET and recessed hybrid GaN MISHEMTAuthorship / preprint / 2020

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)