Accessible Software Verification with Dafny von Leino, K. Rustan M.

Volltext

Behavioral Interface Specification Languages von HATCLIFF, John, LEAVENS, Gary T, LEINO, K. Rustan M, MULLER, Peter, PARKINSON, Matthew

Volltext

The Spec# Programming System: An Overview von Barnett, Mike, Leino, K. Rustan M., Schulte, Wolfram

Volltext

Hyperventilation and Hypoxia Hangover During Normobaric Hypoxia Training in Hawk Simulator von Varis, Nikke, Leinonen, Antti, Parkkola, Kai, Leino, Tuomo K.

Volltext

Dafny: An Automatic Program Verifier for Functional Correctness von Leino, K. Rustan M.

Volltext

Longitudinal analysis of inflammatory biomarkers during acute rhinosinusitis von Autio, Timo J., Koskenkorva, Timo, Leino, Tuomo K., Koivunen, Petri, Alho, Olli‐Pekka

Volltext

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings

Volltext

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings

Volltext

An overview of JML tools and applications von BURDY, Lilian, CHEON, Yoonsik, COK, David R, ERNST, Michael D, KINIRY, Joseph R, LEAVENS, Gary T, LEINO, K. Rustan M, POLL, Erik

Volltext

First report of Diplodia sapinea causing Diplodia tip blight on Juniperus communis subsp. communis in Finland von Terhonen, E., Hytönen, T., Leino, K., Ylioja, T., Sutela, S.

Volltext

Boogie : A modular reusable verifier for object-oriented programs von BARNETT, Mike, CHANG, Bor-Yuh Evan, DELINE, Robert, JACOBS, Bart, LEINO, K. Rustan M

Volltext

Efficient weakest preconditions von Leino, K. Rustan M.

Volltext

Local infiltration analgesia with levobupivacaine compared with intrathecal morphine in total hip arthroplasty patients von RIKALAINEN-SALMI, R., FÖRSTER, J. G., MÄKELÄ, K., VIROLAINEN, P., LEINO, K. A., PITKÄNEN, M. T., NEUVONEN, P. J., KUUSNIEMI, K. S.

Volltext

Waveguide-Based Phased Array With Integrated Element-Specific Electronics for 28 GHz von Leino, Mikko K., Montoya Moreno, Resti, Ala-Laurinaho, Juha, Valkonen, Risto, Viikari, Ville

Volltext

Comparison of four pain scales in patients with hip fracture or other lower limb trauma von LEINO, K. A., KUUSNIEMI, K. S., LERTOLA, K. K., OLKKOLA, K. T.

Volltext

Low-Scattering Chopped Dipole for Secondary Surveillance Radar von Leino, Mikko K., Ala-Laurinaho, Juha, Hook, Anders, Svensson, Bengt, Viikari, Ville

Volltext

Normobaric hypoxia training in military aviation and subsequent hypoxia symptom recognition von Leinonen, Antti, Varis, Nikke, Kokki, Hannu, Leino, Tuomo K.

Volltext

Effect of voriconazole on the pharmacokinetics and pharmacodynamics of intravenous and oral midazolam von Saari, Teijo I., Laine, Kari, Leino, Kari, Valtonen, Mika, Neuvonen, Pertti J., Olkkola, Klaus T.

Volltext

Proximal humeral fractures in Finland: regional differences in incidence and methods of treatment von Roivas, Ida A., Leino, Oskari K., Lehtimäki, Kaisa K., Matilainen, Markus, Ekman, Elina

Volltext

Connectedness with students as a key factor in online teaching self-efficacy von Leino, Rosa K., Kaqinari, Tomas, Makarova, Elena, Döring, Anna K.

Volltext