Fingerprint Dive into the research topics where Australia Branch is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Elastomers Engineering & Materials Science
Hybrid Logic Mathematics
Integrable Models Mathematics
Infiltration Mathematics
Logic programming Engineering & Materials Science
Boundary conditions Engineering & Materials Science
Horn clause Mathematics
Reaction-diffusion Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2007 2019

  • 18 Article
  • 2 Conference contribution

Anomalous Dispersion in Pore-Scale Simulations of Two-Phase Flow

Triadis, D., Jiang, F. & Bolster, D., Jan 30 2019, In : Transport in Porous Media. 126, 2, p. 337-353 17 p.

Research output: Contribution to journalArticle

Two phase flow
Boundary conditions
Fluids
Drainage
Wetting

Specification and Verification of Invariant Properties of Transition Systems

Gaina, D. M., Tutu, I. & Riesco, A., May 21 2019, Proceedings - 25th Asia-Pacific Software Engineering Conference, APSEC 2018. IEEE Computer Society, p. 99-108 10 p. 8719485. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; vol. 2018-December).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications

Integrable Discrete Model for One-Dimensional Soil Water Infiltration

Triadis, D., Broadbridge, P., Kajiwara, K. & Maruno, K. I., May 1 2018, In : Studies in Applied Mathematics. 140, 4, p. 483-507 25 p.

Research output: Contribution to journalArticle

Integrable Models
Infiltration
Discrete Model
Soil
Burgers Equation