E-LIB Suche - Ergebnisse für: Erhard, A.

1

Cross-verification of independent quantum devices:

, In: 2021 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC),

Greganti, C. ; Demarie, T. F. ; Ringbauer, M.... - p. 1-1 , 2021

Link: https://doi.org/10.1109/..

2

When to Stop Going Down the Rabbit Hole: Taming Context-Sen..:

, In: Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,

Erhard, Julian ; Schinabeck, Johanna Franziska ; Schwarz, Michael. - p. 35-44 , 2024

Link: https://dl.acm.org/doi/1..

3

2-Pointer Logic:

, In: Taming the Infinities of Concurrency; Lecture Notes in Computer Science,

Seidl, Helmut ; Erhard, Julian ; Schwarz, Michael. - p. 281-307 , 2024

Link: https://doi.org/10.1007/..

4

Goblint Validator: Correctness Witness Validation by Abstra..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Saan, Simmo ; Erhard, Julian ; Schwarz, Michael... - p. 335-340 , 2024

Link: https://doi.org/10.1007/..

5

Goblint: Abstract Interpretation for Memory Safety and Term..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Saan, Simmo ; Erhard, Julian ; Schwarz, Michael... - p. 381-386 , 2024

Link: https://doi.org/10.1007/..

6

When Long Jumps Fall Short: Control-Flow Tracking and Misus..:

, In: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,

Schwarz, Michael ; Erhard, Julian ; Vojdani, Vesal.. - p. 20-26 , 2023

Link: https://dl.acm.org/doi/1..

7

Generalization:

, In: Handbook of Applied Behavior Analysis; Autism and Child Psychopathology Series,

Erhard, Patricio ; Falcomata, Terry S. - p. 251-268 , 2023

Link: https://doi.org/10.1007/..

8

Regression and machine learning:

, In: Research Handbook on Digital Sociology,

Erhard, Lukas ; Heiberger, Raphael - p. 130-145 , 2023

Link: https://doi.org/10.4337/..

9

Correctness Witness Validation by Abstract Interpretation:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Saan, Simmo ; Schwarz, Michael ; Erhard, Julian... - p. 74-97 , 2023

Link: https://doi.org/10.1007/..

10

Goblint: Autotuning Thread-Modular Abstract Interpretation:..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Saan, Simmo ; Schwarz, Michael ; Erhard, Julian... - p. 547-552 , 2023

Link: https://doi.org/10.1007/..

11

Clustered Relational Thread-Modular Abstract Interpretation..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Schwarz, Michael ; Saan, Simmo ; Seidl, Helmut.. - p. 28-58 , 2023

Link: https://doi.org/10.1007/..

12

Basic Principles and Clinical Applications of Photon-Counti..:

, In: Spectral Imaging; Medical Radiology,

Flohr, Thomas ; Petersilka, Martin ; Ulzheimer, Stefan... - p. 73-92 , 2022

Link: https://doi.org/10.1007/..

13

In-Mold Coating in Pressing of Natural-Fiber-Reinforced Sal..:

, In: Proceedings of the Munich Symposium on Lightweight Design 2021,

Erhard, Patricia ; Boos, Dominik ; Günther, Daniel - p. 35-43 , 2022

Link: https://doi.org/10.1007/..

14

Polizei:

, In: Handbuch Körpersoziologie 2,

Staack, Michael ; Erhard, Franz - p. 315-328 , 2022

Link: https://doi.org/10.1007/..

15

Self-Management Skills and Applied Behavior Analysis:

, In: Handbook of Autism and Pervasive Developmental Disorder; Autism and Child Psychopathology Series,

Erhard, Patricio ; Wong, Travis ; Barnett, Monique.. - p. 957-973 , 2022

Link: https://doi.org/10.1007/..