E-LIB Suche - Ergebnisse für: Baumann, Pascal

1

Context-Bounded Verification of Context-Free Specifications:

Baumann, Pascal ; Ganardi, Moses ; Majumdar, Rupak..
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 2141-2170 , 2023

Link: https://doi.org/10.1145/..

2

Unboundedness Problems for Machines with Reversal-Bounded C..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Baumann, Pascal ; D'Alessandro, Flavio ; Ganardi, Moses... - p. 240-264 , 2023

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

3

Context-bounded verification of thread pools:

Baumann, Pascal ; Majumdar, Rupak ; Thinniyam, Ramanathan S..
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-28 , 2022

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

4

Context-bounded verification of thread pools:

Baumann, Pascal ; Majumdar, Rupak ; Thinniyam, Ramanathan S..
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-28 , 2022

Link: https://doi.org/10.1145/..

5

Context-bounded verification of liveness properties for mul..:

Baumann, Pascal ; Majumdar, Rupak ; Thinniyam, Ramanathan S..
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-31 , 2021

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

6

Context-bounded verification of liveness properties for mul..:

Baumann, Pascal ; Majumdar, Rupak ; Thinniyam, Ramanathan S..
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-31 , 2021

Link: https://doi.org/10.1145/..

7

Strategy for assessment of the colloidal and biological sta..:

Hämmerling, Frank ; Lorenz-Cristea, Oliver ; Baumann, Pascal.
International Journal of Pharmaceutics. 517 (2017) 1-2 - p. 80-87 , 2017

Link: https://doi.org/10.1016/..

8

Prediction and characterization of the stability enhancing ..:

Baumann, Pascal ; Schermeyer, Marie-Therese ; Burghardt, Hannah...
International Journal of Pharmaceutics. 531 (2017) 1 - p. 360-371 , 2017

Link: https://doi.org/10.1016/..

9

Effect of PEG molecular weight and PEGylation degree on the..:

Morgenstern, Josefine ; Baumann, Pascal ; Brunner, Carina.
International Journal of Pharmaceutics. 519 (2017) 1-2 - p. 408-417 , 2017

Link: https://doi.org/10.1016/..

10

Root cause investigation of deviations in protein chromatog..:

Wang, Gang ; Briskot, Till ; Hahn, Tobias..
Journal of Chromatography A. 1515 (2017) - p. 146-153 , 2017

Link: https://doi.org/10.1016/..

11

Model‐Based Investigation on the Mass Transfer and Adsorpti..:

Morgenstern, Josefine ; Wang, Gang ; Baumann, Pascal.
Biotechnology Journal. 12 (2017) 9 - p. , 2017

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

12

Estimation of adsorption isotherm and mass transfer paramet..:

Wang, Gang ; Briskot, Till ; Hahn, Tobias..
Journal of Chromatography A. 1487 (2017) - p. 211-217 , 2017

Link: https://doi.org/10.1016/..

13

Quantification of PEGylated proteases with varying degree o..:

Morgenstern, Josefine ; Busch, Markus ; Baumann, Pascal.
Journal of Chromatography A. 1462 (2016) - p. 153-164 , 2016

Link: https://doi.org/10.1016/..

14

Downstream process development strategies for effective bio..:

Baumann, Pascal ; Hubbuch, Jürgen
Engineering in Life Sciences. 17 (2016) 11 - p. 1142-1158 , 2016

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

15

High-throughput process development of an alternative platf..:

Ladd Effio, Christopher ; Baumann, Pascal ; Weigel, Claudia...
Journal of Biotechnology. 219 (2016) - p. 7-19 , 2016

Link: https://doi.org/10.1016/..