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.
Davison A
(2019)
Perthes Disease Classification Using Shape and Appearance Modelling
in Computational Methods and Clinical Applications in Musculoskeletal Imaging - 6th International Workshop, MSKI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers
Chen T
(2018)
Android Stack Machine
in Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Blanco N
(2019)
Fully Automatic Teeth Segmentation in Adult OPG Images
in Computational Methods and Clinical Applications in Musculoskeletal Imaging - 6th International Workshop, MSKI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers
Blanco N
(2019)
Fully Automatic Teeth Segmentation in Adult OPG Images
in Computational Methods and Clinical Applications in Musculoskeletal Imaging - 6th International Workshop, MSKI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers
Davison A
(2019)
Perthes Disease Classification Using Shape and Appearance Modelling
in Computational Methods and Clinical Applications in Musculoskeletal Imaging - 6th International Workshop, MSKI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Revised Selected Papers
Cook B
(2018)
Model Checking Boot Code from AWS Data Centers
in Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Cook B
(2018)
Formal Reasoning About the Security of Amazon Web Services
in Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Chudnov A
(2018)
Continuous Formal Verification of Amazon s2n
in Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Chen T
(2018)
Android Stack Machine
in Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Toussaint N
(2018)
Weakly Supervised Localisation for Fetal Ultrasound Images
in Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support - 4th International Workshop, DLMIA 2018, and 8th International Workshop, ML-CDS 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings
Toussaint N
(2018)
Weakly Supervised Localisation for Fetal Ultrasound Images
in Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support - 4th International Workshop, DLMIA 2018, and 8th International Workshop, ML-CDS 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings
Spencer B
(2018)
Form Filling Based on Constraint Solving
in Web Engineering - 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings
Cranefield S
(2019)
Accountability for Practical Reasoning Agents
in Agreement Technologies - 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Langdon W
(2018)
Evolving Better Software Parameters
in Search-Based Software Engineering - 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Langdon W
(2018)
Evolving Better Software Parameters
in Search-Based Software Engineering - 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Katz D
(2018)
Software Citation in Theory and Practice
in Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Kammüller F
(2018)
Attack Trees in Isabelle
in Information and Communications Security - 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings
Ringsquandl M
(2018)
Event-Enhanced Learning for KG Completion
in The Semantic Web - 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3-7, 2018, Proceedings
England M
(2018)
Machine Learning for Mathematical Software
in Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Valmadre J
(2018)
Long-Term Tracking in the Wild: A Benchmark
in Computer Vision - ECCV 2018 - 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part III
Spencer B
(2018)
Form Filling Based on Constraint Solving
in Web Engineering - 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings
Connor R
(2018)
Querying Metric Spaces with Bit Operations
in Similarity Search and Applications - 11th International Conference, SISAP 2018, Lima, Peru, October 7-9, 2018, Proceedings
Ringsquandl M
(2018)
Event-Enhanced Learning for KG Completion
in The Semantic Web - 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3-7, 2018, Proceedings
Cauvin S
(2019)
Policies to Regulate Distributed Data Exchange
in Agreement Technologies - 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
West A
(2018)
ROS Integration for Miniature Mobile Robots
in Towards Autonomous Robotic Systems - 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings