Our publications (773)

Advanced Materials
Artificial Intelligence
Bio-Engineering
Biomimetics
Earth System Sciences
Energy Systems
Fundamental Physics
Habitats
Informatics
Management Science
Mission Analysis
Nanophotonics
Propulsion
Astronomy & Astrophysics

2026 (2)

Artificial Intelligence Peer reviewed article
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
Fanti, Pietro and Izzo, Dario
Astrodynamics
(2026)
Download
BibTex
Artificial Intelligence Peer reviewed article
Event-based lunar optical flow egomotion estimation challenge: design and results of the ELOPE competition
Fanti, Pietro and Williams, Leon BS and Dvořák, Ondřej and Märtens, Marcus and Chin, Tat-Jun and Ji, Hongbo and Chen, Bofei and Xie, Dongyu and Qiao, Kaifan and Li, Bohao and others
npj Space Exploration 2, no. 1: 18
(2026)
Download
BibTex

2025 (16)

Informatics Conference paper
Structure-Guided Automated Reasoning
Max Bannach and Markus Hecher
42st International Symposium on Theoretical Aspects of Computer Science, STACS 2025, March 04-07, 2025, Jena, Germany
(2025)
Download
BibTex
Informatics Conference paper
Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators
Max Bannach, Jai Grover, and Markus Hecher
NASA Formal Methods - 17th International Symposium, NFM 2025, Williamsburg, VA, United States, June 11-13, 2025, Proceedings
(2025)
Download
BibTex
Informatics Conference paper
#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?
Max Bannach, Erik D. Demaine, Timothy Gomez, and Markus Hecher
40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, 23–26 June, 2025, Proceedings
(2025)
Download
BibTex
Mission Analysis Conference paper
Probability of collision in nonlinear dynamics by moment propagation
Théo Verhelst and Giacomo Acciarini and Dario Izzo and Francesco Biscani
9th European Conference on Space Debris
(2025)
Download
BibTex
Mission Analysis Preprint
Comparing Behavioural Cloning and Reinforcement Learning for Spacecraft Guidance and Control Networks
Harry Holt, Sebastien Origer and Dario Izzo
arXiv:2507.19535
(2025)
Download
BibTex
Mission Analysis Peer reviewed article
Closing the Gap Between SGP4 and High-Precision Propagation via Differentiable Programming
Acciarini, Giacomo and Baydin, Atılım Güneş and Izzo, Dario
Acta Astronautica 226(1): 694--701
(2025)
Download
BibTex
Mission Analysis Peer reviewed article
Nonlinear Propagation of Non-Gaussian Uncertainties
Acciarini, Giacomo and Baresi, Nicola and Lloyd, David and Izzo, Dario
Journal of Guidance Control and Dynamics 48, no. 4
(2025)
Download
BibTex
Mission Analysis Peer reviewed article
Asteroid Mining: ACT & Friends' Results for the GTOC 12 Problem
Dario Izzo and Marcus Märtens and Laurent Beauregard and Max Bannach and Giacomo Acciarini and Emmanuel Blazquez and Alexander Hadjiivanov and Jai Grover and Gernot Heißel and Yuri Shimane and Chit Hong Yam
Astrodynamics 9: 19--40
(2025)
Download
BibTex
Mission Analysis Peer reviewed article
EclipseNETs: Learning Irregular Small Celestial Body Silhouettes
Giacomo Acciarini, Dario Izzo, and Francesco Biscani
Acta Astronautica 236: 514--521
(2025)
Download
BibTex
Mission Analysis Pre-print
Fully analytical propagator for lunar satellite orbits in closed form
Mastroianni, Rita and Legnaro, Edoardo and Efthymiopoulos, Christos
arXiv preprint
(2025)
Download
BibTex
Mission Analysis Pre-print
Bifurcation sequences in the secular 3D planetary 3-Body problem: a geometric approach
Mastroianni, Rita and Marchesiello, Antonella and Efthymiopoulos, Christos and Pucacco, Giuseppe
arXiv preprint
(2025)
Download
BibTex
Fundamental Physics Preprint
Spoofing resilience for simple-detection quantum illumination LIDAR
Richard J. Murchie and John Jeffers
arXiv:2510.23228
(2025)
Download
BibTex
Fundamental Physics Preprint
Detection of isolated specular reflection for calibration of cloud thermodynamic phase estimation with quantum parametric mode sorting LIDAR
Richard J. Murchie and Dolf Huybrechts and Aaron Strangfeld and Mateusz P. Mrozowski
arXiv:2509.17556
(2025)
Download
BibTex
Hamburger icon
Menu
Advanced Concepts Team