Alberto Lluch Lafuente

Citado por

	Total	Desde 2019
Citas	4763	2456
Índice h	34	18
Índice i10	61	32

500

250

125

375

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 17 53 48 82 102 96 144 142 99 124 118 106 143 215 160 215 330 359 347 382 437 500 428

Acceso público

Ver todo

44 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkDirección de correo verificada de santannapisa.it
Roberto BruniUniversity of PisaDirección de correo verificada de di.unipi.it
Edelkamp, StefanDepartment of Theor. Computer Science at Charles University and at FEL/CVUT in PragueDirección de correo verificada de fel.cvut.cz
Fabio GadducciProfessore di Informatica, Università di PisaDirección de correo verificada de unipi.it
Nicola DragoniDeputy Director, Head of Section, Professor @ DTU ComputeDirección de correo verificada de dtu.dk
Manuel MazzaraDean of the Faculty of Computer Science and EngineeringDirección de correo verificada de innopolis.ru
Stefan LeueProfessor of Computer Science, University of Konstanz, GermanyDirección de correo verificada de uni-konstanz.de
Maurice H. ter BeekISTI, CNRDirección de correo verificada de isti.cnr.it
Andrea CorradiniProfessor of Computer Science, University of PisaDirección de correo verificada de di.unipi.it
axel legayUCLouvainDirección de correo verificada de uclouvain.be
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkDirección de correo verificada de imada.sdu.dk
Emilio TuostoGran Sasso Science InstituteDirección de correo verificada de gssi.it
Saverio GiallorenzoAssistant Professor at Department of Computer Science and Engineering, Università di BolognaDirección de correo verificada de unibo.it
Massimo BartolettiUniversità degli Studi di CagliariDirección de correo verificada de unica.it
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoDirección de correo verificada de unicam.it
Larisa SafinaResearcher, INRIADirección de correo verificada de inria.fr
James Hsin-yu ChiangPostdoc, Aarhus UniversityDirección de correo verificada de ucla.edu
Rocco De NicolaProfessor of Computer Science, IMT LuccaDirección de correo verificada de imtlucca.it
Stefano SebastioINRIA Bretagne Atlantique, FranceDirección de correo verificada de imtlucca.it
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyDirección de correo verificada de tue.nl

Seguir

Alberto Lluch Lafuente

Technical University of Denmark

Dirección de correo verificada de dtu.dk - Página principal

Formal Methods Software Engineering Security Artificial Intelligence #dtusse


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Microservices: yesterday, today, and tomorrow N Dragoni, S Giallorenzo, A Lluch Lafuente, M Mazzara, F Montesi, ... Present and Ulterior Software Engineering, 195--216, 2017	1809	2017
Directed explicit model checking with HSF-SPIN S Edelkamp, AL Lafuente, S Leue International SPIN Workshop on Model Checking of Software, 57-79, 2001	258	2001
Directed explicit-state model checking in the validation of communication protocols S Edelkamp, S Leue, A Lluch-Lafuente International journal on software tools for technology transfer 5 (2-3), 247-267, 2004	255	2004
Partial-order reduction and trail improvement in directed model checking S Edelkamp, S Leue, A Lluch-Lafuente International Journal on Software Tools for Technology Transfer 6, 277-301, 2004	127*	2004
A conceptual framework for adaptation R Bruni, A Corradini, F Gadducci, A Lluch Lafuente, A Vandin Proceedings of the 15th International Conference on Fundamental Approaches …, 2012	111	2012
SoK: lending pools in decentralized finance M Bartoletti, JH Chiang, AL Lafuente Financial Cryptography and Data Security. FC 2021 International Workshops …, 2021	97	2021
The SCEL language: design, implementation, verification R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ... Software Engineering for Collective Autonomic Systems: The ASCENS Approach, 3-71, 2015	84	2015
A theory of automated market makers in DeFi M Bartoletti, JH Chiang, A Lluch-Lafuente Logical Methods in Computer Science 18, 2022	78	2022
Style based architectural reconfigurations R Bruni, A Lluch-Lafuente, U Montanari, E Tuosto Bulletin of the European Association for Theoretical Computer Science (EATCS …, 2008	78*	2008
Quantitative mu-calculus and CTL defined over constraint semirings A Lluch-Lafuente, U Montanari Theoretical computer science 346 (1), 135-160, 2005	78*	2005
Using linear temporal model checking for goal-oriented policy refinement frameworks J Rubio-Loyola, J Serrat, M Charalambides, P Flegkas, G Pavlou, ... Policies for Distributed Systems and Networks, 2005. Sixth IEEE …, 2005	72	2005
Protocol verification with heuristic search S Edelkamp, AL Lafuente, S Leue Bibliothek der Universität Konstanz, 2001	70	2001
Modelling and analyzing adaptive self-assembly strategies with Maude R Bruni, A Corradini, F Gadducci, AL Lafuente, A Vandin Science of Computer Programming 99, 75-94, 2015	59	2015
Partial-order reduction for general state exploring algorithms D Bošnački, S Leue, A Lluch Lafuente International Journal on Software Tools for Technology Transfer 11, 39-51, 2009	58	2009
A framework for quantitative modeling and analysis of highly (re) configurable systems MH Ter Beek, A Legay, AL Lafuente, A Vandin IEEE Transactions on Software Engineering 46 (3), 321-345, 2018	54	2018
Cost-algebraic heuristic search S Edelkamp, S Jabbar, A Lluch-Lafuente AAAI 5, 1362-1367, 2005	50	2005
Statistical analysis of probabilistic models of software product lines with quantitative constraints MH ter Beek, A Legay, AL Lafuente, A Vandin Proceedings of the 19th International Conference on Software Product Line, 11-15, 2015	49	2015
Symmetry reduction and heuristic search for error detection in model checking A Lluch Lafuente Workshop on Model Checking and Artificial Intelligence, 2003	49	2003
Trail-directed model checking S Edelkamp, A Lluch-Lafuente, S Leue Electronic Notes in Theoretical Computer Science 55 (3), 343-356, 2001	49	2001
Graph-based design and analysis of dynamic software architectures R Bruni, A Bucchiarone, S Gnesi, D Hirsch, A Lluch Lafuente Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008	48	2008

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores