Research output per year
Research output per year
Research output
- 1 - 50 out of 211 results
Search results
-
2025
High-dimensional density-based clustering using locality-sensitive hashing
Okkels, C. B., Aumüller, M., Thomsen, V. B. & Zimek, A., 2025, EDBT 2025. p. 694-706 13 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
2024
A Probabilistic Choreography Language for PRISM
Carbone, M. & Veschetti, A., 2024, LNCS. Springer, Vol. 14676. p. 20-37 18 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
-
Asynchronous Reactive Programming with Modal Types in Haskell
Bahr, P., Houlborg, E. & Rørdam, G. T. S., 10 Jan 2024, Practical Aspects of Declarative Languages. Springer, Vol. 14512. p. 18-36 (Lecture Notes in Computer Science).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Calculating Compilers Effectively (Functional Pearl)
Garby, Z., Hutton, G. & Bahr, P., 29 Aug 2024, Proceedings of the 17th ACM SIGPLAN International Haskell Symposium. Association for Computing Machinery, p. 109 - 119 11 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Count on CFI graphs for #P-hardness
Curticapean, R.-C., 2024, Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms, SODA 2024. Society for Industrial and Applied Mathematics, p. 1854 - 1871Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Finding the saddlepoint faster than sorting
Jacob, R., Dallant, J., Haagensen, F., Kozma, L. & Wild, S., 2024, 2024 Symposium on Simplicity in Algorithms (SOSA). Society for Industrial and Applied Mathematics, p. 168 - 178 11 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research
Open Access -
How to increase transparency and trust in internet voting systems: An experimental study
Agbesi, S., Budurushi, J., Dalela, A., Nissen, C. F. & Kulyk, O., 2024, Proceedings of the 13th Nordic Conference on Human-Computer Interaction. Association for Computing MachineryResearch output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Skolemisation for Intuitionistic Linear Logic
Bruni, A., Ritter, E. & Schürmann, C., 2024, International Joint Conference on Automated Reasoning. SpringerResearch output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
The Asymptotic Rank Conjecture and the Set Cover Conjecture Are Not Both True
Björklund, A. & Kaski, P., 10 Jun 2024, STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of Computing.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Tracking Code-based Verification-Design and Evaluation
Nissen, C. F., Kulyk, O., Volkamer, M., Fredrich, L. E. & Hermansen, H., 2024, Proceedings of the Ninth International Joint Conference on Electronic Voting (E-Vote-ID 2024). Gesellschaft für Informatik, 16 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Voting beyond borders: A pilot study investigating preferences and trade-offs in remote voting among the Albanian electorate
Budurushi, J., Faraon, M., Agbesi, S., Kulyk, O. & Dalela, A., 2024, Proceedings of Ongoing Research, Practitioners, Posters, Workshops, and Projects of the International Conference EGOV-CeDEM-ePart 2024. CEUR Workshop Proceedings. 12 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
What Monads Can and Cannot Do with a Bit of Extra Time
Møgelberg, R. E. & Zwart, M. A., 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 288. p. 39:1--39:18 18 p. 39Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
2023
A Logical Interpretation of Asynchronous Multiparty Compatibility
Carbone, M., Marin, S. & Schürmann, C., 16 Oct 2023, A Logical Interpretation of Asynchronous Multiparty Compatibility. Springer, Vol. 14330. (Lecture Notes in Computer Science, Vol. 14330).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
A tight quasi-polynomial bound for Global Label Min-Cut
Jaffke, L., Thomé de Lima, P., Masařík, T., Pilipczuk, M. & Souza, U., 2023, Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2023). Society for Industrial and Applied Mathematics, p. 290-303 13 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Better Differentially Private Approximate Histograms and Heavy Hitters using the Misra-Gries Sketch
Lebeda, C. J. & Tětek, J., 18 Jun 2023, Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2023. New York: Association for Computing Machinery, p. 79-88Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Calculating Compilers for Concurrency
Bahr, P. & Hutton, G., 31 Aug 2023, Proceedings of the ACM on Programming Languages. New York, NY, USA, Vol. 7. p. 740–767 28 p. 213Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Correlated-Output Differential Privacy and Applications to Dark Pools
Hsin-yu Chiang, J., David, B., Gama, M. & Lebeda, C. J., 2023, 5th Conference on Advances in Financial Technologies (AFT 2023) . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 282. p. 1-23 (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 282).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Extended Formal Analysis of the EDHOC Protocol in Tamarin
Bruni, A., Normann, K. & Sundararajan, V., 2023, Extended Formal Analysis of the EDHOC Protocol in Tamarin.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
File -
Fixed-parameter tractability of DIRECTED MULTICUT with three terminal pairs parameterized by the size of the cutset: twin-width meets flow-augmentation
Hatzel, M., Jaffke, L., Thomé de Lima, P., Masařík, T., Pilipczuk, M., Sharma, R. & Sorge, M., 2023, Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2023). Society for Industrial and Applied Mathematics, p. 3229 - 3244Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Optimal Parallel Sorting with Comparison Errors
Jacob, R. & Goodrich, M. T., 17 Jun 2023, Proceedings SPAA '23. Association for Computing Machinery, p. 355-365 11 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Overview of the SISAP 2023 Indexing Challenge
Aumüller, M., Chavez, E. & Tellez, E. S., 2023, Similarity Search and Applications, SISAP 2023.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Solving k-Closest Pairs in High-Dimensional Data
Aumüller, M. & Ceccarello, M., 2023, Similarity Search and Applications, SISAP 2023.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Structural Parameterizations of b-Coloring
Jaffke, L., Thomé de Lima, P. & Sharma, R., 2023, 34th International Symposium on Algorithms and Computation (ISAAC 2023). Dagstuhl Publishing, GermanyResearch output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Suitability of Nearest Neighbour Indexes for Multimedia Relevance Feedback
Aumüller, M., Khan, O. S. & Jónsson, B. T., 2023, Similarity Search and Applications SISAP 2023.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Treewidth is NP-complete on cubic graphs (and related results)
Bodlaender, H., Bonnet, É., Jaffke, L., Knop, D., Thomé de Lima, P., Milanič, M., Ordyniak, S., Pandey, S. & Suchý, O., 2023, 18th International Symposium on Parameterized and Exact Computation (IPEC 2023). Dagstuhl Publishing, GermanyResearch output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
2022
DEANN: Speeding up Kernel-Density Estimation using Approximate Nearest Neighbor Search
Aumüller, M., Karppa, M. & Pagh, R., 2022, AISTATS 2022: International Conference on Artificial Intelligence and Statistics. Vol. 151. p. 3108-3137Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Determinants from Homomorphisms
Curticapean, R.-C., 2022, 30th Annual European Symposium on Algorithms (ESA 2022). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 38Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks
Kristensen, M. B., Møgelberg, R. E. & Vezzosi, A., 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, 13 p. 42Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Implementing Distributed Approximate Similarity Joins using Locality Sensitive Hashing
Aumüller, M. & Ceccarello, M., 2022, EDBT: International Conference on Extending Database Technology. 13 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Monadic Compiler Calculation (Functional Pearl)
Bahr, P. & Hutton, G., Aug 2022, Proceedings of the ACM on Programming Languages. Association for Computing Machinery, Vol. 6.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
On the Closures of Monotone Algebraic Classes and Variants of the Determinant
Chaugule, P. & Limaye, N., 2022, LATIN 2022: Theoretical Informatics - 15th Latin American Symposium. Springer, p. 610-625Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
File -
On the Complexity of Rainbow Vertex Colouring Diametral Path Graphs
Dyrseth, J. & Thomé de Lima, P., 2022, 33rd International Symposium on Algorithms and Computation (ISAAC 2022). Dagstuhl Publishing, GermanyResearch output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
On the Partial Derivative Method Applied to Lopsided Set-Multilinear Polynomials.
Limaye, N., Srinivasan, S. & Tavenas, S., 2022, 37th Computational Complexity Conference, CCC 2022. Dagstuhl Publishing, Germany, p. 32:1--32:23 23 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
On the VNP-Hardness of Some Monomial Symmetric Polynomials
Curticapean, R.-C., Limaye, N. & Srinivasan, S., 14 Dec 2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 250.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Parameterizing the permanent: Hardness for fixed excluded minors
Curticapean, R.-C. & Xia, M., 2022, Symposium on Simplicity in Algorithms (SOSA). Society for Industrial and Applied Mathematics, p. 297-307Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Reducing the Vertex Cover Number via Edge Contractions
Thomé de Lima, P., dos Santos, V., Sau, I., Souza, U. & Tale, P., 2022, Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Results of the NeurIPS’21 Challenge on Billion-Scale Approximate Nearest Neighbor Search
Aumüller, M., Simhadri, H., Williams, G., Douze, M., Babenko, A., Baranchuk, D., Hosseini, L., Krishnaswamny, R., Srinivasa, G., Subramanya, S. J. & Wang, J., 2022, Proceedings of the NeurIPS 2021 Competitions and Demonstrations Track. Vol. 176. p. 177-189Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Set-multilinear and non-commutative formula lower bounds for iterated matrix multiplication.
Limaye, N., Srinivasan, S. & Tavenas, S., 2022, STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing. p. 416-425Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
-
Taming Graphs with No Large Creatures and Skinny Ladders
Gajarsky, J., Jaffke, L., Thomé de Lima, P., Novotná, J., Pilipczuk, M., Rzążewski, P. & Souza, U., 2022, Proceedings of the 30th Annual European Symposium on Algorithms (ESA 2022). Dagstuhl Publishing, GermanyResearch output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
XNLP-Completeness for Parameterized Problems on Graphs with a Linear Structure
Bodlaender, H., Groenland, C., Jacob, H., Jaffke, L. & Thomé de Lima, P., 2022, 17th International Symposium on Parameterized and Exact Computation (IPEC 2022).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
2021
A full complexity dichotomy for immanant families
Curticapean, R.-C., 15 Jun 2021, Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, p. 1770 14 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Atomic Power in Forks: A Super-Logarithmic Lower Bound for Implementing Butterfly Networks in the Nonatomic Binary Fork-Join Model
Jacob, R., Sitchinava, N. & Goodrich, M. T., 14 Jan 2021, Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA). Society for Industrial and Applied Mathematics, p. 2141-2153 13 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Computational Complexity of Computing a Quasi-Proper Equilibrium
Lund, T. B. & Hansen, K. A., 2021, Fundamentals of Computation Theory : 23rd International Symposium, FCT 2021 Athens, Greece, September 12–15, 2021 Proceedings. Cham, p. 259-271 13 p. (Lecture Notes in Computer Science, Vol. 12867).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Diamonds are not forever: Liveness in reactive programming with guarded recursion
Bahr, P., Graulund, C. U. & Møgelberg, R. E., Jan 2021, ACM SIGPLAN Symposium on Principles of Programming Languages. POPL ed. Association for Computing Machinery, Vol. 5. 28 p. (Proceedings of the ACM on Programming Languages).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Differentially Private Sparse Vectors with Low Error, Optimal Space, and Fast Access
Aumüller, M., Pagh, R. & Lebeda, C. J., 2021, Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, 14 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Efficient Differentially Private F0 Linear Sketching
Pagh, R. & Nielsen, N. M. S., 2021, 24th International Conference on Database Theory (ICDT 2021). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, (Leibniz International Proceedings in Informatics (LIPIcs)).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices
Normann, K., Sundararajan, V. & Bruni, A., 2021, Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research
Open Access -
Fragile Complexity of Adaptive Algorithms
Jacob, R., Fagerberg, R., Bose, P., Cano, P., Iacono, J. & Langerman, S., 10 May 2021, International Conference on Algorithms and Complexity. Springer, Vol. LNCS 12701. p. 144-157 14 p. (LNCS, Vol. 12701).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Improved Differentially Private Euclidean Distance Approximation
Nielsen, N. M. S., Jun 2021, PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Association for Computing Machinery, Vol. 40. p. 42–56 56Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Machine-Checked Semantic Session Typing
Hinrichsen, J. K., Louwrink, D., Krebbers, R. & Bengtson, J., 2021, CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery, p. 178–198Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile