Dr Li Su


University position

Senior Research Fellow - Cambridge, Professor - Sheffield

Dr Li Su is pleased to consider applications from prospective PhD students.

Departments

Department of Psychiatry

Email

ls514@cam.ac.uk

Home page

http://www.aicn-group.com (personal home page)

Research Themes

Cognitive and Behavioural Neuroscience

Systems and Computational Neuroscience

Interests

I lead Artificial Intelligence and Computational Neuroscience group (http://www.aicn-group.com) and Alzheimer's Research UK (ARUK) East Network Centre. I am Chair of Neuroimaging in Neuroscience Institute at University of Sheffield and ARUK Senior Research Fellow at Department of Psychiatry at University of Cambridge (http://www.psychiatry.cam.ac.uk/oap/people/principal-investigators/).

Awards:

2015 International College of Geriatric Psychoneuropharmacology Junior Investigator

Funders:

Lewy Body Society, BBSRC, Alzheimer’s Society, Isaac Newton Trust, Alzheimer's Research UK, Addenbrooke’s Charitable Trust

Research Focus

Keywords

fMRI

MEG / EEG

MRS

RSA

computational modelling

Clinical conditions

Alzheimer's disease

Dementia with Lewy Bodies

Depressive disorders

Parkinson's disease

Schizophrenia

Equipment

Behavioural analysis

Computational modelling

Electroencephalography (EEG)

Magnetic resonance imaging (MRI)

Magnetoencephalography (MEG)

Positron Emission Tomography (PET)

Collaborators

Cambridge

Philip Barnard

Richard Henson

John O'Brien

James Rowe

United Kingdom

Howard Bowman Web: http://www.birmingham.ac.uk/schools...

Arshad Majid

International

Raymond Chan Web: http://sourcedb.cas.cn/sourced...

Jianmin Zeng

Associated News Items


Publications

2020

A McKeevera, AF Parisa, J Cullena, L Hayesa, CW Ritchieb, K Ritchieb,c, AD Waldmanb, K Wellsd, A Buszae, I Carrierec, JT O'Briena, L Su (2020), “Hippocampal subfield volumes in middle-aged adults at risk of dementia” Journal of Alzheimer’s Disease

Binghan Zheng, Sandra Báez, Li Su, Xia Xiang, Susanne Weis, Agustín Ibáñez, Adolfo M. García (2020), “Semantic and attentional networks in bilingual processing: fMRI connectivity signatures of translation directionality” Brain and Cognition

Diego Castillo-Barnes, Li Su, Javier Ramrez, Diego Salas-Gonzalez, Francisco J. Martinez-Murcia, Ignacio A. Illan, Fermin Segovia, Andres Ortiz, Carlos Cruchaga, Martin R. Farlow, Chengjie Xiong, Neil R. Graff-Radford, Peter R. Schofield, Colin L. Masters, Stephen Salloway, Mathias Jucker, Hiroshi Mori, Johannes Levin, Juan M. Gorriz (2020), “Autosomal Dominantly Inherited Alzheimer Disease: Analysis of genetic subgroups by Machine Learning” Information Fusion

Elijah Mak, Nicolas Nicastro, Maura Malpetti, George Saluvich, Ajenthan Surendranathan, Negin Holland, Luca Passamonti, Simon P Jones, Stephen F Carter, Li Su, Young T Hong, Tim D Fryer, Guy B Williams, Franklin Aigbirhio, James B Rowe, John T O'Brien (2020), “Imaging tau burden in dementia with Lewy bodies using [18F]-AV1451 positron emission tomography” Neurobiology of Aging

Elizabeth McKiernan, Elijah Mak, Marielena Douvani, Katie Wells, Craig Ritchie, Guy Williams, Li Su*, John O’Brien* (2020), “Regional hyperperfusion in cognitively normal APOE e4 allele carriers in mid-life: analysis of ASL pilot data from the PREVENT-Dementia cohort” Journal of Neurology, Neurosurgery, and Psychiatry

Firbank, M.J., O’Brien, J.T., Ritchie, K., Wells, K., Williams, G., Su, L., Ritchie, C.W. (2020), “Midlife alcohol consumption and longitudinal brain atrophy: the PREVENT-Dementia study” Journal of Neurology

Jianmin Zeng, Manru Liu, Xingrong Hou, Qinglin Zhang, Hong Chen, Li Su (2020), “Can genes modulate anchoring effect? ” International Journal of Psychology.

Li Su, Ajenthan Surendranathan, Yujing Huang, William R Bevan-Jones, Luca Passamonti, Yong T. Hong, Robert Arnold, Patricia Vázquez Rodríguez, Yi Wang, Elijah Mak, Tim D. Fryer, Franklin Aigbirhio, James B. Rowe, John T. O’Brien (2020), “Relationship between tau, neuroinflammation and atrophy in Alzheimer’s disease: the NIMROD study” Information Fusion

Low A, Mak E, Malpetti M, Chouliaras L, Nicastro N, Stefaniak JD, Savulich G, Chouliaras L, Su L, Rowe JB, Markus HS, Rowe J, O'Brien J (2020), “In vivo neuroinflammation and cerebral small vessel disease in mild cognitive impairment and Alzheimer’s disease” Journal of Neurology, Neurosurgery, and Psychiatry

Low A, Su L, Stefaniak JD, Mak E, Dounavi ME, Muniz-Terrera G, Ritchie K, Markus HS, O'Brien J (2020), “Inherited risk of dementia and the progression of cerebral small vessel disease and inflammatory markers in cognitively healthy midlife adults: the PREVENT-Dementia study” Neurobiology of Aging

Maria-Eleni Dounavi, Elijah Mak, Katie Wells, Karen Ritchie, Craig W. Ritchie d, Li Su, John T. O’Brien (2020), “Volumetric alterations in the hippocampal subfields of subjects at increased risk of dementia” Neurobiology of Ageing

Maura Malpetti, Rogier A. Kievit, Luca Passamonti, P. Simon Jones, Kamen A. Tsvetanov, Timothy Rittman, Elijah Mak, Nicolas Nicastro, W. Richard Bevan-Jones, Li Su, Young T. Hong, Tim D. Fryer, Franklin I. Aigbirhio, John T. O’Brien and James B. Rowe (2020), “Microglial activation and tau burden predict cognitive decline in Alzheimer’s Disease” Brain

Nicolas Nicastro; Elijah Mak; Guy B Williams; Ajenthan Surendranathan; William R Bevan-Jones; Luca Passamonti; Patricia Vazquez Rodriguez; Li Su; Robert Arnold; Tim D Fryer; Young T Hong; Franklin I Aigbirhio; James B Rowe; John T O'Brien (2020), “Correlation of microglial activation with white matter changes in dementia with Lewy bodies ” NeuroImage: Clinical

Ritchie K, Carrière I, Gregory S, Watermeyer T, Su L, Ritchie CW, O’Brien J. (2020), “Trauma and depressive symptomatology in middle-aged persons at high risk of dementia : the PREVENT Dementia Study” Journal of Neurology, Neurosurgery, and Psychiatry

Wang X, Huang W, Su L, Xing Y, Jessen F, Sun Y, Shu N, Han Y (2020), “Neuroimaging advances regarding subjective cognitive decline in preclinical Alzheimer’s disease” Molecular Neurodegeneration 15, 55

Yujing Huang, Li Su, Qingguo Ma (2020), “The Stroop effect: An activation likelihood estimation meta-analysis in healthy young adults” Neuroscience Letters 716: 134683

2019

Hou X, Zeng J, Chen H, Su L (2019), “The endowment effect in the genes: An exploratory study” Judgment and Decision Making 14(3): 293–298

JT O’Brien, MJ Firbank, K Ritchie, K Wells, G Williams, CW. Ritchie, L Su (2019), “Association between midlife dementia risk factors and longitudinal brain atrophy: The PREVENT-Dementia study” Journal of Neurology, Neurosurgery, and Psychiatry

L. Passamonti, K.A. Tsvetanov, P.S. Jones, W.R. Bevan-Jones, R. Arnold, R.J. Borchert, E. Mak, L. Su, J.T. O’Brien, J.B. Rowe (2019), “Neuroinflammation and functional connectivity in Alzheimer’s disease: interactive influences on cognitive performance” Journal of Neuroscience

Low A, Mak E, Malpetti M, Chouliaras L, Nicastro N, Su L, Holland N, Rittman T, Vazquez Rodriguez P, Passamonti L, Bevan-Jones W, Jones PPS, Rowe J, O'Brien J (2019), “Asymmetrical atrophy of thalamic subnuclei in Alzheimer’s disease and amyloid-positive mild cognitive impairment is associated with key clinical features” Alzheimer's and Dementia: Diagnosis, Assessment and Disease Monitoring

Xuanyu Li, Xiaoni Wang, Li Su, Xiaochen Hu, Ying Han (2019), “Sino Longitudinal Study on Cognitive Decline (SILCODE): protocol for a Chinese longitudinal observational study to develop risk prediction models of conversion to mild cognitive impairment in individuals with subjective cognitive decline” BMJ Open

Yujing Huang, Xuwei Pan, Li Su, Yang Sun, Yan Mo, Qingguo Ma (2019), “The role of information sentiment in popularity on social media: a psychoinformatic and electroencephalogram study” SOCIAL INFLUENCE

Zeng J, Wang Y, Zeng J, Cao Z, Chen H, Liu Y, Zhang Q, Su L (2019), “Predicting the behavioural tendency of loss aversion” Scientific Reports

Zhao W, Luo Y, Zhao L, Mok V, Su L, Yin C, Sun Y, Lu J, Shi L, Han Y (2019), “Automated brain MRI volumetry differentiates early stages of Alzheimer’s disease from normal aging” Journal of Geriatric Psychiatry and Neurology

2018

A. Surendranathan; L. Su; E. Mak; L. Passamonti; Y.T. Hong; R. Arnold; P. Vázquez Rodríguez; W.R. Bevan-Jones; S.A.E. Brain; T.D. Fryer; F. Aigbirhio; J.B. Rowe; J.T. O’Brien (2018), “Early Microglial Activation and Peripheral Inflammation in Dementia with Lewy Bodies” Brain

Leming M, Su L, Chattopadhyay S, Suckling J (2018), “Normative pathways in the functional connectome” NeuroImage

Mak E, Bethlehem RAI, Romero-Garcia, R, Cervenka S, Rittman, T, Gabel S, Surendranathan A, Bevan-Jones WR, Passamonti L, Vázquez Rodríguez P, Su L, Arnold R, Guy B Williams, Hong YT, Fryer TD, Aigbirhio F, Rowe JB, O’Brien JT (2018), “In vivo coupling of tau pathology and cortical thinning in Alzheimer's disease” Alzheimer's & Dementia: Diagnosis, Assessment & Disease Monitoring

Mavritsaki E, Bowman H, Su L (2018), “Attentional deficits in Alzheimer’s disease: investigating the role of acetylcholine with computational modelling” Multiple scale models of brain, Springer

Minett T, Su L, Mak E, Williams G, Firbank M, Lawson RA, Yarnall AJ, Duncan GW, Owen AM, Khoo TK, Brooks DJ, Rowe JB, Barker RA, Burn D, O’Brien JT (2018), “Longitudinal diffusion tensor imaging changes in early Parkinson’s disease: ICICLE-PD study” Journal of Neurology

Passamonti, L., Vázquez Rodríguez, P.M., Hong, Y.T., Allinson, K.S.J., Bevan-Jones, W.R., Williamson, D., Jones, P.S., Arnold, R., Borchert, R.J., Surendranathan, A., Mak, E., Su, L., Fryer, T.D., Aigbirhio, F.I., O’Brien, J.T., Rowe, J.B. (2018), “[11C]PK11195 binding in Alzheimer’s disease and progressive supranuclear palsy” Neurology

Qin H, Zeng J, Chen H, Deng L, Su L (2018), “Can Your DNA Influence Your Bet-Placing? The Impact of Cannabinoid Receptor 1 Gene on Gambling Tasks” Front. Hum. Neurosci. 12:458

Ritchie K, Carrière I, Howett D, Su L, Hornberger M, O’Brien JT, Ritchie CW, Chan D (2018), “Allocentric and egocentric spatial processing in middle-aged adults at high risk of late-onset Alzheimer’s disease: the PREVENT Dementia study” Journal of Alzheimer’s Disease

Su L, Huang Y, Wang Y, Rowe J, O'Brien J (2018), “Predict disease progression with reaction rate equation modelling of multimodal MRI and PET ” Frontiers in Aging Neuroscience

2017

Li, Z., Zhang, C.Y., Huang, J., Wang, Y., Yan, C., Li, K., Zeng, Y.W., Jin, Z., Cheung, E.F.C., Su, L.*, Chan R.C.K.* (2017), “Improving motivation through real-time fMRI based self-regulation of the nucleus accumbens” Neuropsychology

Mak, E., Gabel, S., Su, L., Williams, G.B., Arnold, R., Passamonti, L., Vázquez Rodríguez, P., Surendranathan, A., Bevan-Jones, W.R., Rowe, J.B., O’Brien, J. T., (2017), “Multi-modal MRI investigation of volumetric and microstructural changes in the hippocampus and its subfields in mild cognitive impairment, Alzheimer’s disease, and dementia with Lewy bodies” International Psychogeriatrics

Mak, E., Su, L., Williams G.B., Firbank M.J., Lawson R.A., Yarnall A.J., Duncan G.W., Mollenhauer, B., Owen A.M., Khoo T.K., Brooks D.J., Rowe J.B., Barker R., Burn D.J., and O'Brien J.T. (2017), “Longitudinal whole brain atrophy and ventricular enlargement in non-demented Parkinson's disease” Neurobiology of Aging

Mirette, H., Mak, E., Gabel, S., Su, L., Williams, G.B., Waldman, A., Wells, K., Ritchie, K., Ritchie, K., O’Brien, J.T. (2017), “Functional neuroimaging findings in healthy middle-aged adults at risk of Alzheimer’s disease” Ageing Research Reviews

Passamonti, L., Vázquez Rodríguez, P., Hong, Y.T., Allinson, K.S.J., Williamson, D., Borchert, R.J., Sami, S., Bevan-Jones, W.R., Jones, S.P., Arnold, R., Surendranathan, A., Mak, E., Su, L., Fryer, T.D., Aigbirhio, F., O’Brien, J. T., Rowe, J.B., (2017), “[18F]AV-1451 Positron Emission Tomography in Alzheimer’s Disease and Progressive Supranuclear Palsy” Brain

Ritchie, K., Carriere, K, Su, L., O’Brien, J., Lovestone, S., Wells, K. and Richie, C.W. (2017), “The midlife cognitive profiles of adults at high risk of late-onset Alzheimer’s disease: The PREVENT study” Alzheimer’s & Dementia: the journal of the Alzheimer's Association DOI: 10.1016/j.jalz.2017.02.008

Stefaniaka*, J.D., Su*, L., Mak, E., Bahaeid, N.S., Wellse, K., Ritchief, K., Waldmanh, A., Ritchieh, C.W., O’Brienb, J.T. (2017), “Cerebral small vessel disease in middle age and genetic predisposition to late-onset Alzheimer’s Disease” Alzheimer’s & Dementia: the journal of the Alzheimer's Association.

Su, L,*, Hayes, L.*, Soteriadesa, S., Williams, G., Brain, SAE., Firbank, M.J., Longoni, G., Arnold, RJ., Rowe, J.B., O'Brien, J.T. (2017), “Hippocampal Stratum Radiatum, Lacunosum and Moleculare Sparing in Mild Cognitive Impairment” Journal of Alzheimer’s Disease

Wingfield*, C., Su*, L., Liu, X., Zhang, C., Woodland, P., Thwaites, A., Fonteneau, E., Marslen-Wilson, W.D. (2017), “Relating Dynamic Brain States to Dynamic Machine States: Human and Machine Solutions to the Speech Recognition Problem” PloS Computational Biology

2016

Bevan-Jones W.R., Surendranathan, A., Passamonti, L., Vázquez Rodríguez, P., Arnold, R., Mak, E., Su, L., Coles, J.P., Fryer, T.D., Hong, Y.T., Williams, G., Aigbirhio, F., Rowe, J.B., O’Brien, J.T. (2016), “Neuroimaging of Inflammation in Memory and Related Other Disorders (NIMROD) study protocol: a deep phenotyping cohort study of the role of brain inflammation in dementia, depression and other neurological illnesses” BMJ Open

Mak, E., Gabel, S., Mirette, H., Su, L., Williams, G.B., Waldman, A., Wells, K., Ritchie, K., Ritchie, K., O’Brien, J.T. (2016), “Structural neuroimaging in preclinical dementia: from microstructural deficits and grey matter atrophy to macroscale connectomic changes” Ageing Research Reviews

Su, L., Blamire, A.M., Watson, R., He, J., Aribisala, B. and O’Brien, J.T. (2016), “Cortical and subcortical changes in Alzheimer’s disease: a longitudinal and quantitative MRI study” Current Alzheimer Research 13(5): 534-544

Su, L., Blamire, A.M., Watson, R., He, J., Lawrence, H. and O’Brien, J.T. (2016), “Whole-brain Patterns of 1H-Magnetic Resonance Spectroscopy Imaging in Alzheimer's Disease and Dementia with Lewy Bodies” Translational Psychiatry

Su, L., Faluyi, Y., Hong, Y.T., Fryer, T.D., Mak, E., Gabel, S., Hayes, L., Soteriades, S., Williams, G.B., Arnold, R., Passamonti, L., Vázquez Rodríguez, P., Surendranathan, A., Bevan-Jones, R.W., Coles, J., Aigbirhio, F., Rowe, J.B. and O’Brien, J.T. (2016), “Neuroinflammatory and Morphological Changes in Late Life Depression: The NIMROD Study of [11C]PK11195 PET and Multimodal MRI” The British Journal of Psychiatry

Yan, C., Su, L., Wang, Y., Xu, T., Yin, D., Fan, M., Deng, C., Hu, Y., Wang, Z., Cheung, E.F.C., Lim, K.O., Chan, R.C.K. (2016), “Multivariate Neural Representations of Value during Reward Anticipation and Consummation in the Human Orbitofrontal Cortex” Scientific Reports

Yan, C., Wang, Y., Su, L., Xu, T., Yin, D.Z., Fan, M.X., Deng, C.P., Wang, Z.X. Lui, S.S.Y., Cheung, E.F.C., Chan, R.C.K. (2016), “Differential mesolimbic and prefrontal alterations during reward anticipation and consummation in positive and negative schizotypy” Psychiatry Research: Neuroimaging

2015

Mak E, Su L, Williams GB, O'Brien JT (2015), “Neuroimaging correlates of cognitive impairment and dementia in Parkinson's disease.” Parkinsonism Relat Disord Details

Mak E, Su L, Williams GB, Watson R, Firbank M, Blamire AM, O'Brien JT (2015), “Longitudinal assessment of global and regional atrophy rates in Alzheimer's disease and dementia with Lewy bodies.” Neuroimage Clin 7:456-62 Details

Mak E, Su L, Williams GB, Watson R, Firbank MJ, Blamire AM, O'Brien JT (2015), “Progressive cortical thinning and subcortical atrophy in dementia with Lewy bodies and Alzheimer's disease.” Neurobiol Aging Details

Mak, E., Su, L., Williams G.B., Firbank M.J., Lawson R.A., Yarnall A.J., Duncan G.W., Owen A.M., Khoo T.K., Brooks D.J., Rowe J.B., Barker R., Burn D.J., and O'Brien J.T. (2015), “Baseline and longitudinal grey matter changes in newly diagnosed Parkinson’s disease: ICICLE-PD study” Brain 138(10):2974-86

Mak, E., Su, L., Williams G.B., Watson R., Firbank M.J. and O'Brien J.T. (2015), “Differential atrophy of hippocampal subfields: a comparative study of dementia with Lewy bodies and Alzheimer’s disease” American Journal of Geriatric Psychiatry doi: 10.1016/j.jagp.2015.06.006

Su L, Wyble B, Zhou LQ, Wang K, Wang YN, Cheung EF, Bowman H, Chan RC (2015), “Temporal perception deficits in schizophrenia: integration is the problem, not deployment of attentions.” Sci Rep 5:9745 Details

Suckling, J., Simas, T., Chattopadhyay, S., Tait, R., Su, L., Williams, G., Rowe J. and O'Brien J. (2015), “A winding road: Alzheimer’s disease increases circuitous functional connectivity pathways” Frontiers in Computational Neuroscience 9:140. doi: 10.3389/fncom.2015.00140

Zhang J, Su L (2015), “Temporal Autocorrelation-Based Beamforming with MEG Neuroimaging Data” Journal of the American Statistical Association 110(512):1375-1388 PDF

2014

Bowman H, Filetti M, Alsufyani A, Janssen D, Su L (2014), “Countering countermeasures: detecting identity lies by detecting conscious breakthrough.” PLoS One 9(3):e90595 Details

Bowman, H. and Su, L. (2014), “Cognition, Concurrency Theory and Reverberations in the Brain: in Search of a Calculus of Communicating (Recurrent) Neural Systems” A. Voronkov, M. Korovina (eds.), HOWARD-60 66-84 PDF

Bozic M, Fonteneau E, Su L, D Marslen-Wilson W (2014), “Grammatical analysis as a distributed neurobiological function.” Hum Brain Mapp Details

Mak E, Su L, Williams GB, O'Brien JT (2014), “Neuroimaging characteristics of dementia with Lewy bodies.” Alzheimers Res Ther 6(2):18 Details

Nili H, Wingfield C, Walther A, Su L, Marslen-Wilson W, Kriegeskorte N (2014), “A toolbox for representational similarity analysis.” PLoS Comput Biol 10(4):e1003553 Details

Su L, Blamire AM, Watson R, He J, Aribisala B, O'Brien JT (2014), “Tissue microstructural changes in dementia with Lewy bodies revealed by quantitative MRI.” J Neurol Details

Su L, Zulfiqar I, Jamshed F, Fonteneau E, Marslen-Wilson W (2014), “Mapping tonotopic organization in human temporal cortex: representational similarity analysis in EMEG source space.” Front Neurosci 8:368 Details

Su, L., Gomez, R. and Bowman, H. (2014), “Analysing Neurobiological Learning Using Communicating Automata” Formal Aspects of Computing 26: 1169-1204, DOI 10.1007/s00165-014-0294-y PDF

2013

Bowman H, Filetti M, Janssen D, Su L, Alsufyani A, Wyble B (2013), “Subliminal salience search illustrated: EEG identity and deception detection on the fringe of awareness.” PLoS One 8(1):e54258 Details

Bozic M, Tyler LK, Su L, Wingfield C, Marslen-Wilson WD (2013), “Neurobiological systems for lexical representation and analysis in English.” J Cogn Neurosci 25(10):1678-91 Details

Lawrence EJ, Su L, Barker GJ, Medford N, Dalton J, Williams SC, Birbaumer N, Veit R, Ranganatha S, Bodurka J, Brammer M, Giampietro V, David AS (2013), “Self-regulation of the anterior insula: Reinforcement learning using real-time fMRI neurofeedback.” Neuroimage 88C:113-124 Details

Wang Y, Yang TX, Su L, Yan C, Wang Y, Huang J, Fan MX, Yin DZ, Jin Z, Zeng YW, Shum DH, Gur RC, Chan RC (2013), “Neural Correlates of Prospective Memory in Individuals With Schizotypal Personality Features.” Neuropsychology Details

2012

Su L, Fonteneau E, Marslen-Wilson W, Kriegeskorte N (2012), “Spatiotemporal Searchlight Representational Similarity Analysis in EMEG Source Space” IEEE Xplore 97-100, doi:10.1109/PRNI.2012.26 PDF

2011

Bowman, H., Su, L., Wyble, B. and Barnard, P.J. (2011), “Salience sensitive control, temporal attention and stimulus-rich reactive interfaces” Human Attention in Digital Environments 114-144

Su L, Bowman H, Barnard P (2011), “Glancing and then looking: on the role of body, affect, and meaning in cognitive control.” Front Psychol 2:348 Details

2010

Su L, Barnard PJ, Bowman H (2010), “On the Fringe of Awareness, Attention and Emotion” Lecture Notes in Computer Science 6354, 504-509

2009

Su L, Bowman H, Barnard PJ, Wyble B (2009), “Process Algebraic Modelling of Attentional Capture and Human Electrophysiology in Reactive Systems” Formal Aspects of Computing 21, 513-539 PDF

2008

Su, L., H. Bowman, and P.J. Barnard (2008), “Performance of reactive interfaces in stimulus rich environments, applying formal methods and cognitive frameworks” Electronic Notes in Theoretical Computer Science 208: 95-111

2007

Su, L., H. Bowman, and P.J. Barnard (2007), “Attentional capture by meaning: A multi-level modelling study” Proceedings of the 29th Annual Cognitive Science Society 1521-1526

2005

Bowman, H., Gomez, R. and Su, L. (2005), “A tool for the syntactic detection of zeno-timelocks in timed automata” Electronic Notes in Theoretical Computer Science 139(1): 25-47

Su, L., H. Bowman, and B. Wyble (2005), “Symbolic encoding of neural networks using communicating automata with applications to verification of neural network based controllers” Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning