Publications by
Department of Computer Science

Sort: Year | Title | Publication type
Year: Alle år Før 1970 19701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013

Now showing 1-100 of 2145

Contribution to conference

• Antonov, L , Andreetta, C & Hamelryck, TW 2012, ' An efficient parallel GPU evaluation of Small Angle X-Ray Scattering profiles ', Paper presented at Bioinformatics, Vilamoura, Portugal , 02-02-12 - 04-02-12 ,

• Johansen, P 2011, ' Teaching image analysis at DIKU ',

• Nielsen, L & Henglein, F 2011, ' Bit-coded Regular Expression Parsing ', Paper presented at LATA 2011, Tarragona, Spain , 26-05-11 - 31-05-11 ,

• Nielsen, L , Yoshida, N & Honda, K 2011, ' Multiparty Symmetric Sum Types ', Paper presented at EXPRESS 2010, Paris, France , 30-08-10 ,

• Nielsen, L & Henglein, F 2011, ' Regular Expression Containment: Coinductive Axiomatization and Computational Interpretation ', Paper presented at POPL 2011, Austin, Texas, United States , 26-01-11 - 28-01-11 ,

• Liu, J, Fan, Z , Olsen, SI , H. Christensen, K & K. Kristensen, J 2011, ' Weld Pool Visual Sensing without External Illumination ', Paper presented at, Trieste, Italy , 24-08-11 ,

• Huang, X , Rakêt, LL , Luong, HV , Nielsen, M , Lauze, FB & Forchhammer, S 2011, ' Multi-hypothesis Transform Domain Wyner-Ziv Video Coding including Optical Flow ',

• Larsen, LL & Brandt, SS 2011, ' Prediction of Growth based on Shape Analysis of Atherosclerotic Calcifications from Lateral X-ray Images ', Paper presented at, Chicago, IL, USA, United States , 30-03-11 - 02-04-11 ,

• Orellana, F , Edlund, Å, Koopmans, M, Shah, ZA, Livenson, I, Jukka, K, Tuisku, M, Lehtovuori, P , Hansen, KM , Neukirchen, H & Hvannberg, E 2011, ' Practical cloud evaluation from a nordic eScience user perspective ', Paper presented at, San Jose, United States , 08-06-11 - 11-06-11 ,

• Bansler, JP , Havn, E , Mønsted, TS & Schmidt, K 2011, ' Adapting Medical Records for Shared Care of Chronic Disease ',

• Schjøth, L , Frisvad, J , Erleben, K & Sporring, J 2010, ' Temporal Photon Differentials ', Paper presented at, Angers, France , 17-05-10 - 21-05-10 ,

• Feragen, A , Lauze, FB & Nielsen, M 2010, ' Fundamental geodesic deformations in spaces of treelike shapes ', Paper presented at , 29-11-10 ,

• Andersen, T & Moll, J 2010, ' Prototyping Patient 2.0 ', Paper presented at, Trento, Italy , 02-09-10 - 04-09-10 ,

• Friborg, RM , Hauberg, S & Erleben, K 2010, ' GPU Accelerated Likelihoods for Stereo-Based Articulated Tracking ', Paper presented at, Hersonissos, Greece , 06-09-10 - 11-09-10 ,

• Moll, J 2010, ' The Patient as Service Co-Creator ', Paper presented at, Sydney, Australia , 29-11-10 - 03-12-10 ,

• Chernoff, K & Nielsen, M 2010, ' Weighting of the k-Nearest-Neighbors ', Paper presented at, Istanbul, Turkey , 23-08-10 - 26-08-10 ,

• Hvitved, T 2010, ' A trace-based model for multi-party contracts ', Paper presented at Workshop on Formal Languages and Analysis of Contract-Oriented Software, Pisa, Italy , 17-09-10 - 18-09-10 ,

• Hvitved, T 2010, ' A Survey of Formal Languages for Contracts ', Paper presented at, Pisa, Italy , 17-09-10 - 18-09-10 ,

• Birkedal, L, Schwinghammer, J & Støvring, K 2010, ' A Metric Model of Lambda Calculus with Guarded Recursion ', Paper presented at, Brno, Czech Republic , 21-08-10 ,

• Birkedal, L, Schwinghammer, J & Støvring, K 2010, ' A step-indexed kripke model of hidden state via recursive properties on recursively defined metric spaces ', Paper presented at, Brno, Czech Republic , 21-08-10 ,

• Misztal, MK, Bridson, R , Erleben, K , Bærentzen, JA & Anton, F 2010, ' Optimization-based Fluid Simulation on Unstructured Meshes ', Paper presented at, Copenhagen, Denmark , 11-11-10 - 12-11-10 ,

• Rehr, M & Vinter, B 2010, ' The User-Level Remote Swap Library ',

Working paper

• Feragen, A 2011 ' A short and elementary proof of Hanner's theorem ', arxiv.org, http://arxiv.org/abs/1011.4145.

• Feragen, A , Nielsen, M , Hauberg, S , Lo, PCP , de Bruijne, M & Lauze, FB 2011 ' A geometric framework for statistics on trees ', DIKU technical report.

• Katajainen, J & Simonsen, B 2009 ' Vector framework: Electronic appendix ', CPH STL Report, no. 2009-4, Department of Computer Science, University of Copenhagen, København.

• Henglein, F 2009 '  Optimizing relational algebra operations using discrimination-based joins and lazy products ', DIKU TOPPS Report, Københavns Universitet, København, pp. 32.

• Wulff-Nilsen, C 2009 ' Korteste Veje i Planare Grafer med Reelle Kantvægte i O(n(log n)^2/loglog n) Tid ', Datalogisk Institut, Københavns Universitet (DIKU).

• Wulff-Nilsen, C 2009 ' Solving the Replacement Paths Problem for Planar Directed Graphs in O(nlog n) Time ', Technical Report, no. 09, vol. 03, Datalogisk Institut, København, pp. 1-21.

• Katajainen, J 2009 ' Priority-queue framework: Programs ', CPH STL Report, vol. 7, 7 edn, København.

• Palix, N , Lawall, JL & Muller, G 2009 ' Herodotos: A Tool to Expose Bugs' Lives ', Rapport de recherche, no. 6984, INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE, Le Chesnay Cedex, pp. 1-16.

• Wulff-Nilsen, C 2009 ' Girth of a Planar Digraph with Real Edge Weights in O( n log Ukendt element: n ) Time. ', pp. 1-8.

• Mozes, S & Wulff-Nilsen, C 2009 ' Shortest Paths in Planar Graphs with Real Lengths in O( n log Ukendt element: n /loglog n ) Time. ', København, pp. 1-12.

• Wulff-Nilsen, C 2009 ' Minimum Cycle Basis and All-Pairs Min Cut of a Planar Graph in Subquadratic Time. ', pp. 1-47.

• Brunel, JPM , Doligez, D, Hansen, RR , Lawall, JL & Muller, G 2008 ' A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking ', HAL, no. hal-00297708, pp. 1-15.

• Lawall, JL , Brunel, JPM , Hansen, RR, Stuart, H & Muller, G 2008 ' WYSIWIB: A Declarative Approach to Finding Protocols and Bugs in Linux Code ', Research Report 08/1/INFO, no. 08, vol. 1, Nantes, pp. 1-14.

• Wulff-Nilsen, C 2008 ' Sum of All-Pairs Shortest Path Distances in a Planar Graph in Subquadratic Time ', Technical Report no. 08-11 , vol. 11, DIKU, pp. 1-10.

• Wulff-Nilsen, C 2008 ' Computing the Maximum Detour of a Plane Graph in Subquadratic Time ', Technical Report, no. 08-07, Department of Computer Science, University of Copenhagen, København.

• Wulff-Nilsen, C 2008 ' Wiener Index, Diameter, and Stretch Factor of a Weighted Planar Graph in Subquadratic Time ', Technical Report, no. 08-16, Department of Computer Science, University of Copenhagen, København.

• Katajainen, J , Elmasry, A, Elverkilde, JD , Jensen, C , Rasmussen, J, Simonsen, B, Yde, L, Artho, C, Francechini, G & Schupp, S 2008 ' Project description: Foundations and tools for building well-behaved systems ', CPH STL Reports, no. 2008-5, Department of Computer Science, University of Copenhagen, København, pp. 1-7.

• Hansen, K 2008 ' Computer Vision Techniques in Watermarking: Computations Using Colour ',.

• Katajainen, J 2008 ' Essays on C++ concepts ',.

• Katajainen, J 2008 ' Mini-project : Safe standard-library containers ', 2 edn.

• Uldall-Espersen, T 2007 ' How usability work informed development of an insurance sales system ',.

• Maier, S, Zachariasen, P & Zachariasen, M 2007 ' Divisor-based biproportional apportionment in electoral systems: a real-life benchmark study ', Preprint. Universität Augsburg. Institut für Mathematik, no. 039/2007.

• Brönnimann, H , Katajainen, J & Morin, P 2007 ' Putting your data structure on a diet ',.

• Hansen, K 2007 ' Computer Vision Techniques in Steganography - Colour and Scale ',.

• Henglein, F 2007 ' Intrinsically defined sorting functions ',.

• Katajainen, J 2007 ' Project proposal: : Associative containers with strong guarantees. CPH STL Report 2007-4 ',.

• Nørgaard, M 2006 ' Building a bridge between usability evaluation and software design ', NordiChi2006, Oslo, pp. 1.

• Bonnet, P , Culler, D, Estrin, D, Govindan, R, Horton, M, Levis, P, Nachman, L, Stankovic, J, Szewczyk, R, Welsh, M & Wolisz, A 2006 ' TinyOS Alliance Structure ',.

• Brönnimann, H & Katajainen, J 2006 ' Efficiency of various forms of red-black trees ',.

• Elmasry, A , Jensen, C & Katajainen, J 2006 ' Two-tier relaxed heaps ', CPH STL Report, no. 2006-6, Department of Computer Science, University of Copenhagen, pp. 1-18.

• Elmasry, A , Jensen, C & Katajainen, J 2006 ' Two new methods for transforming priority queues into double-ended priority queues ', CPH STL Report, no. 2006-9, Department of Computer Science, University of Copenhagen, pp. 1-14.

• Franceschini, G & Katajainen, J 2006 ' Generic algorithm for 0-1 sorting ',.

• Hansen, K & Damgaard Andersen, J 2006 ' Anisotropic Diffusion Used to Attack Watermarks ',.

• Jensen, C & Katajainen, J 2006 ' An experimental evaluation of navigation piles ', CPH STL Report, no. 2006-3, Department of Computer Science, University of Copenhagen.

• Jensen, C , Katajainen, J & Vitale, F 2006 ' Experimental evaluation of local heaps ', CPH STL Report, no. 2006-1, Department of Computer Science, University of Copenhagen.

• Elmasry, A , Jensen, C & Katajainen, J 2005 ' Relaxed weak queues: An alternative to run-relaxed heaps ', CPH STL Report, no. 2005-2, Department of Computer Science, University of Copenhagen.

• Elmasry, A , Jensen, C & Katajainen, J 2005 ' On the power of structural violations in priority queues ', CPH STL Report, no. 2005-3, Department of Computer Science, University of Copenhagen.

• Katajainen, J 2005 ' Research proposal: Generic programming-algorithms and tools : CPH STL Report 2005-5 ',.

• Katajainen, J 2005 ' Project proposal : A meldable, iterator-valid priority queue. CPH STL Report 2005-1 ',.

• Elmasry, A , Jensen, C & Katajainen, J 2004 ' A framework for speeding up priority-queue operations ', CPH STL Report, no. 2004-3, Department of Computer Science, University of Copenhagen.

• Jensen, C , Katajainen, J & Vitale, F 2003 ' An extended truth about heaps ', CPH STL Report, no. 2003-5, Department of Computer Science, University of Copenhagen.

• Barreto, LP, Muller, G , Lawall, JL & Kono, K 2002 ' A framework for simplifying the development of kernel schedulers: design and performance evaluation ', Ecole des Mines de Nantes, Nantes, France.

• Katajainen, J 2001 ' Research proposal: Software tools for program library development, CPH STL Report 2001-15 ', http://www.cphstl.dk.

• Katajainen, J & Raatikainen, KE 2001 ' Instructions to use DIKU style files, CPH STL Report 2001-1 ', http://www.cphstl.dk.

• Katajainen, J & Mortensen, BB 2001 ' Experiences with the design and implementation of space-efficient deques, CPH STL Report 2001-7 ', http://www.cphstl.dk.

• Katajainen, J & Pasanen, T 2001 ' A randomized in-place algorithm for positioning the k TL element in a multiset. CPH STL Report 2001-13 ', http://www.cphstl.dk.

• Zachariasen, M 2000 ' On the Approximation of the Rectilinear Arborescence Problem in the Plane ', pp. 7.

• Brodal, GS & Katajainen, J 2000 ' Highly flexible nodes in external heaps ',.

• Brodal, GS & Katajainen, J 2000 ' Highly flexible nodes in external heaps ',.

• Brodal, GS & Katajainen, J 2000 ' Highly flexible nodes in external heaps ',.

• Brodal, GS & Katajainen, J 2000 ' Highly flexible nodes in external heaps ',.

• Katajainen, J & Yde, L 2000 ' Project proposal: The Copenhagen STL, CPH STL Report 2000-1 ', http://www.cphstl.dk.

• Yde, L & Katajainen, J 2000 ' Supporting Intellectual Work Through Artifact Rendering and Group Review, DIKU-rapport 00/11 ', Datalogisk Institut, Københavns Universitet.

• Bojesen, J , Katajainen, J & Spork, M 1999 ' Performance engineering case study: Heap construction ',.

• Bojesen, J , Katajainen, J & Spork, M 1999 ' Performance engineering case study: Heap construction ',.

• Warme, DM , Winter, P & Zachariasen, M 1999 ' Exact Solution to Large-scale Plane Steiner Tree Problems ',.

• Christiansen, MV , Henglein, F , Niss, H & Velschow, P 1998 ' Safe Region-Based Memory Management for Objects ',.

• Brodal, GS & Katajainen, J 1997 ' Worst-case efficient external-memory priority queues ',.

• Brodal, GS & Katajainen, J 1997 ' Worst-case efficient external-memory priority queues ',.

• Fadel, R, Jakobsen, KV , Katajainen, J & Teuhola, J 1996 ' External heaps combined with effective buffering ',.

• Henglein, F 1996 ' Syntactic Properties of Polymorphic Subtyping ',.

• Auramo, Y , Katajainen, J & Kulmala, J 1993 ' Finding the maximum in parallel random access machines ',.

• Carlsson, S , Katajainen, J & Teuhola, J 1992 ' In-place linear probing sort ',.

• Fjällström, P , Katajainen, J & Petersson, J 1992 ' Algorithms for the all-nearest-neighbor problem ',.

• Auramo, Y , Katajainen, J & Kulmala, J 1990 ' Rinnakkaisalgoritmit (Luvut 1-4) ',.

• Fjällström, P , Katajainen, J , Levcopoulos, C & Petersson, O 1989 ' A sublogarithmic convex hull algorithm ',.

• Ernvall, J , Katajainen, J & Nevalainen, O 1980 ' A minimal spanning tree algorithm for a point set in Euclidean space ',.

Patent

• de Bruijne, M , Nielsen, M & Pettersen, P Apr. 10 2008 , Supervised shape learning for fracture prediction, .

• Pettersen, P , de Bruijne, M , Christiansen, C & Tanko, LB Oct. 02 2008 , Vertebral Fracture Prediction, WO/2008/116918.

• Pettersen, P , de Bruijne, M , Christiansen, C & Tanko, LB Oct. 02 2008 , Method of estimating risk of future fracture in vertebrae of spine used in medical field, involves computing different curvature values to obtain value representative of degree of irregularity of curvature of spine, WO2008116918-A1.

• Pettersen, P , de Bruijne, M & Tanko, L Mar. 01 2007 , Vertebral fracture prediction, .

• Qazi, AA , Dam, E, Olsen, OF , Nielsen, M , Pettersen, P & Christiansen, C 2007 , Automatic Quantification of Pathology Indicating Measure Related to Cartilage Structure From Cartilage Scan Data, .

• Iglesias, JE & de Bruijne, M May. 18 2007 , Semi-automatic vertebral contour detection: I, P15203GB.

• Iglesias, JE & de Bruijne, M Jun. 01 2007 , Semi-automatic vertebral contour detection: II, P15268GB.

• Iglesias, JE & de Bruijne, M Sep. 20 2007 , Semi-automatic vertebral contour detection: III, P15316GB.

Memorandum

• Hansen, K 1993, ' Kort vejledning for ny MTA ',.

Other contribution

• Bonnet, P Mana Diary, . København.

• Murphy, D Pattern Play: A System for Structural Manipulation of Music, . Datalogisk Institut, Københavns Universitet.

Show per page 20 50 100

Page 1 of 22