Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Christian Sprecher
Observed name:
Sprecher, Christian
Institution:
Technologiezentrum Halbleitermaterialien
Observed institution:
Technologiezentrum Halbleitermaterialien
OpenAlex ID:
A5028225541
Methodology and main results of seismic source characterization for the PEGASOS Project, Switzerland
2009
·
Kevin J. Coppersmith
, Robert R. Youngs
, et al.
·
Swiss Journal of Geosciences
·
28
PDF
Die Struktur des oberen Erdmantels in Zentraleuropa aus Dispersionsmessungen an Rayleigh-Wellen
1976
·
Sprecher, Christian
·
ETH Zürich Research Collection
·
21
Shared Certificates for Neural Network Verification
2022
·
Marc Fischer
, Christian Sprecher
, et al.
·
Lecture notes in computer science
·
18
PDF
Shared Certificates for Neural Network Verification
2021
·
Fischer, Marc
, Sprecher, Christian
, et al.
·
arXiv (Cornell University)
·
2
PDF
Proof Transfer for Neural Network Verification
2021
·
Christian Sprecher
, Marc Fischer
, et al.
·
arXiv (Cornell University)
Show more works
View as search
Works count:
5
Citation count:
69
H-index:
3
I10-index:
3
Year
Topic
Type
