Computer Science

Publikation

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

• 1045 Konferencebidrag i proceedings
• 537 Tidsskriftartikel
• 144 Konferenceartikel
• 141 Bidrag til bog/antologi
• 471 Mere
  • 82 Rapport
  • 72 Paper
  • 62 Konferenceabstrakt til konference
  • 58 Ph.d.-afhandling
  • 44 Andet bidrag
  • 24 Antologi
  • 24 Bog
  • 16 Working paper
  • 14 Leder
  • 13 Patent
  • 12 Encyclopædiartikel
  • 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)
  • 3 Preprint
  • 2 Forord/efterskrift
  • 2 Bidrag til avis - Kommentar/debat
  • 2 Bidrag til avis - Kronik
  • 2 Review
  • 1 Doktordisputats
  • 1 Kommentar
  • 1 Kommentar/debat
  • 1 Konferenceabstrakt i tidsskrift
  • 1 Letter
  • 1 Softwareprogram

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• Konferenceartikel

  Growing Simulated Robots with Environmental Feedback: an Eco-Evo-Devo Approach

  Helmut Hauser, Walker, K. E. & Risi, S., 10 jul. 2021, I: GECCO.

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

  Åben adgang

  Fil

  • Simulated Robot 100%
  • Environmental Feedback 100%
  • Evo-devo 100%
  • Evo-Devo Approach 100%
  • Robot 100%

• Guarded recursion in Agda via sized types

  Veltri, N. & van der Weide, N., 2019, I: Leibniz International Proceedings in Informatics (LIPIcs). 131, s. 32:1–32:19 32.

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

  Åben adgang

  Fil

  • Agda 100%
  • Guarded Recursion 100%
  • Sized Types 100%
  • Type Systems 100%
  • Syntactics 50%

• Hierarchical Declarative Modelling with Refinement and Sub-processes

  Debois, S., Hildebrandt, T. & Slaats, T., 2014, I: Lecture Notes in Computer Science. 8659, s. 18--33 16 s.

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

• How to Approximate A Set Without Knowing Its Size in Advance

  Pagh, R., Segev, G. & Wieder, U., 2013, I: Symposium on Foundations of Computer Science. Annual Proceedings. s. 80-88

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

• Hybrid Events: Mediating Collocated Participation

  Nelimarkka, M., Jacucci, G., Salovaara, A., Dow, S., O'Hara, K., Barkhuus, L. & Fisher, J., 2018, I: Computer Supported Cooperative Work. s. 455-462

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

  Åben adgang

  Fil

  • Research Agenda 100%
  • Research Focus 100%
  • Audience Participation 100%
  • Event Study 100%
  • Hybrid Events 100%

• Hybrid Software and System Development in Practice

  Kuhrmann, M., Diebold, P., Münch, J., Tell, P., Garousi, V., Felderer, M., Trektere, K., McCaffery, F., Linssen, O., Hanser, E. & Prause, C., 2018, I: Lecture Notes in Informatics. P279 - Software Engineering und Software Management 2018, s. 103-105

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

  Åben adgang

  Fil

  • Development Approach 100%
  • System Development 100%
  • Hybrid Process 100%
  • Hybrid Software Development 100%
  • Software Development 100%

• Identification of a need for data representations in Service Design

  Seidelin, C., Dittrich, Y. & Grönvall, E., 2017, I: IRIS: Selected Papers of the Information Systems Research Seminar in Scandinavia. 8, 10

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

  Åben adgang

  Fil

  • Service Design 100%
  • Data Representation 100%
  • Data Analytics 40%
  • Material Design 40%
  • Service Offer 20%

• Improving Object Detection in Art Images Using Only Style Transfer

  Kadish, D., Risi, S. & Løvlie, A. S., 2021, I: 2021 International Joint Conference on Neural Networks (IJCNN).

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

  Åben adgang

• Influence of Late Fusion of High-Level Features on User Relevance Feedback for Videos

  Khan, O. S., Zahálka, J. & Jónsson, B. T., 14 okt. 2022, I: Proceedings of the 2nd International Workshop on Interactive Multimedia Retrieval. s. 17-24

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

  Åben adgang

• Infrastructuring When You Don’t: End-User Development and Organizational Infrastructure

  Bolmsten, J. & Dittrich, Y., 2011, I: Lecture Notes in Computer Science. 6654, s. 139-154 16 s.

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

• Interfaces and Metainterfaces for Models and Metamodels

  Hessellund, A. & Wasowski, A., 2008, I: Lecture Notes in Computer Science. s. 401-415

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

• Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism

  Møgelberg, R. E., 2006, I: Lecture Notes in Computer Science. 4052

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

• In the Nick of Time: Proactive Prevention of Obligation Violations

  Basin, D., Debois, S. & Hildebrandt, T., 11 aug. 2016, I: I E E E Computer Security Foundations Symposium. Proceedings. s. 120-134 15 s.

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

  Åben adgang

  Fil

  • Proactive Prevention 100%
  • Response States 100%
  • Policy Language 100%
  • State Response 100%
  • Language Policy 100%

• Invitation to algorithmic uses of inclusion–exclusion

  Husfeldt, T., 2011, I: Lecture Notes in Computer Science. II, s. 42-59 17 s.

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

  • Inclusion-exclusion Principle 100%

• IT Portfolio management as a framework for managing Technical Debt: Theoretical framework applied on a case study

  Nielsen, M. E. & Skaarup, S., 2021, I: ICEGOV 2021: Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance. 12 s.

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

  Åben adgang

  Fil

• Know Your Limits: Uncertainty Estimation with ReLU Classifiers Fails at Reliable OOD Detection

  Ulmer, D. T. & Cinà, G., 2021, I: Proceedings of Machine Learning Research. 161, s. 1766-1776

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

  • Uncertainty Estimation 100%
  • Out-of-distribution Detection 100%
  • Data Point 100%
  • Synthetic Data 100%
  • Training Data 100%

• Laevo: A Temporal Desktop Interface for Integrated Knowledge Work

  Jeuris, S., Houben, S. & Bardram, J., 2014, I: UIST: User Interface Software and Technology. s. 679-688 10 s.

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

  • Knowledge Work 100%
  • Desktop Interface 100%
  • Knowledge Integration 100%
  • Knowledge Worker 100%
  • And-States 100%

• Language-Independent Traceability with Lässig

  Pfeiffer, R.-H., Reimann, J. & Wasowski, A., 2014, I: Lecture Notes in Computer Science. 8569, s. 148-163

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

• Leveraging the Exact Likelihood of Deep Latent Variable Models

  Mattei, P.-A. & Frellsen, J., 2018, I: Advances in Neural Information Processing Systems. 31, s. 3859-3870

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

  Åben adgang

  Fil

• Lexicographic Path Induction

  Schürmann, C. & Sarnat, J., 2009, I: Lecture Notes in Computer Science. s. 279 293 s.

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

• Linearly-used Continuations in the Enriched Effect Calculus

  Egger, J., Møgelberg, R. E. & Simpson, A., 20 mar. 2010, I: Lecture Notes in Computer Science. 6014, s. 18-32

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

• Managing complexity in process digitalisation with dynamic condition response graphs

  Hildebrandt, T., Debois, S., Slaats, T. & Marquard, M., 2017, I: CEUR Workshop Proceedings. 1898, 8 s.

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

  Åben adgang

  Fil

  • Dynamic Condition Response Graphs 100%
  • Process Digitalization 100%
  • Business Digitalization 100%
  • Managing Complexity 100%
  • Digitalization 100%

• Mario Plays on a Manifold: Generating Functional Content in Latent Space through Differential Geometry

  Duque, M. G., Berg Palm, R., Hauberg, S. & Risi, S., 2022, I: Proceedings of the 2022 IEEE Conference on Games (CoG).

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

  • Latent Space 100%
  • Differential Geometry 100%
  • Generating Functional 100%
  • Functional Content 100%
  • End User 100%

• Merging Multiparty Protocols in Multiparty Choreographies

  Carbone, M. & Montesi, F., 2012, I: Electronic Proceedings of Theoretical Computer Science. EPTCS. 5, s. 28-33

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

• Model Construction with External Constraints: An interactive Journey from Semantics to Syntax

  Janota, M., Kuzina, V. & Wasowski, A., 2008, I: Lecture Notes in Computer Science. s. 431-445

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

• Modernizing the Danish democratic process

  Schürmann, C., okt. 2011, I: Association for Computing Machinery. Communications. 2011, 10, s. 27-29

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Formidling

  • Denmark 100%
  • Democratic Process 100%
  • Electronic Election 100%
  • Socio-technical 100%
  • Technological Challenges 100%

• Monitoring in a High-Arctic Environment: Some Lessons from MANA

  Chang, M. & Bonnet, P., dec. 2010, I: I E E E Pervasive Computing. 9, 4

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

• Moody Music Generator: Characterising Control Parameters Using Crowdsourcing.

  Scirea, M., Togelius, J. & Nelson, M., 2015, I: Lecture Notes in Computer Science. 9027, s. 200-211

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

  Åben adgang

  Fil

  • Crowdsourcing 100%
  • Music Generator 100%
  • Control Parameters 100%
  • Arousal 100%
  • Control Parameter 100%

• Mote-based Anomaly Detection using Echo State Networks

  Bonnet, P., Terzis, A. & Chang, M., 2009, I: Lecture Notes in Computer Science.

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

• Nested Dynamic Condition Response Graphs

  Hildebrandt, T., Mukkamala, R. R. & Slaats, T., 2012, I: Lecture Notes in Computer Science. 7141, s. 343-350 8 s.

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

  Åben adgang

  Fil

  • Workflow Management System 100%
  • Automaton 100%
  • Case Study 100%
  • Process Model 100%
  • Case Management System 100%

• New Results on Timed Specifications

  Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. M. & Wasowski, A., 2012, I: Lecture Notes in Computer Science. 7137, s. 175 192 s.

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

• On Instance-Optimal Algorithms for a Generalization of Nuts and Bolts and Generalized Sorting

  Jacob, R. & Goswami, M., aug. 2024, I: Leibniz International Proceedings in Informatics (LIPIcs). 317, s. 1-23 23 s.

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

  Åben adgang

  • Optimal Algorithm 100%
  • Instance Optimal 100%
  • Optimality 100%
  • Competitive Ratio 100%
  • Cost Function 100%

• On Parallelizing Matrix Multiplication by the Column-Row Method

  Campagna, A., Kutzkov, K. & Pagh, R., 2013, I: Siam Society. Journal.

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

• On the Construction of Sorted Reactive Systems

  Birkedal, L., Debois, S. & Hildebrandt, T., 2008, I: Lecture Notes in Computer Science. 5201, s. 218-232 15 s.

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

  Fil

• PAPR: Publicly Auditable Privacy Revocation for Anonymous Credentials

  Gentile, L., David, B., Brorsson, J., Stankovski Wagner, P. & Pagnin, E., 2023, I: CT-RSA 2023 The Cryptographers' Track at RSA Conference.

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

  Åben adgang

  • Revocation 100%
  • Anonymous Credentials 100%
  • Publicly Auditable 100%
  • Anonymous Credential 100%
  • provably secure 25%

• Participatory Infrastructuring of Community Energy

  Capaccioli, A., Poderi, G., Bettega, M. & D'Andrea, V., 2016, I: PDC '16. 2, s. 9-12 4 s.

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

  Åben adgang

  Fil

  • Renewable Energy 100%
  • Infrastructuring 100%
  • Community Energy 100%
  • Energy Engineering 100%
  • Participatory Design 100%

• Physical Neural Cellular Automata for 2D Shape Classification

  Walker, K. E., Berg Palm, R., Garcia, R. M., Faina, A., Støy, K. & Risi, S., 2022, I: IROS 2022. 7 s.

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

  Åben adgang

  Fil

  • Neural Cellular Automata 100%
  • Robotic System 100%
  • Cellular Automata 100%
  • Recent Advances 50%
  • Reconfiguration 50%

• Playing Attack and Defense with Trusted Storage

  Gonzalez, J., Bonnet, P. & Bouganim, L., 2014, I: ITUs skriftserie. 8 s.

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

  Fil

  • Attack Defense 100%
  • Security Device 100%
  • Trusted Storage 100%
  • Computing Devices 100%
  • Computing Device 100%

• Position: Key Claims in LLM Research Have a Long Tail of Footnotes

  Rogers, A. & Luccioni, A. S., 2024, I: Proceedings of the 41st International Conference on Machine Learning. 235, s. 42647-42665

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

  Åben adgang

  • Footnotes 100%
  • Large Language Models 100%
  • Model Research 100%
  • Long Tail 100%
  • Discourse 100%

• Practical Programming with Higher-Order Encodings and Dependent Types

  Poswolsky, A. & Schürmann, C., 2008, I: Lecture Notes in Computer Science. s. 93-107

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

• Profiling and Monitoring Deep Learning Training Tasks

  Yousefzadeh-Asl-Miandoab, E., Robroek, T. T. & Tözün, P., 2023, I: EuroMLSys '23. s. 18–25

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

  Åben adgang

  • Training Tasks 100%
  • Deep Learning Training 100%
  • Graphics Processing Unit 100%
  • Deep Learning Method 100%
  • Coprocessor 50%

• Programming language concepts for software developers. White paper for SIGPLAN workshop on programming language curriculum, Harvard University, May 29-30 2008.

  Sestoft, P., 2008, I: A C M / S I G P L A N Notices. 11, s. 119-123

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

• Progress as Compositional Lock-Freedom

  Carbone, M., Dardha, O. & Montesi, F., 2014, I: Lecture Notes in Computer Science. s. 49-64 15 s.

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

  • Lock-freedom 100%
  • Catalyser 100%
  • Execution Context 100%
  • Session-based 66%
  • Session Types 33%

• Pulling back information geometry

  Arvanitidis, G., Duque, M. G., Pouplin, A., Kalatzis, D. & Hauberg, S., 2022, I: Proceedings of the 25th International Conference on Artificial Intelligence and Statistics (AISTATS) 2022. 151, s. 4872 4894 s.

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

  Åben adgang

  • Wide Range 100%
  • Gaussian Distribution 100%
  • Black Box 100%
  • Information Geometry 100%
  • Reparametrization 100%

• Quantifying Information Leakage of Randomized Protocols

  Biondi, F., Wasowski, A., Legay, A. & Malacaria, P., 20 jan. 2013, I: Lecture Notes in Computer Science. 7737, s. 68-87 20 s.

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

  Åben adgang

  Fil

  • Randomized Protocol 100%
  • Information Leakage 100%
  • Markov Process 100%
  • Lattices 100%
  • Channel Capacity 100%

• Really Simple Mash-Ups

  Dittrich, Y., Madsen, P. & Rasmussen, R., 2011, I: Lecture Notes in Computer Science. 6654, s. 227-232 6 s.

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

• ReGraDa: Reactive graph data

  Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, T. T., Norman, H. & Slaats, T., 2021, I: Lecture notes in computer science. 12717, s. 188-205 18 s.

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

  Åben adgang

• Safer Reinforcement Learning through Transferable Instinct Networks

  Grbic, D. & Risi, S., 19 jul. 2021, I: Artificial Life Conference Proceedings . 2021, 10 s.

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

  Fil

  • Instinct 100%
  • Safe Reinforcement Learning 100%
  • Reinforcement Learning 100%
  • Safety-critical 33%
  • Multi-task 33%

• Satellite Image Search in AgoraEO

  Aksoy, A. K., Dushev, P., Zacharatou, E. T., Hemsen, H., Charfuelan, M., Quiane-Ruiz , J.-A., Demir, B. & Markl, V., 2022, I: Proceedings of the VLDB Endowment. 15, s. 3646-3649 4 s.

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

  Åben adgang

• Scalable Performance of FCbO Algorithm on Museum Data

  Wray, T., Outrata, J. & Eklund, P., 15 jul. 2016, I: CEUR Workshop Proceedings. 1624, s. 363-376 14 s.

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

  Åben adgang

  Fil

  • Scalable Performance 100%
  • Interaction Approach 100%
  • Formal Concept 100%
  • Museum Data 100%
  • Museum 33%