Edit Profile (opens in new tab) Lluch Lafuente, Alberto Co-Author Distance Author ID: lluch-lafuente.alberto Published as: Lluch Lafuente, Alberto; Lluch-Lafuente, Alberto; Lafuente, Alberto Lluch more...less External Links: ORCID · dblp Documents Indexed: 34 Publications since 2001 7 Contributions as Editor Software Indexed: 2 Packages Co-Authors: 45 Co-Authors with 40 Joint Publications 797 Co-Co-Authors all top 5 Co-Authors 1 single-authored 9 Gadducci, Fabio 8 Bruni, Roberto 7 Vandin, Andrea 6 Montanari, Ugo G. 5 Lanese, Ivan 4 Corradini, Andrea 4 Vieira, Hugo Torres 3 Bartoletti, Massimo 3 Edelkamp, Stefan 3 Leue, Stefan 3 Sokolova, Ana 2 Andric, Marina 2 Argyris, Georgios 2 Chiang, James Hsin-yu 2 De Nicola, Rocco 2 Gnad, Daniel 2 Hoffmann, Jörg 2 Knight, Sophia 2 Loreti, Michele 2 Nielson, Flemming 2 Riis Nielson, Hanne 2 Tribastone, Mirco 2 Tschaikowski, Max 1 Abadi, Martín 1 Alrahman, Yehia Abd 1 Baldan, Paolo 1 Beggiato, Alessandro 1 Bošnački, Dragan 1 Bracciali, Andrea Clark 1 Bucchiarone, Antonio 1 Carbone, Marco 1 Chiang, Hsin-Yu James 1 Dubbert, Patrick 1 Eisenhut, Jan 1 Gnesi, Stefania 1 Hirsch, Dan 1 Jabbar, Shahid 1 König, Barbara 1 Li, Ximeng 1 Morichetta, Andrea 1 Pugliese, Rosario 1 Senni, Valerio 1 ter Beek, Maurice H. 1 Tiezzi, Francesco 1 Tuosto, Emilio all top 5 Serials 3 Logical Methods in Computer Science 3 Journal of Logical and Algebraic Methods in Programming 3 Electronic Proceedings in Theoretical Computer Science (EPTCS) 1 Theoretical Computer Science 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Fundamenta Informaticae 1 Lecture Notes in Computer Science 1 Scientific Annals of Computer Science all top 5 Fields 36 Computer science (68-XX) 7 General and overarching topics; collections (00-XX) 7 Mathematical logic and foundations (03-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Information and communication theory, circuits (94-XX) 2 Biology and other natural sciences (92-XX) 1 Combinatorics (05-XX) 1 Associative rings and algebras (16-XX) 1 Category theory; homological algebra (18-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 24 Publications have been cited 113 times in 87 Documents Cited by ▼ Year ▼ Directed explicit model checking with HSF-SPIN. Zbl 0986.68521 Edelkamp, Stefan; Lluch Lafuente, Alberto; Leue, Stefan 27 2001 Partial order reduction in directed model checking. Zbl 1077.68693 Lluch-Lafuente, Alberto; Edelkamp, Stefan; Leue, Stefan 11 2002 Quantitative \(\mu\)-calculus and CTL defined over constraint semirings. Zbl 1080.68065 Lluch-Lafuente, Alberto; Montanari, Ugo 8 2005 A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154 Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto 8 2007 Style-based architectural reconfigurations. Zbl 1169.68306 Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio 7 2008 Can we efficiently check concurrent programs under relaxed memory models in Maude? Zbl 1367.68057 Alrahman, Yehia Abd; Andric, Marina; Beggiato, Alessandro; Lluch Lafuente, Alberto 5 2014 Discretionary information flow control for interaction-oriented specifications. Zbl 1321.68349 Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis 5 2015 Partial-order reduction for general state exploring algorithms. Zbl 1178.68336 Bošnački, Dragan; Leue, Stefan; Lluch Lafuente, Alberto 5 2006 A theory of automated market makers in DeFi. Zbl 1546.91274 Bartoletti, Massimo; Chiang, Hsin-Yu James; Lluch-Lafuente, Alberto 5 2022 Programming and verifying component ensembles. Zbl 1416.68051 De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco 5 2014 Quantitative \(\mu\)-calculus and CTL based on constraint semirings. Zbl 1272.68269 Lluch-Lafuente, Alberto; Montanari, Ugo 4 2005 Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369 Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo 4 2017 Hierarchical design rewriting with Maude. Zbl 1347.68072 Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo 3 2009 Counterpart semantics for a second-order \(\mu\)-calculus. Zbl 1260.03030 Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 2 2012 Maximizing extractable value from automated market makers. Zbl 1515.91145 Bartoletti, Massimo; Chiang, James Hsin-yu; Lluch Lafuente, Alberto 2 2022 SoK: lending pools in decentralized finance. Zbl 1492.91443 Bartoletti, Massimo; Chiang, James Hsin-yu; Lafuente, Alberto Lluch 2 2021 Heuristic search for the analysis of graph transition systems. Zbl 1156.68576 Edelkamp, Stefan; Jabbar, Shahid; Lluch Lafuente, Alberto 2 2006 Reducing Boolean networks with backward Boolean equivalence. Zbl 1491.92058 Argyris, Georgios; Lluch Lafuente, Alberto; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 2 2021 Exploiting over- and under-approximations for infinite-state counterpart models. Zbl 1367.68190 Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 1 2012 Replicating data for better performances in X10. Zbl 1474.68039 Andrić, Marina; De Nicola, Rocco; Lluch Lafuente, Alberto 1 2016 Star-topology decoupling in SPIN. Zbl 1508.68331 Gnad, Daniel; Dubbert, Patrick; Lluch Lafuente, Alberto; Hoffmann, Jörg 1 2018 Graphical encoding of a spatial logic for the \(\pi \)-calculus. Zbl 1214.68248 Gadducci, Fabio; Lluch Lafuente, Alberto 1 2007 Adaptable transition systems. Zbl 1394.68206 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 1 2013 A coordination language for databases. Zbl 1398.68124 Li, Ximeng; Wu, Xi; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis 1 2017 A theory of automated market makers in DeFi. Zbl 1546.91274 Bartoletti, Massimo; Chiang, Hsin-Yu James; Lluch-Lafuente, Alberto 5 2022 Maximizing extractable value from automated market makers. Zbl 1515.91145 Bartoletti, Massimo; Chiang, James Hsin-yu; Lluch Lafuente, Alberto 2 2022 SoK: lending pools in decentralized finance. Zbl 1492.91443 Bartoletti, Massimo; Chiang, James Hsin-yu; Lafuente, Alberto Lluch 2 2021 Reducing Boolean networks with backward Boolean equivalence. Zbl 1491.92058 Argyris, Georgios; Lluch Lafuente, Alberto; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 2 2021 Star-topology decoupling in SPIN. Zbl 1508.68331 Gnad, Daniel; Dubbert, Patrick; Lluch Lafuente, Alberto; Hoffmann, Jörg 1 2018 Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369 Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo 4 2017 A coordination language for databases. Zbl 1398.68124 Li, Ximeng; Wu, Xi; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis 1 2017 Replicating data for better performances in X10. Zbl 1474.68039 Andrić, Marina; De Nicola, Rocco; Lluch Lafuente, Alberto 1 2016 Discretionary information flow control for interaction-oriented specifications. Zbl 1321.68349 Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis 5 2015 Can we efficiently check concurrent programs under relaxed memory models in Maude? Zbl 1367.68057 Alrahman, Yehia Abd; Andric, Marina; Beggiato, Alessandro; Lluch Lafuente, Alberto 5 2014 Programming and verifying component ensembles. Zbl 1416.68051 De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco 5 2014 Adaptable transition systems. Zbl 1394.68206 Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 1 2013 Counterpart semantics for a second-order \(\mu\)-calculus. Zbl 1260.03030 Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 2 2012 Exploiting over- and under-approximations for infinite-state counterpart models. Zbl 1367.68190 Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 1 2012 Hierarchical design rewriting with Maude. Zbl 1347.68072 Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo 3 2009 Style-based architectural reconfigurations. Zbl 1169.68306 Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio 7 2008 A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154 Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto 8 2007 Graphical encoding of a spatial logic for the \(\pi \)-calculus. Zbl 1214.68248 Gadducci, Fabio; Lluch Lafuente, Alberto 1 2007 Partial-order reduction for general state exploring algorithms. Zbl 1178.68336 Bošnački, Dragan; Leue, Stefan; Lluch Lafuente, Alberto 5 2006 Heuristic search for the analysis of graph transition systems. Zbl 1156.68576 Edelkamp, Stefan; Jabbar, Shahid; Lluch Lafuente, Alberto 2 2006 Quantitative \(\mu\)-calculus and CTL defined over constraint semirings. Zbl 1080.68065 Lluch-Lafuente, Alberto; Montanari, Ugo 8 2005 Quantitative \(\mu\)-calculus and CTL based on constraint semirings. Zbl 1272.68269 Lluch-Lafuente, Alberto; Montanari, Ugo 4 2005 Partial order reduction in directed model checking. Zbl 1077.68693 Lluch-Lafuente, Alberto; Edelkamp, Stefan; Leue, Stefan 11 2002 Directed explicit model checking with HSF-SPIN. Zbl 0986.68521 Edelkamp, Stefan; Lluch Lafuente, Alberto; Leue, Stefan 27 2001 all cited Publications top 5 cited Publications all top 5 Cited by 180 Authors 11 Lluch Lafuente, Alberto 4 Bruni, Roberto 4 Hoffmann, Jörg 4 Montanari, Ugo G. 4 Santone, Antonella 4 Viroli, Mirko 3 Audrito, Giorgio 3 Brim, Luboš 3 Casadei, Roberto 3 Černá, Ivana 3 Corradini, Andrea 3 Cruz-Filipe, Luís 3 Damiani, Ferruccio 3 Gadducci, Fabio 3 Gnad, Daniel 3 Gradara, Sara 3 Larsen, Kim Guldstrand 3 Loreti, Michele 3 Majumdar, Rupak 3 Montesi, Fabrizio 3 Pianini, Danilo 3 Vandin, Andrea 3 Villani, Maria Luisa 2 Alba, Enrique 2 Baldan, Paolo 2 Barnat, Jiří 2 Beal, Jacob 2 Beneš, Nikola 2 Chicano, Francisco 2 Dimitrova, Rayna 2 Ehrig, Hartmut 2 Fava, Daniel Schnetzer 2 Ferrari, Gian Luigi 2 Kupferschmid, Sebastian 2 Leuschel, Michael 2 Li, Yongming 2 Orejas, Fernando 2 Peressotti, Marco 2 Prange, Ulrike 2 Pugliese, Rosario 2 Sochor, Jiri 2 Srba, Jiří 2 Steffen, Martin 2 Stolz, Volker 2 Tiezzi, Francesco 2 Tribastone, Mirco 2 Trotta, Davide 2 Tuosto, Emilio 2 Valmari, Antti 2 Vařeková, Pavlina 2 Wehrle, Martin 2 Wijs, Anton J. 1 Abeti, Luca 1 Aljazzar, Husain 1 Arbab, Farhad 1 Argyris, Georgios 1 Baranov, Eduard 1 Barbosa, Luís Soares 1 Bartocci, Ezio 1 Bartoletti, Massimo 1 Beggiato, Alessandro 1 Bendisposto, Jens 1 Bliudze, Simon 1 Bloem, Roderick 1 Bocchi, Laura 1 Bonet, Blai 1 Bortolussi, Luca 1 Bošnački, Dragan 1 Bracciali, Andrea Clark 1 Bucchiarone, Antonio 1 Buhnova, B. 1 Bui, Thang H. 1 Cai, Shaowei 1 Cao, Yongzhi 1 Chen, Xiaofang 1 Chiang, Hsin-Yu James 1 Chitra, Tarun 1 Chou, Ching-Tsun 1 Ciancarini, Paolo 1 Ciancia, Vincenzo 1 Colvin, Robert J. 1 Crafa, Silvia 1 Dashti, M. Torabi 1 de Alfaro, Luca 1 De Nicola, Rocco 1 Diamandis, Theo 1 Dobrikov, Ivaylo 1 Dubbert, Patrick 1 Dwyer, Matthew B. 1 Edelkamp, Stefan 1 Eisenhut, Jan 1 Ernstberger, Jens 1 Evangelista, Sami 1 Faella, Marco 1 Fahrenberg, Uli 1 Fehnker, Ansgar 1 Feng, Cheng 1 Fraser, Gordon 1 Frazzoli, Emilio 1 Galpin, Vashti ...and 80 more Authors all top 5 Cited in 18 Serials 9 Logical Methods in Computer Science 8 Theoretical Computer Science 5 Journal of Logical and Algebraic Methods in Programming 4 Formal Methods in System Design 4 The Journal of Logic and Algebraic Programming 3 Science of Computer Programming 3 Formal Aspects of Computing 2 Acta Informatica 2 Journal of Computer and System Sciences 2 Information and Computation 1 Artificial Intelligence 1 Information Processing Letters 1 Fuzzy Sets and Systems 1 Computers & Operations Research 1 Journal of Automated Reasoning 1 ACM Transactions on Modeling and Computer Simulation 1 Fundamenta Informaticae 1 Computer Languages, Systems & Structures all top 5 Cited in 10 Fields 83 Computer science (68-XX) 15 Mathematical logic and foundations (03-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Operations research, mathematical programming (90-XX) 2 Probability theory and stochastic processes (60-XX) 2 Biology and other natural sciences (92-XX) 1 History and biography (01-XX) 1 Numerical analysis (65-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year