E-LIB Suche - Ergebnisse für: Miguel, Isabel

1

Distilling Constraints in Zero-Knowledge Protocols:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Albert, Elvira ; Bellés-Muñoz, Marta ; Isabel, Miguel.. - p. 430-443 , 2022

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

2

Optimal context-sensitive dynamic partial order reduction w..:

, In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Albert, Elvira ; de la Banda, Maria Garcia ; Gómez-Zamalloa, Miguel.. - p. 352-362 , 2019

Link: https://dl.acm.org/doi/1..

3

Conditional dynamic partial order reduction and optimality ..:

, In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Isabel, Miguel - p. 433-437 , 2019

Link: https://dl.acm.org/doi/1..

4

Constrained Dynamic Partial Order Reduction:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Albert, Elvira ; Gómez-Zamalloa, Miguel ; Isabel, Miguel. - p. 392-410 , 2018

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

5

SYCO: a systematic testing tool for concurrent objects:

, In: Proceedings of the 25th International Conference on Compiler Construction,

Albert, Elvira ; Gómez-Zamalloa, Miguel ; Isabel, Miguel - p. 269-270 , 2016

Link: https://dl.acm.org/doi/1..

6

Contributors:

, In: Early Vascular Aging (EVA),

Agabiti-Rosei, Claudia ; Agabiti-Rosei, Enrico ; Agnoletti, Davide... - p. xvii-xxi , 2024

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

7

Residents' Perceptions of Sustainable Tourism Development i..:

, In: Advances in Tourism, Technology and Systems; Smart Innovation, Systems and Technologies,

Vieira, Isabel ; Rodrigues, Ana ; Alén, Elisa. - p. 37-50 , 2024

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

8

Cultural Indicators as a Tool for Assessing Sustainable Dev..:

, In: Advances in Tourism, Technology and Systems; Smart Innovation, Systems and Technologies,

Silva, Andreia ; Vieira, Isabel ; Fernandes, Didiana.. - p. 363-374 , 2024

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

9

An Adversarial Robustness Benchmark for Enterprise Network ..:

, In: Foundations and Practice of Security; Lecture Notes in Computer Science,

Vitorino, João ; Silva, Miguel ; Maia, Eva. - p. 3-17 , 2024

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

10

Strategies in Conditional Narrowing Modulo SMT Plus Axioms:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,

Aguirre, Luis ; Martí-Oliet, Narciso ; Palomino, Miguel. - p. 1-20 , 2023

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

11

Intervention of the Rehabilitation Nurse in the Promotion o..:

, In: Gerontechnology V; Lecture Notes in Bioengineering,

Mestre, David Rui Matias ; Soares, Carlos Miguel ; Nunes, Isabel. - p. 325-338 , 2023

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

12

Generation of Interstellar Carbonaceous Dust Analogs in C2H..:

, In: European Conference on Laboratory Astrophysics ECLA2020; Astrophysics and Space Science Proceedings,

Jiménez-Redondo, Miguel ; Díaz-Pérez, Lidia ; Peláez, Ramón J.... - p. 111-117 , 2023

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

13

Application of microbial enzymes as drugs in human therapy ..:

, In: Biotechnology of Microbial Enzymes,

Arroyo, Miguel ; de la Mata, Isabel ; Barreiro, Carlos.. - p. 341-373 , 2023

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

14

Impacts of the Pandemic on Urban Tourism: The Case of Santi..:

, In: Advances in Tourism, Technology and Systems; Smart Innovation, Systems and Technologies,

Otón, Miguel Pazos ; Braga, José Luís ; Pereira, Miguel... - p. 647-659 , 2023

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

15

List of contributors:

, In: Artificial Intelligence in Capsule Endoscopy,

Afonso, João ; Almeida, Nuno ; Andrade, Patrícia... - p. xiii-xvi , 2023

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