Search for persons
X
?
Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic ,
1
Lambek–Grishin Calculus: Focusing, Display and Full Polariz..:
, In:
?
Logic and Its Applications; Lecture Notes in Computer Science ,
2
Labelled Calculi for Lattice-Based Modal Logics:
, In:
?
Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods ,
3
Non-distributive Description Logic:
, In:
?
Logic and Its Applications; Lecture Notes in Computer Science ,
4
Labelled Calculi for the Logics of Rough Concepts:
, In:
?
2023 IEEE Vehicle Power and Propulsion Conference (VPPC) ,
5
Multi-Domain Simulation of Integrated Power Electronics Mod..:
, In:
?
2020 AEIT International Conference of Electrical and Electronic Technologies for Automotive (AEIT AUTOMOTIVE) ,
6
Study of behavior of p-gate in Power GaN under positive vol..:
, In:
?
Electrical Atomic Force Microscopy for Nanoelectronics; NanoScience and Technology ,
7
Conductive AFM of 2D Materials and Heterostructures for Nan..:
, In:
?
Logic and Its Applications; Lecture Notes in Computer Science ,
8
Logics for Rough Concept Analysis:
, In:
?
Logic, Language, Information, and Computation; Lecture Notes in Computer Science ,
9
Non Normal Logics: Semantic Analysis and Proof Theory:
, In:
?
Lecture Notes in Electrical Engineering; Applications in Electronics Pervading Industry, Environment and Society ,
10
FPGA Based Digital Lock-in Amplifier for fNIRS Systems:
, In:
?
2024 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) ,
11
A Colorimetric RGB-based Sensing Approach for Phenylalanine..:
, In:
?
Proceedings of the 2024 International Conference on Advanced Visual Interfaces ,
13
Towards a human factors assessment questionnaire for cybers..:
, In:
?
End-User Development; Lecture Notes in Computer Science ,
14
Democratizing Cybersecurity in Smart Environments: Investig..:
, In:
?
2023 IEEE International Workshop on Metrology for Agriculture and Forestry (MetroAgriFor) ,
15