Not finding it? Sign in to also search OpenAlex live.
-
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2022 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
0citations -
4-Terminal Ferroelectric Schottky Barrier Field Effect Transistors as Artificial Synapses2021 IEEE European Solid-State Device Research Conference (ESSDERC) conference-paper Engineering Advanced Memory and Neural Computing
Fengben Xi, Yi Han, Andreas T. Tiedemann, Detlev Grützmacher, Qing‐Tai Zhao
3citations -
Effect of oxygen stoichiometry on the energy of CEF levels in Pr 2 NiO 4.252026 Journal of Physics Conference Series conference-paper Materials Science Magnetic and transport properties of perovskites and related materials Open access
Laura Zeni Cunha, Andrea Piovano, Martin Boehm, Monica Ceretti, W. Schmidt, Martin Meven, +1 more
0citations -
Effect of Pulse Schemes on Multi-Level Switching and Short-Term Instability in 1T1r Configuration2025 IEEE Electron Devices Technology & Manufacturing Conference (EDTM) conference-paper Engineering Advanced Memory and Neural Computing
Xiaohua Liu, Felix Cüppers, Dennis Nielinger, Susanne Hoffmann‐Eifert, Rainer M. Waser, Stefan Wiefels
0citations -
Guiding through the Fog: Understanding Differences in the Goal Setting of Corporate Entrepreneurship Programs2021 IEEE International Conference on Engineering, Technology and Innovation (ICE/ITMC) conference-paper Business, Management and Accounting Entrepreneurship Studies and Influences
Christina Lang, Christoph J. Selig, Tobias Gutmann, J. Roland Ortt, Guido H. Baltes
4citations -
A Temperature Independent Readout Circuit for ISFET-Based Sensor Applications2022 IEEE Latin American Test Symposium (LATS) conference-paper Chemical Engineering Analytical Chemistry and Sensors
Elmira Moussavi, Dominik Šišejković, Animesh Singh, Daniyar Kizatov, Rainer Leupers, Sven Ingebrandt, +2 more
2citations -
Gate Camouflaging Using Reconfigurable ISFET-Based Threshold Voltage Defined Logic2023 IEEE Interregional NEWCAS Conference (NEWCAS) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security
Elmira Moussavi, Animesh Kumar Singh, Dominik Šišejković, Aravind Padma Kumar, Daniyar Kizatov, Sven Ingebrandt, +3 more
3citations -
Gate Camouflaging Using Reconfigurable ISFET-Based Threshold Voltage Defined Logic2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Physical Unclonable Functions (PUFs) and Hardware Security Open access
Elmira Moussavi, Animesh Kumar Singh, Dominik Šišejković, Aravind Padma Kumar, Daniyar Kizatov, Sven Ingebrandt, +3 more
0citations -
Introducing Eye Movement Modeling Examples for Programming Education and the Role of Teacher's Didactic Guidance2020 ACM Symposium on Eye Tracking Research and Applications (ETRA) conference-paper Computer Science Teaching and Learning Programming Open access
Selina N. Emhardt, Halszka M. Jarodzka, Saskia Brand‐Gruwel, Christian Drumm, Tamara van Gog
3citations