Lafuente, A. Lluch : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (37)
Les plus populaires
Liste
- Liste
- Tableau

1

Modelling and analyzing adaptive self-assembly strategies with Maude

Bruni, Roberto, Corradini, Andrea, Gadducci, Fabio, Lluch Lafuente, Alberto, Vandin, Andrea

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 2.46 MB

english, 2015

2

Preface for the special issue on Interaction and Concurrency Experience 2014

Lanese, Ivan, Lluch Lafuente, Alberto, Sokolova, Ana, Torres Vieira, Hugo

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2016

Langue:

english

Fichier:

PDF, 131 KB

english, 2016

3

AVOCLOUDY : a simulator of volunteer clouds

Sebastio, Stefano, Amoretti, Michele, Lafuente, Alberto Lluch

Journal:

Software: Practice and Experience

Année:

2016

Langue:

english

Fichier:

PDF, 1.46 MB

english, 2016

4

Automated specification and verification of Web-based applications

ter Beek, Maurice H., Lluch Lafuente, Alberto

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2017

Langue:

english

Fichier:

PDF, 157 KB

english, 2017

5

Preface for the special issue on Interaction and Concurrency Experience 2015

Lanese, Ivan, Lluch Lafuente, Alberto, Knight, Sophia, Vieira, Hugo Torres

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2017

Langue:

english

Fichier:

PDF, 127 KB

english, 2017

6

A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds

Sebastio, Stefano, Amoretti, Michele, Lafuente, Alberto Lluch, Scala, Antonio

Journal:

ACM Transactions on Modeling and Computer Simulation

Année:

2018

Langue:

english

Fichier:

PDF, 3.55 MB

english, 2018

7

Quantitative μ-calculus and CTL Based on Constraint Semirings

Alberto Lluch-Lafuente, Ugo Montanari

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 394 KB

english, 2005

8

A Logic for Application Level QoS

Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 526 KB

english, 2006

9

A Logic for Graphs with QoS

Gianluigi Ferrari, Alberto Lluch-Lafuente

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 304 KB

english, 2006

10

Graphical Verification of a Spatial Logic for the π-calculus

Fabio Gadducci, Alberto Lluch Lafuente

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 444 KB

english, 2006

11

On Symbolic Semantics for Name-decorated Contexts

Andrea Bracciali, Roberto Bruni, Alberto Lluch Lafuente

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 766 KB

english, 2009

12

Quantitative μ-calculus and CTL defined over constraint semirings

Alberto Lluch-Lafuente, Ugo Montanari

Journal:

Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 241 KB

english, 2005

13

Trail-Directed Model Checking

Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 299 KB

english, 2001

14

A survey of genes differentially expressed during long-term heat-induced chilling tolerance in citrus fruit

MaríaTeresa Sanchez-Ballesta, Yolanda Lluch, MaríaJosé Gosalbes, Lorenzo Zacarias, Antonio Granell, MaríaTeresa Lafuente

Journal:

Année:

2003

Langue:

english

Fichier:

PDF, 884 KB

english, 2003

15

Directed explicit-state model checking in the validation of communication protocols

Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2004

Langue:

english

Fichier:

PDF, 976 KB

english, 2004

16

Partial-order reduction and trail improvement in directed model checking

Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2004

Langue:

english

Fichier:

PDF, 443 KB

english, 2004

17

Partial-order reduction for general state exploring algorithms

Dragan Bošnački, Stefan Leue, Alberto Lluch Lafuente

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2009

Langue:

english

Fichier:

PDF, 418 KB

english, 2009

18

Hierarchical Design Rewriting with Maude

Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 853 KB

english, 2009

19

Constraint design rewriting

Bruni, Roberto, Lluch Lafuente, Alberto, Montanari, Ugo

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 431 KB

english, 2015

20

[Lecture Notes in Computer Science] Trustworthy Global Computing Volume 8358 ||

Abadi, Martín, Lluch Lafuente, Alberto

Année:

2014

Langue:

english

Fichier:

PDF, 7.52 MB

english, 2014

21

[Lecture Notes in Computer Science] Trustworthy Global Computing Volume 8358 || Specification of Asynchronous Component Systems with Modal I/O-Petri Nets

Abadi, Martín, Lluch Lafuente, Alberto

Année:

2014

Langue:

english

Fichier:

PDF, 332 KB

english, 2014

22

Preface

Lluch Lafuente, Alberto, Tuosto, Emilio

Journal:

Service Oriented Computing and Applications

Année:

2015

Langue:

english

Fichier:

PDF, 305 KB

english, 2015

23

Preface for the special issue of Interaction and Concurrency Experience 2013

Carbone, Marco, Lanese, Ivan, Lluch Lafuente, Alberto, Sokolova, Ana

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 116 KB

english, 2015

24

[ACM Press the 9th International Symposium - Hyderabad, India (2014.06.02-2014.06.03)] Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems - SEAMS 2014 - A computational field framework for collaborative task execution in volunteer clouds

Sebastio, Stefano, Amoretti, Michele, Lluch Lafuente, Alberto

Année:

2014

Langue:

english

Fichier:

PDF, 1.24 MB

english, 2014

25

[ACM Press the 19th International Conference - Nashville, Tennessee (2015.07.20-2015.07.24)] Proceedings of the 19th International Conference on Software Product Line - SPLC '15 - Statistical analysis of probabilistic models of software product lines with quantitative constraints

ter Beek, M. H., Legay, A., Lafuente, A. Lluch, Vandin, A.

Année:

2015

Langue:

english

Fichier:

PDF, 1.17 MB

english, 2015

26

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 9686 ||

Lluch Lafuente, Alberto, Proença, José

Année:

2016

Langue:

english

Fichier:

PDF, 11.99 MB

english, 2016

27

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 9686 || Multilevel Transitive and Intransitive Non-interference, Causally

Lluch Lafuente, Alberto, Proença, José

Année:

2016

Langue:

english

Fichier:

PDF, 358 KB

english, 2016

28

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 9686 || Scheduling Games for Concurrent Systems

Lluch Lafuente, Alberto, Proença, José

Année:

2016

Langue:

english

Fichier:

PDF, 397 KB

english, 2016

29

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 9686 || A Semantic Theory of the Internet of Things

Lluch Lafuente, Alberto, Proença, José

Année:

2016

Langue:

english

Fichier:

PDF, 923 KB

english, 2016

30

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 9686 || Improving Gossip Dynamics Through Overlapping Replicates

Lluch Lafuente, Alberto, Proença, José

Année:

2016

Langue:

english

Fichier:

PDF, 1.15 MB

english, 2016

31

A survey of genes differentially expressed during long-term heat-induced chilling tolerance in citrus fruit

María Teresa Sanchez-Ballesta, Yolanda Lluch, María José Gosalbes, Lorenzo Zacarias, Antonio Granell and María Teresa Lafuente

Journal:

Année:

2003

Langue:

english

Fichier:

PDF, 1.46 MB

english, 2003

32

Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014)

Bošnački, Dragan, Edelkamp, Stefan, Lluch Lafuente, Alberto, Wijs, Anton

Journal:

Science of Computer Programming

Année:

2016

Langue:

english

Fichier:

PDF, 121 KB

english, 2016

33

[ACM Press the 17th International Software Product Line Conference co-located workshops - Tokyo, Japan (2013.08.26-2013.08.30)] Proceedings of the 17th International Software Product Line Conference co-located workshops on - SPLC '13 Workshops - Combining declarative and procedural views in the specification and analysis of product families

ter Beek, Maurice H., Lafuente, Alberto Lluch, Petrocchi, Marinella

Année:

2013

Langue:

english

Fichier:

PDF, 370 KB

english, 2013

34

[IEEE 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) - Cambridge, United Kingdom (2018.3.21-2018.3.23)] 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) - Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies

Buravlev, Vitaly, De Nicola, Rocco, Lafuente, Alberto Lluch, Mezzina, Claudio Antares

Année:

2018

Langue:

english

Fichier:

PDF, 95 KB

english, 2018

35

A framework for quantitative modeling and analysis of highly (re)configurable systems

Ter Beek, Maurice, Legay, Axel, Lluch Lafuente, Alberto, Vandin, Andrea

Journal:

IEEE Transactions on Software Engineering

Année:

2018

Langue:

english

Fichier:

PDF, 2.95 MB

english, 2018

36

Many-to-many information flow policies

Baldan, Paolo, Lluch Lafuente, Alberto

Journal:

Science of Computer Programming

Année:

2018

Langue:

english

Fichier:

PDF, 1018 KB

english, 2018

37

UNDERSTANDING THE BASIS OF CHILLING INJURY IN CITRUS FRUIT

Lafuente, M.T., Zacarias, L., Sala, J.M., Sánchez-Ballesta, M.T., Gosalbes, M.J., Marcos, J.F., González-Candelas, L., Lluch, Y., Granell, A.

Journal:

Acta Horticulturae

Année:

2005

Fichier:

PDF, 314 KB

2005