Datalogisk Institut

Publikation

Publikationer pr. år 1980 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2021

• 1324 Konferencebidrag i proceedings
• 1045 Tidsskriftartikel
• 497 Bidrag til bog/antologi
• 206 Bidrag til rapport
• 976 Mere
  • 156 Rapport
  • 150 Bog
  • 111 Ph.d.-afhandling
  • 72 Working paper
  • 71 Konferenceabstrakt til konference
  • 63 Paper
  • 61 Konferenceabstrakt i tidsskrift
  • 43 Antologi
  • 41 Leder
  • 40 Konferenceabstrakt i proceedings
  • 38 Konferenceartikel
  • 27 Patent
  • 22 Poster
  • 14 Encyclopædiartikel
  • 13 Forord/efterskrift
  • 13 Review
  • 9 Kommentar/debat
  • 8 Kommentar
  • 5 Andet bidrag
  • 3 Doktordisputats
  • 3 Letter
  • 3 Softwareprogram
  • 2 Kompendium/lecture notes
  • 1 Mødereferat
  • 1 Bidrag til avis - Kommentar/debat
  • 1 Bidrag til avis - Kronik
  • 1 Anmeldelse
  • 1 Faglig redegørelse
  • 1 Datasæt
  • 1 Lyd og/eller billed produktion (digital)
  • 1 Udgivelser på nettet - Net-publikation

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2009

  User Defined Geo-referenced Information

  Konstantas, D., Villalba, A., di Marzo Serugendo, G. & Wac, K., 2009, I: Software and Data Technologies, Communications in Computer and Information Science, Volume 47. ISBN 978-3-642-05200-2. Springer-Verlag Berlin Heidelberg, 2009, p. 1. s. 1

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Quality of service 100%
  • Information services 71%

• Using Active Contour Models for Feature Extraction in Camera-Based Seam Tracking of Arc Welding

  Liu, J., Fan, Z., Olsen, S. I., Christensen, K. & Krinstensen, J., 2009, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '09). s. 5948-5955

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • arc welding 100%
  • pattern recognition 88%
  • grooves 72%
  • cameras 57%
  • welding 30%
  8 Citationer (Scopus)

• Vector framework: Electronic appendix

  Katajainen, J. & Simonsen, B., 2009, København: Department of Computer Science, University of Copenhagen, 67 s.

  Publikation: Working paper › Forskning

• What is a Sorting Function?

  Henglein, F., 2009, I: Journal of Logic and Algebraic Programming. 78, 7, s. 552-572 20 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Sorting 100%
  • Sorting algorithm 28%
  • Permutation 15%
  • Abstraction 10%
  • Linear-time Algorithm 10%
  4 Citationer (Scopus)

• Wiener index and Diameter of a Planar Graph in Subquadratic Time

  Wulff-Nilsen, C., 2009, Proceedings of the 25th European Workshop on Computational Geometry (EuroGC´09). s. 25-28 4 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Wiener Index 100%
  • Planar graph 75%
  • Topological Index 49%
  • Molecules 40%
  • Graph in graph theory 38%

• WIPDash: Work Item and People Dashboard for Software Development Teams

  Jakobsen, M. R., Fernandez, R., Czerwinski, M., Inkpen, K., Kulyk, O. & Robertson, G., 2009, Human-Computer Interaction - INTERACT 2009: 12th IFIP TC 13 International Conference. Springer, Bind 5727/2009. s. 791-804 14 s. (Lecture notes in computer science, Bind 5727).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Software engineering 100%
  • Visualization 95%
  • Feedback 78%
  13 Citationer (Scopus)

• WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code

  Lawall, J., Brunel, J. P. M., Palix, N. J-M., Hansen, R. R., Stuart, H. & Muller, G., 2009, Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks. IEEE, s. 43-52

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  35 Citationer (Scopus)

• Yet Another Mammography Measure to Evaluate Breast Cancer Risk: 4th International Workshop on Breast Densitometry and Breast Cancer Risk Assessment, San Francisco, United States

  Karemore, G. R., Brandt, S. & Nielsen, M., 2009.

  Publikation: Konferencebidrag › Poster › Forskning
• 2008

  (I) A Declarative Framework for ERP Systems(II) Reactors: A Data-Driven Programming Model for Distributed Applications

  Stefansen, C. O. E., 2008, København: Department of Computer Science, University of Copenhagen. 307 s.

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

  • Enterprise resource planning 100%
  • Semantics 37%
  • Industry 24%
  • Specifications 17%
  • Engines 17%
  4968 Downloads (Pure)

• A Branch-and-Cut Algorithm for the Elementary Shortest Path Problem with a Capacity Constraint

  Jepsen, M. K., Petersen, B. & Spoorendonk, S., 2008, Copenhagen: Department of Computer Science, University of Copenhagen. 15 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 08-01).

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

• A Comparative Study of the Reported Performance of Ab Initio Protein Structure Prediction Algorithms

  Helles, G., 2008, I: Journal of the Royal Society Interface. 5, 21, s. 387-396 9 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  51 Citationer (Scopus)

• A Computer-based Measure Using Normalized Heights Predicts Vertebral  Fracture Independent of BMD in Post-menopausal Women

  A. Ghosh, de Bruijne, M., C. Pettersen, M. A. Karsdal, D. J. Leeming, C. Christiansen, P. & Nielsen, M., 2008, I: Journal of Bone and Mineral Research. suppl. S, s. S333 1 s.

  Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning › peer review

  89 Citationer (Scopus)

  542 Downloads (Pure)

• Acting with IT Architects: Reenacting IT Architecture in the Development of  Standards and Classification Systems for the Healthcare Sector

  Corneliussen, M. S., 2008. 1 s.

  Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

•  A fast and robust multi-modal registration (MREG) framework

  Qazi, A. A., 2008, (Afsendt).

  Publikation: Konferencebidrag › Paper › Forskning › peer review

• A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking

  Brunel, J. P. M., Doligez, D., Hansen, R. R., Lawall, J. L. & Muller, G., 2008, s. 1-15, 15 s.

  Publikation: Working paper › Forskning

  • Temporal logic 100%
  • Model checking 90%
  • Flow control 81%
  • Linux 58%
  • Semantics 19%

• Air trapping in cystic fibrosis (CF) evaluated using ultra low dose computed tomography (CT): implications for sample size in clinical studies

  Loeve, M., Lequin, M. H., de Bruijne, M., Hartmann, I. J., Hop, W. C. & Tiddens, H. A. W. M., 2008.

  Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › peer review

• Algorithms for Protein Structure Prediction

  Paluszewski, M., 2008, København: Department of Computer Science, University of Copenhagen. 196 s.

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

  • Proteins 100%
  • Tabu search 28%
  • Atoms 25%
  • Amino acids 14%
  • Bioinformatics 13%
  3112 Downloads (Pure)

• Analysis of protein profiles using fuzzy clustering methods: case of malignant and normal cervical tissues

  Karemore, G. R., Ukendt, S., Rai, L., Kartha, V. B. & C, S., 2008. 1 s.

  Publikation: Konferencebidrag › Poster › Forskning

  • High performance liquid chromatography 100%
  • Fuzzy clustering 73%
  • Proteins 59%
  • Clustering algorithms 58%
  • Tissue 54%

• An Efficient Algorithm for Modelling Duration in Hidden Markov Models, with a Dramatic Application

  Hauberg, S. & Sloth, J., 2008, I: Journal of Mathematical Imaging and Vision. 31, 2-3, s. 165-170 6 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  3 Citationer (Scopus)

• An investigation of Jones optimality and BTI-universal specializers

  Glück, R., 2008, I: Higher-Order and Symbolic Computation. 21, 3, s. 283-309

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  2 Citationer (Scopus)

• A non-smooth newton method for multibody dynamics

  Erleben, K. & Ortiz, R., 2008, Numerical Analysis and Applied Mathematics: International Conference on Numerical Analysis and Applied Mathematics 2008, Psalidi, Kos, Greese, September 16-20, 2008. Simos, T. E., Psihoyios, G. & Tsitouras, C. (red.). Springer, s. 178-181 4 s. (AIP Conference Proceedings; Nr. 1048).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  2 Citationer (Scopus)

• A Note on the Flow Extended 0-1 Knapsack Cover Inequalities for the Elementary Shortest Path Problem with a Capacity Constraint

  Jepsen, M. K. & Spoorendonk, S., 2008, København: Department of Computer Science, University of Copenhagen. 7 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 08/02).

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

• Application porting and tuning for the CELL-BE processor

  Vinter, B. & Rehr, M., 2008, PARA 2008-9th International Workshop on State-of-the-Art in Scientific and Parallel Computing.

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

• Application porting and tuning for the CELL-BE processor

  Vinter, B. & Rehr, M., 2008.

  Publikation: Konferencebidrag › Paper › Forskning › peer review

• A Study of the Evaluator Effect in Usability Testing

  Hornbæk, K. A. S. & Frøkjær, E., 2008, I: Human-Computer Interaction. 23, 3, s. 251-277 27 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  19 Citationer (Scopus)

• Atomic core-ionization energies; approximately piecewise-linear and linear relationships

  Avery, J. E. & Avery, J. S., 5 aug. 2008, I: Journal of Mathematical Chemistry. 46, 1, s. 164-181 17 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Ionization potential 100%
  • Ionization 83%
  • Atoms 58%
  • Electrons 56%
  • Piecewise Linear 54%
  5 Citationer (Scopus)

• Automated effect-specific mammographic pattern measures

  Raundahl, J., Loog, M., Pettersen, P., Tankó, L. B. & Nielsen, M., 1 aug. 2008, I: IEEE Transactions on Medical Imaging. 27, 8, s. 1054-1060 7 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Hormones 100%
  • Hormone Replacement Therapy 78%
  • Machine Learning 26%
  • Tissue 19%
  • Breast 17%
  14 Citationer (Scopus)

• Automated Quantification of the Morphological Atherosclerotic Calcification Distribution on X-Rays Is a Strong Predictor of Mortality in Postmenopausal Women

  Christiansen, C., Karsdal, M., Lauze, F. B., Dam, E., Ganz, M., de Bruijne, M., Sørensen, M., Barascuk, N. & Nielsen, M., 2008, I: Arteriosclerosis, Thrombosis, and Vascular Biology. 6, s. e48-e48 1 s.

  Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning › peer review

  • X-Rays 100%
  • Cardiovascular Diseases 75%
  • Odds Ratio 66%
  • Mortality 65%
  • Atherosclerosis 62%

• Automatic Program Development: A Tribute to Robert Paige

  Danvy, O. (red.), Mairson, H. (red.), Henglein, F. (red.) & Pettorossi, A. (red.), 2008, Berlin: Springer. 274 s.

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

• Automatic quantification of local and global articular cartilage surface curvature: biomarkers for osteoarthritis?

  Folkesson, J., Dam, E. B., Olsen, O. F., Karsdal, M. A., Pettersen, P. C. & Christiansen, C., jun. 2008, I: Magnetic Resonance in Medicine. 59, 6, s. 1340-6 7 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Articular Cartilage 100%
  • Osteoarthritis 83%
  • Biomarkers 60%
  • Population 36%
  • Magnetic Resonance Imaging 24%
  16 Citationer (Scopus)

• Automatic shape model building based on principal geodesic analysis bootstrapping

  Dam, E. B., Fletcher, P. T. & Pizer, S. M., apr. 2008, I: Medical Image Analysis. 12, 2, s. 136-51 16 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Cartilage 100%
  • Prostate 64%
  13 Citationer (Scopus)

• Automating the Port of Linux to the VirtualLogix Hypervisor using Semantic Patches

  Armand, F., Muller, G., Lawall, J. L. & Berniolles, J., 2008, ERTS - Embedded Real Time Software 2008: European Congress ERTS- Embedded Real Time Software, Toulouse, France, January 29 - February 1, 2008. SIA - Societé des Ingenieurs de l'Auitomobole, 92158 Suresnes Cedex, France, 8 s. (SIA, Recueils de Congrès; Nr. CD-2008-01).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Virtualization 100%
  • Linux 98%
  • Semantics 64%

• A Variational Method for Automatic Localization of the most Pathological ROI

  Qazi, A. A., Dam, E., Loog, M., Nielsen, M., Lauze, F. B. & Christiansen, C., 2008, Medical Imaging 2008: Image processing, Conference Proceedings. Reinhardt, J. M. & Pluim, J. P. W. (red.). SPIE - International Society for Optical Engineering, s. Article 69140T 9 s. (Proceedings of SPIE; Nr. 6914).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Basics of Compiler Design

  Mogensen, T. Æ., 2008, Extended udg. Lulu.com. 277 s.

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

• Bayes PCA Revisited

  Sporring, J., 2008, Department of Computer Science: Museum Tusculanum. 12 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 08-09).

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

  • Principle Component Analysis 100%
  • Bayes 63%
  • Likelihood 51%
  • Data Reduction 41%
  • Bayes Estimation 39%

• Bayes reconstruction of missing teeth

  Sporring, J. & Jensen, K. H., 2008, I: Journal of Mathematical Imaging and Vision. 13, 2-3, s. 245-254

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • teeth 100%
  • Bayes 94%
  • Principle Component Analysis 74%
  • Missing Data 46%
  • Laser Scanner 41%
  10 Citationer (Scopus)

  1075 Downloads (Pure)

• Block Tridiagonal Matrices in Electronic Structure Calculations

  Petersen, D. E., 2008, København: Department of Computer Science, University of Copenhagen. 247 s.

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

  • Electronic structure 100%
  • Ground state 33%
  • Green's function 26%
  • Ballistics 24%
  • Parallel algorithms 21%
  647 Downloads (Pure)

• Brownian Warps for Non-Rigid Registration

  Nielsen, M., Johansen, P., Jackson, A. D., Lautrup, B. E. & Hauberg, S., 2008, I: Journal of Mathematical Imaging and Vision. 31, 2-3, s. 221-231 11 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  6 Citationer (Scopus)

• Call-by-value Termination in the Untyped λ-calculus

  Jones, N. D. & Bohr, N., 2008, I: Logical Methods in Computer Science. 1, 3, s. 1-39 39 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Termination 100%
  • Calculus 75%
  • Terminate 43%
  • Sound 36%
  • Numeral 27%
  9 Citationer (Scopus)

• Can the distance from lung top to diaphragm on CT scans be used to estimate the lung inflation level for in- and expiratory  CT and MRI protocols?

  Loeve, M., Lequin, M., de Bruijne, M., Hartmann, I., Hop, W. & Tiddens, H., 2008, I: Pediatric Radiology. suppl. 3, s. S574 1 s.

  Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning › peer review

• Characterizing Mote Performance: A Vector-Based Methodology

  Leopold, M., Chang, M. & Bonnet, P., 2008, Wireless Sensor networks: 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings. Verdone, R. (red.). Springer, s. 321-336 16 s. (Lecture notes in computer science; Nr. 4913).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Chvátal-Gomory Rank-1 Cuts used in a Dantzig-Wolfe Decomposition of the Vehicle Routing Problem with Time Windows

  Petersen, B., Pisinger, D. & Spoorendonk, S., 2008, The Vehicle Routing Problem: Latest Advances and New Challenges. Golden, B., Raghavan, S. & Wasil, E. (red.). New York, N.Y.: Springer, s. 397-420 24 s. (Operations Research/Computer Science Interfaces Series; Nr. 43).

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

  17 Citationer (Scopus)

• Classification of Laser Induced Fluorescence Spectra from Normal and Malignant bladder tissues using Learning Vector Quantization Neural Network in Bladder Cancer Diagnosis

  Karemore, G. R., Mascarenhas, K. K., Patil, C., V.K, U., Prabhu, V., Chowla, A., Nielsen, M. & C, S., 2008, BIBE 2008: 8th. IEEE International Conference on Bioinformatics and BioEngineering, 8-10 October 2008. IEEE Communications Society, s. 1-6 6 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Fluorescence 100%
  • Vector quantization 97%
  • Tissue 74%
  • Lasers 65%
  • Neural networks 52%
  2 Citationer (Scopus)

• Classifying VAT Legislation for Automation

  Sudzina, F., Nielsen, M. I., Simonsen, J. G. & Larsen, K. F., 2008.

  Publikation: Konferencebidrag › Paper › Forskning

  • Value Added Tax 100%
  • Automation 95%
  • Legislation 71%
  • Enterprise Resource Planning Systems 32%
  • Legislatures 13%
  2342 Downloads (Pure)

• Coarse-to-Fine Low-Rank Structure-from-Motion

  Bartoli, A., Gay-Bellile, V., Castellani, U., Peyras, J., Olsen, S. I. & Sayd, P., 2008, IEEE conference on Computer Vision and Pattern Recognition: CVPR 2008. IEEE Communications Society, s. 1-8 8 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  98 Citationer (Scopus)

• Comparing inspiratory and expiratory computed tomography protocols for monitoring mild CF lung disease

  Loeve, M., Lequin, M. H., Bruijne, M. D., Hartmann, I. J., Hop, W. C. & Tiddens, H. A., 2008, 45th Annual Meeting of the European Society of Paediatric Radiology.

  Publikation: Bidrag til bog/antologi/rapport › Konferenceabstrakt i proceedings › Forskning › peer review

• Comparison of Techniques for Matching of Usability-Problem Descriptions

  Hornbæk, K. A. S. & Frøkjær, E., 2008, I: Interacting with Computers. 20, 6, s. 505-514

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  26 Citationer (Scopus)

• Computer Vision Techniques in Watermarking: Computations Using Colour

  Hansen, K., 2008, (Afsendt).

  Publikation: Working paper › Forskning

• Computing Best and Worst Shortcuts of Graphs Embedded in Metric Spaces

  Wulff-Nilsen, C. & Luo, J., 2008, Algorithms and Computation: 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008, Proceedings. Hong, S-H., Nagamochi, H. & Fukunaga, T. (red.). Springer, s. 764-775 12 s. (Lecture notes in computer science; Nr. 5369).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Embedded Graph 100%
  • Metric space 63%
  • Computing 48%
  • Dilation 47%
  • Linear Space 46%
  12 Citationer (Scopus)

• Computing the Dilation of Edge-Augmented Graphs Embedded in Metric Spaces

  Wulff-Nilsen, C., 2008, Collection of Abstracts of the 24th European Workshop on Computational Geometry: EuroCG, LORIA, Nancy, France, March 18-20, 2008. Petitjean, S. (red.). LORIA, Nancy, France, s. 123-126 4 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • Embedded Graph 100%
  • Dilation 79%
  • Metric space 63%
  • Computing 48%
  • Fast Algorithm 39%