- Published
A standard-driven implementaion of WS-BPEL 2.0
Hallwyl, T., Henglein, Fritz & Hildebrandt, T., 2010, Proceedings of the 2010 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 2472-2476 5 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Smart city analytics: ensemble-learned prediction of citizen home care
Hansen, C., Hansen, C., Alstrup, Stephen & Lioma, Christina, 2017, Proceedings of the 2017 ACM Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2095-2098 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Copenhagen Team Participation in the Check-Worthiness Task of the Competition of Automatic Identification and Verification of Claims in Political Debates of the CLEF-2018 CheckThat! Lab
Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (eds.). 10 ed. CEUR-WS.org, 8 p. 81. (CEUR Workshop Proceedings, Vol. 2125).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Segmentation of 2D and 3D Objects with Intrinsically Similarity Invariant Shape Regularisers
Hansen, J. D. K. & Lauze, Francois Bernard, 2019, Scale Space and Variational Methods in Computer Vision - 7th International Conference, SSVM 2019, Proceedings. Lellmann, J., Modersitzki, J. & Burger, M. (eds.). Springer, p. 369-380 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11603 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Local mean multiphase segmentation with HMMF models
Hansen, J. D. K. & Lauze, Francois Bernard, 2017, Scale Space and Variational Methods in Computer Vision: 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings. Lauze, F., Dong, Y. & Dahl, A. B. (eds.). Springer, p. 396-407 12 p. (Lecture notes in computer science, Vol. 10302).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Segmentation of Brains and Rocks from Tomographic Reconstructions
Hansen, J. D. K., 2018, Department of Computer Science, Faculty of Science, University of Copenhagen. 129 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
Towards a network ecology of software ecosystems: an analysis of two OSGi ecosystems
Hansen, K. M. & Manikas, K., 2013, The 25th International Conference on Software Engineering & Knowledge Engineering SEKE 2013: proceedings. Knowledge Systems Institute Graduate School, p. 326-331 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, Vol. 2013).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
(Automated) software modularization using community detection
Hansen, K. M. & Manikas, K., 2015, Software architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7–11, 2015, Proceedings. Weyns, D., Mirandola, R. & Crnkovic, I. (eds.). Springer, p. 95-102 8 p. (Lecture notes in computer science, Vol. 9278).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Towards structure-based quality awareness in software ecosystem use
Hansen, K. M. & Zhang, W., 2014, Service-Oriented Computing – ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Lomuscio, A., Nepal, S., Patrizi, F., Benatallah, B. & Brandić, I. (eds.). Springer, p. 469-479 11 p. (Lecture notes in computer science, Vol. 8377).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Semantic Web ontologies for Ambient Intelligence -- Runtime Monitoring of Semantic Component Constraints
Hansen, K. M., Zhang, W., Fernandes, J. & Ingstrup, M., 1 Sep 2008, Proceedings of the First International Research Workshop on The Internet of Things and Services.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
On the impact of medical device regulations on software architecture
Hansen, K. M. & Manikas, K., 2016, Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 5: HEALTHINF. SCITEPRESS Digital Library, Vol. 5. p. 389-394 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
"Iyngby" - A modeler's matlab toolbox for spatio-temporal analysis of functional neuroimages: NeuroImage
Hansen, L. K., Nielsen, F. Å., Toft, P., Liptrot, M. G., Goutte, C., Strother, S. C., Lange, Nina Tranekær, Gade, A., Rottenberg, D. A. & Paulson, Olaf B., 1999, In: NeuroImage. 9, 6 PART IIResearch output: Contribution to journal › Journal article › Research › peer-review
- Published
Lyngby 2.0 - A Modeler's Matlab toolbox for spatio-temporal analysis of functional neuroimages: NeuroImage
Hansen, L. K., Nielsen, F. Å., Liptrot, M. G., Goutte, C., Strother, S. C., Lange, Nina Tranekær, Gade, A., Rottenberg, D. A. & Paulson, Olaf B., 2000, In: NeuroImage. 11, 5 PART IIResearch output: Contribution to journal › Journal article › Research › peer-review
- Published
Web Data Mining for Public Health Purposes
Hansen, N. D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis › Research
- Published
Ensemble learned vaccination uptake prediction using web search queries
Hansen, N. D., Lioma, Christina & Mølbak, K., 2016, Proceedings of the 25th ACM International Conference on Information and Knowledge Management. IEEE, p. 1953-1956 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Temporal context for authorship attribution: a study of Danish secondary schools
Hansen, N. D., Lioma, Christina, Larsen, B. & Alstrup, Stephen, 2014, Multidisciplinary information retrieval: 7th Information Retrieval Facility Conference, IRFC 2014, Copenhagen, Denmark, November 10-12, 2014, Proceedings. Lamas, D. & Buitelaar, P. (eds.). Springer, p. 22-40 19 p. (Lecture notes in computer science, Vol. 8849).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Seasonal Web Search Query Selection for Influenza-Like Illness (ILI) Estimation
Hansen, N. D., Mølbak, K., Cox, Ingemar Johansson & Lioma, Christina, 2017, SIGIR '17 Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 1197-1200Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Structure of casein micelles studied by small-angle neutron scattering
Hansen, S., Bauer, R., Lomholt, S., Quist, K., Pedersen, Johan & Mortensen, Kell, 1 Feb 1996, In: European Biophysics Journal. 24, 3, p. 143-147Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Faster k-SAT algorithms using biased-PPSZ
Hansen, T. D., Kaplan, H., Zamir, O. & Zwick, U., 2019, STOC: ACM Symposium on Theory of Computing. Association for Computing Machinery, p. 578-589Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Learning Language-Independent Representations of Verbs and Adjectives from Multimodal Retrieval
Hansen, V. P. B. & Søgaard, Anders, 2019, Proceedings - 14th International Conference on Signal-Image Technology and Internet Based Systems, SITIS. IEEE, p. 427-434 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Leaming LanguageJndepondent Roprcsentations of Vorbe snd AdjcctivEs from Multimodal Retricvsl
Hansen, V. P. B. & Søgaard, Anders, 2018, Proceedings of the 14th lnternatlonal Conference on Signal lmage Technology & lnternet Based Systems: SITIS 2018. IEEE, p. 427-434Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Knot detection in X-ray images of wood planks using dictionary learning
Hansson, N. M., Enescu, A. & Brandt, S. S., 2015, Proceedings of the 14th IAPR International Conference on Machine Vision Applications (MVA). IEEE, p. 497-500 4 p. 7153239Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Segmentation of B-mode cardiac ultrasound data by Bayesian Probability Maps
Hansson, N. M., Brandt, S. S., Lindström, J., Gudmundsson, P., Jujić, A., Malmgren, A. & Cheng, Y., 2014, In: Medical Image Analysis. 18, 7, p. 1184-1199 16 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Few-Shot Cross-Lingual Stance Detection with Sentiment-Based Pre-Training
Hardalov, M., Arora, Arnav, Nakov, P. & Augenstein, Isabelle, 2022, In: Proceedings of the International Joint Conference on Artificial Intelligence. 36, 10, p. 10729-10737.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Cross-Domain Label-Adaptive Stance Detection
Hardalov, M., Arora, Arnav, Nakov, P. & Augenstein, Isabelle, 2021, Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 9011-9028Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Computational biology: a programming perspective
Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, Formal modeling: actors, open systems, biological systems. Agha, G., Danvy, O. & Meseguer, J. (eds.). Springer, p. 403-433 31 p. (Lecture notes in computer science, Vol. 7000).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Programming in biomolecular computation: programs, self-interpretation and visualisation
Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, In: Scientific Annals of Computer Science. 21, 1, p. 73-106 34 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Interpretive Overhead and Optimal Specialisation. Or: Life without the Pending List (Workshop Version)
Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2008. 11 p.Research output: Contribution to conference › Paper › Research
- Published
Programming in biomolecular computation
Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2010, In: Electronical Notes in Theoretical Computer Science. 268, p. 97-114 18 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Partial Evaluation, Practice and Theory, Lecture Notes in Computer Science, Vol. 1706
Hatcliff, J., Mogensen, Torben Ægidius & Thiemann, P., 1999, Springer.Research output: Book/Report › Anthology › Research › peer-review
- Published
Scalable robust principal component analysis using Grassmann averages
Hauberg, S., Feragen, A., Enficiaud, R. & Black, M. J., 2016, In: IEEE Transactions on Pattern Analysis and Machine Intelligence. 38, 11, p. 2298-2311 14 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Natural metrics and least-committed priors for articulated tracking
Hauberg, S., Sommer, Stefan Horst & Steenstrup Pedersen, Kim, 2012, In: Image and Vision Computing. 30, 6-7, p. 453-461 9 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
A random Riemannian metric for probabilistic shortest-path tractography
Hauberg, S., Schober, M., Liptrot, M. G., Hennig, P. & Feragen, A., 2015, Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015: 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part I. Springer, p. 597-604 8 p. (Lecture notes in computer science, Vol. 9349).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A physically natural metric for human motion and the associated Brownian motion model
Hauberg, S. & Steenstrup Pedersen, Kim, 2011.Research output: Contribution to conference › Conference abstract for conference › Research
- Published
Unscented Kalman filtering on Riemannian manifolds
Hauberg, S., Lauze, Francois Bernard & Steenstrup Pedersen, Kim, 2013, In: Journal of Mathematical Imaging and Vision. 46, 1, p. 103-120 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Dense marker-less three dimensional motion capture
Hauberg, S., Jensen, B. R., Engell-Nørregård, M. P., Erleben, Kenny & Steenstrup Pedersen, Kim, 2010. 4 p.Research output: Contribution to conference › Conference abstract for conference › Research
- Published
HUMIM software for articulated tracking
Hauberg, S. & Steenstrup Pedersen, Kim, 2012, Datalogisk Institut, Københavns Universitet: Faculty of Science, University of Copenhagen. 7 p. (Koebenhavns Universitet. Datalogisk Institut. Rapport).Research output: Book/Report › Report › Research
- Published
Grassmann averages for scalable robust PCA
Hauberg, S., Feragen, A. & Black, M. J., 2014, Proceedings of the 2014 IEEE Conference on Computer Vision and Pattern Recognition: CVPR 2014. IEEE, p. 3810-3817 8 p. (I E E E Conference on Computer Vision and Pattern Recognition. Proceedings, Vol. 2014).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Predicting articulated human motion from spatial processes
Hauberg, S. & Steenstrup Pedersen, Kim, 2011, In: International Journal of Computer Vision. 94, 3, p. 317-334 18 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Implementing reversible object-oriented language features on reversible machines
Haulund, T., Mogensen, Torben Ægidius & Glück, Robert, 2017, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Phillips, I. & Rahaman, H. (eds.). Springer, p. 66-73 8 p. (Lecture notes in computer science, Vol. 10301).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Comparing modalities and feedback for peripheral interaction
Hausen, D., Wagner, C., Boring, S. & Butz, A., 2013, CHI '13 extended abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 1263-1268 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The unadorned desk: exploiting the physical space around a display as an input canvas
Hausen, D., Boring, S. & Greenberg, S., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Springer, p. 140-158 19 p. (Lecture notes in computer science, Vol. 8117).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Interactive visual facets to support fluid exploratory search
He, C., Micallef, L., Serim, B., Vuong, T., Ruotsalo, T. & Jacucci, G., 2023, In: Journal of Visualization. 26, p. 211–230Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Interactive Visual Facets to Support Fluid Exploratory Search
He, C., Micallef, L., Serim, B., Vuong, T., Ruotsalo, Tuukka & Jacucci, G., 2021, 14th International Symposium on Visual Information Communication and Interaction, VINCI 2021. Association for Computing Machinery, p. 1-10 3481565. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Usability and User Experience Information in Reviews
Hedegaard, S., 2014, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis › Research
- Published
Lost in translation: Authorship attribution using frame semantics
Hedegaard, S. & Simonsen, Jakob Grue, 1 Dec 2011, ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies. p. 65-70 6 p. (ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Vol. 2).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Mining until it hurts: automatic extraction of usability issues from online reviews compared to traditional usability evaluation
Hedegaard, S. & Simonsen, Jakob Grue, 2014, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. Association for Computing Machinery, p. 157-166 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Extracting usability and user experience information from online user reviews
Hedegaard, S. & Simonsen, Jakob Grue, 2013, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '13. Association for Computing Machinery, p. 2089-2098 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Many-core architectures boost the pricing of basket options on adaptive sparse grids
Heinecke, A., Jepsen, J. & Bungartz, H. J., 2013, WHPCF '13: Proceedings of the 6th Workshop on High Performance Computational Finance. Association for Computing Machinery, 9 p. 1Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
On GPU-based nearest neighbor queries for large-scale photometric catalogs in astronomy
Heinermann, J., Kramer, O., Polsterer, K. L. & Gieseke, Fabian Cristian, 2013, KI 2013: Advances in Artificial Intelligence: 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings. Timm, I. J. & Thimm, M. (eds.). Springer, p. 86-97 12 p. (Lecture notes in computer science, Vol. 8077).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Deep learning and computer vision techniques for microcirculation analysis: A review
Helmy, M., Truong, T. T., Jul, Eric & Ferreira, P., 2023, In: Patterns. 4, 1, 100641.Research output: Contribution to journal › Review › Research › peer-review
- Published
Rock’n’roll computer science
Henglein, Fritz, 2012, Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Constable, R. L. & Silva, A. (eds.). Springer, p. 354-355 2 p. (Lecture notes in computer science, Vol. 7230).Research output: Chapter in Book/Report/Conference proceeding › Comment › Communication
- Published
Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML
Henglein, Fritz & Rehof, J., 1995, FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture. Association for Computing Machinery, p. 192--203 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A Formally Verified Static Analysis Framework for Compositional Contracts
Henglein, Fritz, Larsen, C. K. & Murawska, A., 2020. 18 p.Research output: Contribution to conference › Paper › Research › peer-review
- Published
Modal intersection types, two-level languages, and staged synthesis
Henglein, Fritz & Rehof, J., 2016, Semantics, logics, and calculi: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (eds.). Springer, p. 289-312 24 p. (Lecture notes in computer science, Vol. 9560).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
SIGPLAN and the World Series
Henglein, Fritz, 1998, In: A C M / S I G P L A N Notices. 33, 1Research output: Contribution to journal › Editorial › Research
- Published
What is a Sort Function?
Henglein, Fritz, 2007, NWPT '07/FLACOS '07: workshop proceedings, October 9-12, 2007, Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 26-28 3 p. (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
POETS: Process-oriented Enterprise Transaction Systems
Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue & Larsen, Ken Friis, 2009, In: Journal of Logic and Algebraic Programming. 78, 5, p. 381-401 21 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Compositional Specification of Commercial Contracts (Technical. report)
Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, University of Copenhagen Institute of Computer Science: N/A. 38 p.Research output: Book/Report › Report › Communication
- Published
Breaking through the n^3 barrier: Faster object type inference
Henglein, Fritz, 1997, Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages (FOOL). InternetpublikationResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Generic Discrimination: Partitioning and Sorting of Complex Data in Linear Time
Henglein, Fritz, 2006, Datalogisk Institut, Københavns Universitet. 1 p.Research output: Book/Report › Report › Research
- Published
Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271)
Henglein, Fritz (ed.), Jhala, R. (ed.), Krishnamurthi, S. (ed.) & Thiemann, P. (ed.), 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 24 p. (Dagstuhl Reports; No. 6, Vol. 4).Research output: Book/Report › Report › Research
- Published
Generic multiset programming for language-integrated querying
Henglein, Fritz & Larsen, Ken Friis, 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, p. 49-59 11 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Generic multiset programming with discrimination-based joins and symbolic Cartesian products
Henglein, Fritz & Larsen, Ken Friis, 2010, In: Higher-Order and Symbolic Computation. 23, 3, p. 337-370 34 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Syntactic Properties of Polymorphic Subtyping
Henglein, Fritz, 1996.Research output: Working paper › Research
- Published
A Semantic Model of Binding Times for Safe Partial Evaluation
Henglein, Fritz & Sands, D., 1995, Proc.\Programming Languages: Implementations, Logics and Programs (PLILP, Utrecht, The Netherlands, Lecture Notes in Computer Science. SpringerResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
The Complexity of Subtype Entailment for Simple Types
Henglein, Fritz & Rehof, N. J., 1997, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS). Warszawa, Polen: IEEE Computer Society Press, p. 352-361Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
A direct approach to control-flow sensitive region-based memory management
Henglein, Fritz, Makholm, H. & Niss, H., 2001, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Decalrative Programming (PPDP). Montreal, Canada: Association for Computing Machinery, p. 175-186Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
- Published
Intrinsically defined sorting functions
Henglein, Fritz, 2007.Research output: Working paper › Research
- Published
Regular expression containment: coinductive axiomatization and computational interpretation
Henglein, Fritz & Nielsen, L., 2011, In: A C M / S I G P L A N Notices. 46, 1, p. 385-398 14 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Technical perspective: large-scale sound and precise program analysis
Henglein, Fritz, 2010, In: Communications of the ACM. 53, 8, p. 114 1 p.Research output: Contribution to journal › Comment/debate › Research › peer-review
- Published
Compositional Specification of Commercial Contracts
Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, p. 8Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Effect type systems and region-based memory management
Henglein, Fritz, Makholm, H. & Niss, H., 2005, Advanced Topics in Types and Programming Languages. Cambridge, Mass.: MIT Press, p. -Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Sorting and searching by distribution: from generic discrimination to generic tries
Henglein, Fritz & Hinze, R., 2013, Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Shan, C. (ed.). Springer, p. 315-332 18 p. (Lecture notes in computer science, Vol. 8301).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Breaking Through the n^3 Barrier: Faster Object Type Inference
Henglein, Fritz, 1999, In: Theory and Practice of Object Systems (TAPOS). 5, 1, p. 57--72 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time
Henglein, Fritz, 2008, ICFP 08: Proceedings of the 2008 SIGPLAN International Conference on Functional Programming, Victoria, British Columbia, Canada, September 22-24, 2008. Association for Computing Machinery, p. 91-102Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Constraint Automata and the Complexity of Recursive Subtype Entailment, Lecture Notes in Computer Science, Vol.1443
Henglein, Fritz & Rehof, J., 1998, Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP). Springer, p. 616-627Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Compositional Contract Specification for REA
Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Optimizing relational algebra operations using discrimination-based joins and lazy products
Henglein, Fritz, 2009, København: Museum Tusculanum, p. 32.Research output: Working paper › Research
- Published
2016 POPL impressions
Henglein, Fritz, 2016, In: SIGLOG News. 3, 2, p. 79-81 3 p.Research output: Contribution to journal › Comment/debate › Research
- Published
What is a Sorting Function?
Henglein, Fritz, 2009, In: Journal of Logic and Algebraic Programming. 78, 7, p. 552-572 20 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Big Data eller privacy?
Henglein, Fritz, 2015. 5 p.Research output: Contribution to conference › Paper › Research
- Published
PEG parsing in less space using progressive tabling and dynamic analysis
Henglein, Fritz & Rasmussen, U. T., 2 Jan 2017, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 35-46 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Investigating pointing tasks across angularly coupled display areas
Hennecke, F., De Luca, A., Nguyen, N. D. H., Boring, S. & Butz, A., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. Kotzé, P. (ed.). Springer, Vol. Part I. p. 720-727 8 p. (Lecture notes in computer science, Vol. 8117).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
NyS 29: Nydanske studier & almen kommunikationsteori
Henrichsen, P. J. (ed.), Holmen, A. (ed.), Johansen, M. D. (ed.), Perregaard, Bettina (ed.), Scheuer, Jann (ed.), Sletten, I. S. (ed.) & Ulbæk, Ib (ed.), 2002, København: Dansklærerforeningen. 133 p.Research output: Book/Report › Book › Research
- Published
NyS 30 : Nydanske studier: Korpuslingvistik
Henrichsen, P. J. (ed.), Holmen, A. (ed.), Johansen, M. D. (ed.), Perregaard, Bettina (ed.), Scheuer, Jann (ed.), Sletten, I. S. (ed.) & Ulbæk, Ib (ed.), 2002, Akademisk Forlag. 128 p.Research output: Book/Report › Book › Research
- Published
Trustworthy pervasive healthcare services via multiparty session types
Henriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, Fritz, 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, Revised Selected Papers. Weber, J. & Perseil, I. (eds.). Springer, p. 124-141 18 p. (Lecture notes in computer science, Vol. 7789).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Inverse Kinematics using Quaternions: Graduate project, 7.5 ECTS, Supervisor: Kenny Erleben
Henriksen, Knud, Erleben, Kenny & Engell-Nørregård, M., 2008, Department of Computer Science: Museum Tusculanum. 22 p.Research output: Book/Report › Report › Research
- Published
Virtual Trackballs Revisited
Henriksen, Knud, Sporring, Jon & Hornbæk, Kasper, 2004, In: IEEE Transactions on Visualization and Computer Graphics. 10, 2, p. 206-216Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Virtual Trackballs Revisited
Henriksen, Knud, Sporring, Jon & Hornbæk, Kasper, 2002, Proceedings fra den 11. Danske Konference om Mønstergenkendelse og Billedanalyse. 02/15 ed. Department of Computer Science, University of Copenhagen, p. 114-126Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Design and Implementation of the Futhark Programming Language
Henriksen, Troels, 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.Research output: Book/Report › Ph.D. thesis › Research
- Published
Design and GPGPU performance of Futhark's redomap construct
Henriksen, Troels, Larsen, Ken Friis & Oancea, Cosmin Eugen, 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, p. 17-24 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Compiling generalized histograms for GPU
Henriksen, Troels, Hellfritzsch, S., Sadayappan, P. & Oancea, Cosmin Eugen, 2020, Proceedings of SC 2020: International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE, 9355244Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Bounds checking: an instance of hybrid analysis
Henriksen, Troels & Oancea, Cosmin Eugen, 2014, Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming . Association for Computing Machinery, p. 88-94 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates
Henriksen, Troels, Serup, N. G. W., Elsman, Martin, Henglein, Fritz & Oancea, Cosmin Eugen, 2017, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 556-571 16 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Modular Acceleration: Tricky Cases of Functional High-performance Computing
Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2018, FHPC 2018 - Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, co-located with ICFP 2018. Rainey, M. & Davis, K. (eds.). New York, NY, USA: Association for Computing Machinery, p. 10-21 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Size slicing: a hybrid approach to size inference in futhark
Henriksen, Troels, Elsman, Martin & Oancea, Cosmin Eugen, 2014, Proceedings of the 3rd ACM SIGPLAN workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 31-42 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
APL on GPUs: a TAIL from the Past, scribbled in Futhark
Henriksen, Troels, Dybdal, M., Urms, H., Kiehn, A. S., Gavin, D., Abelskov, H., Elsman, Martin & Oancea, Cosmin Eugen, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing. Association for Computing Machinery, p. 38-43 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Designing information visualizations for elite soccer children's different levels of comprehension
Herdal, T., Pedersen, J. G. & Knudsen, S., 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, 4 p. 13Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Køpsala: Transition-Based Graph Parsing via Efficient Training and Effective Encoding
Hershcovich, Daniel, De Lhoneux, M., Kulmizev, A., Pejhan, E. & Nivre, J., 2020, Proceedings of the 16th International Conference on Parsing Technologies and the IWPT 2020 Shared Task on Parsing into Enhanced Universal Dependencies. Association for Computational Linguistics, p. 236-244Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Most downloads
-
6946
downloads
Addressing the path-length-dependency confound in white matter tract segmentation
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
6256
downloads
Virtual Trackballs Revisited
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
5778
downloads
Locally orderless registration
Research output: Contribution to journal › Journal article › Research › peer-review
Published
Latest publications
OpenMS 3 enables reproducible analysis of large-scale mass spectrometry data
Research output: Contribution to journal › Letter › Research › peer-review
Doorways Do Not Always Cause Forgetting: Studying the Effect of Locomotion Technique and Doorway Visualization in Virtual Reality
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Local Gamma Augmentation for Ischemic Stroke Lesion Segmentation on MRI
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review