498 citations
- European Organization for Nuclear ResearchCH625 papers
- Northern Illinois UniversityUS620 papers
- University of OklahomaUS619 papers
- Ludwig-Maximilians-Universität MünchenDE618 papers
- Max Planck Institute for PhysicsDE618 papers
- The University of AdelaideAU618 papers
- University of Rome Tor VergataIT618 papers
- Technion – Israel Institute of TechnologyIL617 papers
- Tel Aviv UniversityIL617 papers
- Université Paris-SaclayFR617 papers
- University of BonnDE617 papers
- University of California, Santa CruzUS617 papers
973 papers
Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification
Andrada-Livia Antoneac, Dorel Lucanu, Dragoş Teodor Gavriluţ
LLM-assisted Verus verification is a less tedious method to verify Rust implementations, but paired with self-referential structures, e.g., Doubly Linked Lists (DLLs)—notoriously…
The Formalization of two Computational Models in Dafny
Ştefan Ciobâc\b{a}, Diana-Elena Gratie, Dragoş-Irinel Rotariu
We describe the formalization in Dafny of two computational models, Turing Machines and the Lambda Calculus. We present several application of the formalizations: machine proofs of…
Formalizing the Omega Test in Dafny
Ariadna Brănici-Faraon, Ştefan Ciobâcă, Diana-Elena Gratie
We present a formalization in Dafny of the Omega Test, an algorithm used to decide the satisfiability of a system of inequalities. The implementation defines executable representat…
An Efficient Algorithm for Computing Mountain Prominence in Almost Linear Time
George Alex Dumitrescu, Paul Flavian Diac
Prominence is one of the most important measurements in topography and mountaineering. This paper describes an efficient, almost linear time algorithm for computing mountain promin…
Study of Particle Fluence Effects on Collected Charge and Depletion Voltage of the ATLAS IBL Planar Pixel Sensors
ATLAS Collaboration
After ten years of operation at the LHC, the planar pixel sensors of the innermost barrel layer of the ATLAS Pixel detector have accumulated an average bulk damage fluence in exces…
Measurements of the Higgs boson production, fiducial and differential cross-sections in the four lepton decay channel using 164 fb of data collected at = 13.6 TeV with the ATLAS detector
ATLAS Collaboration
Inclusive, differential and production-mode cross-section measurements of the Higgs boson are performed in the decay channel. The analysis uses proton-prot…