1 – 250 of 1716
- show: 250
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Automotive fault nowcasting with machine learning and natural language processing
(
- Contribution to journal › Article
-
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
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
How does an AI diagnose dyspnoea in ED triage without human guidance?
2024) Swedish Emergency Medicine Talks - SWEETS24(
- Contribution to conference › Poster
-
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
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
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
Context Committing Security of Leveled Leakage-Resilient AEAD
(
- 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
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
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
Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Artificial Intelligence, Datafication and Exploring the Minimum Content of Nationality
(
- Contribution to journal › Article
-
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
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
Testing the Error Recovery Capabilities of Robotic Speech
2023) The Imperfectly Relatable Robot, HRI'23(
- Contribution to conference › Abstract
-
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
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
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 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
Fundamental energy cost of finite-time parallelizable computing
(
- Contribution to journal › Article
-
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
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
A side-channel attack on a masked and shuffled software implementation of Saber
(
- Contribution to journal › Article
-
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
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
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
AI och risker för diskriminering i arbetslivet
(2023)
- Book/Report › Report
-
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
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
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
(
- 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
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
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
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
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
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
Convex Hulls and Triangulations of Planar Point Sets on the Congested Clique.
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2022
-
Mark
DNS-embedded service endpoint registry for distributed e-Infrastructures
(
- Contribution to journal › Article
-
Mark
Characteristic modes – progress, overview, and emerging topics
(
- Contribution to journal › Scientific review
-
Mark
Towards Fully Dynamic Surface Illumination in Real-Time Rendering using Acceleration Data Structures
(
- Thesis › Doctoral thesis (compilation)
-
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
Updates to the one-loop provider NLOX
(
- Contribution to journal › Article
-
Mark
Artificial intelligence enabled radio propagation for communications – Part II: Scenario identification and channel modeling
(
- Contribution to journal › Scientific review
-
Mark
Exploring the role of AI in sustainability
2022)(
- Non-textual form › Other
-
Mark
Evolving cellular automata schemes for protein folding modeling using the Rosetta atomic representation
(
- Contribution to journal › Article
-
Mark
Attack Resilient Cloud-based Industrial Control Systems
2022)(
- Thesis › Licentiate thesis
-
Mark
Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics : Extended and Comparative Results
(
- Contribution to journal › Article
-
Mark
Real-Time EEG-Based Cognitive Workload Monitoring on Wearable Devices
(
- Contribution to journal › Article
-
Mark
Outsourcing MPC Precomputation for Location Privacy
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
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
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
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
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
ERA : Enhanced Rational Activations
2022) 17th European Conference on Computer Vision, ECCV 2022 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 13680 LNCS. p.722-738(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Multi-Dimensional Matrix Product—A Natural Tool for Parameterized Graph Algorithms
(
- Contribution to journal › Article
-
Mark
An Auditable Constraint Programming Solver
2022) 28th International Conference on Principles and Practice of Constraint Programming, CP 2022 In Leibniz International Proceedings in Informatics, LIPIcs 235.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A review of explainable AI in the satellite data, deep machine learning, and human poverty domain
(
- Contribution to journal › Scientific review
-
Mark
πBO: Augmenting Acquisition Functions with User Beliefs for Bayesian Optimization
2022) Tenth International Conference of Learning Representations, ICLR 2022(
- Contribution to conference › Paper, not in proceeding
-
Mark
Attacks on the Firekite Cipher
(
- Contribution to journal › Article
-
Mark
Joint Entropy Search for Maximally-Informed Bayesian Optimization
2022) 36th Conference on Neural Information Processing Systems, NeurIPS 2022(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analysis of Computational Efficiency in Iterative Order Batching Optimization
2022) 11th International Conference on Operations Research and Enterprise Systems, ICORES 2022 p.345-353(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
RoSym: Robust Symmetric Key Based IoT Software Upgrade Over-the-Air
(
- 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
-
Mark
Post-Quantum Cryptography : 13th International Workshop, PQCrypto 2022, Virtual Event, September 28–30, 2022, Proceedings
- Book/Report › Conference proceeding (editor)
-
Mark
Method of Moments and T-Matrix Hybrid
(
- Contribution to journal › Article
-
Mark
CAFS : Cost-Aware Features Selection Method for Multimodal Stress Monitoring on Wearable Devices
(
- Contribution to journal › Article
-
Mark
Artificial intelligence : — a vehicle or an obstacle on our path to a sustainable future?
2022)(
- Other contribution › Miscellaneous
-
Mark
Insights into automation of construction process using parallel-kinematic manipulators
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analysing Dataflow Programs with Causation Traces
2022) 31st International Conference on Parallel Architectures and Compilation Techniques, PACT 2022 p.534-535(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Machine Learning
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
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
SGX-Bundler: speeding up enclave transitions for IO-intensive applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
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
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
KEYLESS SIGNATURE INFRASTRUCTURE BASED VIRTUAL MACHINE INTEGRITY
2022) EP3317875B1(
- Patent › Patent
-
Mark
Data Clustering using Two-Stage Eagle Strategy Based on Slime Mould Algorithm
(
- 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
Local Routing in Sparse and Lightweight Geometric Graphs
(
- Contribution to journal › Article
-
Mark
Efficient Assignment of Identities in Anonymous Populations
2022) 25th International Conference on Principles of Distributed Systems (OPODIS 2021) In Leibniz International Proceedings in Informatics (LIPIcs) 217. p.1-21(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Certified CNF Translations for Pseudo-Boolean Solving
2022) 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) In Leibniz International Proceedings in Informatics (LIPIcs) 236.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Graceful degradation to prolong lifetime of semiconductors
2022) Knowledge for Sustainable Development(
– Lund University Research Conference- Contribution to conference › Poster
-
Mark
Code Red : The Business Impact of Code Quality - A Quantitative Study of 39 Proprietary Production Codebases
2022) 5th International Conference on Technical Debt, TechDebt 2022 In Proceedings - International Conference on Technical Debt 2022, TechDebt 2022 p.11-20(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Don’t Reject This: Key-Recovery Timing Attacks Due to Rejection-Sampling in HQC and BIKE
2022) In IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES) 2022(3). p.223-263(
- Contribution to journal › Article
-
Mark
A Key-Recovery Side-Channel Attack on Classic McEliece Implementations
2022) In IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES) 2022(4). p.800-827(
- Contribution to journal › Article
-
Mark
Secure Cloud Storage with Joint Deduplication and Erasure Protection
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Process matters : Assessing the use of behavioural science methods in applied behavioural programmes
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Mind the Gap: AI as Equalizer or Oppressor in Healthcare?
2022)(
- Other contribution › Web publication
-
Mark
The Participation Paradox in the Politics of AI
2022)(
- Book/Report › Report
- 2021
-
Mark
Learn to relax : Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search
(
- Contribution to journal › Article
-
Mark
User evaluation of a national e-library for standardized chemotherapy regimens
2021) 21st Congress of the International Ergonomics Association, IEA 2021 In Lecture Notes in Networks and Systems 222. p.175-181(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lic-Sec: An enhanced AppArmor Docker security profile generator
(
- Contribution to journal › Article
-
Mark
AppArmor Profile Generator as a Cloud Service
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Progger: Programming by Errors (Work In Progress)
2021) Psychology of Programming Interest Group Annual Workshop 2021(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Test automation with grad-CAM Heatmaps - A future pipe segment in MLOps for Vision AI?
2021) 14th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021 p.175-181(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Demonstration: A cloud-control system equipped with intrusion detection and mitigation
2021) The Conference on Networked Systems (NetSys 2021)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Faster enclave transitions for IO-intensive network applications
2021)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automating algebraic proof systems is NP-hard
2021) 53rd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2021 In Proceedings of the Annual ACM Symposium on Theory of Computing p.209-222(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Visualizing and Communicating Errors in Rendered Images
2021) p.301-320(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Temporal and cultural limits of privacy in smartphone app usage
(
- Contribution to journal › Article
-
Mark
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
(
- Contribution to journal › Article
-
Mark
A Novel Joint Points and Silhouette-Based Method to Estimate 3D Human Pose and Shape
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Foreword: Selected papers from the 22nd International Symposium on Fundamentals of Computation Theory (FCT 2019)
(
- Contribution to journal › Article
-
Mark
FLoPAD-GRU : A Flexible, Low Power, Accelerated DSP for Gated Recurrent Unit Neural Network
2021) 34th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design, SBCCI 2021 In Proceedings - 34th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design, SBCCI 2021(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Access to on-chip test structures via functional buses
2021) Nordic Test Forum(
- Contribution to conference › Other
-
Mark
Improvements on Making BKW Practical for Solving LWE
(
- Contribution to journal › Article
-
Mark
A side-channel attack on a masked IND-CCA secure saber KEM implementation
(
- Contribution to journal › Article
-
Mark
Improved guess-and-determine and distinguishing attacks on snow-v
(
- Contribution to journal › Article
-
Mark
SNOW-Vi : An extreme performance variant of SNOW-V for lower grade CPUs
2021) 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2021 p.261-272(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Faster Dual Lattice Attacks for Solving LWE with Applications to CRYSTALS
2021) 27th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2021 In Lecture Notes in Computer Science 13093. p.33-62(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Grain-128AEADv2: Strengthening the Initialization Against Key Reconstruction
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Grain-128AEAD, Round 3 Tweak and Motivation
2021)(
- Book/Report › Report
-
Mark
Clique Is Hard on Average for Regular Resolution
(
- Contribution to journal › Article
-
Mark
Breaking Masked and Shuffled CCA Secure Saber KEM by Power Analysis
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The AIQ Meta-Testbed : Pragmatically Bridging Academic AI Testing and Industrial Q Needs
2021) 13th Software Quality Days Conference, SWQD 2021 In Lecture Notes in Business Information Processing 404. p.66-77(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Modular counting of subgraphs : Matchings, matching-splittable graphs, and paths
2021) 29th Annual European Symposium on Algorithms, ESA 2021 In Leibniz International Proceedings in Informatics, LIPIcs 204.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The power of negative reasoning
2021) 36th Computational Complexity Conference, CCC 2021 In Leibniz International Proceedings in Informatics, LIPIcs 200.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Air-to-Ground Channel Characterization for Low-Height UAVs in Realistic Network Deployments
(
- Contribution to journal › Article
-
Mark
Affordable Quality of Service Assessment for Cellular-Connected UAV Communications
2021) Seventeenth International Conference on Wireless and Mobile Communications In International Conference on Wireless and Mobile Communications(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bounded Path-Loss Model for UAV-to-UAV Communications
2021) Seventeenth International Conference on Wireless and Mobile Communications(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Secure Cloud Control Using Verifiable Computation
2021) 2021 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2021 In 2021 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2021(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Persistent homology and the shape of evolutionary games
(
- Contribution to journal › Article
-
Mark
Path Verification for Dynamic Indirect Illumination
2021)(
- Book/Report › Report
-
Mark
Using Program Analysis to Identify the Use of Vulnerable Functions
2021) p.520-530(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Visualizing Errors in Rendered High Dynamic Range Images
2021) p.25-28(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards Soft Circuit Breaking in Service Meshes via Application-agnostic Caching
2021)(
- Book/Report › Report
-
Mark
Online and Approximate Network Construction from Bounded Connectivity Constraints
2021) 12th International Conference on Algorithms and Complexity (CIAC 2021) In Lecture Notes in Computer science 12701. p.314-325(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Robust Decision Analysis under Severe Uncertainty and Ambiguous Tradeoffs : An Invasive Species Case Study
(
- Contribution to journal › Article
-
Mark
Consequences of APSP, triangle detection, and 3SUM hardness for separation between determinism and non-determinism
2021) 11th Latin and American Algorithms, Graphs and Optimization Symposium, LAGOS 2021 In Procedia Computer Science 195. p.163-171(
- Contribution to journal › Article
-
Mark
A Security Framework in Digital Twins for Cloud-based Industrial Control Systems: Intrusion Detection and Mitigation
2021) 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Realeasy: Real-Time capable Simulation to Reality Domain Adaptation
2021) 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE) p.2009-2016(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Approximate Counting of k-Paths : Simpler, Deterministic, and in Polynomial Space
(
- Contribution to journal › Article
-
Mark
Non-attracting regions of local minima in deep and wide neural networks
(
- Contribution to journal › Article
-
Mark
Yggdrasil: Privacy-Aware Dual Deduplication in Multi Client Settings
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exploring the Assessment List for Trustworthy AI in the Context of Advanced Driver-Assistance Systems
2021) 2nd IEEE/ACM International Workshop on Ethics in Software Engineering Research and Practice, SEthics 2021 In Proceedings - 2021 IEEE/ACM 2nd International Workshop on Ethics in Software Engineering Research and Practice, SEthics 2021 p.5-12(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automating Tree-Like Resolution in Time n^{o(log n)} Is ETH-Hard
2021) XI Latin and American Algorithms, Graphs and Optimization Symposium, LAGOS 2021 In Procedia Computer Science 195. p.152-162(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pose Estimation from RGB Images of Highly Symmetric Objects using a Novel Multi-Pose Loss and Differential Rendering
2021) IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2021(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using logic programming for theory representation and scientific inference
(
- Contribution to journal › Article
-
Mark
A Precise Framework for Source-Level Control-Flow Analysis
2021) IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM) p.1-11(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Implementation of spatially consistent channel models for real-time full stack C-ITS V2X simulations
2021) 55th Asilomar Conference on Signals, Systems and Computers, ACSSC 2021 In Conference Record - Asilomar Conference on Signals, Systems and Computers 2021-October. p.67-71(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Embodied Visual Active Learning for Semantic Segmentation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pushing the Online Boolean Matrix-vector Multiplication conjecture off-line and identifying its easy cases
(
- Contribution to journal › Article
-
Mark
Sparse Steiner triple systems of order 21
(
- Contribution to journal › Article
-
Mark
Emotion Classification in Images Using Amazon's Rekognition API
2021)(
- Non-textual form › Other
-
Mark
Accurate prediction of B-form/A-form DNA conformation propensity from primary sequence : A machine learning and free energy handshake
(
- Contribution to journal › Article
-
Mark
Software Ticks Need No Specifications
2021) 43rd International Conference on Software Engineering: Software Engineering in Practice, ICSE 2021(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products
2021) 7th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12601 LNCS. p.440-451(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Deep Distributional Temporal Difference Learning for Game Playing
2021) Industrial Part of 25th International Symposium on Methodologies for Intelligent Systems, ISMIS 2020 In Studies in Computational Intelligence 949. p.192-206(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Breaking silos to guarantee control stability with communication over ethernet TSN
(
- Contribution to journal › Article
-
Mark
Real-Time Personalized Atrial Fibrillation Prediction on Multi-Core Wearable Sensors
(
- Contribution to journal › Article
-
Mark
Biased differential distinguisher – Cryptanalysis of reduced-round SKINNY
(
- Contribution to journal › Article
-
Mark
Learning of Parameters in Behavior Trees for Movement Skills
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Sparse quadratic optimisation over the stiefel manifold with application to permutation synchronisation
2021) 35th Conference on Neural Information Processing Systems, NeurIPS 2021 In Advances in Neural Information Processing Systems 34. p.25256-25266(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2020
-
Mark
A framework to generate domain-specific manycore architectures from dataflow programs
(
- Contribution to journal › Article
-
Mark
Solving LPN Using Covering Codes
(
- Contribution to journal › Article
-
Mark
The PL-Detective Revisited
2020) 2020 ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications, Software for Humanity, SPLASH-E 2020(
In SPLASH-E 2020 p.12-22- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Domain-Specific Language for Filtering in Application-Level Gateways
2020) 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2020 p.111-123(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Do preparatory programming lab sessions contribute to even work distribution in student teams?
2020) 42nd ACM/IEEE International Conference on Software Engineering, ICSE-Companion 2020 In Proceedings - International Conference on Software Engineering p.254-255(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
CLI-DOS : Collaborative Counteraction against Denial of Service in the Internet of Things
2020) 2020 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2020(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
EUTelescope : A modular reconstruction framework for beam telescope data
(
- Contribution to journal › Article
-
Mark
Where are you bob? privacy-preserving proximity testing with a napping party
2020) 25th European Symposium on Research in Computer Security, ESORICS 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12308 LNCS. p.677-697(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Secure generalized deduplication via multi-key revealing encryption
2020) 12th International Conference on Security and Cryptography for Networks, SCN 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12238 LNCS. p.298-318(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Watched Propagation of$$0$$ -$$1$$ Integer Linear Constraints
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12333 LNCS. p.160-176(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Resolution Proofs to Analyse CDCL Solvers
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.427-444(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.338-357(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Titta : A toolbox for creating PsychToolbox and Psychopy experiments with Tobii eye trackers
2020) In Behavior Research Methods(
- Contribution to journal › Article
-
Mark
Towards Knowledge-Based Geospatial Data Integration and Visualization : A Case of Visualizing Urban Bicycling Suitability
(
- Contribution to journal › Article
-
Mark
Investigating an Agent Based Modelling approach for SDI planning: A case study of Tanzania NSDI development
(
- Contribution to journal › Article
-
Mark
FLIP: A Difference Evaluator for Alternating Images
(
- Contribution to journal › Article
-
Mark
Relational reference attribute grammars: Improving continuous model validation
(
- Contribution to journal › Article
-
Mark
A Comparative Study of Four Metaheuristic Algorithms, AMOSA, MOABC, MSPSO, and NSGA-II for Evacuation Planning
(
- Contribution to journal › Article
-
Mark
Test Cost Reduction of 3D Stacked ICs : Test Planning and Test Flow Selection
2020)(
- Thesis › Doctoral thesis (monograph)
-
Mark
A simple approach to nondecreasing paths
(
- Contribution to journal › Article
-
Mark
Spectral analysis of ZUC-256
(
- Contribution to journal › Article
-
Mark
AI i EU : Etiska riktlinjer som styrmedel
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Message from the Chairs
2020) 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2020, co-located with the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
What is an Open IoT Platform? Insights from a Systematic Mapping Study
(
- Contribution to journal › Article
-
Mark
Transparency in artificial intelligence
(
- Contribution to journal › Article
-
Mark
Small normalized circuits for semi-disjoint bilinear forms require logarithmic and-depth
(
- Contribution to journal › Article
-
Mark
Operator splitting performance estimation : Tight contraction factors and optimal parameter selection
(
- Contribution to journal › Article
-
Mark
An overview of cryptographic primitives for possible use in 5G and beyond
(
- Contribution to journal › Scientific review
-
Mark
Single Tweakey Cryptanalysis of Reduced-Round SKINNY-64
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Perfect edge-transmitting recombination of permutations
2020) In arXiv(
- Other contribution › Miscellaneous
-
Mark
Hybrid model to improve the river streamflow forecasting utilizing multi-layer perceptron-based intelligent water drop optimization algorithm
(
- Contribution to journal › Article
-
Mark
The brain attics : the strategic role of memory in single and multi-agent inquiry
(
- Contribution to journal › Article
-
Mark
Simplified and Improved Separations Between Regular and General Resolution by Lifting
2020) 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020 In Lecture Notes in Computer Science 12178. p.182-200(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Supercritical space-width trade-offs for resolution
(
- Contribution to journal › Article
-
Mark
Trade-offs between size and degree in polynomial calculus
2020) 11th Innovations in Theoretical Computer Science Conference, ITCS 2020 In Leibniz International Proceedings in Informatics, LIPIcs 151.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Experiments on Belief Formation in Networks
(
- Contribution to journal › Article
-
Mark
Hedwig : A named entity linker
2020) 12th International Conference on Language Resources and Evaluation, LREC 2020 In LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings p.4501-4508(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Openness and security thinking characteristics for iot ecosystems
(
- Contribution to journal › Article
-
Mark
Performance Based Specification of Wood - Project CLICKdesign
2020) 15th International Conference on Durability of Building Materials and Components, DBMC 2020 p.457-464(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
2020) 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 p.194-204(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Photon Mapping Superluminal Particles
2020) Eurographics Eurovis, EGEV 2020(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Lifting with simple gadgets and applications to circuit and proof complexity
2020) 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2020-November. p.24-30(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
KRW composition theorems via lifting
2020) 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2020-November. p.43-49(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Self-aware machine learning for multimodal workload monitoring during manual labor on edge wearable sensors
(
- Contribution to journal › Article
-
Mark
Sound over-approximation of probabilities
(
- Contribution to journal › Article
- 2019
-
Mark
Clearing directed subgraphs by mobile agents : Variations on covering with paths
(
- Contribution to journal › Article
-
Mark
Sustainable AI : An inventory of the state of knowledge of ethical, social, and legal challenges related to artificial intelligence
2019)(
- Book/Report › Report
-
Mark
AI-teknologin måste gå att lita på
2019) In Entreprenör(
- Contribution to specialist publication or newspaper › Newspaper article
-
Mark
Shape-aware label fusion for multi-atlas frameworks
(
- Contribution to journal › Article
-
Mark
Some Cryptanalytic and Coding-Theoretic Applications of a Soft Stern Algorithm
(
- Contribution to journal › Article
-
Mark
Decryption Failure Attacks on IND-CCA Secure Lattice-Based Schemes
2019) 22nd edition of the International Conference on Practice and Theory of Public Key Cryptography (PKC), 2019 In Lecture Notes in Computer Science 11443. p.565-598(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
On a Fire Fighter’s Problem
(
- Contribution to journal › Article
-
Mark
Ontology-Based Knowledge Representation for Increased Skill Reusability in Industrial Robots
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Multivariate Analysis of Orthogonal Range Searching and Graph Distances
2019) 13th International Symposium on Parameterized and Exact Computation (IPEC 2018). In LIPIcs 115. p.1-13(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Shortcuts for the circle
(
- Contribution to journal › Article
-
Mark
A fast deterministic detection of small pattern graphs in graphs without large cliques
(
- Contribution to journal › Article
-
Mark
Evaluating and Improving Risk Analysis Methods for Critical Systems
2019)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Det råder inget motsatsförhållande mellan teknik och etik. De avhandlas bäst tillsammans
2019) In Sydsvenskan(
- Contribution to specialist publication or newspaper › Newspaper article
-
Mark
Generalized Kakeya sets for polynomial evaluation and faster computation of fermionants
(
- Contribution to journal › Article