Sortiert nach
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-30
2019
Link zum Volltext
Computer Aided Verification, p.62-83
Link zum Volltext
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, p.508-524
2018
Link zum Volltext
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020, p.286-300
2020
Link zum Volltext
Computer Aided Verification, p.307-323
Link zum Volltext
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020, p.883-897
2020
Link zum Volltext
Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication, 2020, p.750-764
2020
Link zum Volltext
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.571-585
2018
Link zum Volltext
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.586-602
2018
Link zum Volltext
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021, p.1141-1154
2021
Link zum Volltext
SIGPLAN notices, 2018-12, Vol.53 (4), p.586-602
2018
Link zum Volltext
SIGPLAN notices, 2018-12, Vol.53 (4), p.571-585
2018
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Probabilistic Programming
- Adversarial Attacks
- Computer Science, Hardware & Architecture
- Deep Learning
- Engineering
- Engineering, Electrical & Electronic
- Logic
- Mathematics Of Computing
- Mathematics Of Computing -- Probability And Statistics -- Probabilistic Inference Problems
- Probabilistic Inference
- Probabilistic Reasoning Algorithms
- Probability And Statistics
- Science & Technology - Other Topics
- Abstract Interpretation
- Cold Edges
Kollektion
Zeitschrift / Serie