1 – 10 of 470
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
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
Truly supercritical trade-offs for resolution, cutting planes, monotone circuits, and Weisfeiler-Leman
De Rezende, Susanna F. LU
; Fleming, Noah
; 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
- 2024
-
Mark
From Proof Complexity to Circuit Complexity via Interactive Protocols
(2024) 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 In Leibniz International Proceedings in Informatics, LIPIcs 297.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds
- Contribution to journal › Article
-
Mark
Quantum Automating TC0-Frege Is LWE-Hard
(2024) 39th Computational Complexity Conference, CCC 2024 In Leibniz International Proceedings in Informatics, LIPIcs 300.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Succinct Opacity Micromaps
Waldemarson, Gustaf LU
and Doggett, Michael
LU
(2024)
High-Performance Graphics 2024
In Proceedings of the ACM in Computer Graphics and Interactive Techniques
7(3).
- Contribution to journal › Article
-
Mark
Packet-Type Aware Scheduling of Moldable Streaming Tasks on Multicore Systems with DVFS
Boulasikis, Michail LU ; Kessler, Christoph ; Gruian, Flavius LU
; Keller, Jorg W.
and Litzinger, Sebastian
(2024)
39th Annual ACM Symposium on Applied Computing, SAC 2024
p.449-451
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Hardware and Software Generation from Large Actor Machines in Streaming Applications
Callanan, Gareth LU
and Gruian, Flavius
LU
(2024)
39th ACM/SIGAPP Symposium on Applied Computing, SAC '24
p.142-150
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards the exact complexity of realizability for Safety LTL
- Contribution to journal › Article