201 – 210 of 1704
- 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
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
An overview of cryptographic primitives for possible use in 5G and beyond
(
- Contribution to journal › Scientific review
-
Mark
Perfect edge-transmitting recombination of permutations
2020) In arXiv(
- Other contribution › Miscellaneous
-
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
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