Author of the publication

An iterative particle filter approach for coupled hydro-geophysical inversion of a controlled infiltration experiment.

, , , , , , and . J. Comput. Phys., (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Determining the electron-phonon coupling in superconducting cuprates by resonant inelastic x-ray scattering: Methods and results on Nd$_1+x$Ba$_2-x$Cu$_3$O$_7-δ$, , , , , , , , , and 8 other author(s). Phys. Rev. Res., 2 (2): 023231 (May 26, 2020)A j$_eff$=$\dfrac12$ pseudospinon continuum in CaIrO$_3$, , , , , , , , and . Eur. Phys. J. Plus, 135 (676): 676 (Aug 26, 2020)Practical Automated Partial Verification of Multi-paradigm Real-Time Models., , and . ICFEM, volume 5256 of Lecture Notes in Computer Science, page 298-317. Springer, (2008)Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach, , , and . CoRR, (2012)A Cipher-Agnostic Neural Training Pipeline with Automated Finding of Good Input Differences., , , and . IACR Trans. Symmetric Cryptol., 2023 (3): 184-212 (2023)Comments on Än Interval Logic for Real-Time System Specification'., , , and . IEEE Trans. Software Eng., 32 (6): 424-427 (2006)Hierarchical variable structure control for singularly perturbed systems., , , and . ACC, page 626-630. IEEE, (2000)From Interaction Overview Diagrams to Temporal Logic., , , and . MoDELS (Workshops), volume 6627 of Lecture Notes in Computer Science, page 90-104. Springer, (2010)Trace Checking of Streaming Applications through DICE-TraCT., , and . ICPE Companion, page 159-160. ACM, (2018)MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems., , , , , , and . ECMFA, volume 7349 of Lecture Notes in Computer Science, page 340-351. Springer, (2012)