Home > Document types > Books > Contribution to a book

Contribution to a book

Search 2,385 records for:
Search Tips
Added/modified since: until:
Sort by: Display results: Output format:
Latest additions:
2026-01-20
18:22
[GSI-2026-00321] 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) [https://orcid.org/0000-0002-8503-5514] ; 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 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 15682, 227 - 235 () [10.1007/978-3-031-93706-4_13]
The increased technological complexity and demand for software reliability require organizations to formally design and verify their safety-critical programs to minimize systematic failures. Formal methods are recommended by functional safety standards (e.g., by IEC 61511 for the process industry and by the generic IEC 61508) and play a crucial role. [...]

Detailed record - Similar records
2025-12-22
17:09
OpenAccess [GSI-2025-01469] Contribution to a conference proceedings/Contribution to a book
; ;
$\bar{b}\bar{b}ud$ Tetraquarks with $I(J^P)=0(1^-)$ and $\bar{b}\bar{c}ud$ Tetraquarks with $I(J^P)=0(0^+)$ and $I(J^P)=0(1^+)$ from Lattice QCD Antistatic-Antistatic Potentials
Proceedings of The 41st International Symposium on Lattice Field Theory — PoS(LATTICE2024) - Sissa Medialab Trieste, Italy, 2025. - ISBN - doi:10.22323/1.466.0091
The 41st International Symposium on Lattice Field Theory, LATTICE2024, LiverpoolLiverpool, UK, 28 Jul 2024 - 3 Aug 20242024-07-282024-08-03 Sissa Medialab Trieste, Italy () [10.22323/1.466.0091]
OpenAccess: Download fulltextPDF Download fulltextPDF (PDFA);

Detailed record - Similar records
2025-12-18
06:56
[GSI-2025-01432] Contribution to a conference proceedings/Contribution to a book
; ; ; et al
Optical measurement system for the characterization of propagating and standing ultrasound waves
Applied Optical Metrology VI : [Proceedings] - SPIE, 2025. - ISBN 9781510691148 ; 9781510691155
Applied Optical Metrology VI, SPIE2025, San DiegoSan Diego, United States, 3 Aug 2025 - 8 Aug 20252025-08-032025-08-08 SPIE () [10.1117/12.3063569]

Detailed record - Similar records
2025-12-17
16:14
[GSI-2025-01430] Contribution to a book
;
Theoretical Chemistry of the Heaviest Elements
The chemistry of superheavy elements / Schädel, Matthias , Dordrecht [u.a.] : Kluwer Academic Publishers, 2003, Dordrecht [u.a.] : Kluwer Academic Publishers 31-94 ()
ddc:546.44

Detailed record - Similar records
2025-12-16
14:33
[GSI-2025-01403] Contribution to a conference proceedings/Contribution to a book
; ; ; et al
Projectile Ionization in Collisions of U$^{28+}$ and Xe$^{18+}$ with Gases
AIP Conference Proceedings - AIP, 2003. - ISBN - doi:10.1063/1.1619694
17th International Conference on the Application of Accelerators in Research and Industry, DentonDenton, Texas (USA), 12 Nov 2002 - 16 Nov 20022002-11-122002-11-16 AIP 680(1), 184-186 () [10.1063/1.1619694]

Detailed record - Similar records
2025-12-12
11:42
OpenAccess [GSI-2025-01383] Contribution to a conference proceedings/Contribution to a book
; ; ; et al
Amorphous Carbon-coated Storage Cell Tests for the Polarized Gas Target at LHCb
Proceedings of 20th International Workshop on Polarized Source, Targets, and Polarimetry — PoS(PSTP2024) - Sissa Medialab Trieste, Italy, 2025. - ISBN - doi:10.22323/1.472.0050
20th International Workshop on Polarized Source, Targets, and Polarimetry, PSTP2024, Jefferson LabJefferson Lab, Newport News, 22 Sep 2024 - 27 Sep 20242024-09-222024-09-27 Sissa Medialab Trieste, Italy () [10.22323/1.472.0050]
OpenAccess: Download fulltextPDF Download fulltextPDF (PDFA);

Detailed record - Similar records
2025-12-12
10:38
[GSI-2025-01379] Contribution to a conference proceedings/Contribution to a book
; ; ; et al
Fixed Target Program at the LHC
Proceedings of 25th International Symposium on Spin Physics — PoS(SPIN2023) - Sissa Medialab Trieste, Italy, 2024. - ISBN - doi:10.22323/1.456.0036
25th International Symposium on Spin Physics, DurhamDurham, USA, 23 Sep 2023 - 29 Sep 20232023-09-232023-09-29 Sissa Medialab Trieste, Italy () [10.22323/1.456.0036]
Restricted: Download fulltextPDF Download fulltextPDF (PDFA);

Detailed record - Similar records
2025-12-11
17:06
OpenAccess [GSI-2025-01376] Contribution to a conference proceedings/Contribution to a book
; ; ; et al
Polarization REsearch for Fusion Experiments and Reactors - The PREFER collaboration: aims, goals and present status
Proceedings of 20th International Workshop on Polarized Source, Targets, and Polarimetry — PoS(PSTP2024) - Sissa Medialab Trieste, Italy, 2025. - ISBN - doi:10.22323/1.472.0045
20th International Workshop on Polarized Source, Targets, and Polarimetry, Jefferson LabJefferson Lab, Newport News, 22 Sep 2024 - 27 Sep 20242024-09-222024-09-27 Sissa Medialab Trieste, Italy () [10.22323/1.472.0045]
OpenAccess: Download fulltextPDF Download fulltextPDF (PDFA);

Detailed record - Similar records
2025-12-10
22:06
OpenAccess [GSI-2025-01361] Contribution to a conference proceedings/Contribution to a book

Novel Fitting Approach Based on a Neural Network for JUNO
27th International Conference on Computing in High Energy and Nuclear Physics, CHEP2024, KrakowKrakow, Poland, 19 Oct 2024 - 24 Oct 20242024-10-192024-10-24 Les Ulis : EDP Sciences, The European physical journal / Web of Conferences 337, 01219 pp. () [10.1051/epjconf/202533701219]
OpenAccess: Download fulltextPDF Download fulltextPDF (PDFA);
ddc:530

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
GSI Repository: Search Submit Personalize Help
Powered by Invenio v1.1.7 | join2_v2512 Last updated: 21 Jan 2026, 10:42
Contact: Content: gsilibrary@gsi.de Technical questions: invenio-service@gsi.de

GSI Helmholtzzentrum für Schwerionenforschung GmbH | Planckstr. 1 | 64291 Darmstadt | Telefon: +49-6159-71- 0

Legal notice / Impressum | Data privacy protection / Datenschutz