Publications

Overview of publications written by staff at DTU Compute

In addition to this publication list, please use the search facilities in DTU Orbit for articles and reports of employees at DTU Compute. You will find full-texts of articles in accordance with the applicable copyright policies.

rss feed

Sort:
Year
  • Peer reviewed
  • First author
  • Title
  • Year
ALL ARTICLE (3318) DISSERTATION (367) BOOK (269) CONF (2571) REPORT (181) MISC (47) PATENT (27) PEER REV (6128)
2024
  PDF

Adaptive Out-Orientations with Applications

Chekuri, Chandra ; Christiansen, Aleksander Bjørn ; Holm, Jacob ; van der Hoog, Ivor ; Quanrud, Kent ; Rotenberg, Eva ; Schwiegelshohn, Chris
part of: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages: 3062-3088, 2024
Presented at: 2024 Annual ACM-SIAM Symposium on Discrete Algorithms

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1137/1.9781611977912.110

  PDF

A Decision Procedure for Alpha-Beta Privacy for a Bounded Number of Transitions

Fernet, Laouen Pablo Killian ; Mödersheim, Sebastian Alexander ; Viganò, Luca
part of: Proceedings of the 37th IEEE Computer Security Foundations Symposium (CSF 2024), 2024
Presented at: 2024 IEEE 37th Computer Security Foundations Symposium

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    Year: 2024

  PDF

A High-Order Finite Difference Incompressible Navier-Stokes model for Water Waves and Wave-Structure Interaction

Engsig-Karup, Allan Peter ; Melander, Anders Dalsgaard
part of: Proceedings of the 39th International Workshop on Water Waves and Floating Bodies, 2024
Presented at: The 39th International Workshop on Water Waves and Floating Bodies

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024

  PDF

A high-order shifted boundary method for water waves and floating bodies

Visbech, Jens ; Engsig-Karup, Allan P. ; Bingham, Harry B. ; Amini-Afshar, Mostafa ; Ricchiuto, Mario
part of: Proceedings of 39th International Workshop on Water Waves and Floating Bodies, 2024
Presented at: The 39th International Workshop on Water Waves and Floating Bodies

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024

  PDF

Aligning Optimization Trajectories with Diffusion Models for Constrained Design Generation

Giannone, Giorgio ; Srivastava, Akash ; Winther, Ole ; Ahmed, Faez
part of: Proceedings of the 37th Conference on Neural Information Processing Systems, 2024
Presented at: 37th Conference on Neural Information Processing Systems

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    Year: 2024

  PDF

A Self-Organizing Clustering System for Unsupervised Distribution Shift Detection

Basterrech, Sebastián ; Clemmensen, Line ; Rubino, Gerardo
part of: Proceedings of the 2024 IEEE International Joint Conference of Neural Networks, 2024
Presented at: 2024 IEEE International Joint Conference on Neural Networks

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    Year: 2024

 

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements

Broccia, Giovanna ; ter Beek, Maurice H. ; Lluch Lafuente, Alberto ; Spoletini, Paola ; Ferrari, Alessio
part of: Proceedings of the 30th International Working Conference on Requirements Engineering: Foundation for Software Quality, pages: 39-56, 2024
Presented at: 30th International Working Conference on Requirements Engineering: Foundation for Software Quality

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-3-031-57327-9_3

  PDF

Attestation with Constrained Relying Party

Moustafa., Mariam ; Niemi., Arto ; Ginzboorg., Philip ; Ekberg., Jan-Erik
part of: Proceedings of the 10th International Conference on Information Systems Security and Privacy - ICISSP, pages: 701-708, 2024
Presented at: 10th International Conference on Information Systems Security and Privacy

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.5220/0012319300003648

  PDF

Bayesian Metric Learning for Uncertainty Quantification in Image Retrieval

Warburg, Frederik ; Miani, Marco ; Brack, Silas ; Hauberg, Søren
part of: Proceedings of the 37th Conference on Neural Information Processing Systems, 2024
Presented at: 37th Conference on Neural Information Processing Systems

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    Year: 2024

  PDF

Beyond Accuracy: Fairness, Scalability, and Uncertainty Considerations in Facial Emotion Recognition

Fromberg, Laurits ; Nielsen, Troels ; Frumosu, Flavia Dalia ; Clemmensen, Line Katrine Harder
part of: Proceedings of the 5th Northern Lights Deep Learning Conference (NLDL), pages: 67-74, 2024
Presented at: 5th Northern Lights Deep Learning Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024

 

CNN-LSTM: A Deep Learning Model to Detect Botnet Attacks in Internet of Things

Kunndra, Chetanya ; Choudhary, Arjun ; Mathur, Prashant ; Pareek, Kapil ; Choudhary, Gaurav
part of: Proceedings of the International Conference on Cryptology & Network Security with Machine Learning 2022, pages: 353-365, 2023
Presented at: International Conference on Cryptology & Network Security with Machine Learning 2022

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-981-99-2229-1_29

  PDF

Continuous-Time Graph Representation with Sequential Survival Process

Çelikkanat, Abdulkadir ; Nakis, Nikolaos ; Mørup, Morten
part of: Proceedings of the 38th AAAI Conference on Artificial Intelligence, pages: 11177-11185, 2024
Presented at: 38th AAAI Conference on Artificial Intelligence

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1609/aaai.v38i10.28995

  PDF

Data-driven Multi-Fidelity Modelling for Time-dependent Partial Differential Equations using Convolutional Neural Networks

Petersen, Freja T, ; Engsig-Karup, Allan P.
part of: Proceedings of the ICLR 2024 Workshop on AI4DifferentialEquations in Science, 2024
Presented at: ICLR 2024 Workshop on AI4DifferentialEquations in Science

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    Year: 2024

 

Delay-masquerading Technique Upheld StrongBox

Wu, Jiaxuan ; Zeng, Shuoqiang ; Chiu, Wei-Yang ; Liu, Peichen ; Meng, Weizhi ; Kidmose, Brooke Elizabeth
part of: Proceedings of the 2023 IEEE 29th International Conference on Parallel and Distributed Systems (ICPADS), pages: 2135-2142, 2024
Presented at: 2023 IEEE 29th International Conference on Parallel and Distributed Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1109/ICPADS60453.2023.00289

  PDF

Detection of Mobile LoRa Jammers

Bleszynski, Bartlomiej Jozef ; Orfanidis, Charalampos ; Fafoutis, Xenofon
part of: Proceedings of the IEEE Virtual Conference on Communications 2023 , pages: 288-293, 2024
Presented at: IEEE Virtual Conference on Communications 2023

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1109/VCC60689.2023.10474753

  PDF

Differentially private approximate pattern matching

Steiner, Teresa Anna
part of: Proceedings of the 15th Innovations in Theoretical Computer Science Conference (ITCS 2024) , pages: 18, 2024
Presented at: 15th Innovations in Theoretical Computer Science Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.4230/LIPIcs.ITCS.2024.94

  PDF

Electrochemical Performance of Dual-layer Carbon Electrodes for Aqueous Redox Flow Batteries

Liu, Baichen ; De Angelis, Salvatore ; Dahl, Vedrana Andersen ; Simonsen, Søren Bredmose ; Hjelm, Johan
part of: Energy Proceedings, 2024
Presented at: 15th International Conference on Applied Energy

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.46855/energy-proceedings-10983

 

FMC-CEE: A Collaborative Execution Environment with Flash Memory Controllers in IoT

Zhang, Zheng ; Xue, Jingfeng ; Baker, Thar ; Chen, Tian ; Zhao, Yuhang ; Meng, Weizhi
part of: Proceedings of the 2024 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops), pages: 88-93, 2024
Presented at: 2024 IEEE International Conference on Pervasive Computing and Communications Workshops

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1109/PerComWorkshops59983.2024.10502685

 

Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic

From, Asta Halkjær
part of: Selected Reflections in Language, Logic, and Information. ESSLLI 2019. , pages: 80-92, 2024
Presented at: 2019 European Summer School in Logic, Language and Information

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-3-031-50628-4_5

  PDF

Foundations of Reactive Synthesis for Declarative Process Specifications

Geatti, Luca ; Montali, Marco ; Rivkin, Andrey
part of: Proceedings of the 38th AAAI Conference on Artificial Intelligence, pages: 17416-17425, 2024
Presented at: 38th AAAI Conference on Artificial Intelligence

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1609/aaai.v38i16.29690

  PDF

Gapped String Indexing in Subquadratic Space and Sublinear Query Time

Bille, Philip ; Gørtz, Inge Li ; Lewenstein, Moshe ; Pissis, Solon P. ; Rotenberg, Eva ; Steiner, Teresa Anna
part of: Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), pages: 16:1-16:21, 2024
Presented at: 41st International Symposium on Theoretical Aspects of Computer Science

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.4230/LIPIcs.STACS.2024.16

  PDF

GAST: Geometry-Aware Structure Transformer

Khomiakov, Maxim ; Andersen, Michael Riis ; Frellsen, Jes
part of: Proceedings of 2024 IEEE/CVF Winter Conference on Applications of Computer Vision, pages: 776-784, 2024
Presented at: 2024 IEEE/CVF Winter Conference on Applications of Computer Vision

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1109/WACVW60836.2024.00089

 

Generating Event Logs from Hybrid Process Models

Alman, Anti ; Maggi, Fabrizio Maria ; Montali, Marco ; Rivkin, Andrey
part of: Business Process Management Workshops - BPM 2023 International Workshops, pages: 289-301, 2024
Presented at: International Workshops held at the 21st International Conference on Business Process Management

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-3-031-50974-2_22

  PDF

Hubness Reduction Improves Sentence-BERT Semantic Spaces

Nielsen, Beatrix M.G. ; Hansen, Lars Kai
part of: Proceedings of the 5th Northern Lights Deep Learning Conference (NLDL), pages: 181-204, 2024
Presented at: 5th Northern Lights Deep Learning Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024

 

Identifying Variation in Personal Daily Routine Through Process Mining: A Case Study

Di Federico, Gemma ; Fernandez-Llatas, Carlos ; Ahmadi, Zahra ; Shirali, Mohsen ; Burattin, Andrea
part of: Proceedings of the 5th International Conference on Process Mining (ICPM 2023), pages: 23–234, 2024
Presented at: 5th International Conference on Process Mining

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-3-031-56107-8_17

 

Influence of the Printing Direction on the Surface Appearance in Multi-material Fused Filament Fabrication

Tonello, Riccardo ; Mollah, Md Tusher ; Weiss, Kenneth ; Spangenberg, Jon ; Strandlie, Are ; Pedersen, David Bue ; Frisvad, Jeppe Revall
part of: Computer-Aided Design and Computer Graphics, pages: 90-107, 2024
Presented at: 18th International Conference on Computer-Aided Design and Computer Graphics

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-981-99-9666-7_7

 

I-PALIA: Discovering BPMN Processes with Duplicated Activities for Healthcare Domains

Fernandez-Llatas, Carlos ; Burattin, Andrea
part of: Proceedings of the 5th International Conference on Process Mining (ICPM 2023), pages: 247–258, 2024
Presented at: 5th International Conference on Process Mining

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-3-031-56107-8_19

 

Learning by Intervention in Simple Causal Domains

Thoft, Katrine Bjørn Pedersen ; Gierasimczuk, Nina
part of: Proceedings of the 5th International Workshop of Dynamic Logic. New Trends and Applications, pages: 104-118, 2024
Presented at: Dynamic Logic. New Trends and Applications 2023

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-3-031-51777-8_7

  PDF

Learning to Taste

Bender, Thoranna ; Søresen, Simon Moe ; Kashani, Alireza ; Hjorleifsson, K. Eldjarn ; Hyldig, Grethe ; Hauberg, Søren ; Belongie, Serge ; Warburg, Frederik
part of: Proceedings of the 37th Conference on Neural Information Processing Systems (NeurIPS 2023)., 2024
Presented at: 37th Conference on Neural Information Processing Systems

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    Year: 2024

 

LLMs and Process Mining: Challenges in RPA

Sani, Mohammadreza Fani ; Sroka, Michal ; Burattin, Andrea
part of: Proceedings of the 5th International Conference on Process Mining (ICPM 2023), pages: 79–391, 2024
Presented at: 5th International Conference on Process Mining

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-3-031-56107-8_29

  PDF

Neural machine translation for automated feedback on children’s early-stage writing

Jensen, Jonas Vestergaard ; Jordahn, Mikkel ; Andersen, Michael Riis
part of: Proceedings of the 5th Northern Lights Deep Learning Conference, pages: 104-112, 2024
Presented at: 5th Northern Lights Deep Learning Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024

 

NORMalize: A Tutorial on the Normative Design and Evaluation of Information Access Systems

Kruse, Johannes ; Michiels, Lien ; Starke, Alain ; Tintarev, Nava ; Vrijenhoek, Sanne
part of: Proceedings of the 2024 Conference on Human Information Interaction and Retrieval (CHIIR ’24), pages: 422–424, 2024
Presented at: 2024 Conference on Human Information Interaction and Retrieval

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1145/3627508.3638319

  PDF

On Masked Pre-training and the Marginal Likelihood

Moreno-Muñoz, Pablo ; Recasens, Pol G. ; Hauberg, Søren
part of: Proceedings of the 37th Conference on Neural Information Processing Systems, 2024
Presented at: 37th Conference on Neural Information Processing Systems

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    Year: 2024

  PDF

Pantypes: Diverse Representatives for Self-Explainable Models

Kjærsgaard, Rune ; Boubekki, Ahcène ; Clemmensen, Line
part of: Proceedings of the 38th AAAI Conference on Artificial Intelligence, pages: 13230-13237, 2024
Presented at: 38th AAAI Conference on Artificial Intelligence

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1609/aaai.v38i12.29223

  PDF

Pareto-Optimal Trace Generation from Declarative Process Models

Diaz, Juan F. ; López-Acosta, Hugo-Andrés ; Quesada, Luis ; Rosero, Juan C.
part of: Proceedings of the 11th International Workshop on DEClarative, DECision and Hybrid approaches to processes (DEC2H 2023), pages: 314-325, 2024
Presented at: 11th International Workshop on DEClarative, DECision and Hybrid approaches to processes

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-3-031-50974-2_24

 

Problems in Video Conferencing-Mediated Teaching: Experiences of Three User Roles of a University in Bangladesh

Mansoor, Nafees ; Rozario, Anatte ; Kibria, Muhammad Golam ; Khalid, Md Saifuddin
part of: Proceedings of the 2024 International Conference on Advances in Computing, Communication, Electrical, and Smart Systems (iCACCESS), 2024
Presented at: 2024 International Conference on Advances in Computing, Communication, Electrical, and Smart Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1109/iCACCESS61735.2024.10499575

 

Prototyping an Adaptive Learning Platform's Learning Analytic Dashboards on Behavioral Data to Support Teachers' Pedagogical Actions

Tretow-Fish, Tobias Alexander Bang ; Andersen, Jesper Fink ; Khalid, Md Saifuddin
part of: Proceedings of the 2024 International Conference on Advances in Computing, Communication, Electrical, and Smart Systems (iCACCESS), 2024
Presented at: 2024 International Conference on Advances in Computing, Communication, Electrical, and Smart Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1109/iCACCESS61735.2024.10499493

  PDF

Riemannian Laplace approximations for Bayesian neural networks

Bergamin, Federico ; Moreno-Muñoz, Pablo ; Hauberg, Søren ; Arvanitidis, Georgios
part of: Proceedings of the 37th Conference on Neural Information Processing Systems, 2024
Presented at: 37th Conference on Neural Information Processing Systems

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    Year: 2024

 

Securing 5G Positioning via Zero Trust Architecture

Adam, Razy Youhana ; Meng, Weizhi
part of: Proceedings of the First International Conference on Artificial Intelligence Security and Privacy, pages: 563-578, 2024
Presented at: First International Conference on Artificial Intelligence Security and Privacy

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-981-99-9785-5_39

 

Simple and Robust Dynamic Two-Dimensional Convex Hull

Gæde, Emil Toftegaard ; Gørtz, Inge Li ; Van Der Hoog, Ivor ; Krogh, Christoffer ; Rotenberg, Eva
part of: Proceedings of 2024 SIAM Symposium on Algorithm Engineering and Experiments, pages: 144-156, 2024
Presented at: 2024 SIAM Symposium on Algorithm Engineering and Experiments

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024

 

Sparse Regular Expression Matching

Bille, Philip ; Gørtz, Inge Li
part of: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages: 3354-3375, 2024
Presented at: 2024 Annual ACM-SIAM Symposium on Discrete Algorithms

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1137/1.9781611977912.120

 

SVM-RF: A Hybrid Machine Learning Model for Detection of Malicious Network Traffic and Files

Mathur, Prashant ; Choudhary, Arjun ; Kunndra, Chetanya ; Pareek, Kapil ; Choudhary, Gaurav
part of: Proceedings of the International Conference on Cryptology & Network Security with Machine Learning 2022, pages: 29-40, 2023
Presented at: International Conference on Cryptology & Network Security with Machine Learning 2022

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-981-99-2229-1_3

  PDF

Synchronized ESP-NOW for Improved Energy Efficiency

Magzym, Yermakhan ; Eduard, Aida ; Urazayev, Dnislam ; Fafoutis, Xenofon ; Zorbas, Dimitrios
part of: Proceedings of the 11th IEEE International Black Sea Conference on Communications and Networking, 2024
Presented at: 11th IEEE International Black Sea Conference on Communications and Networking

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    Year: 2024

 

The 0'th PEPM Event: October 1987-And Andrei Petrovich Ershov: 1977-1988 (Invited Contribution)

Bjørner, Dines
part of: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, pages: 53-56, 2024
Presented at: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 2024

Type: Article in proceedings

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1145/3635800.3637448

 

Tiramisù: A Recipe for Visual Sensemaking of Multi-faceted Process Information

Alman, Anti ; Arleo, Alessio ; Beerepoot, Iris ; Burattin, Andrea ; Di Ciccio, Claudio ; Resinas, Manuel
part of: Proceedings of the 5th International Conference on Process Mining (ICPM 2023), pages: 9–31, 2024
Presented at: 5th International Conference on Process Mining

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-3-031-56107-8_2

  PDF

Towards a tailored mixed-precision sub-8-bit quantization scheme for Gated Recurrent Units using Genetic Algorithms

Miccini, Riccardo ; Cerioli, Alessandro ; Laroche, Clément ; Piechowiak, Tobias ; Sparsø, Jens ; Pezzarossa, Luca
part of: Proceedings of tinyML Research Symposium'24, 2024
Presented at: tinyML Research Symposium'24

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    Year: 2024

  PDF

Towards identifying neglected, obsolete, and abandoned IoT and OT devices

Yaben , Ricardo ; Lundsgaard, Niels ; August, Jacob ; Vasilomanolakis, Emmanouil
part of: Proceedings of the 8th Network Traffic Measurement and Analysis Conference (TMA Conference 2024), 2024
Presented at: 8th Network Traffic Measurement and Analysis Conference

Type: Article in proceedings (Peer reviewed)

Status: Accepted/In press     |    Year: 2024

  PDF

Triangulations Admit Dominating Sets of Size 2n/7

Christiansen, Aleksander B.G. ; Rotenberg, Eva ; Rutschmann, Daniel
part of: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages: 1194-1240, 2024
Presented at: 2024 Annual ACM-SIAM Symposium on Discrete Algorithms

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1137/1.9781611977912.47

  PDF

Tunable Floating Point for High Quality Audio Systems: The Sound of Numbers

Cardarilli, G. C. ; Di Nunzio, L. ; Fazzolari, R. ; La Cesa, R. ; Nannarelli, Alberto ; Re, Marco
part of: Proceedings of 57th Annual Asilomar Conference on Signals, Systems, and Computers, pages: 1547-1551, 2024
Presented at: 57th Annual Asilomar Conference on Signals, Systems, and Computers 

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1109/IEEECONF59524.2023.10476741

 

Typed Petri Nets with Variable Arc Weights

Lomazova, Irina A. ; Mitsyuk, Alexey A. ; Rivkin, Andrey
part of: Business Process Management Workshops - BPM 2023 International Workshops, pages: 483-495, 2024
Presented at: International Workshops held at the 21st International Conference on Business Process Management

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-3-031-50974-2_36

  PDF

Viola

Di Federico, Gemma ; Meroni, Giovanni ; Burattin, Andrea
part of: Business Process Management Workshops - BPM 2023 International Workshops, pages: 118-130, 2024
Presented at: International Workshops held at the 21st International Conference on Business Process Management

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2024     |    DOI: https://doi.org/10.1007/978-3-031-50974-2_10

2023
 

3-Objective Pareto Optimization for Problems with Chance Constraints

Neumann, Frank ; Witt, Carsten
part of: Proceedings of the 2023 Genetic and Evolutionary Computation Conference (GECCO), pages: 731-739, 2023
Presented at: 2023 Genetic and Evolutionary Computation Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1145/3583131.3590392

 

A Calculus for Amortized Expected Runtimes

Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter ; Matheja, Christoph ; Verscht, Lena
part of: Proceedings of the ACM on Programming Languages, 2023
Presented at: 50th ACM SIGPLAN Symposium on Principles of Programming Languages

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1145/3571260

 

Accomplishing More With Less

Li, Ziru ; Vu, Simon Nam Thanh ; Dragoni, Nicola ; Doherty, Kevin
part of: Proceeding of Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing, 2023
Presented at: 2023 CHI Conference on Human Factors in Computing Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1145/3544549.3585597

 

Accurate and flexible personalized head modeling and its validation using MR current density imaging

Thielscher, Axel ; Puonti, Oula ; Gregersen, Frodi ; Madsen, Kristoffer ; Hanson, Lars
in: Brain Stimulation, vol: 16, pages: 148-149
Presented at: 5th International Brain Stimulation Conference

Type: Conference abstract in journal (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1016/j.brs.2023.01.105

 

A Characterisation of Ambiguity in BPM

Franceschetti, Marco ; Seiger, Ronny ; López-Acosta, Hugo-Andrés ; Burattin, Andrea ; Garcia-Banuelos, Luciano ; Weber, Barbara
part of: Proceedings of the 42nd International Conference on Conceptual Modeling (ER), pages: 277–295, 2023
Presented at: 42th International Conference on Conceptual Modeling

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-47262-6_15

 

A Closer Look at Cross-Domain Maximal Extractable Value for Blockchain Decentralisation

Sjursen, Johan Hagelskjar ; Meng, Weizhi ; Chiu, Wei-Yang
part of: Proceedings of the 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2023
Presented at: 2023 IEEE International Conference on Blockchain and Cryptocurrency

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1109/ICBC56567.2023.10174971

 

A Continual Learning System with Self Domain Shift Adaptation for Fake News Detection

Basterrech, Sebastian ; Kasprzak, Andrzej ; Platos, Jan ; Wozniak, Michal
part of: Proceedings of the 2023 IEEE 10th International Conference on Data Science and Advanced Analytics (DSAA), 2023
Presented at: 2023 IEEE 10th International Conference on Data Science and Advanced Analytics

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1109/DSAA60987.2023.10302539

 

Active learning of causal probability trees

Herlau, Tue
part of: Proceedings of 2022 21st IEEE International Conference on Machine Learning and Applications (ICMLA), pages: 1196-1202, 2023
Presented at: 2022 IEEE 21st International Conference on Machine Learning and Applications

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1109/ICMLA55696.2022.00193

  PDF

Adaptive Cholesky Gaussian Processes

Bartels, Simon ; Stensbo-Smidt, Kristoffer ; Moreno-Munoz, Pablo ; Boomsma, Wouter ; Frellsen, Jes ; Hauberg, Søren
part of: Proceedings of the 26th International Conference on Artificial Intelligence and Statistics, pages: 408-452, 2023
Presented at: 26th International Conference on Artificial Intelligence and Statistics

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023

 

AdaSub: Stochastic Optimization Using Second-Order Information in Low-Dimensional Subspaces

Da Mata, Joao Victor Galvao ; Andersen, Martin S.
part of: Proceedings of the 2023 IEEE 10th International Conference on Data Science and Advanced Analytics (DSAA), 2023
Presented at: 2023 IEEE 10th International Conference on Data Science and Advanced Analytics

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1109/DSAA60987.2023.10302473

  PDF

Aesop: White-Box Best-First Proof Search for Lean

Limperg, Jannis ; From, Asta Halkjær
part of: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, pages: 253-266, 2023
Presented at: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1145/3573105.3575671

 

A Formulation of Classical Higher-Order Logic in Isabelle/Pure

Villadsen, Jørgen
part of: Proceedings of Logic & Artificial Intelligence, pages: 223-238, 2023
Presented at: Logic and Artificial Intelligence 2022

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023

 

A High-order Spectral Element based Time-Domain Simulation of a Model-Scale Floating Offshore Wind Turbine

Visbech, Jens ; Bingham, Harry B. ; Eskilsson, Claes ; Palm, Johannes ; Engsig-Karup, Allan P.
part of: Proceedings of the 33rd (2023) International Ocean and Polar Engineering Conference, pages: 279-279, 2023
Presented at: 33rd International Ocean and Polar Engineering Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023

 

A Hybrid Mechanism for Advance IoT Malware Detection

Khan, Aijaz ; Choudhary, Gaurav ; Shandilya, Shishir Kumar ; Sharma, Durgesh M. ; Sharma, Ashish K.
part of: Proceedings of the International Conference on IoT, Intelligent Computing and Security, pages: 247-259, 2023
Presented at: International Conference on, Intelligent computing and Security 2021

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-981-19-8136-4_21

 

AI-Based Detection of Droplets and Bubbles in Digital Microfluidic Biochips

Xu, Jianan ; Fan, Wenjie ; Madsen, Jan ; Tanev, Georgi Plamenov ; Pezzarossa, Luca
part of: Proceedings of the 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023
Presented at: 2023 Design, Automation and Test in Europe Conference and Exhibition

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.23919/DATE56975.2023.10136887

  PDF

Alignment of Wikidata lexemes and Det Centrale Ordregister

Nielsen, Finn Årup
part of: Proceedings of the 24th Nordic Conference on Computational Linguistics (NoDaLiDa), 2023
Presented at: 24th Nordic Conference on Computational Linguistics 

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023

 

A method for developing predictive models of quality metrics and gas flow variables for 316L PBF-LB/M printed components based on image analysis

Frandsen, L. N. ; Kristensen, C. K. ; Haahr-Lillevang, L. ; Klingaa, C. G. ; Mohanty, S. ; Pedersen, M. M.
part of: European Society for Precision Engineering and Nanotechnology, Conference Proceedings , pages: 115-118, 2023
Presented at: 23rd International Conference of the European Society for Precision Engineering and Nanotechnology

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023

  PDF

A Middleware for Hybrid Blockchain Applications: Towards Fast, Affordable, and Accountable Integration

Yessenbayev, Olzhas ; Comuzzi, Marco ; Meroni, Giovanni ; Nguyen, Dung Chi Duy
part of: Proceedings of 21st International Conference on Service-Oriented Computing, pages: 307–322, 2023
Presented at: 21st International Conference on Service-Oriented Computing

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-48421-6_21

 

A Min-Heap-Based Accelerator for Deterministic On-the-Fly Pruning in Neural Networks

Jelcicova, Zuzana ; Kasapaki, Evangelia ; Andersson, Oskar ; Sparsø, Jens
part of: Proceedings of the 2023 IEEE International Symposium on Circuits and Systems (ISCAS), 2023
Presented at: 2023 IEEE International Symposium on Circuits and Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1109/ISCAS46773.2023.10181440

  PDF

Amortised Analysis of Dynamic Data Structures

Rotenberg, Eva
part of: Proceedings of 40th International Symposium on Theoretical Aspects of Computer Science, 2023
Presented at: 40th International Symposium on Theoretical Aspects of Computer Science

Type: Conference abstract in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.4230/LIPIcs.STACS.2023.2

  PDF

A Naive Prover for First-Order Logic

From, Asta Halkjær ; Villadsen, Jørgen
part of: Proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, pages: 468–480, 2023
Presented at: 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-43513-3_25

 

An Algebraic Attack Against McEliece-like Cryptosystems Based on BCH codes

Elbro, Freja ; Majenz, Christian
part of: Proceedings of the 2023 IEEE Information Theory Workshop (ITW), pages: 70-75, 2023
Presented at: 2023 IEEE Information Theory Workshop

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1109/ITW55543.2023.10161620

 

An Analysis of Spatial-Spectral Dependence in Hyperspectral Autoencoders

Laprade, William Michael ; Westergaard, Jesper Cairo ; Nielsen, Jon ; Nielsen, Mads ; Dahl, Anders Bjorholm
part of: Proceedings of the 22nd Scandinavian Conference, SCIA 2023, pages: 191-202, 2023
Presented at: 22nd Scandinavian Conference on Image Analysis

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-31438-4_13

  PDF

An analysis of war impact on Ukrainian critical infrastructure through network measurements

Singla, Rishabh ; Srinivasa, Shreyas ; Reddy, Narasimha ; Pedersen, Jens Myrup ; Vasilomanolakis, Emmanouil ; Bettati, Riccardo
part of: Proceedings of Network Traffic Measurement and Analysis Conference 2023, 2023
Presented at: 7th Network Traffic Measurement and Analysis Conference 2023

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.23919/TMA58422.2023.10199005

 

An Automatic Guidance and Quality Assessment System for Doppler Imaging of Umbilical Artery

Wong, Chun Kit ; Lin, Manxi ; Raheli, Alberto ; Bashir, Zahra ; Svendsen, Morten Bo Søndergaard ; Tolsgaard, Martin Grønnebæk ; Feragen, Aasa ; Christensen, Anders Nymark
part of: Proceedings of The 4th International Workshop of Advances in Simplifying Medical UltraSound (ASMUS), pages: 13-22, 2023
Presented at: 4th International Workshop of Advances in Simplifying Medical Ultrasound

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-44521-7_2

  PDF

An Efficient Implementation for Kernel-based Regularized System Identification with Periodic Input Signals

Shen, Zhuohua ; Xu, Yu ; Andersen, Martin Skovgaard ; Chen, Tianshi
part of: Proceedings of 62nd IEEE Conference on Decision and Control, pages: 1480-1485, 2024
Presented at: 62nd IEEE Conference on Decision and Control

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1109/CDC49753.2023.10383860

 

A Newton-like Method based on Model Reduction Techniques for Implicit Numerical Methods

Ritschel, Tobias K.S.
part of: Proceedings of 2023 European Control Conference, 2023
Presented at: 2023 European Control Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.23919/ECC57647.2023.10178156

  PDF

Angular Central Gaussian and Watson Mixture Models for Assessing Dynamic Functional Brain Connectivity During a Motor Task

Olsen, Anders S. ; Ortvald, Emil ; Madsen, Kristoffer H. ; Schmidt, Mikkel N. ; Mørup, Morten
part of: Proceedings of the 2023 IEEE International Conference on Acoustics, Speech, and Signal Processing Workshops (ICASSPW), 2023
Presented at: 2023 IEEE International Conference on Acoustics, Speech, and Signal Processing Workshops

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1109/ICASSPW59220.2023.10193021

  PDF

Angular dependent reflectance spectroscopy of RGBW pigments

Pranovich, Alina ; Vazquez, Abigail Trujillo ; Nyström, Daniel ; Valyukh, Sergiy ; Frisvad, Jeppe Revall ; Klein, Susanne ; Parraman, Carinna
part of: Advances in Printing and Media Technology, pages: 19-24, 2023
Presented at: 48th International Research Conference of iarigai

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.14622/Advances_48_2022_13

 

An Interpretable and Attention-Based Method for Gaze Estimation Using Electroencephalography

Weng, Nina ; Plomecka, Martyna ; Kaufmann, Manuel ; Kastrati, Ard ; Wattenhofer, Roger ; Langer, Nicolas
part of: Proceedings of the 26th International Conference Medical Image Computing and Computer Assisted Intervention, pages: 734-743, 2023
Presented at: 26th International Conference on Medical Image Computing and Computer Assisted Intervention

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-43895-0_69

  PDF

An Open-Source Modeling Editor for Declarative Process Models

Tamo, Lucien Kiven ; Abbad-Andaloussi, Amine ; Trinh, Dung My Thi ; López-Acosta, Hugo-Andrés
part of: Proceedings of the Demonstration Track at International Conference on Cooperative Information Systems 2023, 2023
Presented at: International Conference on Cooperative Information Systems 2023

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023

  PDF

An urgent computing oriented architecture for dynamic climate risk management framework

Pour, Shahrzad ; Balouek, Daniel ; Masoumi, Amir ; Brynskov, Martin
part of: Proceedings of the IEEE/ACM 16th International Conference on Utility and Cloud Computing, 2024
Presented at: IEEE/ACM 16th International Conference on Utility and Cloud Computing

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1145/3603166.3632539

 

A one-size-fits-all artificial pancreas for people with type 1 diabetes based on physiological insight and feedback control

Ritschel, Tobias K.S. ; Reenberg, Asbjorn Thode ; Lindkvist, Emilie B. ; Laugesen, Christian ; Svensson, Jannet ; Ranjan, Ajenthen G. ; Norgaard, Kirsten ; Dammann, Bernd ; Jorgensen, John Bagterp
part of: Proceedings of 2023 European Control Conference, 2023
Presented at: 2023 European Control Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.23919/ECC57647.2023.10178186

 

Approximate Constrained Lumping of Polynomial Differential Equations

Leguizamon-Robayo, Alexander ; Jiménez-Pastor, Antonio ; Tribastone, Micro ; Tschaikowski, Max ; Vandin, Andrea
part of: Proceedings of the 21st International Conference on Computational Methods in Systems Biology, CMSB, pages: 106-123, 2023
Presented at: 21st International Conference on Computational Methods in Systems Biology

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-42697-1_8

  PDF

Approximate Selection with Unreliable Comparisons in Optimal Expected Time

Huang, Shengyu ; Liu, Chih Hung ; Rutschmann, Daniel
part of: Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023
Presented at: 40th International Symposium on Theoretical Aspects of Computer Science

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.4230/LIPIcs.STACS.2023.37

  PDF

Artifact-Driven Process Monitoring at Scale

Meroni, Giovanni ; Garda, Szabolcs
part of: Proceedings of 21st International Conference on Service-Oriented Computing, pages: 3-12, 2023
Presented at: 21st International Conference on Service-Oriented Computing

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-48424-7_1

  PDF

A sensitivity analysis on the effect of hyperparameters in deep neural operators applied to sound propagation

Borrel-Jensen, Nikolas ; Engsig-Karup, Allan Peter ; Jeong, Cheol-Ho
part of: Proceedings of 10th Convention of the European Acoustics Association, 2023
Presented at: 10th Convention of the European Acoustics Association

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023

  PDF

A Sustainable West? Analyzing Clusters of Public Opinion in Sustainability Western Discourses in a Collection of Multilingual Newspapers (1999-2018)

Fernández, Elena Fernández ; Savcisens, Germans
part of: Proceedings of Digital Humanities in the Nordic and Baltic Countries 2023. Sustainability, Environment, Community, Data., pages: 165-187, 2024
Presented at: Digital Humanities in the Nordic and Baltic Countries 2023

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.5617/dhnbpub.10660

 

Asynchronous Circuit Design in Chisel Using Phase-Decoupled Click Elements

Hesse, Kasper ; Petersen, Tjark ; Sparsø, Jens
part of: Proceedings of the 2023 26th Euromicro Conference on Digital System Design (DSD), pages: 168-175, 2024
Presented at: 26th Euromicro Conference on Digital System Design

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1109/DSD60849.2023.00033

 

A Threat and Risk Analysis of Internet Communication Technology Use

Panwar, Kanika ; Sihag, Vikar ; Choudhary, Gaurav ; Dragoni, Nicola
part of: Proceedings of the 8th International Conference on ICT for Sustainable Development, pages: 407-414, 2023
Presented at: 8th International Conference on ICT for Sustainable Development

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-981-99-5652-4_36

 

Attention! Dynamic Epistemic Logic Models of (In)attentive Agents

Belardinelli, Gaia ; Bolander, Thomas
part of: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, pages: 391-399, 2023
Presented at: 2023 International Conference on Autonomous Agents and Multiagent Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023

  PDF

Automated Compositional Verification of Interlocking Systems

Haxthausen, Anne E. ; Fantechi, Alessandro ; Gori, Gloria ; Mikkelsen, Óli Kárason ; Petersen, Sofie Amalie
part of: Proceedings of 5th International Conference Reliability, Safety, and Security of Railway Systems, pages: 146-164, 2023
Presented at: 5th International conference on Reliability, Safety and Security of Railway Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-43366-5_9

 

Automated Medical Coding on MIMIC-III and MIMIC-IV

Edin, Joakim ; Borgholt, Lasse ; Junge, Alexander ; Maistro, Maria ; Havtorn, Jakob D. ; Ruotsalo, Tuukka ; Maaløe, Lars
part of: Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval, pages: 2572-2582, 2023
Presented at: 46th International ACM SIGIR Conference on Research and Development in Information Retrieval

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1145/3539618.3591918

 

Autonomy Loops for Monitoring, Operational Data Analytics, Feedback, and Response in HPC Operations

Boito, Francieli ; Brandt, Jim ; Cardellini, Valeria ; Carns, Philip ; Ciorba, Florina M. ; Egan, Hilary ; Eleliemy, Ahmed ; Gentile, Ann ; Gruber, Thomas ; Hanson, Jeff ; Haus, Utz Uwe ; Huck, Kevin ; Ilsche, Thomas ; Jakobsche, Thomas ; Jones, Terry ; Karlsson, Sven ; Mueen, Abdullah ; Ott, Michael ; Patki, Tapasya ; Raghavan, Krishnan ; Simms, Stephen ; Shoga, Kathleen ; Showerman, Michael ; Tiwari, Devesh ; Wilde, Torsten ; Yamamoto, Keiji
part of: Proceedings of 2023 IEEE International Conference on Cluster Computing Workshops and Posters, pages: 37-43, 2023
Presented at: 25th IEEE International Conference on Cluster Computing Workshops

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1109/CLUSTERWorkshops61457.2023.00016

  PDF

Behavioral Recommender System for Process Automation Steps

Sani, Mohammadreza Fani ; Nikraftar, Fatemeh ; Sroka, Michal ; Burattin, Andrea
part of: Proceedings of the 12th International Conference on Data Science, Technology and Applications DATA, pages: 255-262, 2023
Presented at: 12th International Conference on Data Science, Technology and Applications

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.5220/0012060800003541

 

BlockPAT: A Blockchain-Enabled Second-Hand Physical Asset Tokenization Management System

Wu, Jiaxuan ; Chiu, Wei-Yang ; Meng, Weizhi ; Lampe, Brooke Elizabeth
part of: Proceedings of the 2023 IEEE 43rd International Conference on Distributed Computing Systems, pages: 1041-1042, 2023
Presented at: 2023 IEEE 43rd International Conference on Distributed Computing Systems

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1109/ICDCS57875.2023.00135

 

Broadcast-Optimal Four-Round MPC in the Plain Model

Ciampi, Michele ; Damgård, Ivan ; Ravi, Divya ; Siniscalchi, Luisa ; Xia, Yu ; Yakoubov, Sophia
part of: Proceedings of the 21st International Conference on Theory of Cryptography, pages: 3-32, 2023
Presented at: 21st International conference on Theory of Cryptography Conference

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-48618-0_1

 

Broadcast-Optimal Two Round MPC with Asynchronous Peer-to-Peer Channels

Damgård, Ivan ; Ravi, Divya ; Siniscalchi, Luisa ; Yakoubov, Sophia
part of: Proceedings of the 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, pages: 87-106, 2023
Presented at: 8th International Conference on Cryptology and Information Security in Latin America

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-44469-2_5

  PDF

C-3PA: Streaming Conformance, Confidence and Completeness in Prefix-Alignments

Raun, Kristo ; Nielsen, Max ; Burattin, Andrea ; Awad, Ahmed
part of: Proceedings of CAiSE: International Conference on Advanced Information Systems Engineering 2023, pages: 437–453, 2023
Presented at: 35th International Conference on Advanced Information Systems Engineering

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2023     |    DOI: https://doi.org/10.1007/978-3-031-34560-9_26


Show all