Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Skorstengaard, L. (2019). Formal Reasoning about Capability Machines. Aarhus University.

Soden, R., Ribes, D., Jack, M., Sutherland, W., Khovanskaya, V., Avle, S., Sengers, P. & Bødker, S. (2019). Fostering Historical Research in CSCW & HCI. I CSCW 2019 Companion - Conference Companion Publication of the 2019 Computer Supported Cooperative Work and Social Computing (s. 517-521). Association for Computing Machinery. https://doi.org/10.1145/3311957.3359436

Afshani, P., Fagerberg, R., Hammer, D., Jacob, R., Kostitsyna, I., Meyer, U., Penschuck, M. & Sitchinava, N. (2019). Fragile complexity of comparison-based algorithms. I M. A. Bender, O. Svensson & G. Herman (red.), 27th Annual European Symposium on Algorithms, ESA 2019 Artikel 2 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2019.2

Bouvin, N. O. (2019). From NoteCards to Notebooks: There and Back Again. I HT 2019 - Proceedings of the 30th ACM Conference on Hypertext and Social Media (s. 19-28). Association for Computing Machinery. https://doi.org/10.1145/3342220.3343666

Jakobsen, K. (2019). Graphene-based Interaction Design for Constructive Play: Tangible Music-making Technologies for Children. Aarhus University.

Beer, A. & Seidl, T. (2019). Graph Ordering and Clustering: A Circular Approach. SSDBM '19, 185-–188. https://doi.org/10.1145/3335783.3335802

Thiel, S.-K., Falk Olesen, J., Halskov, K. & Larsen-Ledet, I. (2019). Group Dynamics in Gameful Collaborative Innovation Processes. I H. Nakanishi, H. Egi, I.-A. Chounta, H. Takada, S. Ichimura & U. Hoppe (red.), Collaboration Technologies and Social Computing (s. 222-231). Springer. https://doi.org/10.1007/978-3-030-28011-6_16

Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2019). Guarded Cubical Type Theory. Journal of Automated Reasoning, 63(2), 211-253. https://doi.org/10.1007/s10817-018-9471-7, https://doi.org/10.1007/s10817-018-9471-7

Larsen, K. G., Nelson, J., Huy L Nguyen & Thorup, M. (2019). Heavy Hitters via Cluster-Preserving Clustering. Communications of the ACM, 62(8), 95-100. https://doi.org/10.1145/3339185

Boyle, E., Kohl, L. & Scholl, P. (2019). Homomorphic Secret Sharing from Lattices Without FHE. I Y. Ishai & V. Rijmen (red.), Advances in Cryptology – EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings: EUROCRYPT 2019 (s. 3-33). Springer VS. https://doi.org/10.1007/978-3-030-17656-3_1

Fischlin, M. & Haagh, H. (2019). How to Sign with White-boxed AES. I P. Schwabe & N. Thériault (red.), Progress in Cryptology – LATINCRYPT 2019 - 6th International Conference on Cryptology and Information Security in Latin America, Proceedings: 6th International Conference on Cryptology and Information Security in Latin America, Santiago de Chile, Chile, October 2–4, 2019, Proceedings (s. 259-279). Springer. https://link.springer.com/chapter/10.1007/978-3-030-30530-7_13

Sørensen, L. B. & Nielsen, K. (2019). Hvorfor undervise i engineering i grundskolen? I Engineering (s. 20-29). VIA University College.

Saatci, B., Rädle, R., Rintel, S., O'Hara, K. & Klokmose, C. N. (2019). Hybrid Meetings in the Modern Workplace: Stories of Success and Failure. 45-61. Afhandling præsenteret på International Conference on Collaboration and Technology, Kyoto, Japan.

Gratzer, D., Sterling, J. & Birkedal, L. (2019). Implementing a modal dependent type theory. Proceedings of the ACM on Programming Languages , 3(ICFP), 1-29. Artikel 107. https://doi.org/10.1145/3341711

Mathisen, A., Horak, T., Klokmose, C. N., Grønbæk, K. & Elmqvist, N. (2019). InsideInsights: Integrating Data-Driven Reporting in Collaborative Visual Analytics. Computer Graphics Forum, 38(3), 649-661. https://doi.org/10.1111/cgf.13717

Agarwal, P. K., Arge, L., Shin, Y. & Staals, F. (2019). I/O-efficient Algorithms for Shortest Path Problems in Simple Polygons.

Bizjak, A., Gratzer, D., Krebbers, R. & Birkedal, L. (2019). Iron: managing obligations in higher-order concurrent separation logic. Proceedings of the ACM on Programming Languages , 3(POPL), 1-30. Artikel 65. https://doi.org/10.1145/3290378

Dongmei, Z. & Møller, A. (red.) (2019). ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Association for Computing Machinery. https://dl.acm.org/citation.cfm?id=3293882&picked=prox

Nitulescu, A. (2019). Lattice-Based Zero-Knowledge SNARGs for Arithmetic Circuits. I P. Schwabe & N. Thériault (red.), Progress in Cryptology – LATINCRYPT 2019 - 6th International Conference on Cryptology and Information Security in Latin America, Proceedings (s. 217-236). Springer. https://doi.org/10.1007/978-3-030-30530-7_11

Arge, L., Grønlund, A., Svendsen, S. C. & Tranberg, J. (2019). Learning to find hydrological corrections. I F. Banaei-Kashani, G. Trajcevski, R. H. Güting, L. Kulik & S. Newsam (red.), 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (SIGSPATIAL '19) (s. 464-467). Association for Computing Machinery. https://doi.org/10.1145/3347146.3359095

Kaspersen, M. H., Hines, S., Moore, M., Rasmussen, M. K. & Dias, M. A. (2019). Lifting Kirigami Actuators Up Where They Belong: Possibilities for SCI. I DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (s. 935-947). Association for Computing Machinery. https://doi.org/10.1145/3322276.3323688

Schulz, H.-J., Röhlig, M., Nonnemann, L., Aehnelt, M., Diener, H., Urban, B. & Schumann, H. (2019). Lightweight Coordination of Multiple Independent Visual Analytics Tools. I A. Kerren, C. Hurter & J. Braz (red.), VISIGRAPP 2019 - Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (Bind 2, s. 106-117). SCITEPRESS Digital Library. https://doi.org/10.5220/0007571101060117

Farhadi, A., Hajiaghayi, M. T., Larsen, K. G. & Shi, E. (2019). Lower bounds for external memory integer sorting via network coding. I M. Charikar & E. Cohen (red.), STOC 2019 - Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing (s. 997-1008). Association for Computing Machinery. https://doi.org/10.1145/3313276.3316337

Afshani, P., Freksen, C. B., Kamma, L. & Larsen, K. G. (2019). Lower bounds for multiplication via network coding. Leibniz International Proceedings in Informatics, LIPIcs, 132, Artikel 10. https://doi.org/10.4230/LIPIcs.ICALP.2019.10

Jacob, R., Larsen, K. G. & Nielsen, J. B. (2019). Lower Bounds for Oblivious Data Structures. I T. M. Chan (red.), Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms (s. 2439-2447). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611975482.149

Beer, A., Kazempour, D., Stephan, L. & Seidl, T. (2019). LUCK- Linear Correlation Clustering Using Cluster Algorithms and a KNN Based Distance Function. SSDBM '19, 181–-184. https://doi.org/10.1145/3335783.3335801

Thiel, S.-K. & Lyle, P. J. (2019). Malleable Games - A Literature Review on Communities of Game Modders. I C and T 2019 - 9th International Conference on Communities and Technologies, Conference Proceedings (s. 198-209). Association for Computing Machinery. https://doi.org/10.1145/3328320.3328393

Grønlund, A., Kamma, L., Larsen, K. G., Mathiasen, A. & Nelson, J. (2019). Margin-Based Generalization Lower Bounds for Boosted Classifiers. I H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alché-Buc, E. Fox & R. Garnett (red.), Advances in Neural Information Processing Systems 32 (NIPS 2019) (Bind 32). Neural Information Processing Systems Foundation. https://arxiv.org/abs/1909.12518

Li, Y., Fan, J., Ovchinnikov, G. & Karras, P. (2019). Maximizing multifaceted network influence. I Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019 (s. 446-457). Artikel 8731520 IEEE. https://doi.org/10.1109/ICDE.2019.00047

Timany, A. & Birkedal, L. (2019). Mechanized relational verification of concurrent programs with continuations. Proceedings of the ACM on Programming Languages , 3(ICFP), 1-28. Artikel 105. https://doi.org/10.1145/3341709

Vadicamo, L., Mic, V., Falchi, F. & Zezula, P. (2019). Metric Embedding into the Hamming Space with the n-Simplex Projection. I G. Amato, C. Gennaro, V. Oria & M. Radovanovic (red.), Similarity Search and Applications - 12th International Conference, SISAP 2019, Proceedings (s. 265-272). Springer. https://doi.org/10.1007/978-3-030-32047-8_23

André, É., Bloemen, V., Petrucci, L. & Pol, J. V. D. (2019). Minimal-Time Synthesis for Parametric Timed Automata. I L. Zhang & T. Vojnar (red.), Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings (Bind II, s. 211-228). Springer. https://doi.org/10.1007/978-3-030-17465-1_12

Preti, G., Lissandrini, M., Mottin, D. & Velegrakis, Y. (2019). Mining Patterns in Graphs with Multiple Weights. Distributed and Parallel Databases, 39(2), 281-319. https://doi.org/10.1007/s10619-019-07259-w

Møller, A. & Torp, M. T. (2019). Model-based testing of breaking changes in Node.js libraries. I S. Apel, M. Dumas, A. Russo & D. Pfahl (red.), ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering (s. 409-419). Association for Computing Machinery. https://doi.org/10.1145/3338906.3338940

Bloemen, V., Duret-Lutz, A. & van de Pol, J. (2019). Model checking with generalized Rabin and Fin-less automata. International Journal on Software Tools for Technology Transfer, 21(3), 307-324. https://doi.org/10.1007/s10009-019-00508-4

Beer, A., Lauterbach, J. & Seidl, T. (2019). MORe++: k-Means Based Outlier Removal on High-Dimensional Data. I International Conference on Similarity Search and Applications (s. 188-202)

Logins, A., Karras, P. & Jensen, C. S. (2019). Multicapacity facility selection in networks. I Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019 (s. 794-805). Artikel 8731341 IEEE. https://doi.org/10.1109/ICDE.2019.00076

Dijk, T. V., Meijer, J. & van de Pol, J. (2019). Multi-core On-The-Fly Saturation. I Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings (s. 58-75). Springer. https://doi.org/10.1007/978-3-030-17465-1_4

Juul, M., Madsen, T., Guo, Q., Bertl, J., Hobolth, A., Kellis, M. & Pedersen, J. S. (2019). ncdDetect2: Improved models of the site-specific mutation rate in cancer and driver detection with robust significance evaluation. Bioinformatics, 35(2), 189-199. https://doi.org/10.1093/bioinformatics/bty511

Damgård, I. B., Escudero Ospina, D. E., Frederiksen, T. K., Keller, M., Scholl, P. & Volgushev, N. (2019). New Primitives for Actively-Secure MPC over Rings with Applications to Private Machine Learning. I Proceedings - 2019 IEEE Symposium on Security and Privacy, SP 2019 (s. 1102-1120). Artikel 8835310 IEEE. https://doi.org/10.1109/SP.2019.00078

Nielsen, B. B., Hassanshahi, B. & Gauthier, F. (2019). Nodest: Feedback-driven static analysis of Node.js applications. I S. Apel, M. Dumas, A. Russo & D. Pfahl (red.), ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering (s. 455-465). Association for Computing Machinery. https://doi.org/10.1145/3338906.3338933

Eskildsen, S., Iranzo, A., Stokholm, M., Staer, K., Ostergaard, K., Eroles, M., Otto, M., Svendsen, K., Pla, A., Vilas, D., Borghammer, P., Santamaria, J., Moller, A., Gaig, C., Brooks, D., Tolosa, E., Ostergaard, L. & Pavese, N. (2019). Occurrence of brain capillary dysfunction in patients with REM sleep behavior disorder. S786-S787. Abstract fra International Congress of Parkinson's Disease and Movement Disorders, Nice, Frankrig.

Angelini, M., May, T., Santucci, G. & Schulz, H.-J. (2019). On Quality Indicators for Progressive Visual Analytics. I EuroVA 2019 - EuroVis Workshop on Visual Analytics (s. 25-29). Eurographics Association. https://doi.org/10.2312/eurova.20191120

Berthelsen, M. L. T. & Hansen, K. A. (2019). On the Computational Complexity of Decision Problems About Multi-player Nash Equilibria. I D. Fotakis & E. Markakis (red.), Algorithmic Game Theory - 12th International Symposium, SAGT 2019, Proceedings (s. 153-167). Springer VS. https://doi.org/10.1007/978-3-030-30473-7_11

Abe, M., Camenisch, J., Dowsley, R. & Dubovitskaya, M. (2019). On the Impossibility of Structure-Preserving Deterministic Primitives. Journal of Cryptology, 32(1), 239-264. https://doi.org/10.1007/s00145-018-9292-1

Grønlund, A., Larsen, K. G. & Mathiasen, A. (2019). Optimal Minimal Margin Maximization with Boosting. I K. Chaudhuri & R. Salakhutdinov (red.), 36th International Conference on Machine Learning, ICML 2019 (Bind 97, s. 4392-4401). International Machine Learning Society (IMLS). http://proceedings.mlr.press/v97/mathiasen19a/mathiasen19a.pdf

Raskin, M. & Simkin, M. (2019). Perfectly Secure Oblivious RAM with Sublinear Bandwidth Overhead. I S. D. Galbraith & S. Moriai (red.), Advances in Cryptology – ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings: 25th International Conference on the Theory and Application of Cryptology and Information Security Kobe, Japan, December 8–12, 2019 Proceedings (Bind II, s. 537-563). Springer. https://doi.org/10.1007/978-3-030-34621-8_19

Piras, E. M., Cabitza, F., Lewkowicz, M. & Bannon, L. (2019). Personal Health Records and Patient-Oriented Infrastructures: Building Technology, Shaping (New) Patients, and Healthcare Practitioners. Computer Supported Cooperative Work: CSCW: An International Journal, 28(6), 1001-1009. https://doi.org/10.1007/s10606-019-09364-x

Safavi, T., Belth, C., Faber, L., Mottin, D., Müller, E. & Koutra, D. (2019). Personalized Knowledge Graph Summarization: From the Cloud to Your Pocket. 528-537. Afhandling præsenteret på IEEE International Conference on Data Mining, Beijing, Kina. https://web.eecs.umich.edu/~dkoutra/papers/19_ICDM_GLIMPSE-CR.pdf

Agarwal, A., Dowsley, R., McKinney, N. D., Wu, D., Lin, C. T., Cock, M. D. & Nascimento, A. (2019). Privacy-Preserving Linear Regression for Brain-Computer Interface Applications. I Y. Song, B. Liu, K. Lee, N. Abe, C. Pu, M. Qiao, N. Ahmed, D. Kossmann, J. Saltz, J. Tang, J. He, H. Liu & X. Hu (red.), Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 (s. 5277-5278). Artikel 8621861 IEEE. https://doi.org/10.1109/BigData.2018.8621861

Viser resultater 1101 til 1150 ud af 2883

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series