Alberto Lluch Lafuente

Available identifiers

zbMath Open lluch-lafuente.albertoWikidataQ56491394 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/Q2980974	2017-05-08	Paper
https://portal.mardi4nfdi.de/entity/Q2980978	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
https://portal.mardi4nfdi.de/entity/Q2852049	2013-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q2849845	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 μ-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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alberto Lluch Lafuente