Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Jakob Rehof

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jan Bessai

> Home > Persons > Jakob Rehof

Publications

2022
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fscd/Bessai0LR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/Bessai0LR22
Jan Bessai, Lukasz Czajka, Felix Laarmann, Jakob Rehof:
Restricting Tree Grammars with Term Rewriting. FSCD 2022: 14:1-14:19
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/wafr/SchaferBCRR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wafr/SchaferBCRR22
Tristan Schäfer, Jan Bessai, Constantin Chaumet, Jakob Rehof, Christian Riest:
Design Space Exploration for Sampling-Based Motion Planning Programs with Combinatory Logic Synthesis. WAFR 2022: 36-51
2018
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BessaiCDDdR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BessaiCDDdR18
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof:
Mixin Composition Synthesis based on Intersection Types. Log. Methods Comput. Sci. 14(1) (2018)
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BessaiRD97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BessaiRD97
Jan Bessai, Jakob Rehof, Boris Düdder:
Fast Verified BCD Subtyping. Models, Mindsets, Meta 2018: 356-371
2017
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1712-06906
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-06906
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof:
Mixin Composition Synthesis based on Intersection Types. CoRR abs/1712.06906 (2017)
2016
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BessaiDDMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BessaiDDMR16
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof:
Combinatory Process Synthesis. ISoLA (1) 2016: 266-281
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HeinemanBDR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HeinemanBDR16
George T. Heineman, Jan Bessai, Boris Düdder, Jakob Rehof:
A Long and Winding Road Towards Modular Synthesis. ISoLA (1) 2016: 303-317
2015
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BessaiDHR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BessaiDHR15
Jan Bessai, Boris Düdder, George T. Heineman, Jakob Rehof:
Combinatory Synthesis of Classes Using Feature Grammars. FACS 2015: 123-140
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tlca/BessaiDDCdR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/BessaiDDCdR15
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof:
Mixin Composition Synthesis Based on Intersection Types. TLCA 2015: 76-91
2014
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BessaiDDMR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BessaiDDMR14
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof:
Combinatory Logic Synthesizer. ISoLA (1) 2014: 26-40

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.