Alberto Lluch Lafuente

Available identifiers

zbMath Open lluch-lafuente.albertoDBLPl/AlbertoLluchLafuenteWikidataQ56491394 ScholiaQ56491394MaRDI QIDQ832280

List of research outcomes

Publication	Date of Publication	Type
A framework for provenance-preserving history distribution and incremental reduction	2024-02-23	Paper
Maximizing extractable value from automated market makers	2023-05-26	Paper
Star-Topology Decoupling in SPIN	2023-03-21	Paper
An extension of ERODE to reduce Boolean networks by backward Boolean equivalence	2023-01-18	Paper
A theory of Automated Market Makers in DeFi	2023-01-09	Paper
SoK: lending pools in decentralized finance	2022-06-01	Paper
Reducing Boolean networks with backward Boolean equivalence	2022-05-25	Paper
Model checking \(\omega \)-regular properties with decoupled search	2022-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4621140	2019-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q2980978	2017-05-08	Paper
https://portal.mardi4nfdi.de/entity/Q2980974	2017-05-08	Paper
Replicating Data for Better Performances in X10	2016-03-23	Paper
Discretionary Information Flow Control for Interaction-Oriented Specifications	2015-09-14	Paper
Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?	2015-09-09	Paper
A White Box Perspective on Behavioural Adaptation	2015-06-22	Paper
Hierarchical Design Rewriting with Maude	2015-03-19	Paper
Programming and Verifying Component Ensembles	2014-07-24	Paper
On Symbolic Semantics for Name-decorated Contexts	2014-06-27	Paper
Graphical verification of a spatial logic for the {\(\pi\)}-calculus	2013-10-07	Paper
Quantitative \(\mu\)-calculus and CTL based on constraint semirings	2013-09-20	Paper
Adaptable Transition Systems	2013-09-13	Paper
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models	2012-10-02	Paper
Counterpart semantics for a second-order \(\mu\)-calculus	2012-07-11	Paper
On GS-Monoidal Theories for Graphs with Nesting	2010-11-26	Paper
Counterpart Semantics for a Second-Order μ-Calculus	2010-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q3396631	2009-09-19	Paper
Graphical Encoding of a Spatial Logic for the π-Calculus	2009-03-10	Paper
Heuristic Search for the Analysis of Graph Transition Systems	2008-11-27	Paper
Graph-Based Design and Analysis of Dynamic Software Architectures	2008-06-19	Paper
A Temporal Graph Logic for Verification of Graph Transformation Systems	2007-09-10	Paper
Model Checking Software	2007-05-02	Paper
Quantitative \(\mu\)-calculus and CTL defined over constraint semirings	2005-12-29	Paper
https://portal.mardi4nfdi.de/entity/Q4738472	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4530808	2002-06-17	Paper

Research outcomes over time

This page was built for person: Alberto Lluch Lafuente