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

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

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

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

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

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

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

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

Бүрэн текст авах

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

Бүрэн текст авах

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

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

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

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

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

Odor discrimination in Drosophila: from neural population codes to behavior. -н 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 -н Ding W, Li T, Su Q, Yuan M, Lin A

Бүрэн текст авах

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

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

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

Бүрэн текст авах

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