1 – 100 of 1716
- show: 100
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Context Committing Security of Leveled Leakage-Resilient AEAD
(
- Contribution to journal › Article
-
Mark
Assessing the risks and opportunities posed by AI-enhanced influence operations on social media
2024) In Place Branding and Public Diplomacy(
- Contribution to journal › Article
-
Mark
Sparse Spatial Shading in Augmented Reality
2024) 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications 1. p.293-299(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Property probes : Live exploration of program analysis results
(
- Contribution to journal › Article
-
Mark
CCA Security with Short AEAD Tags
(
- Contribution to journal › Article
-
Mark
A Belief Propagation Algorithm for Multipath-based SLAM with Multiple Map Features: A mmWave MIMO Application
2024)(
- Working paper/Preprint › Preprint in preprint archive
-
Mark
How does an AI diagnose dyspnoea in ED triage without human guidance?
2024) Swedish Emergency Medicine Talks - SWEETS24(
- Contribution to conference › Poster
-
Mark
Programming for Reliability and Safety in Robotics: The Role of Domain-Specific Languages : Domain Specific Programming for Safe and Reliable Robots
(
- Thesis › Licentiate thesis
-
Mark
Navigating the Upcoming European Union AI Act
(
- Contribution to journal › Article
-
Mark
Automotive fault nowcasting with machine learning and natural language processing
(
- Contribution to journal › Article
-
Mark
Understanding Fire and Rescue Service Practices Through Problems and Problem-Solving Networks : An Analysis of a Critical Incident
2024) In Fire Technology(
- Contribution to journal › Article
-
Mark
Causal discovery in a complex industrial system : A time series benchmark
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Algorithmic modeling of functionally graded metamaterials in 3D printed building envelopes
(
- Contribution to journal › Article
-
Mark
Working with AIoT Solutions in Embedded Software Applications. Recommendations, Guidelines, and Lessons Learned
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
A Simple End-to-End Computer-Aided Detection Pipeline for Trained Deep Learning Models
2024) 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14390 LNCS. p.259-262(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Spline-based methods for functional data on multivariate domains
(
- Contribution to journal › Article
-
Mark
Towards the exact complexity of realizability for Safety LTL
(
- Contribution to journal › Article
-
Mark
Artificial Intelligence, Datafication and Exploring the Minimum Content of Nationality
(
- Contribution to journal › Article
-
Mark
Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs
2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science 14742. p.310-328(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified MaxSAT Preprocessing
2024) 12th International Joint Conference, IJCAR 2024 In Lecture Notes in Computer Science 14739. p.396-418(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Key-Recovery Attack on the LCMQ Authentication Protocol
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2023
-
Mark
Find the Bad Apples: An efficient method for perfectkey recovery under imperfect SCA oracles– A case study of Kyber
(
- Contribution to journal › Article
-
Mark
On the Challenges of Software Performance Optimization with Statistical Methods
2023)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Graphs with many edge-colorings such that complete graphs are rainbow
(
- Contribution to journal › Article
-
Mark
Object Detector Differences when Using Synthetic and Real Training Data
(
- Contribution to journal › Article
-
Mark
An Iterative Ray Tracing Algorithm to Increase Simulation Speed While Maintaining Overall Precision
(
- Contribution to journal › Article
-
Mark
Elements of cognition for general intelligence
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Neos : End-to-End-Optimised Summary Statistics for High Energy Physics
2023) 20th International Workshop on Advanced Computing and Analysis Techniques in Physics Research, ACAT 2021 2438.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Testing the Error Recovery Capabilities of Robotic Speech
2023) The Imperfectly Relatable Robot, HRI'23(
- Contribution to conference › Abstract
-
Mark
Performance Analysis with Bayesian Inference
2023) The 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A side-channel attack on a masked and shuffled software implementation of Saber
(
- Contribution to journal › Article
-
Mark
Fundamental energy cost of finite-time parallelizable computing
(
- Contribution to journal › Article
-
Mark
On parallel time in population protocols
(
- Contribution to journal › Article
-
Mark
The Lang-Track-App : Open-Source Tools for Implementing the Experience Sampling Method in Second Language Acquisition Research
(
- Contribution to journal › Article
-
Mark
Rare Siblings Speed-Up Deterministic Detection and Counting of Small Pattern Graphs
(
- Contribution to journal › Article
-
Mark
Machine learning-assisted macro simulation for yard arrival prediction
(
- Contribution to journal › Article
-
Mark
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
DeepLSD : Line Segment Detection and Refinement with Deep Image Gradients
2023) 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023 In Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition 2023-June. p.17327-17336(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Privacy Preserving Localization via Coordinate Permutations
2023) 2023 IEEE/CVF International Conference on Computer Vision, ICCV 2023 In Proceedings of the IEEE International Conference on Computer Vision p.18128-18137(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Masked Language Model for Multi-Source EHR Trajectories Contextual Representation Learning
2023) 33rd Medical Informatics Europe Conference: Caring is Sharing - Exploiting the Value in Data for Health and Innovation, MIE2023 In Studies in Health Technology and Informatics 302. p.609-610(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Artificial intelligence for improving public transport : A mapping study
2023) In Public Transport(
- Contribution to journal › Article
-
Mark
A Novel Predictor for the Analysis and Prediction of Enhancers and Their Strength via Multi-View Features and Deep Forest
(
- Contribution to journal › Article
-
Mark
Augmentation Strategies for Self-Supervised Representation Learning from Electrocardiograms
2023) 31st European Signal Processing Conference, EUSIPCO 2023 In European Signal Processing Conference p.1075-1079(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Convex Hulls and Triangulations of Planar Point Sets on the Congested Clique.
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
2023) 64th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2023 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS p.1-11(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
TODLER : A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts
2023) 6th IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB 2023 p.9-16(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
U Owns the Code That Changes and How Marginal Owners Resolve Issues Slower in Low-Quality Source Code
2023) p.368-377(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MHCCL : Masked Hierarchical Cluster-Wise Contrastive Learning for Multivariate Time Series
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
AI och risker för diskriminering i arbetslivet
(2023)
- Book/Report › Report
-
Mark
Secure Sharing of Health-Related Data : Research Description of the VINTER, DELFIN, and HEIDA Projects
(
- Contribution to journal › Article
-
Mark
Heida : Software Examples for Rapid Introduction of Homomorphic Encryption for Privacy Preservation of Health Data
(
- Contribution to journal › Article
-
Mark
PAPR : Publicly Auditable Privacy Revocation for Anonymous Credentials
2023) Cryptographers’ Track at the RSA Conference, CT-RSA 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13871 LNCS. p.163-190(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Access Security Policy Generation for Containers as a Cloud Service
(
- Contribution to journal › Article
-
Mark
Scalable Actor Networks with CAL
2023) p.169-179(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
2023) 29th International Conference on Principles and Practice of Constraint Programming, CP 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Energy-saving optimization of the parallel chillers system based on a multi-strategy improved sparrow search algorithm
(
- Contribution to journal › Article
-
Mark
Certified Core-Guided MaxSAT Solving
2023) Proceedings of the 29th International Conference on Automated Deduction, CADE-29 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14132 LNAI. p.1-22(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Evaluation of Out-of-Distribution Detection Performance on Autonomous Driving Datasets
2023) 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023 In Proceedings - 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023 p.74-81(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Preface
2023) Post-Quantum Cryptography - 14th International Workshop, PQCrypto 2023, Proceedings In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14154 LNCS.(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
Post-Quantum Cryptography : 14th International Workshop, PQCrypto 2023, College Park, MD, USA, August 16–18, 2023, Proceedings
(2023) The 14th International Conference on Post-Quantum Cryptography In Lecture Notes in Computer Science 14154.
- Book/Report › Conference proceeding (editor)
-
Mark
Differential cryptanalysis of Mod-2/Mod-3 constructions of binary weak PRFs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Why We Shouldn’t Pause Research on AI, but Instead Prioritize Multidisciplinary Research and AI Governance
2023)(
- Other contribution › Web publication
-
Mark
Overcoming challenges in rare disease registry integration using the semantic web - a clinical research perspective
(
- Contribution to journal › Letter
-
Mark
Cache-Timing Attack Against HQC
(
- Contribution to journal › Article
-
Mark
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
(
- Contribution to journal › Article
- 2022
-
Mark
Biocomputation Using Molecular Agents Moving in Microfluidic Channel Networks : An Alternative Platform for Information Technology
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Almost Alive : Robots and Androids
(
- Contribution to journal › Article
-
Mark
Count Me In! Extendability for Threshold Ring Signatures
2022) 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, PKC 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13178. p.379-406(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
2022)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Graceful degradation to prolong lifetime of semiconductors
2022) Knowledge for Sustainable Development(
– Lund University Research Conference- Contribution to conference › Poster
-
Mark
Chuchotage: In-line Software Network Protocol Translation for (D)TLS
2022) Proceedings of the 24th International Conference on Information and Communications Security, ICICS'22 p.589-607(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Attack Resilient Cloud-based Industrial Control Systems
2022)(
- Thesis › Licentiate thesis
-
Mark
Security Issue Classification for Vulnerability Management with Semi-supervised Learning
2022) p.84-95(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Evolving cellular automata schemes for protein folding modeling using the Rosetta atomic representation
(
- Contribution to journal › Article
-
Mark
Progressive and efficient verification for digital signatures
2022) 20th International Conference on Applied Cryptography and Network Security, ACNS 2022 In Lecture Notes in Computer Science 13269. p.440-458(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Outsourcing MPC Precomputation for Location Privacy
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
SGX-Bundler: speeding up enclave transitions for IO-intensive applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Detection and mitigation of deception attacks on cloud-based industrial control systems
2022) 25th Conference on Innovation in Clouds, Internet and Networks(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Kub-Sec, an automatic Kubernetes cluster AppArmor profile generation engine
2022) 14th International Conference on COMmunication Systems and NETworkS, COMSNETS 2022 In International Conference on Communication Systems and Networks p.129-137(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
FAIRVASC: A semantic web approach to rare disease registry integration
(
- Contribution to journal › Article
-
Mark
An Output-Sensitive Algorithm for All-Pairs Shortest Paths in Directed Acyclic Graphs
2022) 8th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13179 LNCS. p.140-151(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Real-Time EEG-Based Cognitive Workload Monitoring on Wearable Devices
(
- Contribution to journal › Article
-
Mark
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics : Extended and Comparative Results
(
- Contribution to journal › Article
-
Mark
Revisiting the Concrete Security of Goldreich's Pseudorandom Generator
(
- Contribution to journal › Article
-
Mark
Nonmonotonic Reasoning, Expectations Orderings, and Conceptual Spaces
(
- Contribution to journal › Article
-
Mark
Characteristic modes – progress, overview, and emerging topics
(
- Contribution to journal › Scientific review
-
Mark
Real-Time Rendering of Indirectly Visible Caustics
2022) 17th International Conference on Computer Graphics Theory and Applications, GRAPP 2022; Part of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2022 1. p.39-48(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
DNS-embedded service endpoint registry for distributed e-Infrastructures
(
- Contribution to journal › Article
-
Mark
Updates to the one-loop provider NLOX
(
- Contribution to journal › Article
-
Mark
Public Key Compression and Fast Polynomial Multiplication for NTRU using the Corrected Hybridized NTT-Karatsuba Method
2022) 8th International Conference on Information Systems Security and Privacy, ICISSP 2022 p.145-153(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards Fully Dynamic Surface Illumination in Real-Time Rendering using Acceleration Data Structures
(
- Thesis › Doctoral thesis (compilation)
-
Mark
Exploring the role of AI in sustainability
2022)(
- Non-textual form › Other
-
Mark
Machine Learning
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Insights into automation of construction process using parallel-kinematic manipulators
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Shared Pose Regression Network for Pose Estimation of Objects from RGB Images
2022) IEEE/RSJ International Conference on Signal Image Technology & Internet Based Systems (SITIS) 2022(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Mobile Data for Understanding Population Movement and Disease Transmission during Covid-19 Outbreak in the Nordics
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Characterizing Uncertainty in the Visual Text Analysis Pipeline
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding