Sortiert nach
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-30
2019
Link zum Volltext
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, p.67-82
2018
Link zum Volltext
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1946-1969, Article 186
2023
Link zum Volltext
2018 IEEE Symposium on Security and Privacy (SP), 2018, p.3-18
2018
- Link zum Volltext
2020 IEEE Symposium on Security and Privacy (SP), 2020, p.1661-1677
2020
- Link zum Volltext
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, p.531-548
2019
Link zum Volltext
Computer Aided Verification, p.62-83
Link zum Volltext
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-33
2022
Link zum Volltext
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, p.1667-1680
2018
Link zum Volltext
SIGPLAN notices, 2016-04, Vol.51 (1), p.761-774
2016
Link zum Volltext
2022 IEEE Symposium on Security and Privacy (SP), 2022, p.179-197
2022
- Link zum Volltext
2021 IEEE Symposium on Security and Privacy (SP), 2021, p.391-409
2021
- Link zum Volltext
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, p.2735-2749
2022
Link zum Volltext
Proceedings of ACM on programming languages, 2018-11, Vol.2 (OOPSLA), p.1-29
2018
Link zum Volltext
Proceedings of ACM on programming languages, 2024-04, Vol.8 (OOPSLA1), p.55-82, Article 96
2024
Link zum Volltext
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021, p.2526-2540
2021
Link zum Volltext
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014, p.419-428
2014
Link zum Volltext
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015, p.111-124
2015
Link zum Volltext
Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, 2014, p.173-184
2014
Link zum Volltext
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, p.1663-1677
2022
Link zum Volltext
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, p.1759-1776
2019
Link zum Volltext
2021 IEEE/CVF International Conference on Computer Vision (ICCV), 2021, p.7588-7598
2021
- Link zum Volltext
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, p.1865-1879
2023
Link zum Volltext
SIGPLAN notices, 2014-06, Vol.49 (6), p.419-428
2014
Link zum Volltext
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, p.508-524
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
- Concurrency
- Synthesis
- Software
- Abstract Interpretation
- Computing Methodologies -- Concurrent Computing Methodologies -- Concurrent Programming Languages
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Applied Sciences
- Computer Science, Information Systems
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Verification
- Machine Learning
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Software And Its Engineering
- Computer Systems And Distributed Systems. User Interface
Kollektion
- ACM Digital Library Complete
- Ingenta
- Springer Book Series
- EZB Electronic Journals Library
- IEEE Electronic Library (IEL)
- EBSCOhost Business Source Ultimate
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- SpringerLink Journals (MCLS)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ProQuest Dissertations & Theses A&I
- Ovid SocietyJournals and Single Titles
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Proceedings Of Acm On Programming Languages
- Communications Of The Acm
- Acm Sigplan 2007 Conference On Programming Language Design And Implementation; San Diego, Ca; Usa; 10-13 June 2007
- Acm Transactions On Parallel Computing
- Acm Transactions On Software Engineering And Methodology
- Computer Languages, Systems & Structures
- European Journal Of Cancer
- Formal Methods In System Design
Neu hinzugefügt