Research output per year
Research output per year
Fingerprint
Dive into the research topics where Alberto Lluch Lafuente is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Are we preparing students to build security in? A survey of european cybersecurity in higher education programs
Dragoni, N., Lluch Lafuente, A., Massacci, F. & Schlichtkrull, A., 1 Jan 2021, In: IEEE Security and Privacy. 19, 1, p. 81-88 9336077.Research output: Contribution to journal › Journal article › peer-review
Open AccessFile125 Downloads (Pure) -
A Theory of Automated Market Makers in DeFi
Bartoletti, M., Chiang, J. H. Y. & Lluch-Lafuente, A., 2021, Coordination Models and Languages. Damiani, F. & Dardha, O. (eds.). Springer, p. 168-187 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12717 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile4 Downloads (Pure) -
Model Checking ω -Regular Properties with Decoupled Search
Gnad, D., Eisenhut, J., Lluch Lafuente, A. & Hoffmann, J., 2021, Computer Aided Verification. Silva, A. & Leino, K. R. (eds.). Springer, p. 411-434 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12760 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile2 Downloads (Pure) -
Quantitative Security Risk Modeling and Analysis with RisQFLan
ter Beek, M. H., Legay, A., Lluch Lafuente, A. & Vandin, A., 2021, In: Computers and Security. 109, 16 p., 102381.Research output: Contribution to journal › Journal article › peer-review
-
Reducing Boolean Networks with Backward Boolean Equivalence
Argyris, G., Lafuente, A. L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, Computational Methods in Systems Biology. Springer, 19 p. (Lecture Notes in Computer Science, Vol. 12881).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile14 Downloads (Pure)
-
Trace-Net++: A Process Calculus for Blockchain State-channels
Hsin-yu Chiang, J., Lluch Lafuente, A., Bartoletti, M. & Machado David, B.
01/06/2020 → 31/05/2023
Project: PhD
-
Formal Techniques and Tools for the Reduction of Biological Systems
Argyris, G., Lluch Lafuente, A. & Vandin, A.
01/02/2020 → 31/01/2023
Project: PhD
-
Vertical Composition of Distributed Systems
Gondron, S. P. C., Mödersheim, S. A., Lluch Lafuente, A., Villadsen, J., Guttman, J. D. & Sprenger, C.
01/07/2018 → 30/09/2021
Project: PhD
-
Action Model Learning for Multi-agent Systems
Occhipinti Liberman, A., Bolander, T., Gierasimczuk, N., Lluch Lafuente, A., Herzig, A. & Smets, S.
Technical University of Denmark
01/02/2017 → 09/12/2020
Project: PhD
-
Composec: Secure Composition of Distributed Systems
Hess, A. V., Mödersheim, S. A., Villadsen, J., Lluch Lafuente, A., Guttman, J. D. & Sprenger, C.
01/10/2015 → 12/12/2018
Project: PhD