E-LIB Suche - Ergebnisse für: Becker, Bernd Christian

1

Compressor map computation based on 3D CFD analysis:

Janke, Christian ; Bestle, Dieter ; Becker, Bernd
CEAS Aeronautical Journal. 6 (2015) 4 - p. 515-527 , 2015

Link: https://doi.org/10.1007/..

2

Verification of partial designs using incremental QBF solvi..:

, In: Proceedings of the Conference on Design, Automation and Test in Europe,

Marin, Paolo ; Miller, Christian ; Lewis, Matthew. - p. 623-628 , 2012

Link: https://dl.acm.org/doi/1..

3

Blockade of PD‐L1 (B7‐H1) augments human tumor‐specific T c..:

Blank, Christian ; Kuball, Juergen ; Voelkl, Simon...
International Journal of Cancer. 119 (2006) 2 - p. 317-327 , 2006

Link: https://doi.org/10.1002/..

4

Expression profile of Eph receptors and ephrin ligands in h..:

Hafner, Christian ; Becker, Bernd ; Landthaler, Michael.
Modern Pathology. 19 (2006) 10 - p. 1369-1377 , 2006

Link: https://doi.org/10.1038/..

5

Retinoblastoma-binding protein 2-homolog 1: a retinoblastom..:

Roesch, Alexander ; Becker, Bernd ; Meyer, Stefanie...
Modern Pathology. 18 (2005) 9 - p. 1249-1257 , 2005

Link: https://doi.org/10.1038/..

6

Overexpression and hyperphosphorylation of retinoblastoma p..:

Roesch, Alexander ; Becker, Bernd ; Meyer, Stefanie...
Modern Pathology. 18 (2005) 4 - p. 565-572 , 2005

Link: https://doi.org/10.1038/..

7

Revocable Anonymisation in Video Surveillance: A "Digital C..:

Feiten, Linus ; Sester, Sebastian ; Zimmermann, Christian...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-44805-3_25. , 2016

Link: https://hal.inria.fr/hal..

8

Revocable Anonymisation in Video Surveillance: A "Digital C..:

Feiten, Linus ; Sester, Sebastian ; Zimmermann, Christian...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-44805-3_25. , 2016

Link: https://hal.inria.fr/hal..

9

Bounded Model Checking and Inductive Verification of Hybrid..:

Becker, Bernd ; Behle, Markus ; Eisenbrand, Fritz...
Becker , B , Behle , M , Eisenbrand , F , Fränzle , M , Herbstritt , M , Herde , C , Hoffmann , J , Kröning , D & Nebel , B 2004 , Bounded Model Checking and Inductive Verification of Hybrid Discrete-Continuous Systems . in GI/ITG/GMM Workshop ''Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'' . Informatics and Mathematical Modelling, Technical University of Denmark, DTU , GI/ITG/GMM Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" , 01/01/2004 .. , 2004

Link: https://orbit.dtu.dk/en/..

10