📣 Try out the NEW Gateway to Research and let us know what you think.
We're looking for users to test the new service during August and September and share their feedback.
Express your interest by completing this short form.
Large result sets may take several minutes to download.
The first row is header row.
Generation of CSV export files is restricted, and may be rejected during busy periods. If this happens then please wait and try again after a brief interval.
Irzan H
(2020)
Min-Cut Max-Flow for Network Abnormality Detection: Application to Preterm Birth
in Uncertainty for Safe Utilization of Machine Learning in Medical Imaging, and Graphs in Biomedical Image Analysis - Second International Workshop, UNSURE 2020, and Third International Workshop, GRAIL 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings
Sun P
(2018)
Methodology - A Review of Intelligent Manufacturing: Scope, Strategy and Simulation
in Recent Advances in Intelligent Manufacturing - First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I
Foti S
(2020)
Intraoperative Liver Surface Completion with Graph Convolutional VAE
in Uncertainty for Safe Utilization of Machine Learning in Medical Imaging, and Graphs in Biomedical Image Analysis - Second International Workshop, UNSURE 2020, and Third International Workshop, GRAIL 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings
Agarwal D
(2018)
A CAD Based Framework for Optimizing Performance While Ensuring Assembly Fit
in Recent Advances in Intelligent Manufacturing - First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I
Grzech D
(2020)
Image Registration via Stochastic Gradient Markov Chain Monte Carlo
in Uncertainty for Safe Utilization of Machine Learning in Medical Imaging, and Graphs in Biomedical Image Analysis - Second International Workshop, UNSURE 2020, and Third International Workshop, GRAIL 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings
Le Brun M
(2024)
MAG$$\pi $$!: The Role of Replication in Typing Failure-Prone Communication
in Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
Araujo H
(2025)
Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems
in Formal Techniques for Distributed Objects, Components, and Systems - 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Bila E
(2020)
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
in Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings