I agree that this site is using cookies. You can find further informations here.
X
Sebastian Ullrich
32  results:
Bookchapter (Online) X
Search for persons X
?
1

The Lean 4 Theorem Prover and Programming Language:

, In: Automated Deduction – CADE 28; Lecture Notes in Computer Science,
Moura, Leonardo de ; Ullrich, Sebastian - p. 625-635 , 2021
Link: https://doi.org/10.1007/..
 
?
2

Beyond Notations: Hygienic Macro Expansion for Theorem Prov..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Ullrich, Sebastian ; de Moura, Leonardo - p. 167-182 , 2020
Link: https://doi.org/10.1007/..
 
?
3

Markenkommunikation im Internet:

, In: Handbuch Markenführung; Springer Reference Wirtschaft,
Ullrich, Sebastian ; Esch, Franz-Rudolf - p. 711-735 , 2019
Link: https://doi.org/10.1007/..
 
?
4

Toward a Valence Model for Fit in Cause-Related Marketing: ..:

, In: Developments in Marketing Science: Proceedings of the Academy of Marketing Science; Finding New Ways to Engage and Satisfy Global Customers,
Liebetrau, Jennifer ; Basil, Debra Z. ; Runté, Mary. - p. 839-840 , 2019
Link: https://doi.org/10.1007/..
 
?
5

Numerical Study of the Airflow Distribution in a Passenger ..:

, In: Notes on Numerical Fluid Mechanics and Multidisciplinary Design; New Results in Numerical and Experimental Fluid Mechanics XII,
Ullrich, Sebastian ; Buder, Ricardo ; Boughanmi, Nesrine.. - p. 457-467 , 2019
Link: https://doi.org/10.1007/..
 
?
6

Counting immutable beans : reference counting optimized ..:

, In: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages,
Ullrich, Sebastian ; de Moura, Leonardo - p. 1-12 , 2019
Link: https://dl.acm.org/doi/1..
 
?
7

Corporate Social Responsibility effektiv in der Kommunikati..:

, In: Springer Reference Wirtschaft; Handbuch Techniken der Kommunikation,
Brunner, Christian Boris ; Esch, Franz-Rudolf ; Ullrich, Sebastian - p. 463-484 , 2018
Link: https://doi.org/10.1007/..
 
?
8

Verified construction of static single assignment form:

, In: Proceedings of the 25th International Conference on Compiler Construction,
Buchwald, Sebastian ; Lohner, Denis ; Ullrich, Sebastian - p. 67-76 , 2016
Link: https://dl.acm.org/doi/1..
 
?
9

Corporate Social Responsibility effektiv in der Marketingko..:

, In: Handbuch Sozialtechniken der Kommunikation,
Brunner, Christian Boris ; Esch, Franz-Rudolf ; Ullrich, Sebastian - p. 1-22 , 2016
Link: https://doi.org/10.1007/..
 
?
10

Markenkommunikation im Internet:

, In: Handbuch Markenführung,
Ullrich, Sebastian ; Esch, Franz-Rudolf - p. 1-25 , 2016
Link: https://doi.org/10.1007/..
 
?
11

Scene-Based Segmentation of Multiple Muscles from MRI in MI..:

, In: Bildverarbeitung für die Medizin 2011; Informatik aktuell,
Geng, Yan ; Ullrich, Sebastian ; Grottke, Oliver... - p. 18-22 , 2011
Link: https://doi.org/10.1007/..
 
?
12

Geschäftsmodelle im IPTV – Wertschöpfungsstrukturen, Ersche..:

, In: Handbuch Unterhaltungsproduktion,
Wirtz, Bernd W. ; Ullrich, Sebastian ; Kerner, Johannes C. - p. 316-327 , 2010
Link: https://doi.org/10.1007/..
 
?
13

Umsetzung der Integrierten Kommunikation:

, In: Handbuch Kommunikation,
Esch, Franz-Rudolf ; Brunner, Christian ; Ullrich, Sebastian - p. 459-483 , 2009
Link: https://doi.org/10.1007/..
 
?
14

Direktmarketing:

, In: Handbuch Kommunikation,
Wirtz, Bernd W. ; Ullrich, Sebastian - p. 107-126 , 2009
Link: https://doi.org/10.1007/..
 
?
15

Internetkommunikation:

, In: Handbuch Kommunikation,
Esch, Franz-Rudolf ; Langner, Tobias ; Ullrich, Sebastian - p. 127-156 , 2009
Link: https://doi.org/10.1007/..
 
1-15