Jan Bessai - RankMe

17 papers A 1B 1C 1Journal 3Unranked 10

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	CLS-Luigi: Analytics Pipeline Synthesis. LION Anne Meyer, Hadi Kutabi, Jan Bessai, Daniel Scholtyssek
2022	C	`conf`	Design Space Exploration for Sampling-Based Motion Planning Programs with Combinatory Logic Synthesis. WAFR Tristan Schäfer, Jan Bessai, Constantin Chaumet, Jakob Rehof, Christian Riest
2022	B	`conf`	Restricting Tree Grammars with Term Rewriting. FSCD Jan Bessai, Lukasz Czajka, Felix Laarmann, Jakob Rehof
2021	J	`jnl`	Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact). Dagstuhl Artifacts Ser. Jan Bessai, George T. Heineman, Boris Düdder
2021	A	`conf`	Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems. ECOOP Jan Bessai, George T. Heineman, Boris Düdder
2019	—	`—`	A type-theoretic framework for software component synthesis. Jan Bessai
2019	—	`conf`	Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis. F-IDE@FM Jan Bessai, Moritz Roidl, Anna Vasileva
2018	—	`conf`	Fast Verified BCD Subtyping. Models, Mindsets, Meta Jan Bessai, Jakob Rehof, Boris Düdder
2018	J	`jnl`	Mixin Composition Synthesis based on Intersection Types. Log. Methods Comput. Sci. Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
2018	—	`conf`	User Support for the Combinator Logic Synthesizer Framework. F-IDE@FLoC Jan Bessai, Anna Vasileva
2017	J	`jnl`	Mixin Composition Synthesis based on Intersection Types. CoRR Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
2016	—	`conf`	A Long and Winding Road Towards Modular Synthesis. ISoLA (1) George T. Heineman, Jan Bessai, Boris Düdder, Jakob Rehof
2016	—	`conf`	Combinatory Process Synthesis. ISoLA (1) Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
2015	—	`conf`	Combinatory Synthesis of Classes Using Feature Grammars. FACS Jan Bessai, Boris Düdder, George T. Heineman, Jakob Rehof
2015	—	`conf`	Mixin Composition Synthesis Based on Intersection Types. TLCA Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof
2014	—	`conf`	Combinatory Logic Synthesizer. ISoLA (1) Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
2014	—	`conf`	Typing Classes and Mixins with Intersection Types. ITRS Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro