Parallel Systems

1 – 10 of 481

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/V1001417?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
2
3
4
…
48
49
next »

2025
Mark Lifting with colourful sunflowers
de Rezende, Susanna F. ^LU and Vinyals, Marc (2025) 40th Computational Complexity Conference, CCC 2025 In LIPIcs : Leibniz international proceedings in informatics 339.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark On the automatability of tree-like k-DNF resolution
Carenini, Gaia and de Rezende, Susanna F. ^LU (2025) 40th Computational Complexity Conference, CCC 2025 In LIPIcs : Leibniz international proceedings in informatics 339.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Truly Supercritical Trade-Offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler–Leman
De Rezende, Susanna F. ^LU ; Fleming, Noah ^LU ; Janett, Duri Andrea ; Nordström, Jakob ^LU and Pang, Shuo (2025) 57th Annual ACM Symposium on Theory of Computing, STOC 2025 In Proceedings of the Annual ACM Symposium on Theory of Computing p.1371-1382
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Using machine learning hardware to solve linear partial differential equations with finite difference methods
Boulasikis, Michail ^LU ; Gruian, Flavius ^LU and Szász, Robert-Zoltán ^LU (2025) In International Journal of Parallel Programming 53(2).
- Contribution to journal › Article
Mark Navigating the Challenges and Opportunities of Securing Internet of Autonomous Vehicles With Lightweight Authentication
Ali, Hazem Ismail ; Kurunathan, Harrison ; Eldefrawy, Mohamed Hamdy ; Gruian, Flavius ^LU and Jonsson, Magnus (2025) In IEEE Access 13. p.24207-24222
- Contribution to journal › Article
Mark Quantum Automating TC⁰-Frege Is LWE-Hard
Arteche, Noel ^LU ; Carenini, Gaia and Gray, Matthew (2025) In Computational Complexity 34(2).
- Contribution to journal › Article
Mark Towards an Understanding of Polynomial Calculus : New Separations and Lower Bounds
Filmus, Yuval ; Lauria, Massimo ; Mikša, Mladen ; Nordström, Jakob ^LU and Vinyals, Marc (2025) In Theory of Computing 21.
- Contribution to journal › Article
Mark Pseudo-Boolean Proof Logging for Optimal Classical Planning
Dold, Simon ; Helmert, Malte ; Nordström, Jakob ^LU ; Röger, Gabriele and Schindler, Tanja (2025) 35th International Conference on Automated Planning and Scheduling, ICAPS 2025 35. p.54-63
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Parallel Axis Split Tasks for Bounding Volume Construction with OpenMP^®
Waldemarson, Gustaf ^LU and Doggett, Michael ^LU (2025) 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025 1. p.347-354
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
Badings, Thom ; Koops, Wietze ^LU ; Junges, Sebastian and Jansen, Nils (2025) 37th International Conference on Computer Aided Verification, CAV 2025 In Lecture Notes in Computer Science 15932 LNCS. p.349-375
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

« previous
1
2
3
4
…
48
49
next »