I agree that this site is using cookies. You can find further informations here.
X
Gomez, Elvira
29  results:
Bookchapter (Online) X
Search for persons X
?
1

Características de la entrevista psicológica:

, In: Entrevistar en psicología,
GÓMEZ, ELVIRA OROZCO ; SÁNCHEZ, CARMEN LORENA SALAZAR - p. 15-48 , 2019
Link: https://doi.org/10.2307/..
 
?
2

Aligning security and privacy:

, In: Surveillance, Privacy and Security,
Esposti, Sara Degli ; Pavone, Vincenzo ; Santiago-Gómez, Elvira - p. 71-90 , 2017
Link: https://doi.org/10.4324/..
 
?
3

In silico Molecular Docking Studies and MM/GBSA Analysis of..:

, In: Proceedings of the 2023 10th International Conference on Bioinformatics Research and Applications,
Diano, Gilberto Tura ; Himmiwat, Richard ; Adajar, Katrina... - p. 201-205 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Contributors:

, In: Expanding Horizon of Cyanobacterial Biology,
Berrendero Gómez, Esther ; Brito, Ângela ; Castell, Carmen... - p. ix-x , 2022
Link: https://doi.org/10.1016/..
 
?
5

Recent trends of polyphasic approach in taxonomy and cyanob..:

, In: Expanding Horizon of Cyanobacterial Biology,
Perona, Elvira ; Muñoz-Martín, María Ángeles ; Berrendero Gómez, Esther - p. 1-49 , 2022
Link: https://doi.org/10.1016/..
 
?
6

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..
 
?
7

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/..
 
?
8

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..
 
?
9

Testing of concurrent and imperative software using CLP:

, In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming,
Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel - p. 1-8 , 2016
Link: https://dl.acm.org/doi/1..
 
?
10

aPET: a test case generation tool for concurrent objects:

, In: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering,
Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel. - p. 595-598 , 2013
Link: https://dl.acm.org/doi/1..
 
?
11

COSTABS : a cost and termination analyzer for ABS:

, In: Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation,
Albert, Elvira ; Arenas, Puri ; Genaim, Samir.. - p. 151-154 , 2012
Link: https://dl.acm.org/doi/1..
 
?
12

Symbolic execution of concurrent objects in CLP:

, In: Proceedings of the 14th international conference on Practical Aspects of Declarative Languages,
Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel - p. 123-137 , 2012
Link: https://dl.acm.org/doi/1..
 
?
13

Symbolic Execution of Concurrent Objects in CLP:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,
Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel - p. 123-137 , 2012
Link: https://doi.org/10.1007/..
 
?
14

An Application of a Positive Mathematical Programming Model..:

, In: Computational Methods for Agricultural Research,
Asensio, Lucinio ; Gómez de Barreda, Rosario ; Ruiz, Miguel.. - p. 175-198 , 2011
Link: https://doi.org/10.4018/..
 
?
15

Parametric inference of memory requirements for garbage col..:

, In: Proceedings of the 2010 international symposium on Memory management,
Albert, Elvira ; Genaim, Samir ; Gómez-Zamalloa, Miguel - p. 121-130 , 2010
Link: https://dl.acm.org/doi/1..
 
1-15