121 – 130 of 376
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2022
-
Mark
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
2022) 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 In Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 p.1431-1436(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Property Probes: Source Code Based Exploration of Program Analysis Results (Artifact)
2022)(
- Other contribution › Miscellaneous
- 2021
-
Mark
Open source languages and methods for cyber-physical system development : Overview and case studies
(
- Contribution to journal › Article
-
Mark
Open Data-driven Usability Improvements of Static Code Analysis and its Challenges
2021) 25th International Conference on Evaluation and Assessment in Software Engineering, EASE p.272-277(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Challenges of Adopting SAFe in the Banking Industry – A Study Two Years After Its Introduction
2021) 22nd International Conference on Agile Software Development, XP 2021 In Lecture Notes in Business Information Processing 419 LNBIP. p.157-171(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analysis of biased language in peer-reviewed scientific literature on genetically modified crops
(
- Contribution to journal › Article
-
Mark
Open Data Ecosystems - an empirical investigation into an emerging industry collaboration concept
(
- Contribution to journal › Article
-
Mark
Accessible data curation and analytics for international-scale citizen science datasets
(
- Contribution to journal › Article
-
Mark
Guiding the Selection of Research Methodology in Industry-Academia Collaboration in Software Engineering
(
- Contribution to journal › Article
-
Mark
Industrins data leder till innovationer - om den delas
2021) In Ny teknik(
- Contribution to journal › Debate/Note/Editorial