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: 33 Publications since 2001 7 Contributions as Editor Co-Authors: 46 Co-Authors with 40 Joint Publications 810 Co-Co-Authors all top 5 Co-Authors 0 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 1 Wu, Xi 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 Information and communication theory, circuits (94-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-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 21 Publications have been cited 98 times in 78 Documents Cited by ▼ Year ▼ Directed explicit model checking with HSF-SPIN. Zbl 0986.68521Edelkamp, Stefan; Lluch Lafuente, Alberto; Leue, Stefan 25 2001 Partial order reduction in directed model checking. Zbl 1077.68693Lluch-Lafuente, Alberto; Edelkamp, Stefan; Leue, Stefan 11 2002 Quantitative \(\mu\)-calculus and CTL defined over constraint semirings. Zbl 1080.68065Lluch-Lafuente, Alberto; Montanari, Ugo 8 2005 Style-based architectural reconfigurations. Zbl 1169.68306Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio 6 2008 A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto 6 2007 Discretionary information flow control for interaction-oriented specifications. Zbl 1321.68349Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis 5 2015 Programming and verifying component ensembles. Zbl 1416.68051De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco 5 2014 A theory of automated market makers in DeFi. Zbl 07639908Bartoletti, Massimo; Chiang, Hsin-Yu James; Lluch-Lafuente, Alberto 5 2022 Partial-order reduction for general state exploring algorithms. Zbl 1178.68336Bošnački, Dragan; Leue, Stefan; Lluch Lafuente, Alberto 4 2006 Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo 4 2017 Quantitative \(\mu\)-calculus and CTL based on constraint semirings. Zbl 1272.68269Lluch-Lafuente, Alberto; Montanari, Ugo 3 2005 Hierarchical design rewriting with Maude. Zbl 1347.68072Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo 3 2009 Can we efficiently check concurrent programs under relaxed memory models in Maude? Zbl 1367.68057Alrahman, Yehia Abd; Andric, Marina; Beggiato, Alessandro; Lluch Lafuente, Alberto 3 2014 Reducing Boolean networks with backward Boolean equivalence. Zbl 1491.92058Argyris, Georgios; Lluch Lafuente, Alberto; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 2 2021 Heuristic search for the analysis of graph transition systems. Zbl 1156.68576Edelkamp, Stefan; Jabbar, Shahid; Lluch Lafuente, Alberto 2 2006 Adaptable transition systems. Zbl 1394.68206Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 1 2013 Star-topology decoupling in SPIN. Zbl 1508.68331Gnad, Daniel; Dubbert, Patrick; Lluch Lafuente, Alberto; Hoffmann, Jörg 1 2018 SoK: lending pools in decentralized finance. Zbl 1492.91443Bartoletti, Massimo; Chiang, James Hsin-yu; Lafuente, Alberto Lluch 1 2021 Graphical encoding of a spatial logic for the \(\pi \)-calculus. Zbl 1214.68248Gadducci, Fabio; Lluch Lafuente, Alberto 1 2007 A coordination language for databases. Zbl 1398.68124Li, Ximeng; Wu, Xi; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis 1 2017 Replicating data for better performances in X10. Zbl 1474.68039Andrić, Marina; De Nicola, Rocco; Lluch Lafuente, Alberto 1 2016 A theory of automated market makers in DeFi. Zbl 07639908Bartoletti, Massimo; Chiang, Hsin-Yu James; Lluch-Lafuente, Alberto 5 2022 Reducing Boolean networks with backward Boolean equivalence. Zbl 1491.92058Argyris, Georgios; Lluch Lafuente, Alberto; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 2 2021 SoK: lending pools in decentralized finance. Zbl 1492.91443Bartoletti, Massimo; Chiang, James Hsin-yu; Lafuente, Alberto Lluch 1 2021 Star-topology decoupling in SPIN. Zbl 1508.68331Gnad, Daniel; Dubbert, Patrick; Lluch Lafuente, Alberto; Hoffmann, Jörg 1 2018 Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo 4 2017 A coordination language for databases. Zbl 1398.68124Li, Ximeng; Wu, Xi; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis 1 2017 Replicating data for better performances in X10. Zbl 1474.68039Andrić, Marina; De Nicola, Rocco; Lluch Lafuente, Alberto 1 2016 Discretionary information flow control for interaction-oriented specifications. Zbl 1321.68349Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis 5 2015 Programming and verifying component ensembles. Zbl 1416.68051De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco 5 2014 Can we efficiently check concurrent programs under relaxed memory models in Maude? Zbl 1367.68057Alrahman, Yehia Abd; Andric, Marina; Beggiato, Alessandro; Lluch Lafuente, Alberto 3 2014 Adaptable transition systems. Zbl 1394.68206Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea 1 2013 Hierarchical design rewriting with Maude. Zbl 1347.68072Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo 3 2009 Style-based architectural reconfigurations. Zbl 1169.68306Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio 6 2008 A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto 6 2007 Graphical encoding of a spatial logic for the \(\pi \)-calculus. Zbl 1214.68248Gadducci, Fabio; Lluch Lafuente, Alberto 1 2007 Partial-order reduction for general state exploring algorithms. Zbl 1178.68336Bošnački, Dragan; Leue, Stefan; Lluch Lafuente, Alberto 4 2006 Heuristic search for the analysis of graph transition systems. Zbl 1156.68576Edelkamp, Stefan; Jabbar, Shahid; Lluch Lafuente, Alberto 2 2006 Quantitative \(\mu\)-calculus and CTL defined over constraint semirings. Zbl 1080.68065Lluch-Lafuente, Alberto; Montanari, Ugo 8 2005 Quantitative \(\mu\)-calculus and CTL based on constraint semirings. Zbl 1272.68269Lluch-Lafuente, Alberto; Montanari, Ugo 3 2005 Partial order reduction in directed model checking. Zbl 1077.68693Lluch-Lafuente, Alberto; Edelkamp, Stefan; Leue, Stefan 11 2002 Directed explicit model checking with HSF-SPIN. Zbl 0986.68521Edelkamp, Stefan; Lluch Lafuente, Alberto; Leue, Stefan 25 2001 all cited Publications top 5 cited Publications all top 5 Cited by 164 Authors 10 Lluch Lafuente, Alberto 4 Bruni, Roberto 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 Gradara, Sara 3 Hoffmann, Jörg 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 Gnad, Daniel 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 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 Cao, Yongzhi 1 Chen, Xiaofang 1 Chiang, Hsin-Yu James 1 Chou, Ching-Tsun 1 Ciancarini, Paolo 1 Ciancia, Vincenzo 1 Crafa, Silvia 1 Dashti, M. Torabi 1 de Alfaro, Luca 1 De Nicola, Rocco 1 Dobrikov, Ivaylo 1 Dwyer, Matthew B. 1 Edelkamp, Stefan 1 Eisenhut, Jan 1 Faella, Marco 1 Fahrenberg, Uli 1 Fehnker, Ansgar 1 Feng, Cheng 1 Fraser, Gordon 1 Frazzoli, Emilio 1 Gadducci, Fabio 1 Galpin, Vashti 1 Garg, Vijay K. 1 Gargantini, Angelo 1 Geldenhuys, Jaco 1 Gnesi, Stefania 1 Gopalakrishnan, Ganesh Lalitha 1 Griesmayer, Andreas 1 Haslum, Patrik 1 Hatcliff, John 1 Helmert, Malte ...and 64 more Authors all top 5 Cited in 18 Serials 9 Logical Methods in Computer Science 7 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 76 Computer science (68-XX) 19 Mathematical logic and foundations (03-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 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year