Find publikation

Søgeresultater

• A Limited-Diffusion Algorithm for Blind Substring Search

  Skala, M., 1998. 14 s.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning

• A Linear Time Algorithm for Optimal Quay Crane Scheduling

  Herup, M. O., Thiesgaard, G. C. W., van Twiller, J. & Jensen, R. M., 14 sep. 2022, International Conference on Computational Logistics: Lecture Notes in Computer Science. Springer, Bind 13557. s. 60–73 13 s.

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

  Åben adgang

  Fil

• A Literature Review of Spreadsheet Technology

  Bock, A., nov. 2016, 33 s. (ITU Technical Report Series; Nr. TR-2016-199).

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

  Åben adgang

  Fil

• All eyes on the monitor: gaze based interaction in zoomable, multi-scaled information-spaces

  Mollenbach, E., Stefansson, T. & Hansen, J. P., 2008, IUI '08: Proceedings of the 13th international conference on Intelligent user interfaces. Association for Computing Machinery, s. 373-376

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

• All I know is that I know nothing’: (Some) Danish adolescents and their lack of self- confidence in relation to information and political participation

  Stald, G. B., 28 okt. 2016.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning › peer review

• Allusive Machines: Encounters with Android Life

  Lindegaard, J. F. & Christensen, L. R., 2018, Proceedings of NordiCHI 2018. Association for Computing Machinery, s. 114-124

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

  Åben adgang

  Fil

• A Local Search Extended Heuristic for Stowing Under Deck Locations of Container Vessels

  Pacino, D. & Jensen, R. M., 2009. 3 s.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning

• A Logic for Choreographies

  Lopez, H. A., Carbone, M., Hildebrandt, T. & Grohmann, D., 2010, I: Places. 69, s. 29-43

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

• A logic for parametric polymorphism with effects

  Møgelberg, R. E. & Simpson, A., 2008, I: Lecture Notes in Computer Science. 4941, s. 142-156

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• A Low-Cost Open-Source Cloud-based Liquid Handling Robotic Platform for Performing Remote Real-Time Collaborative Experiments

  Nejatimoharrami, F., Faina, A. & Støy, K., 2018.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning › peer review

  Åben adgang

  Fil

• Alternative Mobile Handsets and Grassroots Innovation in the Global South: A Critical Examination

  Wallis, C., Qiu, J. L. & Ling, R., 2009.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

• A Ludo Mix Perspective on Dynamic Game Characters

  Blom, J., aug. 2019.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning › peer review

  Åben adgang

• A Machine Learning Approach for Predicting Execution Time of Spark Jobs

  Moustafa, S., Elghandour, I. & Ismail, M., 22 nov. 2018, I: Alexandria Engineering Journal.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

• A Maker Approach to Computer Science Education: Lessons Learned from a First-Year University Course

  Svanæs, D., 2015, I: CEUR Workshop Proceedings. 1450, s. 15-20 6 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

• A Mapping Model for Assessing Project Effort from Requirements

  Zickert, F. & Beck, R., 2013, I: Information Systems and e-Business Management. s. 377-401 24 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

• A Material Focus: Exploring Properties of Computational Composites

  Vallgårda, A. K. A. & Sokoler, T., 2009, CHI EA '09: Proceedings of the 27th international conference extended abstracts on Human factors in computing systems. Association for Computing Machinery, s. 4147-4152 6 s.

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

• A Material Strategy - Exploring Potential Properties of Computational Composites

  Sokoler, T., 2010, I: International Journal of Design. 4, 3

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

• A mathematical model of inter-terminal transportation

  Tierney, K., Voß, S. & Stahlbock, R., 2014, I: European Journal of Operational Research. 235, 1

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

• A mention-based system for revision requirements detection

  Ruby, A., Hardmeier, C. & Stymne, S., 2021, Proceedings of the First Workshop on Understanding Implicit and Underspecified Language (UnImplicit). Association for Computational Linguistics, s. 58-63

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

  Åben adgang

  Fil

• Amnesia: The Dark Descent. The Player’s Very Own Purgatory

  Tosca, S., 28 okt. 2013, Analyzing Digital Fiction. Ensslin, A., Bell, A. & Rustad, H. (red.). London: Routledge

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

• A Modal Specification Theory for Components with Data

  S. Bauer, S., Larsen, K. G., Legay, A., Nyman, U. M. & Wasowski, A., 2012, Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer VS, Bind 7253. s. 61-78 (Lecture Notes in Computer Science, Bind 7253).

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

• A modal specification theory for components with data

  S. Bauer, S., Larsen, K. G., Legay, A., Nyman, U. M. & Wasowski, A., 2014, I: Science of Computer Programming. 83, s. 106-128

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

• A Model Checker for Bigraphs

  Perrone, G. D., Debois, S. & Hildebrandt, T., mar. 2012, SAC '12. Proceedings of the 27th Annual ACM Symposium on Applied Computing. New York, NY, USA: Association for Computing Machinery, s. 1320-1325

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

• A Model for Industrial Real-Time Systems

  Bin Waez, M. T., Wasowski, A., Dingel, J. & Rudie, K., 2015, Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings.. D'Souza, D., Lal, A. & Guldstrand Larsen, K. (red.). Springer, Bind 8931. s. 153-171 (Lecture Notes in Computer Science).

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

  Åben adgang

  Fil

• A Modeling Tool for Reconfigurable Skills in ROS

  Bozhinoski, D., Aguado, E., Oviedo, M. G., Corbato, C. H., Sanz, R. & Wasowski, A., 2021, I: 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE). s. 25-28

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

• A Model of Dynamic Strategy-Making : The Yin-Yang Process of Top-Down and Bottom-Up Mechanisms.

  Juul Andersen, T., Hallin, C. A. & ‪Li, X-D., 2014.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

• A model of guarded recursion with clock synchronisation

  Bizjak, A. & Møgelberg, R. E., 2015, I: Electronic Notes in Theoretical Computer Science. 319, s. 83-101

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• A Model of PCF in Guarded Type Theory

  Paviotti, M., Møgelberg, R. E. & Birkedal, L., 2015, I: Electronic Notes in Theoretical Computer Science. 319, s. 333-349

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• A Modular Architecture for Developing Robots for Industrial Applications

  Faina, A., Orjales, F., Souto, D., Bellas, F. & Duro, R., maj 2015, Advances in Intelligent Robotics and Collaborative Automation . River Publishers, 26 s.

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

• A multi-dimensional typology of games

  Aarseth, E. J., Smedstad, S. M. & Sunnanå, L., 2003, DiGRA '03 - Proceedings of the 2003 DiGRA International Conference: Level Up. Copier, M. & Raessens, J. (red.). s. 48-53 6 s.

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

  Åben adgang

• A Multi-Perspective Framework for Research on (Sustainable) Autonomous Systems

  Beck, R., Dibbern, J. & Wiener, M., 2022, I: Business & Information Systems Engineering.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Leder › peer review

  Åben adgang

  Fil

• A Museological Appraoch. Radio as intangible Heritage

  Mortensen, C. H., 2013, I: SoundEffects. 2, 2, s. 21-35 14 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

• An Accurate Model for Seaworthy Container Vessel Stowage Planning with Ballast Tanks

  Pacino, D., Delgado-Ortegon, A., Jensen, R. & Bebbington, T., 2012, I: Lecture Notes in Computer Science. 7555, s. 17-32 16 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

• An Activity-Centric Approach to Configuration Work in Distributed Interaction

  Houben, S., 2016, IT-Universitetet i København. 300 s. (ITU-DS; Nr. 110).

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

  Åben adgang

  Fil

• An Affect Detection Technique Using Mobile Commodity Sensors in the Wild

  Mottelson, A. & Hornbæk, K., 2016, Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing. New York, NY, USA: Association for Computing Machinery, s. 781–792 (UbiComp '16).

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

• An Agent-Based Model of Collective Decision-making in Correlated Environments

  Di Felice, L. J. & Zahadat, P., 2022.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

  Åben adgang

  Fil

• Analog flows in digital worlds: ‘Migration multiples’ and digital heterotopias in Greek territory

  Galis, V. & Makrygianni, V., 2022, I: Political Geography.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

• An alternative representation of Fractal Gene Regulatory Networks facilitating analysis and interpretation

  Zahadat, P. & Støy, K., 2012, I: Annals of Mathematics and Artificial Intelligence. 65, 4, s. 285-316 32 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning

• Analysing the Relevance of Experience Partitions to the Prediction of Players’ Self-Reports of Affect

  Martínez, H. P. & Yannakakis, G. N., 2011, ACII'11 Proceedings of the 4th international conference on Affective computing and intelligent interaction: Workshop on Emotion in Games (EMO games). Springer, s. 538-546 9 s.

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

• Analysing Vote Counting Algorithms Via Logic

  Schürmann, C., Beckert, B. & Gore, R., 2013, Proceedings of the fourth Conference on E-Voting and Identity (VOTEID'13). Springer, (Lecture Notes in Computer Science, Bind 7985).

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

• Analysing Vote Counting Algorithms Via Logic - And its Application to the CADE Election Scheme

  Schürmann, C., Beckert, B. & Gore, R., 2013, Automated Deduction – CADE-24: Proceedings of the 16th International Conference on Automated Deduction (CADE-24). Springer, s. 135-144 (Lecture Notes in Computer Science, Bind 7898).

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

• 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

• Analysis of Multiplex Social Networks with R

  Magnani, M., Rossi, L. & Vega, D., 2 jun. 2021, I: Journal of Statistical Software. 98, 8

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

• Analysis of the Ballot Shuffling Attack on Irish ballot counting for Proportional Representation by Single Transferable Vote (PR-STV)

  Cochran, D. R., aug. 2015, 23 s. (ITU Technical Report Series; Nr. TR-2015-188).

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

  Fil

• Analysis of the Danish Approach to E-Government benefit relalization

  Jensen, M. Y. & Nielsen, M. M., 2014.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

• Analysis of the Danish Data Science Job Market

  Plank, B., dec. 2018, IT-Universitetet i København.

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

  Fil

• Analysis of the Effect of Dataset Construction Methodology on Transferability of Music Emotion Recognition Models

  Hult, S., Kreiberg, L. B., Brandt, S. S. & Jónsson, B. T., jun. 2020, Proceedings of the ACM International Conference on Multimedia Retrieval (ICMR). Gurrin, C., Jónsson, B. Þ., Kando, N., Schöffmann, K., Chen, Y-P. P. & O'Connor, N. E. (red.). Dublin, Ireland: Association for Computing Machinery, s. 316-320

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

  Åben adgang

  Fil

• Analysis of visitors’ mobility patterns through random walk in the Louvre Museum

  Yoshimura, Y., Sinatra, R., Krebs, A. & Ratti, C., 28 aug. 2019, I: Journal of Ambient Intelligence and Humanized Computing. s. 1-16

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

• Analyzing Ambiguity of Context-Free Grammars

  Brabrand, C., Giegerich, R. & Møller, A., 2010, I: Science of Computer Programming. 75, 3, s. 176-191 16 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

• Analyzing CS Competencies using The SOLO Taxonomy: (Keynote abstract for Keynote talk at ITiCSE'09)

  Brabrand, C. & Søndergaard, B. D., 2009, ITiCSE’09, July 6–9, 2009, Paris, France. Association for Computing Machinery, s. 1-1 1 s.

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