431 – 440 of 1792
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
What to share, when, and where : balancing the objectives and complexities of open source software contributions
- Contribution to journal › Article
-
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
Evaluation of the HAVOSS software process maturity model
(2020) Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2020 p.137-140
- 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
Dual-precision fixed-point arithmetic for low-power ray-triangle intersections
- Contribution to journal › Article
-
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
Parallel Kinematic Construction Robot for AEC Industry
(2020) 37th International Symposium on Automation and Robotics in Construction (ISARC 2020) p.1488-1495
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Principles and Patterns of JastAdd-Style Reference Attribute Grammars
- 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
