Research Output 1959 2020

Filter
Conference paper
2020

Entity Extraction with Knowledge from Web Scale Corpora

Wen, Z., Huang, Z. & Zhang, R., 2020, The 31st Australasian Database Conference (ADC).

Research output: Chapter in Book/Conference paperConference paper

Practical Federated Gradient Boosting Decision Trees

Li, Q., Wen, Z. & He, B., 2020, 34th AAAI Conference on Artificial Intelligence (AAAI-20).

Research output: Chapter in Book/Conference paperConference paper

Privacy-Preserving Gradient Boosting Decision Trees

Li, Q., Wu, Z., Wen, Z. & He, B., 2020, 34th AAAI Conference on Artificial Intelligence (AAAI-20).

Research output: Chapter in Book/Conference paperConference paper

2019

Acoustic Scene Classification Using Joint Time-Frequency Image-Based Feature Representations

Abidin, S., Togneri, R. & Sohel, F., 11 Feb 2019, Proceedings of AVSS 2018 - 2018 15th IEEE International Conference on Advanced Video and Signal-Based Surveillance. IEEE, Institute of Electrical and Electronics Engineers, 8639164. (Proceedings of AVSS 2018 - 2018 15th IEEE International Conference on Advanced Video and Signal-Based Surveillance).

Research output: Chapter in Book/Conference paperConference paper

Acoustics
Fusion reactions
Mathematical transformations

A Fully Automatic Framework for Prediction of 3D Facial Rejuvenation

Shah, S. & Bennamoun, M., 4 Feb 2019, 2018 International Conference on Image and Vision Computing New Zealand (IVCNZ). IEEE, Institute of Electrical and Electronics Engineers, 8634657

Research output: Chapter in Book/Conference paperConference paper

Cosmetics
Learning systems
Fillers

Aleatoric dynamic epistemic logic for learning agents

French, T., Gozzard, A. & Reynolds, M., 1 Jan 2019, PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Nayak, A. C. & Sharma, A. (eds.). Springer-Verlag Berlin, p. 433-445 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11670 LNAI).

Research output: Chapter in Book/Conference paperConference paper

Epistemic Logic
Dynamic Logic
Proposition
Probability distributions
Probability Distribution
2 Citations (Scopus)

A modal aleatoric calculus for probabilistic reasoning

Gozzard, A., French, T. & Reynolds, M., 2019, Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Aquil Khan, M. & Manuel, A. (eds.). Berlin: Springer, p. 52-63

Research output: Chapter in Book/Conference paperConference paper

Probabilistic Reasoning
Calculi
Possible Worlds
Sound
Multi-agent Systems

AMVG: Adaptive Malware Variant Generation Framework Using Machine Learning

Choi, J., Shin, D., Kim, H., Seotis, J. & Hong, J., 2019, Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing. IEEE, Institute of Electrical and Electronics Engineers, 11 p.

Research output: Chapter in Book/Conference paperConference paper

Learning systems
Genetic algorithms
Malware
1 Citation (Scopus)

An empirical study on sentiments in twitter communities

Alduaiji, N. & Datta, A., 7 Feb 2019, Proceedings - 18th IEEE International Conference on Data Mining Workshops, ICDMW 2018. Yu, J., Tong, H., Zhu, F. & Li, Z. (eds.). IEEE, Institute of Electrical and Electronics Engineers, p. 1166-1172 7 p. 8637428. (IEEE International Conference on Data Mining Workshops, ICDMW; vol. 2018-November).

Research output: Chapter in Book/Conference paperConference paper

Communication
Recommender systems
Data mining
Marketing
Industry

A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table

Bataineh, O., Rosenblum, D. S. & Reynolds, M., 1 Jan 2019, Model Checking Software - 26th International Symposium, SPIN 2019, Proceedings. Biondi, F., Given-Wilson, T. & Legay, A. (eds.). Springer, p. 38-55 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11636 LNCS).

Research output: Chapter in Book/Conference paperConference paper

Linear Temporal Logic
Temporal logic
Progression
Decentralized
Table

A simple approach for weakly supervised semantic segmentation

Xu, L., Bennamoun, M., An, S., Boussaid, F. & Sohel, F., 2019, International Conference on Acoustics, Speech, and Signal Processing (ICASSP). USA: IEEE, Institute of Electrical and Electronics Engineers

Research output: Chapter in Book/Conference paperConference paper

A Training-Free Mesh Upsampling and Morphing Technique for 3D Face Rejuvenation

Shah, S., Bennamoun, M. & Molton, M., 7 Feb 2019, 2018 International Conference on Image and Vision Computing New Zealand (IVCNZ). IEEE, Institute of Electrical and Electronics Engineers, 8634685. (International Conference Image and Vision Computing New Zealand; vol. 2018-November).

Research output: Chapter in Book/Conference paperConference paper

Pixels

Bioinformatics for Healthcare Applications

Majhi, V., Paul, S. & Jain, R., 26 Apr 2019, Proceedings - 2019 Amity International Conference on Artificial Intelligence, AICAI 2019. Dubai: IEEE, Institute of Electrical and Electronics Engineers, p. 204-207 4 p. 8701277. (Proceedings - 2019 Amity International Conference on Artificial Intelligence, AICAI 2019).

Research output: Chapter in Book/Conference paperConference paper

Bioinformatics
Health care
Urea
Muscle
History

Bulk Acoustic Wave Resonator-Oscillators and Tests of Fundamental Physics

Goryachev, M., Ivanov, E. N., Tobar, M. E. & Galliou, S., 2019, IFCS/EFTF 2019 - Joint Conference of the IEEE International Frequency Control Symposium and European Frequency and Time Forum, Proceedings. IEEE, Institute of Electrical and Electronics Engineers, 8856114. (IFCS/EFTF 2019 - Joint Conference of the IEEE International Frequency Control Symposium and European Frequency and Time Forum, Proceedings).

Research output: Chapter in Book/Conference paperConference paper

Resonators
Physics
resonators
Cryogenics
oscillators

Clique-Based Traffic Control Strategy Using Vehicle-To-Vehicle Communication

Gee, L. M. & Reynolds, M., 1 Jan 2019, PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Nayak, A. C. & Sharma, A. (eds.). Springer-Verlag Berlin, p. 534-538 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11671 LNAI).

Research output: Chapter in Book/Conference paperConference paper

Vehicle to vehicle communications
Traffic Control
Traffic control
Clique
Control Strategy

CloudSafe: A Tool for an Automated Security Analysis for Cloud Computing

An, S., Eom, T., Park, J. S., Hong, J., Nhlabatsi, A., Fetais, N., Khan, K. M. D. & Kim, D. S., 2019, Proceedings 2019 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE). United States: IEEE, Institute of Electrical and Electronics Engineers, p. 602-609 8 p.

Research output: Chapter in Book/Conference paperConference paper

Cloud computing
Costs
1 Citation (Scopus)

Community aware personalized hashtag recommendation in social networks

Alsini, A., Datta, A., Huynh, D. Q. & Li, J., 1 Jan 2019, Data Mining - 16th Australasian Conference, AusDM 2018 : Revised Selected Papers. Zhao, Y., Warwick, G., Stirling, D., Li, C-T., Koh, Y. S., Islam, R. & Islam, Z. (eds.). Springer-Verlag Berlin, p. 216-227 12 p. (Communications in Computer and Information Science; vol. 996).

Research output: Chapter in Book/Conference paperConference paper

Personalized Recommendation
Social Networks
Recommendations
Community Detection
Topology

Conceptual Learning and Immersive Properties in Head-Mounted-Display Virtual Reality Simulations

Skotny, J., Valentine, A., Hassan, G. M. & Male, S., 2019, (Accepted/In press) Proceedings of the AAEE 2019 30th Annual Conference. The University of Southern Queensland, p. 1-7 7 p. 53

Research output: Chapter in Book/Conference paperConference paper

virtual reality
simulation
learning
student
engineering

Coral classification using densenet and cross-modality transfer learning

Xu, L., Bennamoun, M., Boussaid, F., An, S. & Sohel, F., 2019, International Joint Conference on Neural Networks (IJCNN) . USA: IEEE, Institute of Electrical and Electronics Engineers

Research output: Chapter in Book/Conference paperConference paper

DAMNED - DArk Matter from Non Equal Delays New test of the fundamental constants variation

Savalle, E., Roberts, B. R., Frank, F., Pottie, P. E., Mcallister, B. T., Dailey, C. B., Derevianko, A. & Wolf, P., 1 Apr 2019, IFCS/EFTF 2019 - Joint Conference of the IEEE International Frequency Control Symposium and European Frequency and Time Forum, Proceedings. USA: IEEE, Institute of Electrical and Electronics Engineers, 3 p. 8856056. (IFCS/EFTF 2019 - Joint Conference of the IEEE International Frequency Control Symposium and European Frequency and Time Forum, Proceedings).

Research output: Chapter in Book/Conference paperConference paper

dark matter
Experiments
Mach number
Optical fibers
synchronism

Differences and Similarities between Millimetre Wave and Thermal Heating Effect on Action Potential Triggering in Leech Interneuron

Romanenko, S., Siegel, P. H., Hool, L., Harvey, A. & Wallace, V., 2019, 2019 - 44th International Conference on Infrared, Millimeter, and Terahertz Waves (IRMMW-THz). IEEE, Institute of Electrical and Electronics Engineers, 8873975. (International Conference on Infrared, Millimeter, and Terahertz Waves, IRMMW-THz; vol. 2019-September).

Research output: Chapter in Book/Conference paperConference paper

Millimeter waves
Heating
Tissue
Radiation
Thermal energy

Enhanced Random Forest Algorithms for Partially Monotone Ordinal Classification

Bartley, C. W., Liu, W. & Reynolds, M., 28 Jan 2019, 33rd AAAI Conference on Artificial Intelligence (AAAI 2019).

Research output: Chapter in Book/Conference paperConference paper

Epistemic Model Checking of Distributed Commit Protocols with Byzantine Faults

Al-Bataineh, O. & Reynolds, M., 1 May 2019, Proceedings - 2019 IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019. IEEE, Institute of Electrical and Electronics Engineers, p. 1-10 10 p. 8807721. (Proceedings - 2019 IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019).

Research output: Chapter in Book/Conference paperConference paper

Model checking
Concretes
Network protocols
Semantics
Communication

Evaluating the effectiveness and economic benefit of fuel management in the wildland urban interface using wildfire simulation

Milne, G. & Florec, V., 2019, Proceedings of the 6th International Fire Behavior and Fuels Conference. Marseilles, France: International Association of Wildland Fire, 6 p.

Research output: Chapter in Book/Conference paperConference paper

Open Access

Fitting Dense and Sparse Reduced Data

Kozera, R. & Wiliński, A., 1 Jan 2019, Advances in Soft and Hard Computing. Kacprzyk, J., Pejaś, J., El Fray, I. & Hyla, T. (eds.). Springer-Verlag Berlin, p. 3-17 15 p. (Advances in Intelligent Systems and Computing; vol. 889).

Research output: Chapter in Book/Conference paperConference paper

Parameterization
Interpolation
Cost functions
Splines
1 Citation (Scopus)

Global regularizer and temporal-aware cross-entropy for skeleton-based early action recognition

Ke, Q., Liu, J., Bennamoun, M., Rahmani, H., An, S., Sohel, F. & Boussaid, F., 2019, Computer Vision – ACCV 2018 - 14th Asian Conference on Computer Vision, Revised Selected Papers. Mori, G., Li, H., Schindler, K. & Jawahar, C. V. (eds.). Springer-Verlag Berlin, p. 729-745 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11364 LNCS).

Research output: Chapter in Book/Conference paperConference paper

Cross-entropy
Action Recognition
Skeleton
Labels
Entropy

High-speed imaging of high pressures produced by cavitation bubbles

Supponen, O., Obreschkow, D. & Farhat, M., 2019, 32ND INTERNATIONAL CONGRESS ON HIGH-SPEED IMAGING AND PHOTONICS. Versluis, M. & Stride, E. (eds.). SPIE-INT SOC OPTICAL ENGINEERING, Vol. 11051. 6 p. 1105103. (Proceedings of SPIE; vol. 11051).

Research output: Chapter in Book/Conference paperConference paper

1 Citation (Scopus)

Hydrodynamic forces on intermittently spanning pipelines in steady currents

Teng, Y., Cheng, L., An, H., Tong, F., Griffiths, T., Sun, W., Chi, J. & Xiong, Z., 1 Jan 2019, Offshore Technology; Offshore Geotechnics. The American Society of Mechanical Engineers (ASME), (Proceedings of the International Conference on Offshore Mechanics and Arctic Engineering - OMAE; vol. 1).

Research output: Chapter in Book/Conference paperConference paper

Drag
Hydrodynamics
Pipelines
Reynolds number
Geometry

Identifying Isolated Microgrids in Rural Areas: An Evolutionary Algorithm Approach for a Graph Clustering Problem

Rosenberg, M., Fletcher, J., Reynolds, M., French, T. & While, L., 1 Jun 2019, 2019 IEEE Congress on Evolutionary Computation, CEC 2019 - Proceedings. IEEE, Institute of Electrical and Electronics Engineers, p. 2498-2505 8 p. 8790232. (2019 IEEE Congress on Evolutionary Computation, CEC 2019 - Proceedings).

Research output: Chapter in Book/Conference paperConference paper

Microgrid
Graph Clustering
Evolutionary algorithms
Evolutionary Algorithms
Electricity

Improved techniques for the surveillance of the near earth space environment with the murchison widefield array

Hennessy, B., Tingay, S., Hancock, P., Young, R., Tremblay, S., Wayth, R. B., Morgan, J., McSweeney, S., Crosse, B., Johnston-Hollitt, M., Kaplan, D. L., Pallot, D. & Walker, M., 1 Apr 2019, 2019 IEEE Radar Conference, RadarConf 2019. IEEE, Institute of Electrical and Electronics Engineers, 8835821. (2019 IEEE Radar Conference, RadarConf 2019).

Research output: Chapter in Book/Conference paperConference paper

Earth environment
aerospace environments
surveillance
Earth (planet)
radar

Isotopically Pure Silcon-28 Whispering Gallery Mode Resonators: A Host for Narrow Linewidth Spin Ensembles

Tobar, M. E., Bourhill, J., Goryachev, M., Creedon, D., Johnson, B. C. & Jamieson, D., 14 May 2019, 2018 Conference on Optoelectronic and Microelectronic Materials and Devices, COMMAD 2018. IEEE, Institute of Electrical and Electronics Engineers, p. 41-42 2 p. 8715244. (2018 Conference on Optoelectronic and Microelectronic Materials and Devices, COMMAD 2018).

Research output: Chapter in Book/Conference paperConference paper

Whispering gallery modes
whispering gallery modes
Linewidth
Q factors
Resonators

Learning interpretable expression-sensitive features for 3D dynamic facial expression recognition

Xue, M., Mian, A., Duan, X. & Liu, W., 2019, Proceedings - 14th IEEE International Conference on Automatic Face and Gesture Recognition, FG 2019. IEEE, Institute of Electrical and Electronics Engineers, 8756564. (Proceedings - 14th IEEE International Conference on Automatic Face and Gesture Recognition, FG 2019).

Research output: Chapter in Book/Conference paperConference paper

Feature extraction
Classifiers
Semantics
1 Citation (Scopus)

Location-Velocity Attention for Pedestrian Trajectory Prediction

Xue, H., Huynh, D. & Reynolds, M., 4 Mar 2019, 2019 IEEE Winter Conference on Applications of Computer Vision. USA: IEEE, Institute of Electrical and Electronics Engineers, p. 2038–2047 10 p. 8659060. (Proceedings - 2019 IEEE Winter Conference on Applications of Computer Vision, WACV 2019).

Research output: Chapter in Book/Conference paperConference paper

Trajectories

Loss Switching Fusion with Similarity Search for Video Classification

Wang, L., Huynh, D. Q. & Mansour, M. R., Sep 2019, 2019 IEEE International Conference on Image Processing (ICIP). Taiwan: IEEE, Institute of Electrical and Electronics Engineers, p. 974-978 5 p.

Research output: Chapter in Book/Conference paperConference paper

Open Access
Fusion reactions
Video streaming
Industry

Multi-Objective Security Hardening Optimisation for Dynamic Networks

Enoch, S. Y., Hong, J., Ge, M., Khan, K. M. D. & Kim, D. S., 2019, ICC 2019 - 2019 IEEE International Conference on Communications (ICC). China: IEEE, Institute of Electrical and Electronics Engineers

Research output: Chapter in Book/Conference paperConference paper

Hardening
Multiobjective optimization
Sorting
Genetic algorithms
Availability

Pedestrian tracking and stereo matching of tracklets for autonomous vehicles

Xue, H., Huynh, D. Q. & Reynolds, M., 2019, 2019 IEEE 89th Vehicular Technology Conference, VTC Spring 2019 - Proceedings. IEEE, Institute of Electrical and Electronics Engineers, 8746329. (IEEE Vehicular Technology Conference; vol. 2019-April).

Research output: Chapter in Book/Conference paperConference paper

Stereo Matching
Autonomous Vehicles
Trajectories
Trajectory
Pipelines

Pedestrian Trajectory Prediction Using A Social Pyramid

Xue, H., Huynh, D. & Reynolds, M., 2019, PRICAI 2019: Trends in Artificial Intelligence. Nayak, A. C. & Sharma, A. (eds.). Springer International Publishing, Vol. 11671. p. 439-453 14 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference paperConference paper

Trajectories
4 Downloads (Pure)

Piloted Online Training Module to Teach On-Site Safety in Engineering

Ta, F., Valentine, A., Male, S. & Hassan, G. M., 2 Dec 2019, 36th International Conference of Innovation, Practice and Research in the Use of Educational Technologies in Tertiary Education. Chew Yi Wei, S., Kah Mun, C. & Alphonso, A. (eds.). Singapore: Australasian Society for Computers in Learning in Tertiary Education, p. 292-301 10 p. 30

Research output: Chapter in Book/Conference paperConference paper

Open Access
File
engineering
simulation
student
learning
education

Population-wide effectiveness of enhanced vaccines in older adults

Milne, G., 17 Jan 2019, Proceedings of 2nd Incidence and Severity of Influenza Symposium. London

Research output: Chapter in Book/Conference paperConference paper

Precision Frequency Metrology for Axion Searches

Goryachev, M., Mcallister, B. & Tobar, M. E., 2019, IFCS/EFTF 2019 - Joint Conference of the IEEE International Frequency Control Symposium and European Frequency and Time Forum, Proceedings. IEEE, Institute of Electrical and Electronics Engineers, 8856108. (IFCS/EFTF 2019 - Joint Conference of the IEEE International Frequency Control Symposium and European Frequency and Time Forum, Proceedings).

Research output: Chapter in Book/Conference paperConference paper

metrology
Transfer functions
Magnetic fields
Sensors
transfer functions
254 Downloads (Pure)

Reconstruction of Complex Dynamical Systems from Time Series using Reservoir Computing

Jüngling, T., Lymburn, T., Stemler, T., Corrêa, D., Walker, D. & Small, M., 1 May 2019, 2019 IEEE International Symposium on Circuits and Systems, ISCAS 2019 - Proceedings. IEEE, Institute of Electrical and Electronics Engineers, 8702137. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2019-May).

Research output: Chapter in Book/Conference paperConference paper

Open Access
File
dynamical systems
modularity
echoes
oscillators
output

Relating Nanoparticle Geometry and Terahertz Reflectivity

Lawler, N., Wallace, V. P., Clemons, T. & Iyer, K. S., 2019, IRMMW-THz 2019 - 44th International Conference on Infrared, Millimeter, and Terahertz Waves. IEEE, Institute of Electrical and Electronics Engineers, 8873928. (International Conference on Infrared, Millimeter, and Terahertz Waves, IRMMW-THz; vol. 2019-September).

Research output: Chapter in Book/Conference paperConference paper

Surface plasmon resonance
Nanoparticles
Geometry
Infrared imaging
Gold

Relationship detection based on object semantic inference and attention mechanisms

Zhang, L., Zhang, S., Shen, P., Zhu, G., Shah, S. A. A. & Bennamoun, M., 5 Jun 2019, ICMR 2019 - Proceedings of the 2019 ACM International Conference on Multimedia Retrieval. USA: Association for Computing Machinery (ACM), p. 68-72 5 p. (ICMR 2019 - Proceedings of the 2019 ACM International Conference on Multimedia Retrieval).

Research output: Chapter in Book/Conference paperConference paper

Open Access
Semantics
Image understanding
Genes

Response enhancement of a magnetic-film based hydrogen gas sensor using size reduction to microchip dimensions

Khan, S., Martyniuk, M. & Kostylev, M., 14 May 2019, 2018 Conference on Optoelectronic and Microelectronic Materials and Devices, COMMAD 2018. IEEE, Institute of Electrical and Electronics Engineers, p. 19-21 3 p. 8715239. (2018 Conference on Optoelectronic and Microelectronic Materials and Devices, COMMAD 2018).

Research output: Chapter in Book/Conference paperConference paper

Magnetic films
Ferromagnetic resonance
magnetic films
ferromagnetic resonance
Chemical sensors

Security and Performance Modeling and Optimization for Software Defined Networking

Eom, T., Hong, J., An, S., Park, J. S. & Kim, D. S., 2019, Proceedings 2019 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE). United States: IEEE, Institute of Electrical and Electronics Engineers, p. 610-617 8 p.

Research output: Chapter in Book/Conference paperConference paper

Computer simulation
Software defined networking
Genetic algorithms
Communication

Sentiment Correlation Discovery from Social Media to Share Market

Xie, S., Li, M. & Li, J., 29 Jan 2019, Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2019. USA: Association for Computing Machinery (ACM), a52

Research output: Chapter in Book/Conference paperConference paper

Open Access
Marketing
Industry
2 Citations (Scopus)

Significance of Lyapunov Exponent in Parkinson's disease using Electroencephalography

Saikia, A., Barua, A. R., Hussain, M. & Paul, S., 2019, PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND INTEGRATED NETWORKS (SPIN). Wiley-IEEE Press, p. 791-795 5 p.

Research output: Chapter in Book/Conference paperConference paper

144 Downloads (Pure)

Spatio-Temporal Dynamics and Semantic Attribute Enriched Visual Encoding for Video Captioning

Aafaq, N., Akhtar, N., Liu, W., Gilani, S. Z. & Mian, A., 2019, The IEEE Conference on Computer Vision and Pattern Recognition (CVPR). USA: IEEE, Institute of Electrical and Electronics Engineers, p. 12487-12496 10 p.

Research output: Chapter in Book/Conference paperConference paper

Open Access
File
Semantics
Neural networks
Computer vision
Fourier transforms
Detectors

Surf wave parks - Assessing the sound of fun

Chambers, S. & James, R., 1 Jan 2019, Australian Acoustical Society Annual Conference, AAS 2018. Australian Acoustical Society, p. 188-189 2 p. (Australian Acoustical Society Annual Conference, AAS 2018).

Research output: Chapter in Book/Conference paperConference paper

acoustics
proposals
spilling
water
birds

Synthesis of LTL formulas from natural language texts: State of the art and research directions

Brunello, A., Montanari, A. & Reynolds, M., 1 Oct 2019, Leibniz International Proceedings in Informatics, LIPIcs. Gamper, J., Pinchinat, S. & Sciavicco, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 171-1719 1549 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 147).

Research output: Chapter in Book/Conference paperConference paper

Open Access
Temporal logic
Model checking
Specifications