Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic.

J. Winkels, J. Graefenstein, T. Schäfer, D. Scholz, J. Rehof, and M. Henke. ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 487-503. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jakob Meier University of Stuttgart

The EIVE CubeSat : Developing a Satellite Bus for a 71-76 GHz E-Band Transmitter PayloadM. Koller, L. Loidold, T. Löffler, J. Meier, S. Klinkner, L. Manoliu, B. Schoch, and I. Kallfass. 2021 - Mission operations & autonomy, Logan, Utah State University, (2021)

The EIVE CubeSat : Developing a Satellite Bus for a 71-76 GHz E-Band Transmitter PayloadM. Koller, L. Loidold, T. Löffler, J. Meier, S. Klinkner, L. Manoliu, B. Schoch, and I. Kallfass. 2021 - Mission operations & autonomy, Logan, Utah State University, (2021)Ultra-High Throughput E/W-Band Downlink CubeSat MissionL. Manoliu, S. Haußmann, B. Schoch, J. Wörmann, D. Wrana, M. Koller, L. Loidold, J. Meier, R. Müller, A. Tessmann and 8 other author(s). IAF Space Communications and Navigation Symposium, Red Hook, Curran Associates, Inc., (2023)

Helena Jakob University of Stuttgart

Henrik Jakob University of Stuttgart

apl. Prof. Dr. Jakob Steinbrenner University of Stuttgart

Jakob Schlittenhardt University of Stuttgart

Other publications of authors with the same name

Estimating the Impact of Scalable Pointer Analysis on Optimization.M. Das, B. Liblit, M. Fähndrich, and J. Rehof. SAS, volume 2126 of Lecture Notes in Computer Science, page 260-278. Springer, (2001)Conformance Checking for Models of Asynchronous Message Passing Software.S. Rajamani, and J. Rehof. CAV, volume 2404 of Lecture Notes in Computer Science, page 166-179. Springer, (2002)Finite Combinatory Logic with Intersection Types.J. Rehof, and P. Urzyczyn. TLCA, volume 6690 of Lecture Notes in Computer Science, page 169-183. Springer, (2011)Types as models: model checking message-passing programs.S. Chaki, S. Rajamani, and J. Rehof. POPL, page 45-57. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.Type Elaboration and Subtype Completion for Java Bytecode.T. Knoblock, and J. Rehof. POPL, page 228-242. ACM, (2000)A Simpler Undecidability Proof for System F Inhabitation.A. Dudenhefner, and J. Rehof. TYPES, volume 130 of LIPIcs, page 2:1-2:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Synthesizing type-safe compositions in feature oriented software designs using staged composition.B. Düdder, J. Rehof, and G. Heineman. SPLC, page 398-401. ACM, (2015)Knowledge-Driven Data Ecosystems Toward Data Transparency.S. Geisler, M. Vidal, C. Cappiello, B. Lóscio, A. Gal, M. Jarke, M. Lenzerini, P. Missier, B. Otto, E. Paja and 2 other author(s). ACM J. Data Inf. Qual., 14 (1): 3:1-3:12 (2022)Stuck-Free Conformance.C. Fournet, C. Hoare, S. Rajamani, and J. Rehof. CAV, volume 3114 of Lecture Notes in Computer Science, page 242-254. Springer, (2004)A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways.T. Schäfer, F. Möller, A. Burmann, Y. Pikus, N. Weißenberg, M. Hintze, and J. Rehof. ISoLA (4), volume 11247 of Lecture Notes in Computer Science, page 472-486. Springer, (2018)