|
1 |
Enhancing the effectiveness of STLs for GPUs via bounded model checking
Deligiannis, Nikolaos Ioannis. - Freiburg : Universität, 2025
|
|
|
|
2 |
Security of data flow in IEEE Std 1687 reconfigurable scan networks
Raiola, Pascal. - Freiburg : Universität, 2022
|
|
|
|
3 |
The emotional valence of candidate ratings in televised debates
König, Pascal. - Freiburg : Universität, 2022
|
|
|
4 |
The emotional valence of candidate ratings in televised debates
Enthalten in Communications Bd. 47, 2022, Nr. 3: 422-449. 28 S.
|
|
|
|
5 |
A framework to generate and label datasets for non-intrusive load monitoring
Völker, Benjamin. - Freiburg : Universität, 2021
|
|
|
|
6 |
Acquiring, congregating, and processing high-frequency electricity data in distributed environments
Völker, Benjamin. - Freiburg : Universität, 2022
|
|
|
|
7 |
Assessing the impact of party identification in transnational election campaigns
Waldvogel, Thomas. - Freiburg : Universität, 2024
|
|
|
|
8 |
Model Checking Techniques for Design and Analysis of Future Hardware and Software Systems
Märcker, Steffen. - Dresden : Technische Universität Dresden, 2021
|
|
|
|
9 |
Take the power back!
Feiten, Linus. - Freiburg : Universität, 2022
|
|
|
|
10 |
Validität und Reliabilität virtualisierter RTR-Messungen
Waldvogel, Thomas. - Freiburg : Universität, 2021
|
|
Administration
