Computer Science

Publikation

Publikationer pr. år 2001 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023

• 912 Konferencebidrag i proceedings
• 467 Tidsskriftartikel
• 133 Bidrag til bog/antologi
• 129 Konferenceartikel
• 430 Mere
  • 71 Paper
  • 68 Rapport
  • 60 Konferenceabstrakt til konference
  • 48 Ph.d.-afhandling
  • 42 Andet bidrag
  • 24 Bog
  • 18 Antologi
  • 14 Leder
  • 14 Working paper
  • 12 Encyclopædiartikel
  • 12 Patent
  • 11 Konferenceabstrakt i proceedings
  • 7 Poster
  • 5 Udgivelser på nettet - Net-publikation
  • 4 Bidrag til avis - Avisartikel
  • 3 Bidrag til rapport
  • 3 2D/3D (Fysisk produkt)
  • 2 Forord/efterskrift
  • 2 Bidrag til avis - Kommentar/debat
  • 2 Bidrag til avis - Kronik
  • 2 Review
  • 2 Preprint
  • 1 Doktordisputats
  • 1 Kommentar/debat
  • 1 Konferenceabstrakt i tidsskrift
  • 1 Letter

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• Bidrag til bog/antologi

  Trustworthy Pervasive Healthcare Services via Multi-party Session Types

  Bidragets oversatte titel: Trustworthy Pervasive Healthcare Services via Multi-party Session TypesHenriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, F., 2013, Foundations of Health Information Engineering and Systems. Springer, Bind 7789. s. 124-141 (Lecture Notes in Computer Science).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

• Using Reference Architectures for Design and Evaluation of Web of Things Systems: A Case of Smart Homes Domain

  Chauhan, M. A. & Babar, M. A., feb. 2017, Managing the Web of Things: Linking the Real World to the Web. 1 udg. Morgan Kaufmann, Bind 1. s. 205-228 24 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

  • Internet of things 100%
  • Standardization 24%
  • Actuators 6%
  • Industry 5%
  • Energy management 4%

• Using Role Based Control to Produce Locomotion in Chain-Type Self-Reconfigurable Robots: The IEEE Transactions on Robotics and Automation, special issue on self-reconfigurable robots 2002

  Støy, K., Shen, W-M. & Will, P., 2002, The IEEE Transactions on Robotics and Automation, special issue on self-reconfigurable robots 2002.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning

• Visualization and clustering of tagged music data

  Lehwark, P., Risi, S. & Ultsch, A., 2008, Data Analysis, Machine Learning and Applications. Springer, s. 673-680 8 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
• Bidrag til rapport

  Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)

  Borba, P. (red.), B. Cohen, M. (red.), Legay, A. (red.) & Wasowski, A. (red.), 2014, Multivariate network visualization : Dagstuhl Seminar #13201. Bind 3. s. 144-147 (Lecture Notes in Computer Science, Bind 8380).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til rapport › Forskning

  • quality assurance 100%
  • software 70%
  • expert 65%
  • interaction 48%

• Reflections of Head Mounted systems for Domotic Control

  Mardanbeigi, D. & Witzner Hansen, D., 2010, IT University of Copenhagen.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til rapport › Forskning

• What works for consumer engagement in the energy transition: Experimenting with a behavioural-sociological approach

  Della Valle, N. & Poderi, G., 2018, Control, Change and Capacity-building in Eneryg Systems: SHAPE ENERGY - Research Design Challenge. s. 104-113

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til rapport › Forskning › peer review

  Åben adgang

  Fil
• Bog

  C# Precisely: Second edition

  Sestoft, P. & Hansen, H. I., 2012, Second udg. MIT Press. 258 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning › peer review

• Certification of ICTs in Elections

  Schürmann, C., Barrat, J., Bolo, E., Bravo, A., Krimmer, R., Neumann, S., Acong Parreno, A., Volkamer, M. & Wolf, P., 2015, Stockholm: International IDEA. 76 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning

  • quality control 100%
  • certification 77%
  • election 67%
  • evaluation 25%
  • control process 22%

• Characterizing Mote Performance: A Vector-Based Methodology

  Verdone, R. (red.), Leopold, M., Chang, M. & Bonnet, P., 2008, Springer. 16 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning › peer review

  • Benchmarking 100%
  • Sensor networks 83%
  • Data acquisition 81%
  • Program processors 81%
  • Sensors 49%

• Domain-Specific Languages: Effective modeling, automation, and reuse

  Wasowski, A. & Berger, T., 2023, Springer International Publishing. 492 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Formidling

  • Automation 100%
  • Semantics 89%
  • Software engineering 70%
  • Ruby 65%
  • Industrial research 61%

• Emergent Control of Self-Reconfigurable Robots

  Støy, K., 2003

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning

• Emergent Interfaces for Feature Modularization

  Ribeiro, M., Borba, P. & Brabrand, C., nov. 2014, Springer. 84 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning › peer review

• Guide to requirements SL-07: Template with examples version 2

  Lauesen, S., 2011, version 2 udg. Denmark: Lauesen Publishing. 100 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Formidling

  • consultants 100%
  • electronics 73%

• Guide to Requirements SL-07 - Template with Examples

  Lauesen, S., 2008, 1 udg. Lauesen Publishing. 74 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning

• Guide to Requirements SL-07 version 5: Problem-oriented requirements v5

  Lauesen, S., 10 dec. 2017, 5 udg. Lauesen Publishing. 107 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning › peer review

  • Specifications 100%
  • Product development 77%
  • Large scale systems 66%

• How Big Things Get Done: The Surprising Factors that Determine the Fate of Every Project from Home Renovations to Space Exploration, and Everything in Between

  Flyvbjerg, B. & Gardner, D., 7 feb. 2023, Penguin Random House.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning

  • Renovation 100%
  • Fate 75%
  • IPod 68%
  • Jewel 56%
  • State-building 54%

• Java Precisely: Third edition

  Sestoft, P., 2016, Third udg. MIT Press. 199 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning › peer review

• Modelling and Verification of Secure Exams

  Giustolisi, R., 2018, Springer. (Information Security and Cryptography).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning › peer review

• Problem-oriented requirements SL-07: Guide and contract v6

  Lauesen, S., 18 dec. 2018, Amazon Kindle. 128 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning › peer review

  Åben adgang

  • Specifications 100%
  • Health 56%

• Problem-oriented Requirements SL-07 Guide and Contract Version 9

  Lauesen, S., 1 feb. 2022, Amazon Kindle. 128 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning

  • Specifications 100%
  • Health 56%
  • Industry 33%

• Problemorienterede krav SL-07: Vejledning og kontrakt v6

  Lauesen, S., 18 dec. 2018, 6 udg. Amazon Kindle. 128 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning › peer review

  Åben adgang

  • Specifications 100%
  • Health 56%

• Proceedings of the 7th Nordic Conference on Human-Computer Interaction: Making Sense Through Design

  Malmborg, L. (red.) & Pederson, T. (red.), 2012, Copenhagen, Denmark: Association for Computing Machinery.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning › peer review

• Programming language concepts

  Sestoft, P., 2012, Springer. (Undergraduate topics in computer science).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Undervisning › peer review

• Programming Language Concepts. Second edition. With a chapter by Niels Hallenberg

  Sestoft, P. & Hallenberg, N., sep. 2017, Springer. 341 s. (Undergraduate topics in computer science).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Undervisning › peer review

• SeniorInteraktion – Innovation gennem dialog

  Malmborg, L. (red.), Sokoler, T. (red.), Brandt, E. (red.), Binder, T. (red.) & Mortensen, P. F. (red.), 2012, Copenhagen: Kunstakademiets Arkitektskoles Forlag. 150 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning

• Spreadsheet implementation technology. Basics and extensions

  Sestoft, P., 2014, MIT Press.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning › peer review

• The Use of Open Source Technology in Elections

  Schürmann, C., Clouser, M., Krimmer, R., Nore, H. & Wolf, P., 2014, International IDEA. 54 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Undervisning

• Using Situated Communication in Distributed Autonomous Mobile Robots, proceedings of the 7th Scandinavian Conference on Artificial Intelligence (SCAI)

  Støy, K., 2001

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning

• Videnskab, teknologi og samfund: en introduktion til STS

  Gad, C. (red.) & Danholt, P. (red.), 1 feb. 2021, 1 udg. København: Hans Reitzels Forlag. 352 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Forskning › peer review

• Why Greatness Cannot be Planned: The Myth of the Objective

  Stanley, K. O. & Lehman, J. A., 2015, Springer.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Bog › Formidling
• Doktordisputats

  Infinitary Rewriting - Theory and Applications

  Bahr, P., 1 sep. 2009, Vienna.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Doktordisputats
• Encyclopædiartikel

  Administration Wizards

  Bonnet, P. & Shasha, D., 2009, Encyclopedia of Database Systems. Springer Publishing Company

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Encyclopædiartikel › Forskning

• Cuckoo Hashing

  Pagh, R., 2008, Encyclopedia of Algorithms. Springer

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Encyclopædiartikel › Forskning

• Cuckoo hashing

  Pagh, R., 2016, Encyclopedia of Algorithms: 2nd edition. 2 udg. Springer

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Encyclopædiartikel › Forskning › peer review

• Exact Graph Coloring Using Inclusion-Exclusion

  Björklund, A. & Husfeldt, T., 13 feb. 2015, Encyclopedia of Algorithms. Ming-Yang, K. (red.). Springer, s. 1-2 2 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Encyclopædiartikel › Forskning › peer review

• Index Tuning

  Bonnet, P. & Shasha, D., 2009, Encyclopedia of Database Systems. Springer Publishing Company

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Encyclopædiartikel › Forskning

• Performance Monitoring Tools

  Bonnet, P. & Shasha, D., 2009, Encyclopedia of Database Systems. Springer Publishing Company

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Encyclopædiartikel › Forskning

• Physical Layer Tuning

  Bonnet, P. & Shasha, D., 2009, Encyclopedia of Database Systems. Springer Publishing Company

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Encyclopædiartikel › Forskning

• Schema Tuning

  Bonnet, P. & Shasha, D., 2009, Encyclopedia of Database Systems. Springer Publishing Company

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Encyclopædiartikel › Forskning

• Similarity Sketching

  Pagh, R., 2018, Encyclopedia of Big Data Technologies. Springer

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Encyclopædiartikel › Formidling

• Tuning Concurrency Control

  Bonnet, P. & Shasha, D., 2009, Encyclopedia of Database Systems. Springer, s. 3198 3201 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Encyclopædiartikel › Forskning

• Tuning the Application Interface

  Bonnet, P. & Shasha, D., 2009, Encyclopedia of Database Systems. Springer

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Encyclopædiartikel › Forskning

• Wildfire: HTAP for Big Data

  Barber, R., Raman, V., Sidle, R., Tian, Y. & Tözün, P., 2019, Encyclopedia of Big Data Technologies. Springer

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Encyclopædiartikel › Forskning › peer review

  • Big data 100%
  • Risk analysis 60%
  • Electric sparks 56%
  • Information management 51%
  • Internet of things 46%
• Forord/efterskrift

  CONTEXT 2015 Doctorial Symposium: Proceedings of Doctoral Symposium of the 9th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015)

  Eklund, P. & wegener, R., 17 dec. 2015, CEUR Workshop Proceedings. Eklund, P. & Wegener, R. (red.). Aachen, Germany: CEUR Workshop Proceedings, Bind 1537. s. I-II (CEUR Workshop Proceedings, Bind 1537).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Forord/efterskrift › Forskning › peer review

  Åben adgang

  • Feedback 100%

• Preface

  Esparza, J., Fraigniaud, P., Husfeldt, T. & Koutsoupias, E., 2014, Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I. Springer, Bind 8572. s. 5-6 2 s. (Lecture Notes in Computer Science, Bind 8572).

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Forord/efterskrift › Forskning › peer review
• Kommentar/debat

  Research evaluation for computer science

  Meyer, B., Choppy, C., Leeuwen, J. V. & Staunstrup, J., 2009, I: Communications of the ACM. 52, 4

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Kommentar/debat › Forskning

  Åben adgang

  Fil
• Konferenceabstrakt i proceedings

  Cooperative and Human Aspects of Software Engineering (CHASE 2008)

  Cheng, L. (red.), Souza, C. D. (red.), Dittrich, Y. (red.), Hazzan, O. (red.), John, M. (red.), Maruer, F. (red.), Sharp, H. (red.), Sillito, J. (red.), Sim, S. (red.), Singer, J. (red.), Storey, M-A. (red.), Tessem, B. (red.) & Venolia, G. (red.), 2008, Cooperative and Human Aspects of Software Engineering (CHASE 2008). Association for Computing Machinery, Bind NRC 49912.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferenceabstrakt i proceedings › Forskning

• Cooperative and Human Aspects of Software Engineering (CHASE 2010)

  Dittrich, Y., De Souza, C., Korpela, M., Sharp, H. C., Singer, J. & Winschiers Theophilus, H., 2010, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering. New York: Association for Computing Machinery, Bind 2. 2 s.

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferenceabstrakt i proceedings › Forskning › peer review

  • Software engineering 100%
  • Joining 60%
  • Sustainable development 55%
  • Engineers 43%

• Exploring a Digital Art Collection through Drawing Interactions with a Deep Generative Model

  Sivertsen, C., Haas, R., Jensen, H. H. & Løvlie, A. S., 19 apr. 2023, CHI EA '23: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 1-5 5 s. 451

  Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferenceabstrakt i proceedings › Forskning

  Åben adgang

  Fil

  • Snow 100%