Scalable filterless coherent point-to-multipoint metro network architecture von Castro, Carlos, Napoli, Antonio, Porrega, Mario, Back, Johan, Rashidinejad, Amir, Quagliotti, Marco, Riccardi, Emilio, Hillerkuss, David, Yekani, Amin, Masoud, Fady, Mathur, Atul, Pedro, Joao, Spinnler, Bernhard, Erkilinc, Sezer, Chase, Aaron, Eriksson, Tobias A., Welch, Dave

Volltext

Point-to-Multipoint Optical Networks Using Coherent Digital Subcarriers von Welch, Dave, Napoli, Antonio, Back, Johan, Sande, Warren, Pedro, Joao, Masoud, Fady, Fludger, Chris, Duthel, Thomas, Sun, Han, Hand, Steven J., Chiang, Ting-Kuang, Chase, Aaron, Mathur, Atul, Eriksson, Tobias A., Plantare, Mats, Olson, Magnus, Voll, Stefan, Wu, Kuang-Tsan

Volltext

Fulminant hemophagocytic lymphohistiocytosis secondary to a reactivated EBV infection: A case report von Antonodimitrakis, Pantelis, Wassberg, Cecilia, Gerovasileiou, Spyridon, Back, Johan, Hällgren, Roger, Olsen, Björn

Volltext

Active conventional treatment and three different biological treatments in early rheumatoid arthritis: phase IV investigator initiated, randomised, observer blinded clinical trial von Hetland, Merete Lund, Haavardsholm, Espen A, Rudin, Anna, Nordström, Dan, Nurmohamed, Michael, Gudbjornsson, Bjorn, Lampa, Jon, Hørslev-Petersen, Kim, Uhlig, Till, Grondal, Gerdur, Østergaard, Mikkel, Heiberg, Marte S, Twisk, Jos, Lend, Kristina, Krabbe, Simon, Hyldstrup, Lise Hejl, Lindqvist, Joakim, Hultgård Ekwall, Anna-Karin, Grøn, Kathrine Lederballe, Kapetanovic, Meliha, Faustini, Francesca, Tuompo, Riitta, Lorenzen, Tove, Cagnotto, Giovanni, Baecklund, Eva, Hendricks, Oliver, Vedder, Daisy, Sokka-Isler, Tuulikki, Husmark, Tomas, Ljoså, Maud-Kristine Aga, Brodin, Eli, Ellingsen, Torkell, Söderbergh, Annika, Rizk, Milad, Olsson, Åsa Reckner, Larsson, Per, Uhrenholt, Line, Just, Søren Andreas, Stevens, David John, Laurberg, Trine Bay, Bakland, Gunnstein, Olsen, Inge C, van Vollenhoven, Ronald, Bengtsson, Anders, Gülfe, Anders, Aga, Anna-Birgitte, Blanken, Annelies, Schlemmer, Annette, Kononoff, Aulikki, Turesson, Carl, Dackhammar, Christina, Gentline, Cidem, Glinatsi, Daniel, Lindqvist, Elisabet, Hauge, Ellen-Margrethe, Hermansson, Elsa, Grenholm, Emma, af Klint, Erik, Rødevand, Erik, Markros, Fredrik, Rezaei, Hamed, Lindegaard, Hanne Merete, Relas, Heikki, Valleala, Heikki, Qirjazo, Ilia, Jensen Hansen, Inger Marie, Rutanen, Jarno, Pedersen, Jens Kristian, Rathmann, Jens, Back, Johan, Wallman, Johan, Carlestam, Johanna, Einarsson, Jon, Lysholm, Jörgen, Öberg, Kajsa, Almehed, Katarina, Mykkänen, Kati, Karlberg, Lena, Hemberg, Malin, Stilling-Vinther, Maria K, Leirisalo-Repo, Marjatta, Hameed, Mohaned, Vivar, Nancy, Kaipiainen-Seppänen, Oili, Olsson, Peter, Linge, Petrus, Lindell, Pia, Jensen, Pia Neuer, Parmanne, Pinja, Østgård, René, Dieperink, Sabine, Christiansen, Sara Nysom, Exarchou, Sofia, Saleh, Thiab, Olofsson, Tor, Bruun, Trude, Rantalaiho, Vappu, Borgas, Ylva

Volltext

Surgical and oncological outcomes of D1 versus D2 gastrectomy among elderly patients treated for gastric cancer von Back, Johan, Sallinen, Ville, Kokkola, Arto, Puolakkainen, Pauli

Volltext

Invariant based programming: basic approach and teaching experiences von Back, Ralph-Johan

Volltext

Transactions on Computational Systems Biology XIII von Priami, Corrado, Back, Ralph-Johan, Petre, Ion, de Vink, Erik

Volltext

Digital Subcarrier Multiplexing: Enabling Software-Configurable Optical Networks von Welch, Dave, Napoli, Antonio, Back, Johan, Buggaveeti, Sanketh, Castro, Carlos, Chase, Aaron, Chen, Xi, Dominic, Vince, Duthel, Thomas, Eriksson, Tobias A., Erkilinc, Sezer, Evans, Peter, Fludger, Chris R. S., Foo, Ben, Frost, Thomas, Gavrilovic, Paul, Hand, Steven J., Kakkar, Aditya, Kumpera, Ales, Lal, Vikrant, Maher, Robert, Marques, Fabio, Masoud, Fady, Mathur, Atul, Milano, Ray, Olmedo, Miguel Iglesias, Olson, Magnus, Pavinski, Don, Pedro, Joao, Rashidinejad, Amir, Samra, Parmijit, Sande, Warren, Somani, Azmina, Sun, Han, Swenson, Norman, Tsai, Huan-Shang, Yekani, Amin, Zhang, Jiaming, Ziari, Mehrdad

Volltext

Verification and code generation for invariant diagrams in Isabelle von Preoteasa, Viorel, Back, Ralph-Johan, Eriksson, Johannes

Volltext

Structured derivations: a unified proof style for teaching mathematics von Back, Ralph-Johan

Volltext

An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support von Back, Ralph-Johan, Eriksson, Johannes

Volltext

Invariant Based Programming von Back, Ralph-Johan

Volltext

An algebraic treatment of procedure refinement to support mechanical verification von BACK, Ralph-Johan, PREOTEASA, Viorel

Volltext

A Precise Pictorial Language for Array Invariants von Eriksson, Johannes, Parsa, Masoumeh, Back, Ralph-Johan

Volltext

A simple mass-action model for the eukaryotic heat shock response and its mathematical validation von Petre, Ion, Mizera, Andrzej, Hyder, Claire L., Meinander, Annika, Mikhailov, Andrey, Morimoto, Richard I., Sistonen, Lea, Eriksson, John E., Back, Ralph-Johan

Volltext

Invariant diagrams with data refinement von Preoteasa, Viorel, Back, Ralph-Johan

Volltext

Proofs and Refutations in Invariant-Based Programming von Eriksson, Johannes, Parsa, Masoumeh, Back, Ralph-Johan

Volltext

Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentin von Czeizler, E., Mizera, A., Czeizler, E., Back, R-J, Eriksson, J. E., Petre, I.

Volltext

Using Stepwise Feature Introduction in Practice: An Experience Report von Back, Ralph-Johan, Eriksson, Johannes, Milovanov, Luka

Volltext

Transactions on Computational Systems Biology XI

Volltext