191 – 200 of 1706
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
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
An overview of cryptographic primitives for possible use in 5G and beyond
(
- Contribution to journal › Scientific review
-
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
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
Titta : A toolbox for creating PsychToolbox and Psychopy experiments with Tobii eye trackers
2020) In Behavior Research Methods(
- Contribution to journal › Article
-
Mark
Test Cost Reduction of 3D Stacked ICs : Test Planning and Test Flow Selection
2020)(
- Thesis › Doctoral thesis (monograph)