Concepedia

Stefan Schupp

SS

8

Publications

131

Citations

8

H-Index

2011

Active since

Affiliations

RWTH Aachen University(Current)

University of Münster

University of Oxford

Delft University of Technology

TU Wien

Stefan Schupp is an author at RWTH Aachen University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringVerificationBusinessChemistryStabilityStatistics

Publications per year

2011–2023

8

Publications

8

Oxygen vacancies in oxidized and reduced vertically aligned α-MoO<sub>3</sub> nanoblades

Sohaila Z. Noby, Azhar Fakharuddin, Stefan Schupp et al. · Materials Advances · 2022 · 41 citations · Full text

Oxygen Vacancies, Engineering, Oxidation Resistance +18

Perfect difference sets for neighbor discovery

Jó Ágila Bitsch Link, Christoph Wollgarten, Stefan Schupp et al. · 2011 · 18 citations

Quorum Schemes, Engineering, Range Searching +21

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

Matthias Althoff, Stanley Bak, Dario Cattaruzza et al. · EPiC series in computing · 2018 · 18 citations · Full text

Engineering, Arch-comp17 Category Report, Verification +18

Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro

Jannik Hüls, Stefan Schupp, Anne Remke et al. · 2017 · 12 citations

Petri Net, Engineering, Complex Systems +22

Electron‐Rich Diruthenium Complexes with π‐Extended Alkenyl Ligands and Their F<sub>4</sub>TCNQ Charge‐Transfer Salts**

Rajorshi Das, Michael Linseis, Stefan Schupp et al. · Chemistry - A European Journal · 2022 · 12 citations · Full text

Rows per page

1–5 of 8