131 – 140 of 327
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
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
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
- 2019
-
Mark
Open Collaborative Data : using OSS principles to share data in SW engineering
2019) 41st International Conference on Software Engineering (ICSE), 2019(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the search for industry-relevant regression testing research
(
- Contribution to journal › Article
-
Mark
A new birthday-type algorithm for attacking the fresh re-keying countermeasure
(
- Contribution to journal › Article
-
Mark
SDN Access Control for the Masses
(
- Contribution to journal › Article
-
Mark
High-level software requirements and iteration changes : a predictive model
(
- Contribution to journal › Article
-
Mark
How Companies Use OSS Tools Ecosystems for Open Innovation
(
- Contribution to journal › Article
-
Mark
ComPOS - a development environment for composing internet-of-things services
(
- Thesis › Licentiate thesis
-
Mark
Factoring out glue-code in systems of IoT devices: the PalCom architecture model
2019)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding