Search for persons
X
?
Mastering Endo-Laparoscopic and Thoracoscopic Surgery ,
1
Laparoscopic Omental Flap Partial Breast Reconstruction:
, In:
?
Mastering Endo-Laparoscopic and Thoracoscopic Surgery ,
2
Endoscopy-Assisted Breast Surgery for Breast Cancer:
, In:
?
2006 8th International Conference on Solid-State and Integrated Circuit Technology Proceedings ,
3
Towards Unification of MOS Compact Models with the Unified ..:
, In:
?
2024 International Conference on Electronics, Information, and Communication (ICEIC) ,
5
Development of A Pressure-Sensitive Triboelectric Self-Powe..:
, In:
?
Lecture Notes in Computer Science; HCI International 2022 – Late Breaking Papers: Interacting with eXtended Reality and Artificial Intelligence ,
6
Legal and Regulatory Issues on Artificial Intelligence, Mac..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
7
SL-COMP: Competition of Solvers for Separation Logic:
, In:
?
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications ,
8
A flow-based approach for variant parametric types:
, In:
?
Proceedings of the 27th international conference on Software engineering ,
9
Verifying safety policies with size properties and alias co..:
, In:
?
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation ,
10
Extending sized type with collection analysis:
, In:
?
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming ,
11
Charting patterns on price history:
, In:
?
Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation ,
12