Author of the publication

CREST-iMAP v1.0: A fully coupled hydrologic-hydraulic modeling framework dedicated to flood inundation mapping and prediction.

, , , , , , , , , , , , and . Environ. Model. Softw., (2021)

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

Ensuring the Correctness of Regular Expressions: A Review., , , and . Int. J. Autom. Comput., 18 (4): 521-535 (2021)A Human Eye-based Text Color Scheme Generation Method for Image Synthesis., , and . EITCE, page 1569-1574. ACM, (2022)A first-order coalition logic for BDI-agents., , , , and . Frontiers Comput. Sci., 10 (2): 233-245 (2016)Verification of Multi-agent Systems Via Bounded Model Checking., , , and . Australian Conference on Artificial Intelligence, volume 4304 of Lecture Notes in Computer Science, page 69-78. Springer, (2006)Observation-Based Logic of Knowledge, Belief, Desire and Intention., , , , and . KSEM, volume 4092 of Lecture Notes in Computer Science, page 366-378. Springer, (2006)Detecting Feature Interactions in Web Services with Timed Automata., , and . WGEC, page 276-279. IEEE Computer Society, (2009)Quantified Coalition Logic for BDI-Agents: Completeness and Complexity., , , and . PRICAI, volume 8862 of Lecture Notes in Computer Science, page 871-876. Springer, (2014)Development of a Liquid-Metal-Enhanced Continuum Joint with Variable Stiffness Capability for Flexible Endoscopy., , , , and . MHS, page 1-6. IEEE, (2023)Bounded model checking knowledge and branching time in synchronous multi-agent systems., , , , and . AAMAS, page 1129-1130. ACM, (2005)Landslide Displacement Prediction Based on EEMD and CNN-LSTM., , and . ICISCAE, page 618-622. IEEE, (2023)