Back, Johan
244  results:
Search for persons X
?
1

Digital Subcarrier Multiplexing: Enabling Software-Configur..:

Welch, Dave ; Napoli, Antonio ; Back, Johan...
Journal of Lightwave Technology.  41 (2023)  4 - p. 1175-1191 , 2023
 
?
2

Scalable filterless coherent point-to-multipoint metro netw..:

Castro, Carlos ; Napoli, Antonio ; Porrega, Mario...
Journal of Optical Communications and Networking.  15 (2023)  5 - p. B53 , 2023
 
?
3

Surgical and oncological outcomes of D1 versus D2 gastrecto..:

Back, Johan ; Sallinen, Ville ; Kokkola, Arto.
Scandinavian Journal of Surgery.  111 (2022)  2 - p. 145749692210961 , 2022
 
?
4

Point-to-Multipoint Optical Networks Using Coherent Digital..:

Welch, Dave ; Napoli, Antonio ; Back, Johan...
Journal of Lightwave Technology.  39 (2021)  16 - p. 5232-5247 , 2021
 
?
5

CAPEX Savings Enabled by Point-to-Multipoint Coherent Plugg..:

, In: 2020 European Conference on Optical Communications (ECOC),
Back, Johan ; Wright, Paul ; Ambrose, John... - p. 1-4 , 2020
 
?
7

Transactions on computational systems biology ; 13.2011

Lecture notes in computer science ; 6575, Lecture notes in ..

 
?
8

Transactions on computational systems biology ; 11.2009

Lecture notes in computer science ; 5750, Lecture notes in ..

 
?
9

Refinement calculus 

a systematic introduction  Graduate texts in computer science
Copies:  Zentrale:E02 a inf 410 hol/954
 
?
13

A Precise Pictorial Language for Array Invariants:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
 
?
14

Verification and code generation for invariant diagrams in ..:

Preoteasa, Viorel ; Back, Ralph-Johan ; Eriksson, Johannes
Journal of Logical and Algebraic Methods in Programming.  84 (2015)  1 - p. 19-36 , 2015
 
1-15
Related subjects