271 – 280 of 1635
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
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
Smart bikes: Gradual update of IoT systems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Guidelines for conducting interactive rapid reviews in software engineering -- from a focus on technology transfer to knowledge exchange
2020)(
- Book/Report › Report
-
Mark
Approaches to improve researcher-practitioner communication in joint software engineering research
2020)(
- Thesis › Licentiate thesis
-
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
-
Mark
Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs
2020) 35th Computational Complexity Conference, CCC 2020 In Leibniz International Proceedings in Informatics, LIPIcs 169.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Trade-offs between size and degree in polynomial calculus
2020) 11th Innovations in Theoretical Computer Science Conference, ITCS 2020 In Leibniz International Proceedings in Informatics, LIPIcs 151.(
- 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
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