|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Krejci, Simon ; Sigwart, Marten ; Schulte, Stefan | Blockchain- and IPFS-Based Data Distribution for the Internet of Things | Konferenzbeitrag Inproceedings  | 2020 |
| 2 | | Moldovan, Daniel ; Copil, Georgiana ; Truong, Hong-Linh ; Dustdar, Schahram | QUELLE – A Framework for Accelerating the Development of Elastic Systems | Konferenzbeitrag Inproceedings | 2014 |
| 3 | | Qanbari, Soheil ; Sebto, Vahid ; Dustdar, Schahram | Cloud Resources-Events-Agents Model: Towards TOSCA-Based Applications | Konferenzbeitrag Inproceedings | 2014 |
| 4 | | Drechsler, Rolf ; Glesner, Sabine ; Knoop, Jens ; Zimmermann, Wolf | Preliminary Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008) | Konferenzband Proceedings | 2008 |
| 5 | | Glesner, Sabine ; Knoop, Jens ; Zimmermann, Wolf | Proceedings of the Workshop on Compiler Optimization meets Compiler Verification (COCV 2007) | Konferenzband Proceedings | 2007 |
| 6 | | Knoop, Jens ; Necula, George ; Zimmermann, Wolf | Fifth International Workshop on Compiler Optimization Meets Compiler Verification | Konferenzband Proceedings | 2006 |
| 7 | | Knoop, Jens ; Necula, George ; Zimmermann, Wolf | Proceedings of the 4th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2005), Electronic Notes in Theoretical Computer Science, Volume 141, Issue 2 | Konferenzband Proceedings | 2005 |
| 8 | | Knoop, Jens ; Zimmermann, Wolf | Journal of Universal Computer Science, Special Issue for the 1st International Workshop on Compiler Optimization meets Compiler Verification (COCV 2002) | Konferenzband Proceedings | 2003 |
