Not finding it? Sign in to also search OpenAlex live.
-
Reliability Aspects of Memristive Devices for Computation-in-Memory Applications2021 International Workshop on Cellular Nanoscale Networks and their Applications (CNNA) conference-paper Engineering Advanced Memory and Neural Computing
Stephan Menzel, Christopher Bengel, Johannes Mohr, Dirk J. Wouters, Stefan Wiefels, Felix Cüppers, +1 more
0citations -
A Deductive Verification Infrastructure for Probabilistic Programs2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
22citations -
Correspondence on “Re‐examining remission definitions in rheumatoid arthritis: considering the 28‐Joint Disease Activity Score, C‐reactive protein level and patient global assessment” by Felson et al
Ricardo J O Ferreira, Paco M J Welsing, Johannes W. G. Jacobs, Laure Gossec, Mwidimi E. Ndosi, Pedro Machado, +2 more
1citations
12 results