E-LIB Suche - Ergebnisse für: Martí Rodrigo, Alberto

1

Contributors:

, In: Foundations of Colorectal Cancer,

Aguilar, José Francisco Noguera ; Alhayek-Aí, Mohammed ; Alonso Aguirre, Pedro A.... - p. xix-xxiv , 2022

Link: https://doi.org/10.1016/..

2

COGNIT: Challenges and Vision for a Serverless and Multi-Pr..:

, In: 2023 IEEE International Conference on Edge Computing and Communications (EDGE),

Townend, Paul ; Marti, Alberto P. ; De La Iglesia, Idoia... - p. 12-22 , 2023

Link: https://doi.org/10.1109/..

3

Mitigation and Recovery of Single Event Effects in RTG4™ Tr..:

, In: 2022 22nd European Conference on Radiation and Its Effects on Components and Systems (RADECS),

Villafranca, Alberto Gonzalez ; Florit, Albert Ferrer ; Casas, Marti Farras.. - p. 1-5 , 2022

Link: https://doi.org/10.1109/..

4

Reducing Emissions Prioritising Transport Utility:

, In: Sustainable Smart Cities and Territories; Lecture Notes in Networks and Systems,

Billhardt, Holger ; Fernández, Alberto ; Gómez-Gálvez, Sandra... - p. 300-311 , 2021

Link: https://doi.org/10.1007/..

5

Off-line Correlator for Antenna Array Over Long Baselines:

, In: 2019 8th International Workshop on Tracking, Telemetry and Command Systems for Space Applications (TTC),

Ardito, Alessandro ; Abello, Ricard ; Aroumont, Anbazhagan... - p. 1-8 , 2019

Link: https://doi.org/10.1109/..

6

Tutorials at PPSN 2018:

, In: Parallel Problem Solving from Nature – PPSN XV; Lecture Notes in Computer Science,

Pappa, Gisele Lobo ; Emmerich, Michael T. M. ; Bazzan, Ana... - p. 477-489 , 2018

Link: https://doi.org/10.1007/..

7

Phenomenological Simulators of Critical Infrastructures:

, In: Managing the Complexity of Critical Infrastructures; Studies in Systems, Decision and Control,

Tofani, Alberto ; D'Agostino, Gregorio ; Martí, José - p. 85-107 , 2016

Link: https://doi.org/10.1007/..

8

Film-Free LIFT (FF-LIFT):

, In: Laser Printing of Functional Materials,

Surdo, Salvatore ; Diaspro, Alberto ; Duocastella, Martí - p. 123-146 , 2018

Link: https://doi.org/10.1002/..

9

QMaude: Quantitative Specification and Verification in Rewr..:

, In: Formal Methods; Lecture Notes in Computer Science,

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel. - p. 240-259 , 2023

Link: https://doi.org/10.1007/..

10

Strategies, Model Checking and Branching-Time Properties in..:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel. - p. 156-175 , 2020

Link: https://doi.org/10.1007/..

11

Parameterized Strategies Specification in Maude:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel. - p. 27-44 , 2019

Link: https://doi.org/10.1007/..

12

Parameterized Programming for Compositional System Specific..:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,

Martín, Óscar ; Verdejo, Alberto ; Martí-Oliet, Narciso - p. 59-75 , 2018

Link: https://doi.org/10.1007/..

13

List of contributors:

, In: Electrofluidodynamic Technologies (EFDTs) for Biomaterials and Medical Devices,

Abhari, Roxanna Elizabeth ; Altobelli, Rosaria ; Álvarez-Pérez, Marco A.... - p. xi-xiv , 2018

Link: https://doi.org/10.1016/..