Greco, Giuseppe
53  results:
Search for persons X
?
1

Lambek–Grishin Calculus: Focusing, Display and Full Polariz..:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,
 
?
2

Labelled Calculi for Lattice-Based Modal Logics:

, In: Logic and Its Applications; Lecture Notes in Computer Science,
 
?
3

Non-distributive Description Logic:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
 
?
4

Labelled Calculi for the Logics of Rough Concepts:

, In: Logic and Its Applications; Lecture Notes in Computer Science,
 
?
5

Multi-Domain Simulation of Integrated Power Electronics Mod..:

, In: 2023 IEEE Vehicle Power and Propulsion Conference (VPPC),
 
?
6

Study of behavior of p-gate in Power GaN under positive vol..:

, In: 2020 AEIT International Conference of Electrical and Electronic Technologies for Automotive (AEIT AUTOMOTIVE),
 
?
7

Conductive AFM of 2D Materials and Heterostructures for Nan..:

, In: Electrical Atomic Force Microscopy for Nanoelectronics; NanoScience and Technology,
 
?
8

Logics for Rough Concept Analysis:

, In: Logic and Its Applications; Lecture Notes in Computer Science,
 
?
9

Non Normal Logics: Semantic Analysis and Proof Theory:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
 
?
10

FPGA Based Digital Lock-in Amplifier for fNIRS Systems:

, In: Lecture Notes in Electrical Engineering; Applications in Electronics Pervading Industry, Environment and Society,
 
?
11

A Colorimetric RGB-based Sensing Approach for Phenylalanine..:

, In: 2024 IEEE International Instrumentation and Measurement Technology Conference (I2MTC),
 
?
12

List of contributors:

, In: Pediatric and Adult Celiac Disease,
Aimo, Cristina ; Aronico, Nicola ; Auricchio, Renata... - p. xiii-xv , 2024
 
?
13

Towards a human factors assessment questionnaire for cybers..:

, In: Proceedings of the 2024 International Conference on Advanced Visual Interfaces,
 
?
14

Democratizing Cybersecurity in Smart Environments: Investig..:

, In: End-User Development; Lecture Notes in Computer Science,
 
?
15

An experimental setup for the study of Plasmopara viticola ..:

, In: 2023 IEEE International Workshop on Metrology for Agriculture and Forestry (MetroAgriFor),
 
1-15