Find Research outputs

Search results

• 2019

  A simple approach to multi-degree-of-freedom loading in a geotechnical centrifuge

  O'Loughlin, C. D., Cocjin, M. L., Gourvenec, S. M. & Stanier, S. A., 1 Sep 2019, In : Geotechnical Testing Journal. 42, 5, p. 1150-1168 GTJ20180037.

  Research output: Contribution to journal › Article

  Open Access

  • Centrifuges
  • centrifuge
  • freedom
  • Displacement control
  • Pipelines

• Exploring Factors Associated With Physical Activity in Older Adults: An Ecological Approach

  Rai, R., Jongenelis, M., Jackson, B., Newton, R. U. & Pettigrew, S., Jun 2019, In : Journal of Aging and Physical Activity. 27, 3, p. 343-353 11 p.

  Research output: Contribution to journal › Article

  Open Access
  2 Citations (Scopus)
• 2017

  Relationship between early motor milestones and severity of restricted and repetitive behaviors in children and adolescents with autism spectrum disorder

  Uljarević, M., Hedley, D., Alvares, G. A., Varcin, K. J. & Whitehouse, A. J. O., Jun 2017, In : Autism Research. 10, 6, p. 1163-1168

  Research output: Contribution to journal › Article

  Open Access

  File

  • Adolescent Behavior
  • Toes
  • Child Behavior
  • Autism Spectrum Disorder
  • Walking
  12 Citations (Scopus)

  498 Downloads (Pure)
• 2016

  Performance of an independent planar virtual sound barrier at the opening of a rectangular enclosure

  Tao, J., Wang, S., Qiu, X. & Pan, J., Apr 2016, In : Applied Acoustics. 105, p. 215-223

  Research output: Contribution to journal › Article

  Open Access

  File

  • enclosure
  • acoustic velocity
  • performance
  • noise reduction
  • output
  15 Citations (Scopus)

  357 Downloads (Pure)

• Early rapid neurological assessment for acute spinal cord injury trials

  Battistuzzo, C. R., Smith, K., Skeers, P., Armstrong, A., Clark, J., Agostinello, J., Cox, S., Bernard, S., Freeman, B. J. C., Dunlop, S. A. & Batchelor, P. E., 1 Nov 2016, In : Journal of Neurotrauma. 33, 21, p. 1936-1945

  Research output: Contribution to journal › Article

  • Spinal Cord Injuries
  • Wounds and Injuries
  • Foot
  • Spinal Injuries
  • Cervical Cord
  3 Citations (Scopus)

• Short report: Relationship between restricted and repetitive behaviours in children with autism spectrum disorder and their parents

  Uljarević, M., Evans, D. W., Alvares, G. & Whitehouse, A., 14 Jun 2016, In : Molecular Autism. 7, 1, p. 29

  Research output: Contribution to journal › Article

  Open Access

  • Child Behavior
  • Autism Spectrum Disorder
  • Parents
  • Autistic Disorder
  • Child
  11 Citations (Scopus)
• 2017

  Association between metformin prescription and growth rates of abdominal aortic aneurysms

  Golledge, J., Moxon, J., Pinchbeck, J., Anderson, G., Rowbotham, S., Jenkins, J., Bourke, M., Bourke, B., Dear, A., Buckenham, T., Jones, R. & Norman, P. E., 1 Oct 2017, In : British Journal of Surgery. 104, 11, p. 1486-1493 8 p.

  Research output: Contribution to journal › Article

  • Abdominal Aortic Aneurysm
  • Metformin
  • Prescriptions
  • Growth
  • Odds Ratio
  35 Citations (Scopus)
• 2020

  Slow Time: Nyaparu (William) Gardiner and the Strike Camps of the Pilbara

  Jorgensen, D., 2 Jan 2020, In : Journal of Australian Studies. 44, 1, p. 82-96 15 p.

  Research output: Contribution to journal › Article

  • Pilbara
  • strike
  • Workers
  • worker
  • time
  14 Downloads (Pure)

• The imperative to reduce carbon emissions in astronomy

  Stevens, A. R. H., Bellstedt, S., Elahi, P. J. & Murphy, M. T., 1 Sep 2020, In : Nature Astronomy. 4, 9, p. 843-851 9 p.

  Research output: Contribution to journal › Article

  • astronomy
  • carbon
  • greenhouses
  • supercomputers
  • video conferencing
  7 Citations (Scopus)

• Temperature-dependence of superelastic stress in nanocrystalline NiTi with complete transformation capability

  Wang, T., Ma, Z., Rao, X., Jiang, D., Ren, Y., Liu, Y., Yu, K. Y. & Cui, L., Dec 2020, In : Intermetallics. 127, 106970.

  Research output: Contribution to journal › Article

  • Wire drawing
  • Annealing
  • Temperature

• Constrained Markov order surrogates

  Corrêa, D. C., Moore, J. M., Jüngling, T. & Small, M., 1 May 2020, In : Physica D: Nonlinear Phenomena. 406, 132437.

  Research output: Contribution to journal › Article

  • Surrogate
  • null hypothesis
  • Business Cycles
  • Markov processes
  • Test of Hypothesis

• Preparation and evaluation of iron nanoparticles embedded CNTs grown on ZSM-5 as catalysts for NO decomposition

  Wang, H., Li, X., Meng, F., Wang, G. & Zhang, D., 15 Jul 2020, In : Chemical Engineering Journal. 392, 123798.

  Research output: Contribution to journal › Article

  • iron nanoparticle
  • Nanoparticles
  • melamine
  • Iron
  • catalyst
  3 Citations (Scopus)

• The composition and turnover of the Arabidopsis thaliana 80S cytosolic ribosome

  Salih, K. J., Duncan, O., Li, L., Trösch, J. & Millar, A. H., 26 Aug 2020, In : The Biochemical journal. 477, 16, p. 3019-3032

  Research output: Contribution to journal › Article

  Open Access

  • Arabidopsis
  • Ribosomes
  • Chemical analysis
  • Proteins
  • Human Mrt4 protein
  2 Citations (Scopus)
• 2019

  The effect of carbon nanofibers on fresh and mechanical properties of lightweight engineered cementitious composite using hollow glass microspheres

  Aslani, F., Wang, L. & Zheng, M., 1 Jul 2019, In : Journal of Composite Materials. 53, 17, p. 2447-2464 18 p.

  Research output: Contribution to journal › Article

  • Carbon nanofibers
  • Microspheres
  • Glass
  • Mechanical properties
  • Composite materials
  16 Citations (Scopus)
• 2020

  Protein turnover rates in plant mitochondria

  Huang, S., Li, L., Petereit, J. & Millar, A. H., Jul 2020, In : Mitochondrion. 53, p. 57-65 9 p.

  Research output: Contribution to journal › Review article

  • Mitochondrial Proteins
  • Mitochondrial Turnover
  • Mitochondria
  • Plant Proteins
  • Organelles
  2 Citations (Scopus)
• 2019

  Monoclinic angle, shear response, and minimum energy pathways of NiTiCu martensite phases from ab initio calculations

  Bakhtiari, S., Liu, J. Z., Liu, Y. & Yang, H., 1 Oct 2019, In : Acta Materialia. 178, p. 59-67 9 p.

  Research output: Contribution to journal › Article

  • Martensite
  • Shear stress
  • Martensitic transformations
  • Metastable phases
  • Ground state
  1 Citation (Scopus)

• Long-range correlation properties of stationary linear models with mixed periodicities

  Nakamura, T., Small, M. & Tanizawa, T., 19 Feb 2019, In : Physical Review E. 99, 2, 6 p., 022128.

  Research output: Contribution to journal › Article

  Open Access
  1 Citation (Scopus)

• The classification of 3 2-transitive permutation groups and 1 2-transitive linear groups

  Liebeck, M. W., Praeger, C. E. & Saxl, J., 1 Jan 2019, Proceedings of the American Mathematical Society. 12 ed. Vol. 147. p. 5023-5037 15 p. (Proceedings of the American Mathematical Society).

  Research output: Chapter in Book/Conference paper › Conference paper

  Open Access

  File

  • Linear Group
  • Permutation group
  • Orbits
  • Vector spaces
  • Orbit
  1 Citation (Scopus)

  374 Downloads (Pure)

• Structure of cubic lehman matrices

  Mayhew, D., Royle, G. & Pivotto, I., Sep 2019, In : Electronic Journal of Combinatorics. 26, 3, P3.54.

  Research output: Contribution to journal › Article

  Open Access

  File

  • Ladders
  • Terminology
  • Graph in graph theory
  • M-matrix
  • (0, 1)-matrices
  441 Downloads (Pure)
• 2016

  The paleoclimate context and future trajectory of extreme summer hydroclimate in eastern Australia

  Cook, B. I., Palmer, J. G., Cook, E. R., Turney, C. S. M., Allen, K., Fenwick, P., O'Donnell, A., Lough, J. M., Grierson, P. F., Ho, M. & Baker, P. J., 16 Nov 2016, In : Journal of Geophysical Research: Atmospheres . 121, 21, p. 12,820-12,838 807 p.

  Research output: Contribution to journal › Article

  Open Access

  File

  • drought
  • Drought
  • summer
  • trajectories
  • paleoclimate
  15 Citations (Scopus)

  396 Downloads (Pure)

• Numerical simulation of plug formation during casing installation of cast-in-place concrete pipe (PCC) piles

  Zhou, M., Liu, H., Hossain, M., Hu, Y. & Zhang, T., Jul 2016, In : Canadian Geotechnical Journal. 53, 7, p. 1093-1109

  Research output: Contribution to journal › Article

  Open Access

  File

  • Concrete pipe
  • Cast in place concrete
  • Piles
  • pile
  • Soils
  9 Citations (Scopus)

  453 Downloads (Pure)

• Non-isothermal numerical simulations of dual reflux pressure swing adsorption cycles for separating N2 + CH4

  Zhang, Y., Saleman, T. L. H., Li, G. K., Xiao, G., Young, B. R. & May, E. F., 15 May 2016, In : Chemical Engineering Journal. 292, p. 366-381

  Research output: Contribution to journal › Article

  • Adsorption
  • adsorption
  • Computer simulation
  • simulation
  • Gases
  22 Citations (Scopus)

• Scale issues and interpretation of ball penetration in stratified deposits in centrifuge testing

  Zhou, M., Hossain, M. S., Hu, Y. & Liu, H., May 2016, In : Journal of Geotechnical and Geoenvironmental Engineering. 142, 5, p. 04015103-1 - 04015103-12 04015103.

  Research output: Contribution to journal › Article

  Open Access

  File

  • centrifuge
  • penetration
  • penetrometer
  • clay
  • shaft
  11 Citations (Scopus)

  423 Downloads (Pure)
• 2017

  SUBA4: The interactive data analysis centre for Arabidopsis subcellular protein locations

  Hooper, C. M., Castleden, I. R., Tanz, S. K., Aryamanesh, N. & Millar, A. H., 4 Jan 2017, In : Nucleic Acids Research. 45, D1, p. D1064-D1074

  Research output: Contribution to journal › Article

  Open Access

  • Arabidopsis Proteins
  • Data Analysis
  • Proteins
  • Arabidopsis
  • Metadata
  127 Citations (Scopus)
• 2016

  Characterization of a novel ß-barrel protein (AtOM47) from the mitochondrial outer membrane of Arabidopsis thaliana

  Li, L., Kubiszewski-Jakubiak, S., Radomiljac, J., Wang, Y., Law, S. R., Keech, O., Narsai, R., Berkowitz, O., Duncan, O., Murcha, M. W. & Whelan, J., 1 Nov 2016, In : Journal of Experimental Botany. 67, 21, p. 6061-6075 15 p.

  Research output: Contribution to journal › Article

  Open Access

  • Arabidopsis
  • outer membrane proteins
  • Mitochondrial Membranes
  • mitochondrial membrane
  • Membrane Proteins
  7 Citations (Scopus)
• 2018

  Structural variations in wheat HKT1;5 underpin differences in Na⁺ transport capacity

  Xu, B., Waters, S., Byrt, C. S., Plett, D., Tyerman, S. D., Tester, M., Munns, R., Hrmova, M. & Gilliham, M., Mar 2018, In : Cellular and Molecular Life Sciences. 75, 6, p. 1133-1144 12 p.

  Research output: Contribution to journal › Article

  Open Access

  File

  • Triticum
  • Salt Tolerance
  • Sodium
  • Ions
  • Amino Acids
  19 Citations (Scopus)

  296 Downloads (Pure)
• 2017

  The mitochondrial DNA-associated protein SWIB5 influences mtDNA architecture and homologous recombination

  Blomme, J., Van Aken, O., Van Leene, J., Jégu, T., De Rycke, R., De Bruyne, M., Vercruysse, J., Nolf, J., Van Daele, T., De Milde, L., Vermeersch, M., des Francs-Small, C. C., De Jaeger, G., Benhamed, M., Millar, A. H., Inzé, D. & Gonzalez, N., 1 May 2017, In : Plant Cell. 29, 5, p. 1137-1156 20 p.

  Research output: Contribution to journal › Article

  Open Access

  • homologous recombination
  • Homologous Recombination
  • Mitochondrial DNA
  • Organelles
  • mitochondrial DNA
  8 Citations (Scopus)
• 2016

  Opportunities for wheat proteomics to discover the biomarkers for respiration-dependent biomass production, stress tolerance and cytoplasmic male sterility

  Jacoby, R. P., Millar, A. H. & Taylor, N. L., 30 Jun 2016, In : Journal of Proteomics. 143, p. 36-44 9 p.

  Research output: Contribution to journal › Article

  Open Access
  8 Citations (Scopus)
• 2017

  The nuclear and organellar tRNA-derived RNA fragment population in Arabidopsis thaliana is highly dynamic

  Cognat, V., Morelle, G., Megel, C., Lalande, S., Molinier, J., Vincent, T., Small, I., Duchene, A-M. & Marechal-Drouard, L., 7 Apr 2017, In : Nucleic Acids Research. 45, 6, p. 3460-3472 13 p.

  Research output: Contribution to journal › Article

  Open Access
  39 Citations (Scopus)

• GPCR Signaling and Trafficking: The Long and Short of It

  Pavlos, N. J. & Friedman, P. A., 1 Mar 2017, In : Trends in Endocrinology and Metabolism. 28, 3, p. 213-226 14 p.

  Research output: Contribution to journal › Review article

  Open Access

  File

  • G-Protein-Coupled Receptors
  • Parathyroid Hormone Receptor Type 1
  • Arrestins
  • Recycling
  • Bone Development
  71 Citations (Scopus)

  356 Downloads (Pure)
• 2020

  Vegetable diversity in relation with subclinical atherosclerosis and 15-year atherosclerotic vascular disease deaths in older adult women

  Blekkenhorst, L. C., Lewis, J. R., Bondonno, C. P., Sim, M., Devine, A., Zhu, K., Lim, W. H., Woodman, R. J., Beilin, L. J., Thompson, P. L., Prince, R. L. & Hodgson, J. M., 1 Feb 2020, In : European Journal of Nutrition. 59, 1, p. 217-230 14 p.

  Research output: Contribution to journal › Article

  • Vegetables
  • Vascular Diseases
  • Atherosclerosis
  • Registries
  • Clinical Trials
  3 Citations (Scopus)
• 2019

  Relationship of dietary nitrate intake from vegetables with cardiovascular disease mortality: a prospective study in a cohort of older Australians

  Liu, A. H., Bondonno, C. P., Russell, J., Flood, V. M., Lewis, J. R., Croft, K. D., Woodman, R. J., Lim, W. H., Kifley, A., Wong, G., Mitchell, P., Hodgson, J. M. & Blekkenhorst, L. C., 1 Oct 2019, In : European Journal of Nutrition. 58, 7, p. 2741-2753 13 p.

  Research output: Contribution to journal › Article

  • Nitrates
  • Vegetables
  • Cardiovascular Diseases
  • Prospective Studies
  • Mortality
  14 Citations (Scopus)

• Placental and intra-amniotic inflammation are associated with altered fetal immune responses at birth

  Stinson, L., Payne, M. & Keelan, J., Sep 2019, In : Placenta. 85, p. 12-23

  Research output: Contribution to journal › Article

  • Parturition
  • cyclic guanosine monophosphate-adenosine monophosphate
  • Inflammation
  • Poly I-C
  • resiquimod
  3 Citations (Scopus)
• 2018

  Intellectual disability and psychotic disorders in children: Association with maternal severe mental illness and exposure to obstetric complications in a whole-population cohort

  Di Prinzio, P., Morgan, V. A., Björk, J., Croft, M., Lin, A., Jablensky, A. & McNeil, T. F., 1 Dec 2018, In : American Journal of Psychiatry. 175, 12, p. 1232-1242 11 p.

  Research output: Contribution to journal › Article

  • Intellectual Disability
  • Psychotic Disorders
  • Obstetrics
  • Mothers
  • Child
  3 Citations (Scopus)
• 2020

  CRISPR-Mediated Protein Tagging with Nanoluciferase to Investigate Native Chemokine Receptor Function and Conformational Changes

  White, C. W., Caspar, B., Vanyai, H. K., Pfleger, K. D. G. & Hill, S. J., 7 Feb 2020, In : Cell Chemical Biology. p. 1-12 20 p.

  Research output: Contribution to journal › Article

  Open Access

  • Biosensing Techniques
  • Clustered Regularly Interspaced Short Palindromic Repeats
  • Chemokine Receptors
  • Luminescent Proteins
  • Biosensors
  10 Citations (Scopus)

• Barriers and enablers of health service utilisation for childhood skin infections in remote aboriginal communities of Western Australia

  Hendrickx, D., Amgarth-Duff, I., Bowen, A. C., Carapetis, J. R., Chibawe, R., Samson, M. & Walker, R., 1 Feb 2020, In : International Journal of Environmental Research and Public Health. 17, 3, 808.

  Research output: Contribution to journal › Article

  Open Access

  • Western Australia
  • Facilities and Services Utilization
  • Health Services
  • Skin
  • Health
  1 Citation (Scopus)
• 2018

  The role of miRNA regulation in fetal cardiomyocytes, cardiac maturation and the risk of heart disease in adults

  Lock, M. C., Tellam, R. L., Botting, K. J., Wang, K. C. W., Selvanayagam, J. B., Brooks, D. A., Seed, M. & Morrison, J. L., 1 Dec 2018, In : Journal of Physiology. 596, 23, p. 5625-5640 16 p.

  Research output: Contribution to journal › Review article

  Open Access

  File

  • Cardiac Myocytes
  • MicroRNAs
  • Heart Diseases
  • Heart
  • Parturition
  17 Citations (Scopus)

  103 Downloads (Pure)
• 2019

  Transition from phasic to tonic contractility in airway smooth muscle after birth: An experimental and computational modeling study

  Wang, K., Chang, A., Pillow, J., Suki, B. & Noble, P., 8 Feb 2019, In : ASME Journal of Engineering and Science in Medical Diagnostics and Therapy. 2, 1, p. 011003-1 - 011003-9 9 p.

  Research output: Contribution to journal › Article

  Open Access

  • Smooth Muscle
  • Parturition
  • Muscle Contraction
  • Sheep
  • Pregnancy
• 2018

  Simple intermittent resistance activity mitigates the detrimental effect of prolonged unbroken sitting on arterial function in overweight and obese adults

  Climie, R. E., Wheeler, M. J., Grace, M., Lambert, E., Cohen, N. D., Owen, N., Kingwell, B., Dunstan, D. W. & Green, D. J., 1 Dec 2018, In : Journal of Applied Physiology. 125, 6, p. 1787-1794 8 p.

  Research output: Contribution to journal › Article

  • Sitting Position
  • Femoral Artery
  • Endothelin-1
  • Cardiovascular Diseases
  • Vascular Cell Adhesion Molecule-1
  17 Citations (Scopus)
• 2019

  Congenital Anomalies in Children With Cerebral Palsy: A Systematic Review

  Goldsmith, S., McIntyre, S., Hansen, M. & Badawi, N., 17 Jun 2019, In : Journal of Child Neurology.

  Research output: Contribution to journal › Article

  • Cerebral Palsy
  • Systematic Reviews
  • Brain Injuries
  • Child
  • Microcephaly
  4 Citations (Scopus)

• Modulation of miRNA function by natural and synthetic RNA-binding proteins in cancer

  Vos, P. D., Leedman, P. J., Filipovska, A. & Rackham, O., Oct 2019, In : Cellular and Molecular Life Sciences. 76, 19, p. 3745–3752

  Research output: Contribution to journal › Review article

  • RNA-Binding Proteins
  • MicroRNAs
  • Neoplasms
  • Synthetic Biology
  • RNA Stability
  16 Citations (Scopus)

• Optimised insert design for improved single-molecule imaging and quantification through CRISPR-Cas9 mediated knock-in

  Khan, A. O., White, C. W., Pike, J. A., Yule, J., Slater, A., Hill, S. J., Poulter, N. S., Thomas, S. G. & Morgan, N. V., 2 Oct 2019, In : Scientific Reports. 9, 1, 1 p.

  Research output: Contribution to journal › Article

  Open Access

  • Single Molecule Imaging
  • Clustered Regularly Interspaced Short Palindromic Repeats
  • Gene Editing
  • G-Protein-Coupled Receptors
  • Codon
  10 Citations (Scopus)
• 2017

  The formation of S0 galaxies with counter-rotating neutral and molecular hydrogen

  Bassett, R., Bekki, K., Cortese, L. & Couch, W., Oct 2017, In : Monthly Notices of the Royal Astronomical Society. 471, 2, p. 1892-1909 18 p.

  Research output: Contribution to journal › Article

  Open Access
  10 Citations (Scopus)
• 2019

  Prospective memory in the red zone: Cognitive control and capacity sharing in a complex, multi-stimulus task

  Strickland, L., Elliott, D., Wilson, M. D., Loft, S., Neal, A. & Heathcote, A., 15 Apr 2019, In : Journal of Experimental Psychology: Applied.

  Research output: Contribution to journal › Article

  Open Access

  File

  • Episodic Memory
  • Ships
  • Scientific Societies
  • Psychological Adaptation
  • Oceans and Seas
  5 Citations (Scopus)

  130 Downloads (Pure)

• An Indigenous Australian Dictionary of Biography

  Konishi, S., Apr 2019, True Biographies of Nations?: The Cultural Journeys of Dictionaries of National Biography. Fox, K. (ed.). Canberra: ANU Press, p. 139-158

  Research output: Chapter in Book/Conference paper › Chapter

  Open Access

  File

  • Dictionary
  • Torres Strait
  • Indigenous Peoples
  • Funded Research
  • National Story
  287 Downloads (Pure)

• Psychometric properties of the Quality of Life Inventory-Disability (QI-Disability) measure

  Downs, J., Jacoby, P., Leonard, H., Epstein, A., Murphy, N., Davis, E., Reddihough, D., Whitehouse, A. & Williams, K., 15 Mar 2019, In : Quality of Life Research. 28, 3, p. 783-794 12 p.

  Research output: Contribution to journal › Article

  Open Access

  • Psychometrics
  • Quality of Life
  • Intellectual Disability
  • Equipment and Supplies
  • Leisure Activities
  10 Citations (Scopus)
• 2017

  Single-Molecule Conductance Studies of Organometallic Complexes Bearing 3-Thienyl Contacting Groups

  Bock, S., Al-Owaedi, O. A., Eaves, S. G., Milan, D. C., Lemmer, M., Skelton, B. W., Osorio, H. M., Nichols, R. J., Higgins, S. J., Cea, P., Long, N. J., Albrecht, T., Martín, S., Lambert, C. J. & Low, P. J., 10 Feb 2017, In : Chemistry - A European Journal. p. 2133-2143

  Research output: Contribution to journal › Article

  Open Access

  • cyclo 3
  • Organometallics
  • dichlorotetrakis(dimethyl sulfoxide)ruthenium II
  • Molecules
  • Microscopes
  30 Citations (Scopus)
• 2016

  THE EXTENDED STELLAR COMPONENT of GALAXIES the NATURE of DARK MATTER

  Power, C. & Robotham, A., 27 Jul 2016, In : The Astrophysical Journal. 825, 1, p. 1-10 31.

  Research output: Contribution to journal › Article

  Open Access

  File

  • dark matter
  • galaxies
  • galactic evolution
  • cold
  • halos
  4 Citations (Scopus)

  229 Downloads (Pure)

• Paternity analysis reveals wide pollen dispersal and high multiple paternity in a small isolated population of the bird-pollinated Eucalyptus caesia (Myrtaceae)

  Bezemer, N., Krauss, S. L., Phillips, R. D., Roberts, D. G. & Hopper, S. D., 1 Dec 2016, In : Heredity. 117, 6, p. 460-471 12 p.

  Research output: Contribution to journal › Article

  • Myrtaceae
  • Eucalyptus
  • Pollen
  • Birds
  • Seeds
  20 Citations (Scopus)
• 2018

  One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past

  Geatti, L., Gigante, N., Montanari, A. & Reynolds, M., 7 Sep 2018, Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrucken, Germany, 26-28th September 2018.. Orlandini, A. & Zimmermann, M. (eds.). Open Publishing Association, p. 176-190

  Research output: Chapter in Book/Conference paper › Conference paper

  Open Access

  File

  • Temporal logic
  • Syntactics
  • Real time systems
  • Semantics
  • Planning
  1 Citation (Scopus)

  235 Downloads (Pure)