Publications per year
Publications 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
Publications
-
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence
Argyris, G., Lafuente, A. L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2022, Proceedings of 20th International Conference Computational Methods in Systems Biology. Petre, I. & Păun, A. (eds.). Springer, p. 294-301 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13447 LNBI).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile5 Downloads (Pure) -
A theory of Automated Market Makers in DeFi
Bartoletti, M., Chiang, J. H. & Lluch-Lafuente, A., 2022, In: Logical Methods in Computer Science. 18, 4, 46 p., 12.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile6 Downloads (Pure) -
Formal Analysis of Lending Pools in Decentralized Finance
Bartoletti, M., Chiang, J., Junttila, T., Lluch Lafuente, A., Mirelli, M. & Vandin, A., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning.. Margaria, T. & Steffen, B. (eds.). Springer, p. 335-355 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13703 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile1 Downloads (Pure) -
Formal methods and tools for industrial critical systems
Lluch Lafuente, A. & Mavridou, A., 2022, In: International Journal on Software Tools for Technology Transfer. 24, p. 973–976Research output: Contribution to journal › Conference article › Research › peer-review
-
Maximizing Extractable Value from Automated Market Makers
Bartoletti, M., Chiang, J. H. Y. & Lluch Lafuente, A., 2022, Financial Cryptography and Data Security. Eyal, I. & Garay, J. (eds.). Springer, p. 3-19 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13411 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile3 Downloads (Pure)
-
IoT Security Risk Modelling and Assessment
Konsta, A., Lluch Lafuente, A. & Dragoni, N.
01/02/2022 → 31/01/2025
Project: PhD
-
Trace-Net++: A Process Calculus for Blockchain State-channels
Chiang, J. H., 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