Search for persons
X
?
Encyclopedia of Bioinformatics and Computational Biology ,
2
Applications of the Coalescent for the Evolutionary Analysi..:
, In:
?
Advances in Plant Breeding Strategies: Vegetable Crops ,
4
Desert Truffles (Terfezia spp.) Breeding:
, In:
?
8th European Medical and Biological Engineering Conference; IFMBE Proceedings ,
5
Linear and Nonlinear Features for Myocardial Infarction Det..:
, In:
?
IFMBE Proceedings; VIII Latin American Conference on Biomedical Engineering and XLII National Conference on Biomedical Engineering ,
6
Morphological and Temporal ECG Features for Myocardial Infa..:
, In:
?
Medical Image Computing and Computer Assisted Intervention – MICCAI 2018; Lecture Notes in Computer Science ,
7
Conditional Generative Adversarial and Convolutional Networ..:
, In:
?
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming ,
9
Testing of concurrent and imperative software using CLP:
, In:
?
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering ,
10
aPET: a test case generation tool for concurrent objects:
, In:
?
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation ,
11
COSTABS : a cost and termination analyzer for ABS:
, In:
?
Proceedings of the 14th international conference on Practical Aspects of Declarative Languages ,
12
Symbolic execution of concurrent objects in CLP:
, In:
?
Practical Aspects of Declarative Languages; Lecture Notes in Computer Science ,
13
Symbolic Execution of Concurrent Objects in CLP:
, In:
?
Springer Series in Design and Innovation; Architectural Graphics ,
15