Sortiert nach
Computational intelligence, 2009-05, Vol.25 (2), p.51-83
2009
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-32
2019
Volltextzugriff (PDF)
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 2023, p.261-275
2023
Volltextzugriff (PDF)
NASA Formal Methods, 2019, Vol.11460, p.280-297
2019
Volltextzugriff (PDF)
2022 IEEE Symposium on Security and Privacy (SP), 2022, p.2267-2284
2022
Volltextzugriff (PDF)
The Journal of systems and software, 2018-03, Vol.137, p.618-635
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-08, Vol.5 (ICFP), p.1-32
2021
Volltextzugriff (PDF)
2024 IEEE Security and Privacy Workshops (SPW), 2024, p.157-168
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-11, Vol.2 (OOPSLA), p.1-31
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-08, Vol.4 (ICFP), p.1-30
2020
Volltextzugriff (PDF)
Distributed Computing, p.391-405
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-04, Vol.6 (OOPSLA1), p.1-31
2022
Volltextzugriff (PDF)
Distributed Computing, p.106-120
Volltextzugriff (PDF)
Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, 2021, p.199-202
2021
Volltextzugriff (PDF)
CONCUR 2012 – Concurrency Theory, p.516-530
Volltextzugriff (PDF)
2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2020, p.1-9
2020
Volltextzugriff (PDF)
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022, p.348-363
2022
Volltextzugriff (PDF)
SIGPLAN notices, 2016-04, Vol.51 (1), p.357-370
2016
Volltextzugriff (PDF)
Canadian Semantic Web, p.23-43
Volltextzugriff (PDF)
SIGPLAN notices, 2011-08, Vol.46 (8), p.157-168
2011
Volltextzugriff (PDF)
Computer Aided Verification, p.550-567
Volltextzugriff (PDF)
Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2020, p.29-37
2020
Volltextzugriff (PDF)
SIGPLAN notices, 2013-11, Vol.48 (10), p.271-286
2013
Volltextzugriff (PDF)
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, p.221-232
2020
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Engineering
- Reliability
- Engineering, Electrical & Electronic
- Indexes
- Computer Science, Information Systems
- Switches
- Transactional Memory
- Automation & Control Systems
- Computer Science, Artificial Intelligence
- Computer Science, Interdisciplinary Applications
- Method Call
- Power System Reliability
- Self-Healing
- Smart Grid
- Actor
Kollektion
- ACM Digital Library
- IEEE Electronic Library Online
- Ingenta
- EZB Electronic Journals Library
- Springer Book Series
- Wiley Online Library
- Ebook Central Perpetual and DDA
- Business Source Ultimate
- eBooks on EBSCOhost
- Wiley Online Library
- Nexis Uni
- ProQuest Dissertations & Theses A&I
- ScienceDirect Journals (5 years ago - present)
Zeitschrift / Serie
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Sigplan Notices
- Ieee Transactions On Industrial Informatics
- Iet Generation, Transmission & Distribution
- Acm Sigplan Notices
- Communications Of The Acm
- Computational Intelligence
- Ieee Transactions On Power Delivery
- International Transactions On Electrical Energy Systems
Neu hinzugefügt