I agree that this site is using cookies. You can find further informations here.
X
Ladner, Tobias
68  results:
OpenAccess-fulltext X
Search for persons X
?
1

End-To-End Set-Based Training for Neural Network Verificati..:

Koller, Lukas ; Ladner, Tobias ; Althoff, Matthias
http://arxiv.org/abs/2401.14961.  , 2024
Link: http://arxiv.org/abs/240..
 
?
2

Specification-Driven Neural Network Reduction for Scalable ..:

Ladner, Tobias ; Althoff, Matthias
http://arxiv.org/abs/2305.01932.  , 2023
Link: http://arxiv.org/abs/230..
 
?
3

Automatic Abstraction Refinement in Neural Network Verifica..:

Ladner, Tobias ; Althoff, Matthias
https://mediatum.ub.tum.de/1710698.  , 2023
Link: https://mediatum.ub.tum...
 
?
4

ARCH-COMP23 Category Report: Artificial Intelligence and Ne..:

Lopez, Diego Manzanas ; Althoff, Matthias ; Forets, Marcelo...
https://mediatum.ub.tum.de/1725397.  , 2023
Link: https://mediatum.ub.tum...
 
?
5

ARCH-COMP23 category report: Artificial intelligence and ne..:

Lopez, Diego Manzanas ; Althoff, Matthias ; Forets, Marcelo...
https://vbn.aau.dk/da/publications/d57e3440-cee9-47fc-a04b-260b7d7dca9c.  , 2023
Link: https://vbn.aau.dk/da/pu..
 
?
6

Specification-Driven Neural Network Reduction for Scalable ..:

Ladner, Tobias ; Althoff, Matthias
https://mediatum.ub.tum.de/1734039.  , 2023
Link: https://mediatum.ub.tum...
 
?
7

ARCH-COMP22 Category Report: Artificial Intelligence and Ne..:

Lopez, Diego Manzanas ; Althoff, Matthias ; Benet, Luis...
https://mediatum.ub.tum.de/1696185.  , 2022
Link: https://mediatum.ub.tum...
 
?
8

ARCH-COMP22 category report: Artificial intelligence and ne..:

Lopez, Diego Manzanas ; Althoff, Matthias ; Benet, Luis...
https://vbn.aau.dk/da/publications/70c626b2-eb32-4e66-ba02-7ace09f85c28.  , 2022
Link: https://vbn.aau.dk/da/pu..
 
?
9

Probing unnatural amino acid integration into enhanced gree..:

Wandrey, Georg ; Wurzel, Joel ; Hoffmann, Kyra...
296679.  , 2016
Link: https://opus.bibliothek...
 
?
10

Easy to use and reliable technique for online dissolved oxy..:

Flitsch, David ; Ladner, Tobias ; Lukacs, Mihaly.
http://www.microbialcellfactories.com/content/15/1/45.  , 2016
Link: http://www.microbialcell..
 
?
11

Probing unnatural amino acid integration into enhanced gree..:

Wandrey, Georg ; Wurzel, Joel ; Hoffmann, Kyra...
info:eu-repo/grantAgreement/EC/FP7/296679/.  , 2016
Link: https://zenodo.org/recor..
 
?
12

Quasi-continuous parallel online scattered light, fluoresce..:

Ladner, Tobias ; Held, Markus ; Flitsch, David..
http://www.microbialcellfactories.com/content/15/1/206.  , 2016
Link: http://www.microbialcell..
 
?
13

Probing unnatural amino acid integration into enhanced gree..:

Wandrey, Georg ; Wurzel, Joel ; Hoffmann, Kyra...
http://www.jbioleng.org/content/10/1/11.  , 2016
Link: http://www.jbioleng.org/..
 
?
14

Respiration activity monitoring system for any individual w..:

Flitsch, David ; Krabbe, Sebastian ; Ladner, Tobias...
http://www.jbioleng.org/content/10/1/14.  , 2016
Link: http://www.jbioleng.org/..
 
?
15

Online monitoring of dissolved oxygen tension in microtiter..:

Ladner, Tobias ; Flitsch, David ; Schlepütz, Tino.
http://www.microbialcellfactories.com/content/14/1/161.  , 2015
Link: http://www.microbialcell..
 
1-15