81 – 90 of 538
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
Where are you bob? privacy-preserving proximity testing with a napping party
Oleynikov, Ivan ; Pagnin, Elena LU
and Sabelfeld, Andrei
(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
Lucani, Daniel E. ; Nielsen, Lars ; Orlandi, Claudio ; Pagnin, Elena LU
and Vestergaard, Rasmus
(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
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models
(2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.917-934
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Future climate resilience through informed decision making in retrofitting projects
Gremmelspacher, Jonas Manuel ; Sivolova, Julija ; Naboni, Emanuele and Nik, Vahid M. LU
(2020)
20th International Conference on Computational Science and Its Applications, ICCSA 2020
In Lecture Notes in Computer Science
12251 LNCS.
p.352-364
- 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
Automated CPE Labeling of CVE Summaries with Machine Learning
(2020) 17th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12223 LNCS. p.3-22
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling
(2020) 32nd International Conference on Computer Aided Verification, CAV 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12224 LNCS. p.463-484
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using augmented reality to train flow patterns for pilot students - An explorative study
Alce, Günter LU ; Klang, Karl Johan ; Andersson, Daniel ; Nyström, Stefan LU ; Wallergård, Mattias LU and Niehorster, Diederick C. LU
(2020)
7th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2020
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
12242.
p.215-231
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding