Department of Computer Science

441 – 450 of 1792

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/organization/v1000234?embed=1&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
…
44
45
46
47
…
180
next »

2020
Mark A framework to generate domain-specific manycore architectures from dataflow programs
Savas, Süleyman ^LU ; Ul-Abdin, Zain and Nordström, Tomas (2020) In Microprocessors and Microsystems 72.
- Contribution to journal › Article
Mark Runtime Modeling and Analysis of IoT Systems
Åkesson, Alfred ^LU ; Hedin, Görel ^LU ; Fors, Niklas ^LU ; Schöne, René and Mey, Johannes (2020) ACM / IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020) p.1-5
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Feature-Oriented Control Programming
Fors, Niklas ^LU ; Theorin, Alfred ; Robertz, Sven ^LU and Hedin, Görel ^LU (2020) 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) p.1043-1046
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Watched Propagation of$$0$$ -$$1$$ Integer Linear Constraints
Devriendt, Jo ^LU (2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12333 LNCS. p.160-176
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Using Resolution Proofs to Analyse CDCL Solvers
Kokkala, Janne I. ^LU and Nordström, Jakob ^LU (2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.427-444
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models
Say, Buser ; Devriendt, Jo ^LU ; Nordström, Jakob ^LU and Stuckey, Peter J. (2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.917-934
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems
Gocht, Stephan ^LU ; McBride, Ross ; McCreesh, Ciaran ; Nordström, Jakob ^LU ; Prosser, Patrick and Trimble, James (2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.338-357
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Do Preparatory Programming Lab Sessions Contribute to Even Work Distribution in Student Teams?
Borg, Markus ^LU (2020) 42nd International Conference on Software Engineering (ICSE)
- Contribution to conference › Abstract
Mark What to share, when, and where : balancing the objectives and complexities of open source software contributions
Linåker, Johan ^LU and Regnell, Björn ^LU (2020) In Empirical Software Engineering 25(5). p.3799-3840
- Contribution to journal › Article
Mark Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling
Soos, Mate ; Gocht, Stephan ^LU and Meel, Kuldeep S. (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

« previous
1
…
44
45
46
47
…
180
next »