Not finding it? Sign in to also search OpenAlex live.
-
Efficient Implementation of Modern Entropy Stable and Kinetic Energy Preserving Discontinuous Galerkin Methods for Conservation Laws2023 ACM Transactions on Mathematical Software article Engineering Computational Fluid Dynamics and Aerodynamics Open access
Hendrik Ranocha, Michael Schlottke‐Lakemper, Jesse Chan, Andrés Mauricio Rueda-Ramírez, Andrew Ross Winters, Florian Hindenlang, +1 more
19citations -
DASP: A Framework for Driving the Adoption of Software Security Practices2023 IEEE Transactions on Software Engineering article Computer Science Web Application Security Vulnerabilities Open access
Enrique Larios Vargas, Omar Elazhary, Soroush Yousefi, Derek Lowlind, Michael Vliek, Margaret‐Anne Storey
17citations -
The impact of stochastic modelling on the predictive power of galaxy formation simulations2023 Monthly Notices of the Royal Astronomical Society article Physics and Astronomy Galaxies: Formation, Evolution, Phenomena Open access
Josh Borrow, Matthieu Schaller, Yannick M Bahé, Joop Schaye, Aaron D. Ludlow, Sylvia Ploeckinger, +2 more
35citations -
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations
13 results