101 – 200 of 512
- show: 100
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2019
-
Mark
A novel CCA attack using decryption errors against LAC
2019) 25th International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11921 LNCS. p.82-111(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Generating Diffusion MRI Scalar Maps from T1 Weighted Images Using Generative Adversarial Networks
2019) 21st Scandinavian Conference on Image Analysis, SCIA 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11482 LNCS. p.489-498(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Parametric Model-Based 3D Human Shape and Pose Estimation from Multiple Views
2019) 21st Scandinavian Conference on Image Analysis, SCIA 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11482 LNCS. p.336-347(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient Merging of Maps and Detection of Changes
2019) 21st Scandinavian Conference on Image Analysis, SCIA 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11482 LNCS. p.348-360(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Global Trifocal Adjustment
2019) 21st Scandinavian Conference on Image Analysis, SCIA 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11482 LNCS. p.287-298(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Combining Depth Fusion and Photometric Stereo for Fine-Detailed 3D Models
2019) 21st Scandinavian Conference on Image Analysis, SCIA 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11482 LNCS. p.261-274(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Simplest Multi-key Linearly Homomorphic Signature Scheme
2019) 6th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2019 In Lecture Notes in Computer Science 11774. p.280-300(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Visual Odometry for Indoor Mobile Robot by Recognizing Local Manhattan Structures
2019) 14th Asian Conference on Computer Vision (ACCV 2018) In Lecture Notes in Computer Science 11365.(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Methodological strategies to understand smartphone practices for social connectedness in later life
2019) 5th International Conference on Human Aspects of IT for the Aged Population, ITAP 2019, held as part of the 21st International Conference on Human-Computer Interaction, HCI International 2019 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11593 LNCS. p.46-64(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2018
-
Mark
QREME – Quality requirements management model for supporting decision-making
2018) 24th International Working Conference on Requirements Engineering Foundation for Software Quality, REFSQ 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10753 LNCS. p.173-188(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Fiat-Shamir Zoo : Relating the Security of Different Signature Variants
2018) 23rd Nordic Conference on Secure IT Systems, NordSec 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11252 LNCS. p.154-170(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Iterative High Resolution Tomography from Combined High-Low Resolution Sinogram Pairs
2018) 19th International Workshop on Combinatorial Image Analysis, IWCIA 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11255 LNCS. p.150-163(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Teaching without learning : Is it OK With weak AI?
2018) 19th International Conference on Artificial Intelligence in Education, AIED 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10948 LNAI. p.241-245(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Do preschoolers ‘Game the system’? : a case study of children’s intelligent (Mis)use of a teachable agent based play-&-learn game in mathematics
2018) 19th International Conference on Artificial Intelligence in Education, AIED 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10947 LNAI. p.557-569(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Perseverance Is crucial for learning. “OK! but Can I take a break?”
2018) 19th International Conference on Artificial Intelligence in Education, AIED 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10947 LNAI. p.532-544(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trust Anchors in Software Defined Networks
2018) European Symposium on Research in Computer Security In Lecture Notes in Computer Science 11009. p.485-505(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A taxonomy of deviant encodings
2018) 14th Conference on Computability in Europe, CiE 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10936 LNCS. p.338-348(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Design for me?
2018) 16th International Conference on Computers Helping People with Special Needs, ICCHP 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10896 LNCS. p.93-99(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Practical Attacks on Relational Databases Protected via Searchable Encryption
2018) 21st Information Security Conference, ISC 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11060 LNCS. p.171-191(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Adaptive interface for mapping body movements to sounds
2018) 7th International Conference on Computational Intelligence in Music, Sound, Art and Design, EvoMUSART 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10783 LNCS. p.194-205(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A projected gradient descent method for crf inference allowing end-to-end training of arbitrary pairwise potentials
2018) 11th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMVCPR 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10746 LNCS. p.564-579(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An exploratory study on how Internet of Things developing companies handle User Experience Requirements
2018) 24th International Working Conference on Requirements Engineering Foundation for Software Quality, REFSQ 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10753 LNCS. p.20-36(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Matrioska: A Compiler for Multi-key Homomorphic Signatures
2018) 11th International Conference on Security and Cryptography for Networks, SNC 2018 In Lecture Notes in Computer Science 11035. p.43-62(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
In between resolution and cutting planes : A study of proof systems for pseudo-boolean SAT solving
2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.292-310(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using combinatorial benchmarks to probe the reasoning power of pseudo-boolean solvers
2018) 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018 Held as Part of the Federated Logic Conference, FloC 2018 In Lecture Notes in Computer Science 10929. p.75-93(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fading characterization of 73 GHz millimeter-wave V2V channel based on real measurements
2018) 13th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2018 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10796. p.159-168(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Rectification from radially-distorted scales
2018) 14th Asian Conference on Computer Vision (ACCV 2018) In Lecture notes in computer science (LNCS) 11365. p.36-52(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2017
-
Mark
A secure group-based AKA protocol for machine-type communications
2017) 19th International Conference on Information Security and Cryptology, ICISC 2016 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10157 LNCS. p.3-27(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Introducing programming and digital competence in Swedish K-9 education
2017) 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10696 LNCS. p.117-128(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Publishing E-RDF linked data for many agents by single third-party server
2017) 7th Joint International Conference on Semantic Technology, JIST 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10675 LNCS. p.151-163(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Argument-Based Bayesian Estimation of Attack Graphs : A Preliminary Empirical Analysis
2017) 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10621 LNAI. p.523-532(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Multicompartment simulations of NMDA receptor based facilitation in an insect target tracking neuron
2017) 26th International Conference on Artificial Neural Networks, ICANN 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10613 LNCS. p.397-404(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The altruistic robot : Do what i want, not just what i say
2017) 11th International Conference on Scalable Uncertainty Management, SUM 2017 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10564 LNAI. p.149-162(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
CNFgen : A generator of crafted benchmarks
2017) 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 In Lecture Notes in Computer Science 10491. p.464-473(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Conditional Cube Attack on Reduced-Round Keccak Sponge Function
2017) 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2017 In Lecture Notes in Computer Science 10211.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Grey Matter Segmentation in Spinal Cord MRIs via 3D Convolutional Encoder Networks with Shortcut Connections
2017) In Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support 10553. p.330-337(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2016
-
Mark
Transferring and compressing convolutional neural networks for face representations
2016) 13th International Conference on Image Analysis and Recognition, ICIAR 2016 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9730. p.20-29(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Uncovering symmetries in polynomial systems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Accurate and versatile automation of industrial kitting operations with SkiROS
2016) 17th Annual Conference Towards Autonomous Robotic Systems (TAROS), 2016 In Lecture Notes in Computer Science 9717. p.255-268(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Breast Imaging. : 13th International Workshop, IWDM 2016 Malmö, Sweden, June 19-22, 2016, Proceedings
(2016) 13th International Workshop on Breast Imaging, IWDM 2016 In Lecture Notes in Computer Science 9699.
- Book/Report › Conference proceeding (editor)
-
Mark
Trade-offs between time and memory in a tighter model of CDCL SAT solvers
2016) 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016 In Lecture Notes in Computer Science 9710. p.160-176(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Brain tumor segmentation using a generative model with an RBM prior on tumor shape
2016) 1st International Workshop on Brainlesion, Brainles 2015 Held in Conjunction with International Conference on Medical Image Computing for Computer-Assisted Intervention, MICCAI 2015 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9556. p.168-180(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2015
-
Mark
Visual Cryptography and Obfuscation: A Use-Case for Decrypting and Deobfuscating Information using Augmented Reality
2015) 1st Workshop on Wearable Security and Privacy, Financial Crypto In Lecture Notes in Computer Science 8976. p.261-273(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Bayesian Network for Probabilistic Reasoning and Imputation of Missing Risk Factors in Type 2 Diabetes
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
From Learning Companions to Testing Companions Experience with a Teachable Agent Motivates Students' Performance on Summative Tests
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Relationship Between Working Memory Capacity and Students' Behaviour in a Teachable Agent-Based Software
2015) The 17th International Conferenece on Artificial Intelligence in Education (AIED 2015) In Lecture Notes in Computer Science 9112. p.670-673(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Usage of Finance Information Systems in Developing Countries: Identifying Factors During Implementation that Impact Use
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Spotting Trees with Few Leaves
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A QPTAS for the Base of the Number of Crossing-Free Structures on a Planar Point Set
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Case Study Evaluation of the Guideline-Supported QUPER Model for Elicitation of Quality Requirements
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Minimal Solution to Relative Pose with Unknown Focal Length and Radial Distortion
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Convex Envelopes for Low Rank Approximation
2015) 10th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition (EMMCVPR), 2015 8932. p.1-14(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
No Child Behind nor Singled Out? - Adaptive Instruction Combined with Inclusive Pedagogy in Early Math Software
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Democratic Tone Mapping Using Optimal K-means Clustering
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Parity of Set Systems under Random Restrictions with Applications to Exponential Time Problems
2015) The 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) 9134. p.231-242(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Virtual Blindness - A Choice Blindness Experiment with a Virtual Experimenter
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Left and Right Atrial Contribution to the P-wave in Realistic Computational Models
2015) 8th International Conference on Functional Imaging and Modeling of the Heart(FIMH) 9126. p.439-447(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Regularizing Image Intensity Transformations Using the Wasserstein Metric
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Bayesian Formulation of Gradient Orientation Matching
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Computing at School in Sweden - Experiences from Introducing Computer Science within Existing Subjects
2015) 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives 9378. p.118-130(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Coded-BKW: Solving LWE Using Lattice Codes.
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Comparative evaluation of 3D pose estimation of industrial objects in RGB pointclouds
2015) 10th International Conference on Computer Vision Systems, ICVS 2015 In Lecture Notes in Computer Science 9163. p.329-342(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Computer vision systems : 10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings
(2015) 10th International Conference on Computer Vision Systems, ICVS 2015 In Lecture Notes in Computer Science 9163.
- Book/Report › Conference proceeding (editor)
-
Mark
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Sociolinguistic Inspired Features for Gender Classification of Web Authors
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2014
-
Mark
Pristine Perspectives on Logic, Language and Computation : ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
Colinet, Margot ; Katrenko, Sophia and Rendsvig, Rasmus Kraemmer LU (2014) In Lecture Notes in Computer Science 8607.
- Book/Report › Anthology (editor)
-
Mark
Fast Witness Extraction using a Decision Oracle
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Steps towards a Challenging Teachable Agent
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Clearing Connections by Few Agents
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Introducing a challenging teachable agent
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
3D Rectangulations and Geometric Matrix Multiplication
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Simple Iterative Heuristics for Correlation Clustering
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Listing Triangles
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Preface
2014) 8607.(
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
-
Mark
Ascribed Gender and Characteristics of a Visually Androgynous Teachable Agent.
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Solving LPN Using Covering Codes
2014) 20th Annual International Conference on the Theory and Application of Cryptology and Information Security (Asiacrypt) 8873. p.1-20(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Shortest Two Disjoint Paths in Polynomial Time
2014) Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014 8572. p.211-222(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Approximation Algorithms for the Geometric Firefighter and Budget Fence Problems.
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficiently Correcting Matrix Products
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Rank Minimization with Structured Data Patterns
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Tractable and Reliable Registration of 2D Point Sets
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A coalgebraic view of characteristic formulas in equational modal fixed point logic
2014) LNCS 8446.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Minimal Solvers for Unsynchronized TDOA Sensor Network Calibration
2014) 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS 2013) p.95-110(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On infrastructure for facilitation of inner source in small development teams
2014) The 15th International Conference of Product Focused Software Development and Process Improvement (Profes) 8892. p.149-163(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Measurement tensors in diffusion MRI: generalizing the concept of diffusion encoding
(
- Contribution to journal › Article
-
Mark
Communicating unknown objects to robots through pointing gestures
2014) 15th Annual Conference Towards Autonomous Robotic Systems (TAROS), 2014 In Lecture Notes in Computer Science 8717. p.209-220(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Classical conditioning in social robots
2014) 6th International Conference on Social Robotics, ICSR 2014 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8755. p.279-289(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the Leakage of Information in Biometric Authentication
2014) 15th International Conference on Cryptology in India, INDOCRYPT 2014 In Lecture Notes in Computer Science 8885. p.265-280(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Long Proofs of (Seemingly) Simple Formulas
2014) 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 In Lecture Notes in Computer Science 8561. p.121-137(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A (biased) proof complexity survey for SAT practitioners
2014) 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 In Lecture Notes in Computer Science 8561. p.1-6(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2013
-
Mark
Detecting and Counting Small Pattern Graphs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Improved Object Detection and Pose Using Part-Based Models
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Circular Higher-order Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Older People´s Involvement in the Development of a Social Assistive Robot
(
- Contribution to journal › Letter
-
Mark
CopyMe3D: Scanning and Printing Persons in 3D
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A two-tiered formalization of social influence
(
- Contribution to journal › Article
-
Mark
Structure from Motion Estimation with Positional Cues
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Challenges in Flexible Safety-Critical Software Development -- An Industrial Qualitative Survey
2013) Product-Focused Software Process Improvement. 14th International Conference, PROFES 2013 7983. p.283-297(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Simultaneous Fusion Moves for 3D-label Stereo
2013) Energy Minimization Methods in Computer Vision and Pattern Recognition, 9th International Conference, EMMCVPR 2013 Lund, Sweden, August 19-21, 2013 8081. p.80-93(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Risk Identification on the Interface Between Business Case and Requirements
2013) International Workshop on Requirements Engineering: Foundation for Software Quality, 2013 7830. p.253-268(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding