• Richard Petersens Plads, 324, 181

    2800 Kgs. Lyngby

    Denmark

20012020

Research output per year

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

Research Output

Filter
Editorial
2017

Automated specification and verification of Web-based applications

ter Beek, M. H. & Lluch Lafuente, A., 2017, In : Journal of Logical and Algebraic Methods in Programming. 87, p. 51-51

Research output: Contribution to journalEditorialResearch

Preface for the special issue on Interaction and Concurrency Experience 2015

Lanese, I., Lluch Lafuente, A., Knight, S. & Vieira, H. T., 2017, In : Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 1 1 p.

Research output: Contribution to journalEditorialResearchpeer-review

2016

Preface: Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014)

Bosnacki, D., Edelkamp, S., Lluch Lafuente, A. & Wijs, A., 2016, In : Science of Computer Programming. 130, p. 1 1 p.

Research output: Contribution to journalEditorialResearch

Open Access
File
97 Downloads (Pure)
2015

Preface

Lluch Lafuente, A. & Tuosto, E., 2015, In : Service Oriented Computing and Applications. 9, 3-4, p. 211 1 p.

Research output: Contribution to journalEditorialResearchpeer-review