Cover Image

cispa/osiris: version-1.1

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	Daniel Weber, Ibrahim, Ahmad, Nemati, Hamed, Schwarz, Michael, Rossow, Christian
Format:	Recurso digital
Published:	Zenodo 2025
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Conclusions of the workshop on the interferometric mode of osiris
by: Margarita Rosado
Published: (2005)

KeyVisor -- A Lightweight ISA Extension for Protected Key Handles with CPU-enforced Usage Policies
by: Schwarz, Fabian, et al.
Published: (2024)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
by: Nemati, Hamed, et al.
Published: (2025)

SFOP
by: Bajo, Marcos, et al.
Published: (2026)

On the Security of Research Artifacts
by: Rani, Nanda, et al.
Published: (2026)

Modelling the Mgb Spectroscopic Index with the Tunable Filters of osiris
by: J. L. Cervantes-Rodríguez
Published: (2005)

Der Preis der Autonomie: Wie sorgende Angehörige Live-in-Arbeitsverhältnisse ausgestalten
by: Rossow, Verena
Published: (2021)

Commentary on Norström and Leifman: A welcome contribution and an invitation to further research
by: Ingeborg Rossow
Published: (2026)

Symbolic Parallel Composition for Multi-language Protocol Verification
by: Nasrabadi, Faezeh, et al.
Published: (2025)

Automated Side-Channel Analysis of Cryptographic Protocol Implementations
by: Nasrabadi, Faezeh, et al.
Published: (2025)

Effect of a small increase in off‐premises trading hours on alcohol sales in Norway: A stepped‐wedge cluster‐randomized controlled trial
by: Daniel Bergsvik, et al.
Published: (2024)

Effects of cloud vertical structure on atmospheric circulation in the GISS GCM
by: Junhong Wang and William B. Rossow
Published: (1998)

Seasonal variation of liquid and ice water path in Nonprecipitating clouds over oceans
by: Bing Lin, William B. Rossow
Published: (1996)

Analyzing and Exploiting Branch Mispredictions in Microcode
by: Mosier, Nicholas, et al.
Published: (2025)

Estimating meridional energy transports by the atmospheric and oceanic general circulations using boundary fluxes
by: Y. C. Zhang and W.B. Rossow
Published: (1997)

Privacy-Aware Federated nnU-Net for ECG Page Digitization
by: Nemati, Nader
Published: (2025)

Comparative Analysis of Data Augmentation for Clinical ECG Classification with STAR
by: Nemati, Nader
Published: (2025)

Enhancing Maritime Object Detection in Real-Time with RT-DETR and Data Augmentation
by: Nemati, Nader
Published: (2025)

Adaptive Double Integral‐Type Second‐Order Terminal Sliding Mode Controller Design for Disturbed Uncertain CPSs Against Cyber Attacks on Sensors and Actuators
by: Abbas Nemati
Published: (2025)

How Effective Are Building Codes at Reducing Residential Water Use? Evidence From California Billing Data
by: Mehdi Nemati
Published: (2026)

Cold-Induced Ascites in Broilers: Effects of Vitamin C and Coenzyme Q10
by: MH Nemati
Published: (2017)

Trustworthy Verification of RISC-V Binaries Using Symbolic Execution in HolBA
by: Palmskog, Karl, et al.
Published: (2025)

Polycystic ovarian syndrome and perinatal outcomes: A population‐based pooled cross‐sectional study
by: Raegan A. Holek, et al.
Published: (2026)

D1.1 GINAMO data management plan version 1.1
by: Heuertz, Myriam
Published: (2025)

Normalisation of Non‐Drinking and Implications for Psycho‐Social Problems
by: Elin K. Bye, et al.
Published: (2025)

Comparison of the climatologies of high-level clouds from HIRS and ISCCP
by: Yao Jin, William B. Rossow and Don P. Wylie
Published: (1996)

AIntelligent/Sudoku: HEK Sudoku version 1.1, 2006
by: Kartal, Hakan Emre
Published: (2025)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
by: Lindner, Andreas, et al.
Published: (2023)

Anti‐Toxoplasma gondii activity of rose hip oil–solid lipid nanoparticles
by: Hanieh Mohammad Rahimi, et al.
Published: (2024)

Dissecting Cold Stress Tolerance in Solanum habrochaites : Developing Recombinant Populations and Identifying Key Introgression Segments From Cold‐Tolerant LA3969
by: Zahra Nemati, et al.
Published: (2025)

Replication Data for OSEM IJF Paper (Revision 1)
by: Schwarz
Published: (2025)

Station list and master track of POLARSTERN cruise ARK-II/1, Bremerhaven - Tromsø, 1984-05-10 - 1984-06-11
by: Schwarz, Hans Joachim
Published: (2016)

Adaptive Test-Time Training for Predicting Need for Invasive Mechanical Ventilation in Multi-Center Cohorts
by: Lu, Xiaolei, et al.
Published: (2025)

Prospective evaluation of multimodal respiratory failure prediction: Do chest X-rays improve performance beyond EHR signals?
by: Lu, Xiaolei, et al.
Published: (2026)

Residential Irrigation Restrictions and Water Conservation: A Review of Studies from 1978 to 2022
by: Stephen Morkel, et al.
Published: (2024)

Flat degenerations of flag supermanifolds for basic Lie superalgebras
by: Ahmad, Ibrahim
Published: (2025)

Integrated Global Radiosonde Archive Toolkit ( IGRAT ): A Python Library for Radiosonde Data Analysis
by: Peter T. Phan, et al.
Published: (2025)

Stadt, Land, Berg Vom Zusammenspiel von Dialektwahrnehmung und Topographie
by: Christian Schwarz
Published: (2017)

An extended type system with lambda-typed lambda-expressions (extended version)
by: Weber, Matthias
Published: (2018)

Volcanic stratospheric sulfur injections during the Holocene (past 11 500 years) from a bipolar ice-core array, HolVol version 1.1
by: Sigl, Michael, et al.
Published: (2024)