Popescu, Andrei
- Foundational Extensible Corecursion
2015/01/22 by Jasmin Christian Blanchette, Blanchette, Jasmin Christian, Andrei Popescu +3 · 1 citation
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge
- HighTEA: High energy Theory Event Analyser
2023/04/12 by M. Czakon, Zahari Kassabov, Czakon, Michał +7 · 1 citation
Physics and Astronomy · Computer Science · #Particle physics theoretical and experimental studies #Distributed and Parallel Computing Systems #Particle Detector Development and Performance