Experience with gas insulated substations in the USA by Eriksson, A., Pettersson, K.G., Krenicky, A., Baker, R., Ochoa, J.R., Leibold, A.

Get full text

Experience with gas insulated substations in the USA by Eriksson, A., Pettersson, K.G., Krenicky, A., Baker, R., Ochoa, J.R., Leibold, A.

Request full text

Natural CMT2 variation is associated with genome-wide methylation changes and temperature seasonality by Shen, Xia, De Jonge, Jennifer, Forsberg, Simon K G, Pettersson, Mats E, Sheng, Zheya, Hennig, Lars, Carlborg, Örjan

Get full text

cgmisc: enhanced genome-wide association analyses and visualization by Kierczak, Marcin, Jabłońska, Jagoda, Forsberg, Simon K G, Bianchi, Matteo, Tengvall, Katarina, Pettersson, Mats, Scholz, Veronika, Meadows, Jennifer R S, Jern, Patric, Carlborg, Örjan, Lindblad-Toh, Kerstin

Get full text

G.O.2 by Kreissl, M, Sandaradura, S.A, Dowling, J.J, Kostyukova, A.S, Moroz, N, Quinlan, K.G, Lehtokari, V, Ravenscroft, G, Todd, E.J, Ceyhan-Birsoy, O, Gokhin, D.S, Maluenda, J, Lek, M, Nolent, F, Pappas, C.T, Novak, S.M, D’Amico, A, Malfatti, E, Thomas, B.P, Gabriel, S.B, Gupta, N, Daly, M.J, Ilkovski, B, Houweling, P.J, Swanson, L.C, Brownstein, C.A, Gupta, V.A, Medne, L, Shannon, P, Flisberg, A, Holmberg, E, den Bergh, P. Van, Lapunzina, P, Waddell, L.B, Sloboda, D.D, Bertini, E, Chitayat, D, Telfer, W.R, Laquerrière, A, Gregorio, C.C, Ottenheijm, C.A.C, Bönnemann, C.G, Pelin, K, Beggs, A.H, Hayashi, Y.K, Romero, N.B, Laing, N.G, Nishino, I, Wallgren-Pettersson, C, Melki, J, Fowler, V.M, MacArthur, D.G, North, K.N, Clarke, N.F

Get full text

G.O.2: Mutations in LMOD3 cause severe nemaline myopathy by disrupting thin filament organisation in skeletal muscle by Kreissl, M., Sandaradura, S.A., Dowling, J.J., Kostyukova, A.S., Moroz, N., Quinlan, K.G., Lehtokari, V., Ravenscroft, G., Todd, E.J., Ceyhan-Birsoy, O., Gokhin, D.S., Maluenda, J., Lek, M., Nolent, F., Pappas, C.T., Novak, S.M., D’Amico, A., Malfatti, E., Thomas, B.P., Gabriel, S.B., Gupta, N., Daly, M.J., Ilkovski, B., Houweling, P.J., Swanson, L.C., Brownstein, C.A., Gupta, V.A., Medne, L., Shannon, P., Flisberg, A., Holmberg, E., den Bergh, P. Van, Lapunzina, P., Waddell, L.B., Sloboda, D.D., Bertini, E., Chitayat, D., Telfer, W.R., Laquerrière, A., Gregorio, C.C., Ottenheijm, C.A.C., Bönnemann, C.G., Pelin, K., Beggs, A.H., Hayashi, Y.K., Romero, N.B., Laing, N.G., Nishino, I., Wallgren-Pettersson, C., Melki, J., Fowler, V.M., MacArthur, D.G., North, K.N., Clarke, N.F.

Get full text

UPPAAL 4.0 by Hendriks, M., Petterson, P., Hakansson, J., Larsen, K.G., David, A., Behrmann, G., Wang Yi, Petterson, P., Hakansson, J., Larsen, K.G., David, A., Behrmann, G., Hendriks, M., Wang Yi

Request full text

Compositional and symbolic model-checking of real-time systems by Larsen, K.G., Pettersson, P., Wang Yi

Request full text

UPPAAL - present and future by Behrmann, G., Larsen, K.G., Moller, O., David, A., Pettersson, P., Wang Yi

Request full text

Efficient verification of real-time systems: compact data structure and state-space reduction by Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.

Request full text