String solving with word equations and transducers: towards a logic for analysing mutation XSS by Lin, A, Barceló, P

Liveness of Randomised Parameterised Systems under Arbitrary Schedulers by Lin, A, Ruemmer, P

Synchronisation− and Reversal−Bounded Analysis of Multithreaded Programs with Counters by Hague, M, Lin, A

Origin of the West Taiwan basin by orogenic loading and flexure of a rifted continental margin by Lin, A, Watts, A

Model Checking Recursive Programs with Numeric Data Types by Hague, M, Lin, A

Cenozoic stratigraphy and subsidence history of the South China Sea margin in the Taiwan region by Lin, A, Watts, A, Hesselbo, S

Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach by Ong, C, Hague, M, Lin, A

Mobile health technology (WeChat) for the hierarchical management of community hypertension: protocol for a cluster randomized controlled trial by Li T, Ding W, Li X, Lin A

Get full text

Risk behaviours among HIV positive injecting drug users in Myanmar: a case control study by Rashid AK, Nyo Kay K, Swe Lin A

Get full text

Modelling slow wave activity in the small intestine by Lin, A, Buist, M, Smith, N, Pullan, A

Sexually dimorphic octopaminergic neurons modulate female postmating behaviors in Drosophila. by Rezával, C, Nojima, T, Neville, M, Lin, A, Goodwin, S

Fair termination for parameterized probabilistic concurrent systems by Lengál, O, Lin, A, Majumdar, R, Ruemmer, P

Learning to prove safety over parameterised concurrent systems by Chen, Y, Hong, C, Lin, A, Ruemmer, P

Sexually dimorphic octopaminergic neurons modulate female postmating behaviors in drosophila by Rezával, C, Nojima, T, Neville, M, Lin, A, Goodwin, S

Odor discrimination in Drosophila: from neural population codes to behavior. by Parnas, M, Lin, A, Huetteroth, W, Miesenböck, G

Integrating factors associated with hypertensive patients' self-management using structural equation model: a cross-sectional study in Guangdong, China by Ding W, Li T, Su Q, Yuan M, Lin A

Get full text

What is decidable about string constraints with ReplaceAll function by Chen, T, Chen, Y, Hague, M, Lin, A, Wu, Z

String constraints with concatenation and transducers solved efficiently by Holik, L, Janku, P, Lin, A, Rümmer, P, Vojnar, T

The Experience of Medical Scribing: No Disparities Identified by Levi BH, Ekpa N, Lin A, Smith CW, Volpe RL

Get full text

Different kenyon cell populations drive learned approach and avoidance in Drosophila by Perisse, E, Yin, Y, Lin, A, Lin, S, Huetteroth, W, Waddell, S