Datalogisk Institut

Læs mere
121 - 130 ud af 1.702Pr. side: 10
Sortering: 1. forfatter
  1. Udgivet

    Quantification of smoothing requirement for 3D optic flow calculation of volumetric images

    Bab-Hadiashar, A., Tennakoon, R. B. & de Bruijne, Marleen, 2013, I: IEEE Transactions on Image Processing. 22, 6, s. 2128-2137 10 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  2. Udgivet

    Graph archive

    Bachmaier, C., Brandenburg, F. J., Effinger, P., Gutwenger, C., Katajainen, J., Klein, K., Spönemann, M. & Wybrow, M., 2011, Graph drawing with algorithm engineering methods (Dagstuhl Seminar 11191): report from Dagstuhl Seminar 11191. Demetrescu, C., Kaufmann, M., Kobourov, S. & Mutzel, P. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 52-53 2 s.

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

  3. Udgivet

    Imperative versus Declarative Process Mining: An Empirical Comparison

    Back, C. O., Debois, S. & Slaats, Tijs, 2020, Department of Computer Science, University of Copenhagen, 14 s.

    Publikation: Working paper

  4. Udgivet

    Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting

    Bahr, P., 31 okt. 2012, 466 s.

    Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

  5. Udgivet

    Certified symbolic management of financial multi-party contracts

    Bahr, P., Berthold, J. & Elsman, Martin, 2015, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming: ICFP 2015. Association for Computing Machinery, s. 315-327 13 s.

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

  6. Udgivet

    Proving correctness of compilers using structured graphs

    Bahr, P., 2014, Functional and logic programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Springer, s. 221-237 17 s. (Lecture notes in computer science, Bind 8475).

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

  7. Udgivet

    Calculating certified compilers for non-deterministic languages

    Bahr, P., 2015, Mathematics of program construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings. Hinze, R. & Voigtländer, J. (red.). Springer, s. 159-186 28 s. (Lecture notes in computer science, Bind 9129).

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

  8. Udgivet

    Partial order infinitary term rewriting

    Bahr, P., 2014, I: Logical Methods in Computer Science. 10, 2, 52 s., 6.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  9. Udgivet

    Calculating correct compilers

    Bahr, P. & Hutton, G., 2015, I: Journal of Functional Programming. 25, 47 s., e14.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  10. Udgivet

    Composing and decomposing data types: a closed type families implementation of data types à la carte

    Bahr, P., 2014, Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, s. 71-82 12 s.

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

Forrige 1...9 10 11 12 13 14 15 16 ...171 Næste