Gnesi S.

发表论文 252 篇

代表论文

• Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study (2023 · ISTI Open Portal)
• The 4SECURail approach to formalizing standard interfaces between signalling systems components (2022 · ISTI Open Portal)
• 4SECURail - D.2.1: Specification of formal development demonstrator (2020 · ISTI Open Portal)
• Message from the chairs formaliSE 2020 (2020 · ISTI Open Portal)
• ASTrail - Deliverable D4.3 - Validation Report (2019 · ISTI Open Portal)
• Smart Services for Railways (2019 · ISTI Open Portal)