Node Alertness-Detecting changes in rapidly evolving graphs. - Mirco A. Mannucci; Deborah Tylor (CoRR, 2019)

Model Theory of Ultrafinitism II: Deconstructing the Term Model (First Draft). - Mirco A. Mannucci (CoRR, 2023)

When the Weak Becomes Strong: Effective Observables via Time-Symmetric Quantum Selection. - Mirco A. Mannucci (CoRR, 2025)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games. - Mirco A. Mannucci (CoRR, 2025)

Solution Space Topology Guides CMTS Search. - Mirco A. Mannucci (CoRR, 2025)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities. - Mirco A. Mannucci; Corey Thuro (CoRR, 2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types. - Mirco A. Mannucci; Corey Thuro (CoRR, 2026)

Quantum Fuzzy Sets Revisited: Density Matrices, Decoherence, and the Q-Matrix Framework. - Mirco A. Mannucci (CoRR, 2026)