Publications | Lund University Publications

421 – 430 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/publication?embed=1&q=department+exact+v1000234&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
…
42
43
44
45
…
180
next »

2020
Mark Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs
de Rezende, Susanna F. ^LU ; Nordström, Jakob ^LU ; Risse, Kilian and Sokolov, Dmitry ^LU (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 Simplified and Improved Separations Between Regular and General Resolution by Lifting
Vinyals, Marc ; Elffers, Jan ^LU ; Johannsen, Jan and Nordström, Jakob ^LU (2020) 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020 In Lecture Notes in Computer Science 12178. p.182-200
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Trade-offs between size and degree in polynomial calculus
Lagarde, Guillaume ; Nordström, Jakob ^LU ; Sokolov, Dmitry ^LU and Swernofsky, Joseph (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 Lifting with simple gadgets and applications to circuit and proof complexity
De Rezende, Susanna ^LU ; Meir, Or ; Nordstrom, Jakob ^LU ; Pitassi, Toniann ; Robere, Robert and Vinyals, Marc (2020) 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2020-November. p.24-30
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark KRW composition theorems via lifting
De Rezende, Susanna F. ^LU ; Meir, Or ; Nordstrom, Jakob ^LU ; Pitassi, Toniann and Robere, Robert (2020) 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 In Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS 2020-November. p.43-49
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Crystal centering using deep learning in X-ray crystallography
Schurmann, Jonathan ; Lindhe, Isaak ^LU ; Janneck, Jorn W. ^LU ; Lima, Gustavo ^LU and Matej, Zdenek ^LU (2020) 53rd Asilomar Conference on Circuits, Systems and Computers, ACSSC 2019 p.978-983
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Robust terrain-aided navigation through sensor fusion
Lager, Mårten ^LU ; Topp, Elin Anna ^LU and Malec, Jacek ^LU (2020)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark A simple approach to nondecreasing paths
Kowaluk, Mirosław and Lingas, Andrzej ^LU (2020) In Information Processing Letters 162.
- Contribution to journal › Article
Mark Data-driven software design with Constraint Oriented Multi-variate Bandit Optimization (COMBO)
Ros, Rasmus ^LU and Hammar, Mikael ^LU (2020) In Empirical Software Engineering
- Contribution to journal › Article
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

« previous
1
…
42
43
44
45
…
180
next »

your query:: Remove department: Department of Computer Science