3 research outputs found
Leight-weight hybrid model checking facilitating online prediction of temporal properties
- Publication venue
- DTU Informatik, Danmarks Tekniske Universitet
- Publication date
- 01/01/2009
- Field of study
Reverse slip along the contact Phyllite-Quartzite Unit/Tripolitsa Unit in eastern Crete: implications for the geodynamic evolution of the External Hellenides
- Author
- Publication venue
- 'Schweizerbart'
- Publication date
- Field of study
Collectins: Innate Immune Pattern Recognition Molecules
- Author
- A Bachis
- A Fuchs
- A Koneti
- A Krarup
- A Mangano
- A Nadeem
- A Nagy
- A Nayak
- A Ragas
- A Troegeler
- A Uguz
- AA Beharka
- AB Rothmann
- AG Rothfuchs
- AJ Luty
- AJ Nauta
- AM Levine
- AM Levine
- AM Levine
- AM Sugar
- AM Walenkamp
- AR Ambrosio
- AS Swierzko
- B Elser
- B Escudero-Perez
- BA Rozendaal Van
- BL Lim
- BL Lim
- C Teodorof
- C Weyer
- CA Benne
- CA Hartley
- CA Ogden
- CA Rappleye
- CD Collard
- CD Gaynor
- CF Liu
- CG Mullighan
- CH Yang
- CJ Funk
- CM Hogaboam
- CW White
- D Li
- DG Ingram
- DJ Crosdale
- DJ Kitz
- DL Jack
- DL Jack
- DL Jack
- DP Eisen
- DS Phelps
- E Axelgaard
- E Brummer
- E Brummer
- E Crouch
- E Dodagatta-Marri
- E Murray
- EC Asbeck Van
- EM Aliouat
- EM Anders
- EN Atochina
- EN Atochina
- EP McGreal
- ER Job
- F Iwaarden van
- F Liu
- FA Arosa
- FM Laforce
- FX McCormack
- FX Mccormack
- FX Mccormack
- G Cheng
- G Kronborg
- G Lugo-Villarino
- GD Brown
- GD Gaiha
- GG Corredor
- GG Donders
- GR Stuart
- H Chiba
- H Keshi
- H Koziel
- H Pandit
- H Pandit
- H Sano
- H Sano
- H Tokunaga
- H Ushijima
- H Valdimarsson
- H Wu
- HC Thomas
- HY Yang
- I Cestari
- I Evans-Osses
- I Ghiran
- IC Michelow
- IK Santos
- J Floros
- J Klabunde
- J Klabunde
- J Lu
- J Madsen
- J Madsen
- J Meschi
- J Nadesalingam
- J Nadesalingam
- J Nadesalingam
- J Perino
- J Qu
- J Xu
- JA Gold
- JB Lillegard
- JC Korir
- JC Pikaar
- JF Denton
- JF Iwaarden Van
- JF Iwaarden Van
- JF Iwaarden van
- JF Iwaarden Van
- JH Fisher
- JK Wetering Van De
- JK Wetering van de
- JK Wetering Van De
- JK Wetering Van De
- JM Coya
- JM Hickman-Davis
- JS Antony
- JS Antony
- JS Antony
- JS Ferguson
- JS Ferguson
- JS Haurum
- JY Wang
- JY Wang
- K Drickamer
- K Held
- K Kabha
- K Kudo
- K Kurokawa
- K Kuronuma
- K Miyamura
- K Ohtani
- K Ohtani
- K Sasaki
- K Sawada
- K Takahashi
- K Takahashi
- K Takeda
- KJ Fidler
- KK Ng
- KK Ng
- KL Hartshorn
- KL Hartshorn
- KL Hartshorn
- KL Hartshorn
- KL Hartshorn
- KL Hartshorn
- KM Cunnion
- KS Brown
- KS Brown
- KS Harrod
- L Bräuer
- L Selman
- L Shi
- L Varga
- LC Emmerik Van
- LF Weikert
- LF Weikert
- LN Henning
- M Arora
- M Brudner
- M Dec
- M Dec
- M Devyatyarova-Johnson
- M Doss
- M Drogari-Apiranthitou
- M Eijk Van
- M Gadjeva
- M Granell
- M Jacquet
- M Kalina
- M Kasper
- M Kimberg
- M Kuhlman
- M Lekkala
- M Linke
- M Matsushita
- M Milanese
- M Moller-Kristensen
- M Saifuddin
- M Seppanen
- M Singh
- M Singh
- M Vaid
- M Vaid
- M Wang
- MA Bartlomiejczyk
- MC Ghezzi
- MD Williams
- MF Geertsma
- MF Yuen
- MH Kerr
- MJ Allen
- MJ Allen
- MJ Linke
- MJ Tino
- ML Henriksen
- ML Hillaire
- MN Al-Ahdal
- MO Mcbride
- MO Skjoedt
- MP Lemos
- MP Reichhardt
- MR White
- MT Ling
- MV Herías
- N Kawasaki
- N Roy
- O Andersen
- O Babula
- O Neth
- O Neth
- P Borron
- P Friis
- P Friis-Christiansen
- P Garred
- P Garred
- P Garred
- P Garred
- PB Fischer
- PC Giraldo
- PC Reading
- PC Reading
- PC Reading
- PE Zimmerman
- PJ Borron
- PJ Green
- PJ Lachmann
- PJ Norsworthy
- PR Lawson
- R Ghildyal
- R Leth-Larsen
- R Malhotra
- R Malhotra
- R Malhotra
- R Malhotra
- R Pasula
- R Steffensen
- RA Ezekowitz
- RW Loveless
- RW Vandivier
- S Awasthi
- S Cestari Idos
- S Geunes-Boyer
- S Geunes-Boyer
- S Goyal
- S Gulati
- S Hansen
- S Hansen
- S Hansen
- S Hansen
- S Hawgood
- S Hussain
- S Ihara
- S Jang
- S Kaur
- S Kaur
- S Malik
- S Murakami
- S Piboonpocanun
- S Rosseau
- S Rosseau
- S Roy
- S Saxena
- S Schelenz
- S Thawer
- S Thiel
- S Thiel
- SB Laursen
- SC Ross
- SF Kuan
- SJ Gardai
- SJ Yong
- SL Nielsen
- SM Levitz
- SM Tan
- SR Bruce
- SS Giles
- SSW Wong
- T Kase
- T Kawasaki
- T Madan
- T Madan
- T Madan
- T Madan
- T Madan
- T Madan
- T Madan
- T Madan
- T Mogues
- T Tecle
- T Uemura
- T Voss
- TB Mcneely
- TJ Ligtenberg
- TP Hickling
- U Holmskov
- U Holmskov
- U Holmskov
- U Holmskov
- U Kishore
- U Kishore
- U Kishore
- U Venkatraman Girija
- V Ballegaard
- V Holmberg
- V Pellis
- VJ Erpenbeck
- VY Polotsky
- VY Polotsky
- W Chaka
- WA Cahayani
- WC Chang
- WF Voorhout
- WI Weis
- WI Weis
- WK Ip
- WK Ip
- WK Ip
- X Ji
- Y Hakozaki
- Y Kozutsumi
- YJ Ma
- YP Wu
- Z Kuang
- Z Kuang
- Z Vuk-Pavlovic
- Z Vuk-Pavlovic
- ZC Chroneos
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/2020
- Field of study