Commons

Latest additions:
2026-01-20
18:22
[GSI-2026-00321] Journal Article/Contribution to a conference proceedings/Contribution to a book
; ; ; et al
Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study
NASA Formal Methods / Dutle, Aaron (Editor); Cham : Springer Nature Switzerland, 2025, Chapter 13 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-031-93705-7=978-3-031-93706-4 ; doi:10.1007/978-3-031-93706-4
17th International Symposium on NASA Formal Methods-NFM, VA, VirginaVirgina, usa, 11 Jun 2025 - 13 Jun 20252025-06-112025-06-13
0302-9743 15682, 227 - 235 () [10.1007/978-3-031-93706-4_13]

Detailed record - Similar records
2026-01-20
18:12
OpenAccess [GSI-2026-00319] Journal Article/Contribution to a conference proceedings
; ; ; et al
SIS100 By-pass line - from the sketch into the tunnel
29TH INTERNATIONAL CRYOGENIC ENGINEERING CONFERENCE INTERNATIONAL CRYOGENIC MATERIALS CONFERENCE 2024, GeneveGeneve, Switzerland, 22 Jun 2024 - 26 Jun 20242024-06-222024-06-26 IOP conference series / Materials science and engineering 1327(1), 012111 - () [10.1088/1757-899X/1327/1/012111]
In Darmstadt, Germany, the Facility for Antiproton and Ion Research (FAIR) is presently under construction. One of the most complex machines is the SIS100, a synchrotron with a circumference of 1100 metres. [...]
OpenAccess: Download fulltextPDF Download fulltextPDF (PDFA);

Detailed record - Similar records
2026-01-16
13:47

Detailed record - Similar records
2025-12-18
15:58

Detailed record - Similar records
2025-12-10
13:33
OpenAccess [GSI-2025-01356] Contribution to a conference proceedings/Contribution to a book
; ; ; et al
High-resolution longitudinal beam diagnostics with a Fast Faraday Cup at the UNILAC accelerator
Proceedings of the 14th International Beam Instrumentation Conference - 978-3-95450-262-2
14th International Beam Instrumentation Conference, IBIC2025, LiverpoolLiverpool, UK, 7 Sep 2025 - 11 Sep 20252025-09-072025-09-11
Geneva : JACoW Publishing 666-669 () [10.18429/JACoW-IBIC2025-WEPCO22]
OpenAccess: Download fulltextPDF Download fulltextPDF (PDFA);

Detailed record - Similar records
2025-12-10
13:27
OpenAccess [GSI-2025-01355] Contribution to a conference proceedings/Contribution to a book
; ; ; et al
UV–VIS emissions from high energy heavy ions: mechanisms and applications to single-ion detection
Proceedings of the 14th International Beam Instrumentation Conference - 978-3-95450-262-2
14th International Beam Instrumentation Conference, IBIC2025, LiverpoolLiverpool, UK, 7 Sep 2025 - 11 Sep 20252025-09-072025-09-11
Geneva : JACoW Publishing 249-252 () [10.18429/JACoW-IBIC2025-MOPMO28]
OpenAccess: Download fulltextPDF Download fulltextPDF (PDFA);

Detailed record - Similar records
2025-12-10
13:19
OpenAccess [GSI-2025-01354] Contribution to a conference proceedings/Contribution to a book
; ;
Application of convolutional neural networks for pile up correction in single particle counting
Proceedings of the 14th International Beam Instrumentation Conference - 978-3-95450-262-2
14th International Beam Instrumentation Conference, IBIC2025, LiverpoolLiverpool, UK, 7 Sep 2025 - 11 Sep 20252025-09-072025-09-11
Geneva : JACoW Publishing 152-155 () [10.18429/JACoW-IBIC2025-MOPCO36]
OpenAccess: Download fulltextPDF Download fulltextPDF (PDFA);

Detailed record - Similar records
2025-12-10
13:08

Detailed record - Similar records
2025-11-20
13:52
OpenAccess [GSI-2025-01227] Contribution to a conference proceedings/Contribution to a book
; ; ; et al
Introduction of key performance indicators for the GSI accelerator facility
16th International Particle Accelerator Conference, IPAC25, TaipehTaipeh, Taiwan, 1 Jun 2025 - 6 Jun 20252025-06-012025-06-06 604-606 p. () [10.18429/JACoW-IPAC2025-MOPS008]
OpenAccess: Download fulltextPDF Download fulltextPDF (PDFA);

Detailed record - Similar records
2025-10-07
10:48

Detailed record - Similar records