291 – 300 of 1635
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
Evaluation of the HAVOSS software process maturity model
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Computing the boolean product of two n × n boolean matrices using o(N2) mechanical operations
(
- Contribution to journal › Article
-
Mark
Challenges and Opportunities in Open Data Collaboration – a focus group study
2020)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Runtime Modeling and Analysis of IoT Systems
2020) ACM / IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020) p.1-5(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Feature-Oriented Control Programming
2020) 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) p.1043-1046(
- 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
Crystal centering using deep learning in X-ray crystallography
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding