Datalogisk Institut

Læs mere
126 - 150 ud af 1.702Pr. side: 25
Sortering: 1. forfatter
  1. Udgivet

    Programming macro tree transducers

    Bahr, P. & Day, L. E., 2013, Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming. Association for Computing Machinery, s. 61-72 12 s.

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

  2. Udgivet

    Generalising tree traversals to DAGs: exploiting sharing without the pain

    Bahr, P. & Axelsson, E., 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, s. 27-38 12 s.

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

  3. Udgivet

    Towards certified management of financial contracts

    Bahr, P., Berthold, J. & Elsman, Martin, 2014. 3 s.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. Udgivet

    Statistical coronary motion models for 2D + t/3D registration of X-ray coronary angiography and CTA

    Baka, N., Metz, C. T., Schultz, C., Neefjes, L., van Geuns, R. J., Lelieveldt, B. P. F., Niessen, W. J., van Walsum, T. & de Bruijne, Marleen, 2013, I: Medical Image Analysis. 17, 6, s. 698-709 12 s.

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

  11. Udgivet

    Fluoroscopic assessment of femoral kinematics using a statistical shape model

    Baka, N., de Bruijne, Marleen, van Walsum, T., Kaptein, B., Giphart, E., Schaap, M., Niessen, W. & Lelieveldt, B., 2012, EORS 2012 Amsterdam: European Orthopaedic Research Society 20th annual meeting. EORS , s. 147148 2 s. 5B.2

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

  12. Udgivet

    Evaluation of automated statistical shape model based knee kinematics from biplane fluoroscopy

    Baka, N., Kaptein, B. L., Giphart, J. E., Staring, M., de Bruijne, Marleen, Lelieveldt, B. P. F. & Valstar, E., 2014, I: Journal of Biomechanics. 47, 1, s. 122-129 8 s.

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

  13. Udgivet

    Energy Consumption-Aware Tabular Benchmarks for Neural Architecture Search

    Bakhtiarifard, Pedram, Igel, Christian & Selvan, Raghav, 12 okt. 2022, arxiv.org, 13 s.

    Publikation: Working paper › Preprint › Forskning

  14. Udgivet

    Energy saving approaches for video streaming on smartphone based on QoE modeling

    Ballesteros, L. G. M., Ickin, S., Fiedler, M., Markendahl, J., Tollmar, K. & Wac, Katarzyna, 2016, 2016 13th IEEE Annual Consumer Communications and Networking Conference (CCNC 2016). IEEE, s. 103-106 4 s.

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

  15. Udgivet

    Chlamydia and sudden infant death syndrome. A study of 166 SIDS and 30 control cases

    Banner, Jytte, Lundemose, A. G., Gregersen, M., Helweg-Larsen, K. & Simonsen, Jakob Grue, dec. 1990, I: International Journal of Legal Medicine (Print). 104, 1, s. 3-7 5 s.

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

  16. Udgivet

    Fire perspektiver på systemudvikling (DIKU rapport 89/15)

    Bansler, Jørgen P. & Clausen, H., 1989, I: Copenhagen: diku tryk.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  17. Udgivet

    The nature of software work. Systems development as labour process

    Bansler, Jørgen P. & Havn, E. C., 1991, I: P. vd. Besselaar et al.: Information System Work and Organisation Design. Elsevier Science Publication. s. 145-153 9 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  18. Udgivet

    A reappraisal of structured analysis: design in an organizational context

    Bansler, Jørgen P. & Bødker, K., 1993, I: ACM Transactions on Information Systems (TOIS). 11, 2, s. 165-193 29 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  19. Udgivet

    Information systems development with generic systems

    Bansler, Jørgen P. & Havn, E. C., 1994, Proceedings of the Second European Conference on Information Systems, 1994. s. 707-718 12 s.

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  20. Udgivet

    Syv samtaler om systemarbejde

    Bansler, Jørgen P., 1987, Datalogisk Institut.

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

  21. Udgivet

    Trade unions and alternative technology in Scandinavia

    Bansler, Jørgen P., 1989, I: New Technology, Work and Employment. 4, 2, s. 92-99 8 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  22. Udgivet

    Systems development in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1988, I: Information Technology and People. 4, 2, s. 117-133 17 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  23. Udgivet

    Systems development research in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1989, I: Scandinavian Journal of Information Systems. 1, 1, s. 1 1 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  24. Udgivet

    Systemutveckling-teori och historia i skandinaviskt perspektiv

    Bansler, Jørgen P., 1990, I: Studentlitteratur, Lund.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  25. Udgivet

    Systemudvikling: teori og historie i skandinavisk perspektiv

    Bansler, Jørgen P., 1987, Studentlitteratur.

    Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

Forrige 12 3 4 5 6 7 8 9 ...69 Næste