M. Forets

MaRDI QIDQ331933zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verified propagation of imprecise probabilities in non-linear ODEs International Journal of Approximate Reasoning	2024-07-10	Paper
Reachability of weakly nonlinear systems using Carleman linearization (available as arXiv preprint)	2023-03-31	Paper
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) Information and Computation	2022-12-08	Paper
Conservative time discretization: a comparative study (available as arXiv preprint)	2022-08-19	Paper
Reachability of weakly nonlinear systems using Carleman linearization (available as arXiv preprint)	2021-08-23	Paper
Case study: reachability and scalability in a unified combat-command-and-control model	2021-07-06	Paper
Combining Set Propagation with Finite Element Methods for Time Integration in Transient Solid Mechanics Problems	2021-05-12	Paper
Discrete Lorentz covariance for quantum walks and quantum cellular automata New Journal of Physics	2021-01-12	Paper
JuliaReach Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	2019-10-22	Paper
Semidefinite approximations of invariant measures for polynomial systems Discrete and Continuous Dynamical Systems. Series B	2019-10-10	Paper
Computational mathematics with SageMath. Translated from the 2013 French original by the authors	2019-04-09	Paper
JuliaReach: a Toolbox for Set-Based Reachability (available as arXiv preprint)	2019-01-30	Paper
Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)	2018-12-06	Paper
Explicit Error Bounds for Carleman Linearization	2017-11-07	Paper
Quantum walking in curved spacetime Quantum Information Processing	2016-10-27	Paper
The Dirac equation as a quantum walk: higher dimensions, observational convergence Journal of Physics A: Mathematical and Theoretical	2014-12-16	Paper
Spatial quantum search in a triangular network MSCS. Mathematical Structures in Computer Science	2012-06-04	Paper

Research outcomes over time

This page was built for person: M. Forets