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
Asynchronous distributed execution of fixpoint-based computational fields	2017-05-08	Paper
A coordination language for databases	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 \(\mu \)-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