ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Dagstuhl Artifacts Series (DARTS)
container_3ngwjzthdrgd3bbjzeiodahbcu
Schloss Dachstuhl ? Leibniz-Zentrum für Informatik
Homepage URLs
https://www.dagstuhl.de/publikationen/darts/ |
http://drops.dagstuhl.de/opus/institut_darts.php?fakultaet=10 |
Example Publications
Front Matter, Table of Contents, Preface, Conference Organization
Lisa Nguyen Quang Do, Manuel Rigger
2020
|
Dagstuhl Artifacts Series (DARTS)
doi:10.4230/darts.6.2.0 dblp:journals/darts/DoR20
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact)
Gabriela Sampaio, José Fragoso Santos, Petar Maksimović, Philippa Gardner, Manuel Rigger, Lisa Nguyen Quang Do
2020
|
Dagstuhl Artifacts Series (DARTS)
doi:10.4230/darts.6.2.5 dblp:journals/darts/SampaioSMG20
Perfect is the Enemy of Good: Best-Effort Program Synthesis (Artifact)
Hila Peleg, Nadia Polikarpova, Manuel Rigger, Lisa Nguyen Quang Do
2020
|
Dagstuhl Artifacts Series (DARTS)
doi:10.4230/darts.6.2.16 dblp:journals/darts/PelegP20
Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact)
Julia Gabet, Nobuko Yoshida, Manuel Rigger, Lisa Nguyen Quang Do
2020
|
Dagstuhl Artifacts Series (DARTS)
doi:10.4230/darts.6.2.12 dblp:journals/darts/GabetY20
Reconciling Event Structures with Modern Multiprocessors (Artifact)
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis, Manuel Rigger, Lisa Nguyen Quang Do
2020
|
Dagstuhl Artifacts Series (DARTS)
doi:10.4230/darts.6.2.4 dblp:journals/darts/MoiseenkoPLMV20
125
Known Releases
Open Access Publication
Preservation Summary [more]
82 | preserved and accessble (bright) | |
0 | preserved, inaccessible (dark) | |
43 | no known preservation |
Lookup Links