pith. sign in

University of Rome Tor Vergata

Identifiers

  • name variant University of Rome Tor Vergata 0.60 · backfill

Papers (10)

  1. STARFIRE-2: Can we detect the global redshifted 21-cm signal from the cosmic dawn in Earth orbit? astro-ph.IM · 2026 · author #5
  2. Lattice Boltzmann Simulations of Non-Equilibrium Fluctuations in a Non-Ideal Binary Mixture physics.comp-ph · 2018 · author #5
  3. Solving Horn Clauses on Inductive Data Types Without Induction cs.LO · 2018 · author #9
  4. Enhancing Predicate Pairing with Abstraction for Relational Verification cs.LO · 2017 · author #9
  5. Verification of Time-Aware Business Processes using Constrained Horn Clauses cs.LO · 2016 · author #10
  6. The dependence of the [FUV-MUV] colour on solar cycle astro-ph.SR · 2016 · author #9
  7. Micronucleus induction by 915 MHz Radiofrequency Radiation in Vicia faba root tips q-bio.QM · 2014 · author #7
  8. Verification of Imperative Programs by Constraint Logic Program Transformation cs.PL · 2013 · author #10
  9. Computational Biomechanics, Stochastic Motion and Team Sports physics.bio-ph · 2008 · author #5
  10. Capability of the PAMELA Time-Of-Flight to identify light nuclei: results from a beam test calibration astro-ph · 2008 · author #26

Mentions

  • 2605.22400 #5 · arxiv_oai · confidence 0.70 University of Rome Tor Vergata
  • 0811.3659 #5 · backfill · confidence 0.70 University of Rome Tor Vergata
  • 0810.3830 #26 · backfill · confidence 0.70 University of Rome Tor Vergata

Frequent Coauthors