Proof certificates and non-linear arithmetic constraints
Kupferschmid, S, Becker, B, Teige, T, Franzle, M
Published in 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (01.04.2011)
Published in 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (01.04.2011)
Get full text
Conference Proceeding
Assessment of auditory distance in a territorial songbird: accurate feat or rule of thumb?
Naguib, Marc, Klump, Georg M., Hillmann, Edna, Grießmann, Benjamin, Teige, Tobias
Published in Animal behaviour (01.04.2000)
Published in Animal behaviour (01.04.2000)
Get full text
Journal Article
Analysis of Hybrid Systems Using HySAT
Herde, C., Eggers, A., Franzle, M., Teige, T.
Published in Third International Conference on Systems (icons 2008) (01.04.2008)
Published in Third International Conference on Systems (icons 2008) (01.04.2008)
Get full text
Conference Proceeding
Medicaments, uses and methods
FRENDEUS BJORN, MARTENSSON LINDA, ROUGANIAN, ARI, TEIGE INGRID, CRAGG MARK
Year of Publication 09.09.2022
Get full text
Year of Publication 09.09.2022
Patent
Medicaments, uses and methods
FRENDEUS BJORN, MARTENSSON LINDA, ROUGANIAN, ARI, TEIGE INGRID, CRAGG MARK
Year of Publication 09.09.2022
Get full text
Year of Publication 09.09.2022
Patent
Medicaments, uses and methods
FRENDEUS BJORN, MARTENSSON LINDA, ROUGANIAN, ARI, TEIGE INGRID, CRAGG MARK
Year of Publication 05.08.2022
Get full text
Year of Publication 05.08.2022
Patent
Novel combinations of antibodies and uses thereof
BEERS STEPHEN, FRENDEUS BJORN, MARTENSSON LINDA, ROUGANIAN, ARI, OLDHAM ROBERT, TEIGE INGRID, CRAGG MARK
Year of Publication 27.10.2023
Get full text
Year of Publication 27.10.2023
Patent
Novel combination and use of antibodies
CRAGG, MARK, OLDHAM, ROBERT, MARTENSSON, LINDA, BEERS, STEPHEN, ROGHANIAN, ALI, TEIGE, INGRID, FRENDEUS, BJORN
Year of Publication 16.09.2023
Get full text
Year of Publication 16.09.2023
Patent
Novel agonistic anti-TNFR2 antibody molecules
HOLMKVIST PETRA, SEMMRICH MONIKA, FRENDEUS BJORN, MARTENSSON LINDA, TEIGE INGRID
Year of Publication 18.06.2021
Get full text
Year of Publication 18.06.2021
Patent
Novel antagonistic anti TNFR2 antibody molecules
HOLMKVIST PETRA, SEMMRICH MONIKA, FRENDEUS BJORN, MARTENSSON LINDA, TEIGE INGRID
Year of Publication 11.06.2021
Get full text
Year of Publication 11.06.2021
Patent
Novel combinations of antibodies and uses thereof
CRAGG, MARK, OLDHAM, ROBERT, MARTENSSON, LINDA, BEERS, STEPHEN, ROGHANIAN, ALI, TEIGE, INGRID, FRENDEUS, BJORN
Year of Publication 01.11.2022
Get full text
Year of Publication 01.11.2022
Patent
COMBINATION USE OF FCgammaRIIB (CD32B) AND CD20 SPECIFIC ANTIBODIES
BEERS STEPHEN, GLENNIE MARTIN, JOHNSON, PAUL, ROUGANIAN, ARI, LIM SEAN, FRENDEUS BJOERN, TEIGE INGRID, CRAGG MARK
Year of Publication 01.03.2022
Get full text
Year of Publication 01.03.2022
Patent
COMBINATION USE OF FCgammaRIIB (CD32B) AND CD20 SPECIFIC ANTIBODIES
BEERS STEPHEN, GLENNIE MARTIN, JOHNSON, PAUL, ROUGANIAN, ARI, LIM SEAN, FRENDEUS BJOERN, TEIGE INGRID, CRAGG MARK
Year of Publication 01.03.2022
Get full text
Year of Publication 01.03.2022
Patent