Personensuche
X
?
Springer Proceedings in Earth and Environmental Sciences; Proceedings of the 3rd International Conference on Water Energy Food and Sustainability (ICoWEFS 2023) ,
1
Online Sport Infrastructure Management for the Sustainabili..:
, In:
?
Proceedings of the Genetic and Evolutionary Computation Conference ,
2
Combining Evolutionary Algorithms with Reaction Rules Towar..:
, In:
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
3
Boosting the Performance of High-Assurance Cryptography: Pa..:
, In:
?
Practical Applications of Computational Biology and Bioinformatics, 17th International Conference (PACBB 2023); Lecture Notes in Networks and Systems ,
4
A New GIMME–Based Heuristic for Compartmentalised Transcrip..:
, In:
?
2022 International Joint Conference on Neural Networks (IJCNN) ,
5
Development of Deep Learning approaches to predict relation..:
, In:
?
2022 IEEE Congress on Evolutionary Computation (CEC) ,
6
Variational Autoencoders and Evolutionary Algorithms for Ta..:
, In:
?
2022 International Joint Conference on Neural Networks (IJCNN) ,
7
Predicting the number of biochemical transformations needed..:
, In:
?
Practical Applications of Computational Biology & Bioinformatics, 15th International Conference (PACBB 2021); Lecture Notes in Networks and Systems ,
8
Combinatorial Optimization of Succinate Production in Esche..:
, In:
?
The Archaeology of 'Underdog Sites' in the Douro Valley ,
9
Um quintal com muita história.: Resultados da intervenção a..:
, In:
?
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security ,
10
Machine-checked ZKP for NP relations: Formally Verified Sec..:
, In:
?
Applications of Evolutionary Computation; Lecture Notes in Computer Science ,
11
Combining Multi-objective Evolutionary Algorithms with Deep..:
, In:
?
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security ,
12
A Machine-Checked Proof of Security for AWS Key Management ..:
, In:
?
2019 IEEE 8th International Conference on Cloud Networking (CloudNet) ,
13
Hybrid IP/SDN Routing for Inter-Data Center Communications:
, In:
?
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security ,
14
A High-Assurance Evaluator for Machine-Checked Secure Multi..:
, In:
?
Proceedings of the First International Conference on Data Science, E-learning and Information Systems ,
15