Boris Düdder

Boris Düdder

Lektor

Medlem af:

    ORCID: 0000-0002-0241-7729

    Udgivelsesår:
    Alle
    1 - 10 ud af 40Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2012

    2. Bounded combinatory logic

      Duedder, Boris, Martens, M., Rehof, J. & Urzyczyn, P., 1 dec. 2012, Computer Science Logic 2012 - 26th International Workshop/21th Annual Conference of the EACSL, CSL 2012. s. 243-258 16 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 16).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    3. 2013

    4. Intersection type matching with subtyping

      Duedder, Boris, Martens, M. & Rehof, J., 27 sep. 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. s. 125-139 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 7941 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    5. 2014

    6. Combinatory Logic Synthesizer

      Bessai, J., Dudenhefner, A., Duedder, Boris & Martens, M., 2014, Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 6th International Symposium, ISoLA 2014 Imperial, Corfu, Greece, October 8–11, 2014 Proceedings, Part I. Springer, s. 26-40 (Lecture Notes in Computer Science, Bind 8802).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    7. Combinatory logic synthesizer

      Bessai, J., Dudenhefner, A., Duedder, Boris, Martens, M. & Rehof, J., 1 jan. 2014, Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. Margaria, T., Steffen, B. & Margaria, T. (red.). Springer Verlag, s. 26-40 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8802).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    8. Staged composition synthesis

      Duedder, Boris, Martens, M. & Rehof, J., 1 jan. 2014, Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Springer Verlag, s. 67-86 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8410 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    9. 2015

    10. Mixin composition synthesis based on intersection types

      Bessai, J., Duedder, Boris, Dudenhefner, A., Chen, T. C., De'Liguoro, U. & Rehof, J., 1 jul. 2015, 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015. Altenkirch, T. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 76-91 16 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 38).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    11. Synthesizing type-safe compositions in feature oriented software designs using staged composition

      Duedder, Boris, Rehof, J. & Heineman, G. T., 20 jul. 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc., s. 398-401 4 s. (ACM International Conference Proceeding Series, Bind 20-24-July-2015).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    12. Towards migrating object-oriented frameworks to enable synthesis of product line members

      Heineman, G., Hoxha, A., Duedder, Boris & Rehof, J., 20 jul. 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc., s. 56-60 5 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    13. 2016

    14. A long and winding road towards modular synthesis

      Heineman, G. T., Bessai, J., Duedder, Boris & Rehof, J., 1 jan. 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (red.). Springer Verlag, s. 303-317 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    15. Combinatory process synthesis

      Bessai, J., Dudenhefner, A., Duedder, Boris, Martens, M. & Rehof, J., 1 jan. 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (red.). Springer Verlag, s. 266-281 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    Forrige 1 2 3 4 Næste

    ID: 172785813