Not finding it? Sign in to also search OpenAlex live.
-
First three years of the international verification of neural networks competition (VNN-COMP)2023 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access cited by 1 patent
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor Thomas Johnson, Changliu Liu
66citations -
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, +5 more
4citations -
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor Thomas Johnson
28citations -
Deep End-To-End Learning on Molecular Graphs for Physico-Chemical Property Prediction using Graph Neural Networks : 8th - 9th July 2020 ; 3rd International Conference on Machine Learning an AI in (bio)Chemical Engineering2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Computational Drug Discovery Methods Open access
Jan G. Rittig, Artur M. Schweidtmann, Andrea Anna König, Manuel Dahmen, Martin Grohe, Alexander Mitsos
0citations -
GTCN-G: A Residual Graph-Temporal Fusion Network for Imbalanced Intrusion Detection2025 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) conference-paper Computer Science Network Security and Intrusion Detection Open access
Tianxiang Xu, Zhichao Wen, Xinyu Zhao, Qi Hu, Yan Li, Chang Liu
4citations -
Preface to the Proceedings of the 1st International Workshop on Computational Intelligence for Process Mining (CI4PM 2022) and 1st International Workshop on Pervasive Artificial Intelligence (PAI 2022)2023 ISTI Open Portal conference-paper Computer Science Artificial Intelligence Applications Open access
M. Pegoraro, Bacciu D. (relatore), Burattin A, Carta A., Dazzi P., De Leoni M., +2 more
0citations -
A Digital Twin Network for Computational Neuroscience Simulators: Exploring Network Architectures for Acceleration of Biological Neural Network Simulations2citations
-
Speed Records in Network Flow Measurement on FPGA2021 International Conference on Field Programmable Logic and Applications (FPL) conference-paper Computer Science Network Packet Processing and Optimization Open access
Arish Sateesan, Jo Vliegen, Simon Scherrer, Hsu‐Chun Hsiao, Adrian Perrig, Nele Mentens
12citations -
Decentralized Automatic Modulation Classification Method Based on Lightweight Neural Network2022 IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC) conference-paper Computer Science Wireless Signal Modulation Classification
Biao Dong, Guozhen Xu, Xue Gang Fu, Heng Dong, Guan Gui, Haris Gacanin, +1 more
6citations -
Demo: Testing AI-Driven Mac Learning in Autonomic Networks2024 Proceedings/Proceedings - International Conference on Network Protocols conference-paper Computer Science Wireless Networks and Protocols
Leonard Paeleke, Navid Keshtiarast, Paul Seehofer, Roland Bless, Holger Karl, Marina Petrova, +1 more
1citations -
Dynamic Adaptation of the User Data Flow to the Changing Data Rates in VHF Networks: An Exploratory Study2020 International Conference on Network of the Future (NoF) conference-paper Computer Science Network Traffic and Congestion Control
Pooja Hanavadi Balaraju, Paulo H. L. Rettore, Roberto Rigolin F. Lopes, Sharath Maligera Eswarappa, Johannes F. Loevenich
15citations