Extensions of Presburger arithmetic and model checking one-counter automata by Lechner, A

Model checking flat freeze LTL on one-counter automata by Lechner, A, Mayr, R, Ouaknine, J, Pouly, A, Worrell, J

Chronic progressive HIV-1 infection is associated with elevated levels of myeloid-derived suppressor cells by Vollbrecht T, Roider J, Stirner R, Tufman A, Huber RM, Bogner JR, Lechner A, Bourquin C, Draenert R

Text2PreventCVD: protocol for a systematic review and individual participant data meta-analysis of text message-based interventions for the prevention of cardiovascular diseases. by Chow, C, Islam, S, Farmer, A, Bobrow, K, Maddision, R, Whittaker, R, Dale, L, Lechner, A, Niessen, L, Lear, S, Eapen, Z, Santo, K, Stepien, S, Redfern, J, Rodgers, A

Mobile phone text-messaging interventions aimed to prevent cardiovascular diseases (Text2PreventCVD): systematic review and individual patient data meta-analysis. by Shariful Islam, S, Farmer, A, Bobrow, K, Maddison, R, Whittaker, R, Pfaeffli Dale, L, Lechner, A, Lear, S, Eapen, Z, Niessen, L, Santo, K, Stepien, S, Redfern, J, Rodgers, A, Chow, C