Department of Computer Science
411 – 420 of 1792
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
How software engineering research aligns with design science : a review
- Contribution to journal › Article
-
Mark
Exploring and improving industry-academia communication in software engineering
(2020) 24th Evaluation and Assessment in Software Engineering Conference, EASE 2020 In ACM International Conference Proceeding Series p.379-382
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
(2020) 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 p.194-204
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Photon Mapping Superluminal Particles
(2020) Eurographics Eurovis, EGEV 2020
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
VR teleoperation to support a GPS-free positioning system in a marine environment
(2020) In International Journal on Marine Navigation and Safety of Sea Transportation 14(4). p.789-798
- Contribution to journal › Article
-
Mark
Principles and Patterns of JastAdd-Style Reference Attribute Grammars
- 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
Making Lab Sessions Mandatory-On Student Work Distribution in a Gamified Project Course on Market-Driven Software Engineering
(2020) 32nd IEEE Conference on Software Engineering Education and Training, CSEE and T 2020 In 2020 IEEE 32nd Conference on Software Engineering Education and Training, CSEE and T 2020 p.16-25
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Solving Hard Problems by Protein Folding?
(2020) 9th International Conference on Theory and Practice of Natural Computing, TPNC 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12494 LNCS. p.36-41
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certification of students in non-technical engineering skills : What do the companies think?
(2020) 11th International Conference on Society and Information Technologies, ICSIT 2020 In ICSIT 2020 - 11th International Conference on Society and Information Technologies, Proceedings p.49-54
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
