pith. sign in

Simone Martini

Identifiers

  • name variant Simone Martini 0.60 · backfill

Papers (9)

  1. Universal Extremum Seeking Mechanism for Lift Variation in Soaring Birds Flight: A New Paradigm in Computational Physics and Biology physics.bio-ph · 2026 · author #1
  2. Model-Free Optimization and Control of Rigid Body Dynamics: An Extremum Seeking for Vibrational Stabilization Approach math.OC · 2025 · author #3
  3. First Experimental Demonstration of Natural Hovering Extremum Seeking: A New Paradigm in Flapping Flight Physics cs.RO · 2025 · author #3
  4. Several types of types in programming languages cs.PL · 2015 · author #1
  5. Towards A Theory Of Quantum Computability cs.LO · 2015 · author #2
  6. General Ramified Recurrence is Sound for Polynomial Time cs.LO · 2010 · author #2
  7. On Constructor Rewrite Systems and the Lambda-Calculus (Long Version) cs.PL · 2009 · author #2
  8. An Invariant Cost Model for the Lambda Calculus cs.LO · 2005 · author #2
  9. Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic cs.LO · 2003 · author #2

Mentions

  • 2605.20232 #1 · arxiv_oai · confidence 0.70 Simone Martini
  • 2508.20836 #3 · arxiv_oai · confidence 0.70 Simone Martini
  • 1005.0521 #2 · backfill · confidence 0.70 Simone Martini
  • 0904.4120 #2 · backfill · confidence 0.70 Simone Martini

Frequent Coauthors