Coto, Alex
18  Ergebnisse:
Personensuche X
?
1

An abstract framework for choreographic testing:

Coto, Alex ; Guanciale, Roberto ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming.  123 (2021)  - p. 100712 , 2021
 
?
2

Choreographic Development of Message-Passing Applications: ..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
 
?
3

On Formal Choreographic Modelling: A Case Study in EU Busin..:

Coto, Alex ; Barbanera, Franco ; Lanese, Ivan..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-19849-6_13.  , 2022
 
?
4

On Formal Choreographic Modelling: A Case Study in EU Busin..:

Coto, Alex ; Barbanera, Franco ; Lanese, Ivan..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-19849-6_13.  , 2022
 
?
5

Choreographic Development of Message-Passing Applications:

Coto, Alex ; Guanciale, Roberto ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-50029-0_2.  , 2020
 
?
6

On Formal Choreographic Modelling: A Case Study in EU Busin..:

Alex Coto ; Franco Barbanera ; Ivan Lanese..
ispartofbook:Leveraging Applications of Formal Methods, Verification and Validation.Verification Principles - 11th International Symposium, ISoLA 2022,Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}.  , 2022
 
?
 
?
15

Common variants at ABCA7, MS4A6A/MS4A4E, EPHA1, CD33 and CD..:

Hollingworth, Paul ; Harold, Denise ; Sims, Rebecca...
Hollingworth , P , Harold , D , Sims , R , Gerrish , A , Lambert , J-C , Carrasquillo , M M , Abraham , R , Hamshere , M L , Pahwa , J S , Moskvina , V , Dowzell , K , Jones , N , Stretton , A , Thomas , C , Richards , A , Ivanov , D , Widdowson , C , Chapman , J , Lovestone , S , Powell , J , Proitsi , P , Lupton , M K , Brayne , C , Rubinsztein , D C , Gill , M , Lawlor , B , Lynch , A , Brown , K S , Passmore , P A , Craig , D , McGuinness , B , Todd , S , Holmes , C , Mann , D , Smith , A D , Beaumont , H , Warden , D , Wilcock , G , Love , S , Kehoe , P G , Hooper , N M , Vardy , E R L C , Hardy , J , Mead , S , Fox , N C , Rossor , M , Collinge , J , Maier , W , Jessen , F , Ruether , E , Schuermann , B , Heun , R , Koelsch , H , van den Bussche , H , Heuser , I , Kornhuber , J , Wiltfang , J , Dichgans , M , Froelich , L , Hampel , H , Gallacher , J , Huell , M , Rujescu , D , Giegling , I , Goate , A M , Kauwe , J S K , Cruchaga , C , Nowotny , P , Morris , J C , M....  , 2011
 
1-15