Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2021Wertschöpfung durch Software in Deutschland
Aichroth, Patrick; Bös, Joachim; Sladeczek, Christoph; Bodden, Eric; Liggesmeyer, Peter; Trapp, Mario; Falk Howar; Otto, Boris; Rehof, Jakob; Spiekermann, Markus; Arzt, Steven; Steffen, Barbara; Nouak, Alexander; Köhler, Henning
Bericht
2020Logistik
Ten Hompel, Michael; Prasse, Christian; Schmidt, Thorsten; Schmidt, Michael; Clausen, Uwe; Pöting, Moritz; Henke, Michael; Besenfelder, Christoph; Rehof, Jakob
Aufsatz in Buch
2020Using component-based software synthesis and constraint solving to generate sets of manufacturing simulation models
Kallat, F.; Mieth, C.; Rehof, J.; Meyer, A.
Zeitschriftenaufsatz
2019Data ecosystems - souvereign data exchange among organizations
Cappiello, Claudia; Gal, Avigdor; Jarke, Matthias; Rehof, Jakob
Zeitschriftenaufsatz
2019Konzeption und Implementierung einer NDEx Schnittstelle zur Visualisierung von Graphen in VR/AR
Schönborn, Robin
: Rehof, Jakob; Meister, Sven
Bachelor Thesis
2019Principality and approximation under dimensional bound
Dudenhefner, Andrej; Rehof, Jakob
Zeitschriftenaufsatz
2019Trends in Automatic Composition of Structures for Simulation Models in Production and Logistics
Wenzel, Sigrid; Rehof, Jakob; Stolipin, Jana; Winkels, Jan
Konferenzbeitrag
2019Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization
Dudenhefner, Andrej; Rehof, Jakob
Zeitschriftenaufsatz
2018Automatic composition of rough solution possibilities in the target planning of factory planning projects by means of combinatory logic
Winkels, Jan; Graefenstein, Julian; Schäfer, Tristan; Scholz, David; Rehof, Jakob; Henke, Michael
Konferenzbeitrag
2018A methodology for combinatory process synthesis: Process variability in clinical pathways
Schäfer, Tristan; Möller, Frederik; Burmann, Anja; Pikus, Yevgen; Weißenberg, Norbert; Hintze, Marcus; Rehof, Jakob
Konferenzbeitrag
2018Mixin composition synthesis based on intersection types
Bessai, J.; Chen, T.-C.; Dudenhefner, A.; Düdder, B.; De'liguoro, U.; Rehof, J.
Zeitschriftenaufsatz
2018A Simpler Undecidability Proof for System F Inhabitation
Dudenhefner, A.; Rehof, Jakob
Konferenzbeitrag
2017The Algebraic Intersection Type Unification Problem
Dudenhefner, A.; Martens, M.; Rehof, J.
Zeitschriftenaufsatz
2017The Complexity of Principal Inhabitation
Dudenhefner, A.; Rehof, J.
Konferenzbeitrag
2017Intelligente Orchestrierung von Planungsprozessen
Graefenstein, Julian; Scholz, David; Henke, Michael; Winkels, Jan; Rehof, Jakob
Zeitschriftenaufsatz
2017Intersection type calculi of bounded dimension
Dudenhefner, A.; Rehof, J.
Konferenzbeitrag
2017Lower end of the linial-post spectrum
Dudenhefner, A.; Rehof, J.
Konferenzbeitrag
2017Rank 3 Inhabitation of Intersection Types Revisited
Dudenhefner, A.; Rehof, J.
Preprint
2017Typability in bounded dimension
Dudenhefner, A.; Rehof, J.
Konferenzbeitrag
2016Combinatory Process Synthesis
Bessai, J.; Dudenhefner, A.; Düdder, B.; Martens, M.; Rehof, J.
Konferenzbeitrag
2016Combinatory synthesis of classes using feature grammars
Bessai, J.; Düdder, B.; Heineman, G.T.; Rehof, J.
Konferenzbeitrag
2016The intersection type unification problem
Dudenhefner, A.; Martens, M.; Rehof, J.
Konferenzbeitrag
2016A Long and Winding Road Towards Modular Synthesis
Heineman, G.T.; Bessai, J.; Düdder, B.; Rehof, J.
Konferenzbeitrag
2016Modal Intersection Types, Two-Level Languages, and Staged Synthesis
Henglein, F.; Rehof, J.
Konferenzbeitrag
2016ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction
Düdder, B.; Heineman, G.T.; Rehof, J.
Konferenzbeitrag
2015Cloud Computing for Logistics
: Ten Hompel, Michael (Editor); Rehof, Jakob (Editor); Wolf, Oliver (Editor)
Sammelband
2015Kritik unserer softwaretechnischen Vernunft
Rehof, Jakob; Ten Hompel, Michael
Zeitschriftenaufsatz
2015Mixin composition synthesis based on intersection types
Bessai, J.; Dudenhefner, A.; Düdder, B.; Chen, T.-C.; De'liguoro, U.; Rehof, J.
Konferenzbeitrag
2015Modular synthesis of product lines (ModSyn-PL)
Rehof, J.; Heineman, G.
Konferenzbeitrag
2015Staged composition synthesis
Düdder, B.; Martens, M.; Rehof, J.
Konferenzbeitrag
2015Synthesizing type-safe compositions in feature oriented software designs using staged composition
Düdder, B.; Rehof, J.; Heineman, G.T.
Konferenzbeitrag
2015Towards migrating object-oriented frameworks to enable synthesis of product line members
Heineman, G.; Hoxha, A.; Düdder, B.; Rehof, J.
Konferenzbeitrag
2014Konzeption und Realisierung einer prototypischen EFA-Komponente zur Abbildung von EFA Metadaten auf Event Logs unter Verwendung des XES Standards
Oettershagen, Lutz
: Rehof, Jakob; Deiter, Wolfgang; Houta, Salima
Bachelor Thesis
2011Anwendung von Process-Mining-Ansätzen auf Log-Daten aus SAP-Systemen
Blyufshteyn, Igor
: Jürjens, Jan; Rehof, Jakob
Diplomarbeit
2007Bewertung des Echtzeit-Verhaltens von E/E-Systemen im Automobil
Feldo, M.; Lindow, S.; Özhan, M.; Rosenmüller, R.
: Rehof, J.
Bericht