• Richard Petersens Plads, 324, 181

    2800 Kgs. Lyngby

    Denmark

20012021

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Book
2015

Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems

ter Beek, M. H. (ed.) & Lluch Lafuente, A. (ed.), 2015, (Electronic Proceedings in Theoretical Computer Science).

Research output: Book/ReportBook

Proceedings 8th Interaction and Concurrency Experience

Knight, S. (ed.), Lanese, I. (ed.), Lluch Lafuente, A. (ed.) & Torres Vieira, H. (ed.), 2015, (Electronic Proceedings in Theoretical Computer Science).

Research output: Book/ReportBook

2014

Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014)

Bošnački, D. (ed.), Edelkamp, S. (ed.), Lluch Lafuente, A. (ed.) & Wijs, A. (ed.), 2014, (Electronic Proceedings in Theoretical Computer Science).

Research output: Book/ReportBook

Proceedings of the 7th Interaction and Concurrency Experience (ICE 2014)

Lanese, I. (ed.), Lluch Lafuente, A. (ed.), Sokolova, A. (ed.) & Vieira, H. T. (ed.), 2014, 110 p.

Research output: Book/ReportBook

Proceedings of the 8th Symposium on Trustworthy Global Computing (TGC 2013)

Abadi, M. (ed.) & Lluch Lafuente, A. (ed.), 2014, 331 p. (Lecture Notes in Computer Science, Vol. 8358).

Research output: Book/ReportBook

2013

Proceedings of the 6th Interaction and Concurrency Experience (ICE 2013)

Carbone, M. (ed.), Lanese, I. (ed.), Lluch Lafuente, A. (ed.) & Sokolova, A. (ed.), 2013, Open Publishing Association. (Electronic Proceedings in Theoretical Computer Science).

Research output: Book/ReportBook

2011

Internet e Web 2.0

Lluch Lafuente, A., 2011

Research output: Book/ReportBook