about
Microservices: Yesterday, Today, and TomorrowMany-to-many information flow policiesA Holistic Approach for Collaborative Workload Execution in Volunteer CloudsAggregation Policies for Tuple SpacesImproving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication StrategiesQFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable SystemsStar-Topology Decoupling in SPINAutomated specification and verification of Web-based applicationsMany-to-Many Information Flow PoliciesPreface for the special issue on Interaction and Concurrency Experience 2015Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014)Statistical Model Checking for Product LinesModelling and analyzing adaptive self-assembly strategies with MaudeConstraint design rewritingA Fixpoint-Based Calculus for Graph-Shaped Computational FieldsA White Box Perspective on Behavioural AdaptationAVOCLOUDY : a simulator of volunteer cloudsDiscretionary Information Flow Control for Interaction-Oriented SpecificationsKlaim-DB: A Modeling Language for Distributed Database ApplicationsPrefaceQuantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model CheckingReconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptationReplica-Based High-Performance Tuple Space ComputingReplicating Data for Better Performances in X10The SCEL Language: Design, Implementation, VerificationTools for Ensemble Design and RuntimeA computational field framework for collaborative task execution in volunteer cloudsCan We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?Programming and Verifying Component EnsemblesReputation-Based Cooperation in the CloudsAdaptable Transition SystemsCombining declarative and procedural views in the specification and analysis of product familiesA Conceptual Framework for AdaptationEvaluating the Performance of Model Transformation Styles in MaudeExploiting Over- and Under-Approximations for Infinite-State Counterpart ModelsModelling and Analyzing Adaptive Self-assembly Strategies with MaudeState Space c-Reductions of Concurrent Systems in Rewriting LogicA Formal Support to Business and Architectural Design for Service-Oriented SystemsHierarchical Models for Service-Oriented SystemsA Graph Syntax for Processes and Services
P50
Q54479360-8EFBFA04-BD69-423D-99D0-F15F268700E8Q56491491-DAE09CED-5AD5-4B7A-9AA0-666AC2FDA204Q56491611-EF5B8931-91C9-429C-8412-02A7FBB4B42EQ56491707-64321FA3-41F4-45D8-8AED-6DA2C1BE9511Q56491787-DAC9C471-70F2-4EB8-8D13-3E183D5657DDQ56491855-9CDB677A-C003-49E8-9E05-588B242375ADQ56491944-DC692CAC-D37B-4DCD-81C0-52A320EDC813Q56492212-E05B4626-F762-45BD-81C8-CA99E39672CBQ56492859-FA73CDD8-8F54-409E-8D9A-46CDB550B4A8Q56492919-50747278-05B0-4DEE-A838-0C2FCD1CFE2DQ56492969-4DF04E1F-9F0D-45DA-AEC1-8AAE7441D10EQ56493006-D53C4A02-C35B-4811-BCE1-68A6686D35F3Q56493077-91040644-3AF6-4C10-BB5B-889384ED1770Q56493169-E14BACA1-2B9B-4DA7-8ED3-EB26D32ECB9EQ56493228-546839E0-446A-44CE-A362-ED3910CBD963Q56493245-61922854-C1BB-4EFD-95D7-4ECFF21AA8EDQ56493266-8ED60420-8B2B-45FF-84EE-F92DE3E1091FQ56493323-413C75F6-E60A-45F8-A4AD-61A28D6773B3Q56493335-580318CD-1723-4792-91BF-B65F20E05CFCQ56493350-F8F0098F-10F4-4391-93B8-BBA74DBBE1ADQ56493404-5664F4CB-0DD2-4D77-AD76-4A5E506DC98DQ56493427-555AF9C8-B0CE-43C5-90F6-B8ADB8109417Q56493454-934DDC78-965E-40B1-A3E3-5F8BCA287E03Q56493495-5C8D1AAB-428C-4326-BA50-662708C66FFEQ56494471-9E5F4E17-A0A6-45CF-89E1-65C533AD9620Q56494975-73611ADF-AC60-4C1A-9779-E2970E974749Q56495489-C555D3D0-3B9D-45BC-9CA3-28A48ED134C2Q56495846-529A4E4E-FF67-4E31-9870-07E2482168F3Q56497690-D8A3793A-55B4-4F7D-916A-EA5B6127629EQ56498337-48988A76-2791-468A-943E-CFBEBE3DBF58Q56500140-F6C72DE3-AF2C-4685-9481-DB1B5EE59493Q56500584-A9810444-2853-4355-B27F-E701523310CBQ56501320-F8F2CF1A-083A-4CFB-AE03-0F0916646FBCQ56501389-00D12C94-38C0-4055-B728-E7161B8997E0Q56501400-A34B4395-F62C-4FD1-9F69-51D9095C8C66Q56501451-615C9C30-D458-4FFF-A8AF-F1AA24CEBE3DQ56501477-79160044-9444-4444-853A-18DFD66B6B2DQ56501483-D964E0F7-CB68-4865-99FC-C47DC18FF15FQ56501513-4FED04FE-F3CC-4114-8649-8822F128D564Q56501571-86AAB75C-90FB-4052-92ED-8709C512665F
P50
description
onderzoeker
@nl
researcher
@en
ricercatore
@it
հետազոտող
@hy
name
Alberto Lluch Lafuente
@ast
Alberto Lluch Lafuente
@da
Alberto Lluch Lafuente
@de
Alberto Lluch Lafuente
@en
Alberto Lluch Lafuente
@es
Alberto Lluch Lafuente
@fo
Alberto Lluch Lafuente
@fr
Alberto Lluch Lafuente
@is
Alberto Lluch Lafuente
@kl
Alberto Lluch Lafuente
@nb
type
label
Alberto Lluch Lafuente
@ast
Alberto Lluch Lafuente
@da
Alberto Lluch Lafuente
@de
Alberto Lluch Lafuente
@en
Alberto Lluch Lafuente
@es
Alberto Lluch Lafuente
@fo
Alberto Lluch Lafuente
@fr
Alberto Lluch Lafuente
@is
Alberto Lluch Lafuente
@kl
Alberto Lluch Lafuente
@nb
prefLabel
Alberto Lluch Lafuente
@ast
Alberto Lluch Lafuente
@da
Alberto Lluch Lafuente
@de
Alberto Lluch Lafuente
@en
Alberto Lluch Lafuente
@es
Alberto Lluch Lafuente
@fo
Alberto Lluch Lafuente
@fr
Alberto Lluch Lafuente
@is
Alberto Lluch Lafuente
@kl
Alberto Lluch Lafuente
@nb
P227
P1153
9245337700
P1416
P1960
df9bzkoAAAAJ
P21
P214
2404147373405141580006
P227
1113310871
P2456
l/AlbertoLluchLafuente
P31
P496
0000-0001-7405-0818
P735
P7859
viaf-2404147373405141580006