Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Alberto Lluch Lafuente

Klaim-Db: A Modeling Language for Distributed Database Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

An Algebra of Hierarchical Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Conceptual Framework for Adaptation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-Adaptation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Combining Declarative and Procedural Views in the Specification and Analysis of Product Families

2013English

Partial-Order Reduction for General State Exploring Algorithms

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy