Background and activities

Scientific, academic and artistic work

A selection of recent journal publications, artistic productions, books, including book and report excerpts. See all publications in the database

Journal publications

Part of book/report

  • Lin, Jia-Chun; Yu, Ingrid Chieh; Johnsen, Einar Broch; Lee, Ming-Chang. (2016) ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings.