Publikationer

Søg publikationer fra Institut for Datalogi

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

Sortér efter: Dato | Forfatter | Titel

Mathur, U., Pavlogiannis, A., Tunc, H. C. & Viswanathan, M. (2022). A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. I B. Falsafi, M. Ferdman, S. Lu & T. F. Wenisch (red.), ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (s. 710-725). Association for Computing Machinery. ASPLOS: Architectural Support for Programming Languages and Operating Systems, Proceedings https://doi.org/10.1145/3503222.3507734

Jørgensen, J. R., Assent, I. & Schulz, H-J. (2022). AVID: GPU-enabled Visual Analytics with GPU-FAST-PROCLUS. I Proceedings of the 25th International Conference on Extending Database Technology (EDBT'22) (s. 562-565). openproceedings.org. https://doi.org/10.48786/edbt.2022.51

Mathiasen, A. (2022). Algorithmic Improvements to Boosting and Neural Networks. Aarhus Universitet.

Bloemen, V., Zelst, S. V., Aalst, W. V. D., Dongen, B. V. & Pol, J. V. D. (2022). Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones. Information Systems, 103, [101456]. https://doi.org/10.1016/j.is.2019.101456

Bilo, V., Caragiannis, I., Flammini, M., Igarashi, A., Monaco, G., Peters, D., Vinci, C. & Zwicker, W. (2022). Almost envy-free allocations with connected bundles. Games and Economic Behavior, 131, 197-221. https://doi.org/10.1016/j.geb.2021.11.006

Andersen, L. B., Brabrand, C., Buhl, M., Caprani, O., Georgsen, M., Hachmann, R., Hjorth, M., Jørnø, R. L., Køhrsen, L., Misfeldt, M., Nørgård, R. T., Nortvig, A-M. & Rehder, M. M. (2022). Anbefalinger til indførsel af teknologiforståelse i uddannelse af lærere og andet pædagogisk personale: Slutleverance i 3. spor af forsøgsprogrammet for teknologiforståelse i folkeskolens obligatoriske undervisning. https://emu.dk/sites/default/files/2022-01/gsk_teknologiforståelse_Slutrapport_anbefalinger%20til%20uddannelse%20af%20lærere%20og%20pædagoger.pdf

Caragiannis, I., Kanellopoulos, P. & Voudouris, A. A. (2022). Bounding the Inefficiency of Compromise in Opinion Formation. Algorithmica, 84(1), 234-271. https://doi.org/10.1007/s00453-021-00892-x

Musaeus, L. H., Petersen, M. G., Klokmose, C. N. & Iversen, O. S. (2022). CoTinker - A Toolkit for Supporting Computational Thinking and Collaboration in High School Education. I SIGCSE 2022: Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V. 2March 2022 Pages 1025 (s. 1025)

Nouwens, M., Bagge, R., Kristensen, J. B. & Klokmose, C. N. (2022). Consent-O-Matic: Automatically Answering Consent Pop-ups Using Adversarial Interoperability. I CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems [238] Association for Computing Machinery. Conference on Human Factors in Computing Systems - Proceedings https://doi.org/10.1145/3491101.3519683

Aranha, D. F., Nitulescu, A., Hall-Andersen, M. N., Pagnin, E. & Yakoubov, S. (2022). Count Me In! Extendablity for Threshold Ring Signatures. I Public-Key Cryptography – PKC 2022 : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography Springer. https://doi.org/10.1007/978-3-030-97131-1_13

Takahashi, A. (2022). Cryptography from Zero Knowledge: Advanced Security and New Constructions.

Nyborg, J. C. (2022). Deep Learning for Remote Sensing in Precision Agriculture: Large-scale and label-efficient methods for satellite image data.

Aranha, D. F., Bennedsen, E., Campanelli, M., Ganesh, C., Orlandi, C. & Takahashi, A. (2022). ECLIPSE: Enhanced Compiling method for Pedersen-committed zkSNARK Engines. I Public-Key Cryptography – PKC 2022 : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography Springer. https://doi.org/10.1007/978-3-030-97121-2_21

Cuzzocrea, A., Karras, P. & Vlachou, A. (2022). Effective and efficient skyline query processing over attribute-order-preserving-free encrypted data in cloud-enabled databases. Future Generation Computer Systems, 126, 237-251. https://doi.org/10.1016/j.future.2021.08.008

Caragiannis, I., Kaklamanis, C., Karanikolas, N. & Krimpas, G. (2022). Evaluating approval-based multiwinner voting in terms of robustness to noise. Autonomous Agents and Multi-Agent Systems, 36(1), [1]. https://doi.org/10.1007/s10458-021-09530-w

Borowski, M. (Accepteret/In press). Exploring Computational Media as a Possible Future of Software.

Türkmen, R., Pfeuffer, K., Barrera MacHuca, M. D., Batmaz, A. U. & Gellersen, H. (2022). Exploring Discrete Drawing Guides to Assist Users in Accurate Mid-air Sketching in VR. I CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems [276] Association for Computing Machinery. Conference on Human Factors in Computing Systems - Proceedings https://doi.org/10.1145/3491101.3519737

Lystbæk, M. N., Pfeuffer, K., Grønbæk, J. E. & Gellersen, H. (Accepteret/In press). Exploring Gaze for Assisting Freehand Selection-based Text Entry in AR.

Aziz, H., Caragiannis, I., Igarashi, A. & Walsh, T. (2022). Fair allocation of indivisible goods and chores. Autonomous Agents and Multi-Agent Systems, 36(1), [3]. https://doi.org/10.1007/s10458-021-09532-8

Davi Resende, A. C., Railsback, D., Dowsley, R., Nascimento, A. C. A. & Aranha, D. F. (2022). Fast Privacy-Preserving Text Classification based on Secure Multiparty Computation. IEEE Transactions on Information Forensics and Security, 17, 428-442. https://doi.org/10.1109/TIFS.2022.3144007

Ganesh, C., Orlandi, C., Pancholi, M. R., Takahashi, A. & Tschudi, D. (Accepteret/In press). Fiat-Shamir Bulletproofs are Non-Malleable (in the Algebraic Group Model). I EUROCRYPT 2022 Springer. Lecture Notes in Computer Science (LNCS)

Hurst, A., Lucani Rötter, D. E., Assent, I. & Zhang, Q. (2022). GLEAN: Generalized Deduplication Enabled Approximate Edge Analytics. IEEE Internet of Things Journal.

Jørgensen, J. R., Nellemann, K. S., Assent, I., Pathak, A. R. & Elster, A. C. (2022). GPU-FAST-PROCLUS: A Fast GPU-parallelized Approach to Projected Clustering. Paper præsenteret ved EDBT 2022: 24th International Conference on Extending Database Technology.

Lystbæk, M. N., Rosenberg, P., Pfeuffer, K., Grønbæk, J. E. & Gellersen, H. (Accepteret/In press). Gaze-Hand Alignment: Combining Eye Gaze and Mid-Air Pointing for Interacting with Menus in Augmented Reality.

Nyborg, J. C., Pelletier, C. & Assent, I. (2022). Generalized Classification of Satellite Image Time Series with Thermal Positional Encoding. Manuskript afsendt til publicering. https://arxiv.org/abs/2203.09175

Hogräfer, M. (2022). Generally Applicable Strategies for Progressive Visual Analytics.

Zizzo, A. R., Hvidman, L., Salvig, J. D., Holst, L., Kyng, M. & Petersen, O. B. (2022). Home management by remote self-monitoring in intermediate- and high-risk pregnancies: A retrospective study of 400 consecutive women. Acta Obstetricia et Gynecologica Scandinavica, 101(1), 135-144. https://doi.org/10.1111/aogs.14294

Thai Son, M., Jacobsen, J., Amer-Yahia, S., Spence, I., Tran, P., Assent, I. & Viet Hung Nguyen, Q. (2022). Incremental Density-based Clustering on Multicore Processors. I E E E Transactions on Pattern Analysis and Machine Intelligence, 44(3), 1338-1356. https://doi.org/10.1109/TPAMI.2020.3023125

Svoboda, J., Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2022). Infection dynamics of COVID-19 virus under lockdown and reopening. Scientific Reports, 12, [1526]. https://doi.org/10.1038/s41598-022-05333-5

Georges, A. L., Trieu, A. & Birkedal, L. (2022). Le temps des cerises: Efficient temporal stack safety on capability machines using directed capabilities. Proceedings of the ACM on Programming Languages , 6(OOPSLA1), [74]. https://doi.org/10.1145/3527318

Braun, L., Demmler, D., Schneider, T. & Tkachenko, O. (2022). MOTION – A Framework for Mixed-Protocol Multi-Party Computation. ACM Transactions on Privacy and Security, 25(2), [8]. https://doi.org/10.1145/3490390

Espitau, T., Fouque, P-A., Gérard, F., Rossi, M., Takahashi, A., Tibouchi, M., Wallet, A. & Yu, Y. (2022). Mitaka: A simpler, parallelizable, maskable variant of Falcon. I EUROCRYPT 2022

Ciaperoni, M., Aslay, C., Gionis, A. & Mathioudakis, M. (2022). Optimal Workload-Aware Materialization of Junction Trees. I Proceedings of the 25th International Conference on Extending Database Technology https://doi.org/10.5441/002/edbt.2022.06

Alves, P., Nayara Ortiz, J. & Aranha, D. F. (2022). Performance of hierarchical transforms in homomorphic encryption: A case study on logistic regression inference. Abstract fra 1st Annual FHE.org Conference on Fully Homomorphic Encryption, Trondheim, Norge.

Jacobs, K., Devriese, D. & Timany, A. (2022). Purity of an ST monad: Full abstraction by semantically typed back-translation. Proceedings of the ACM on Programming Languages , 6(OOPSLA1), [82]. https://doi.org/10.1145/3527326

Britz, D., Strutwolf, J. & Østerby, O. (2022). Rectangular electrodes: Simulation of accurate steady state currents and the behaviour of square electrode arrays. Electrochimica Acta, 404, [139750]. https://doi.org/10.1016/j.electacta.2021.139750

Christensen, H. B. (Producent). (2022). SkyCave. Softwareprogram https://bitbucket.org/henrikbaerbak/skycaveopen/src/master/

Rachuri, S. R., Suresh, A., Patra, A. & Koti, N. (2022). Tetrad: Actively Secure 4PC for Secure Training and Inference. I Proceedings 2022 Network and Distributed System Security Symposium Internet Society. https://eprint.iacr.org/2021/755

Nyborg, J. C., Pelletier, C., Lefevre, S. & Assent, I. (2022). TimeMatch: Unsupervised Cross-Region Adaptation by Temporal Shift Estimation. Manuskript afsendt til publicering. https://arxiv.org/abs/2111.02682

Damgård, I. B., Orlandi, C., Takahashi, A. & Tibouchi, M. (2022). Two-Round n-out-of-n and Multi-Signatures and Trapdoor Commitment from Lattices. Journal of Cryptology, 35, [14]. https://doi.org/10.1007/s00145-022-09425-3

Christensen, H. B. (2022). Using Students’ Screencasts as Alternative to Written Submissions. I Proceedings of the 55th Hawaii International Conference on System Sciences: Conference on Software Engineering Education and Training (CSEE&T) (s. 881-889) http://hdl.handle.net/10125/79440

Borowski, M., Murray, L., Bagge, R., Kristensen, J. B., Satyanarayan, A. & Klokmose, C. N. (2022). Varv: Reprogrammable Interactive Software as a Declarative Data Structure. I CHI '22: Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Association for Computing Machinery. https://doi.org/10.1145/3491102.3502064

Vernica, T., Lipman, R., Kramer, T., Kwon, S. & Bernstein, W. Z. (2022). Visualizing Standardized Model-Based Design and Inspection Data in Augmented Reality. Journal of Computing and Information Science in Engineering, 22(4), [041001]. https://doi.org/10.1115/1.4053154

Pakusch, C., Boden, A., Korsgaard, H., Lewkowicz, M., Avram, G. & Bødker, S. (2021). 2nd Workshop on Studying Technical Mechanisms for Supporting Sharing Communities. Paper præsenteret ved The 19th European Conference on Computer-Supported Cooperative Work, Zurich, Schweiz. https://doi.org/10.18420/ecscw2021-wsmc01

Møller, A. & Sridharan, M. (red.) (2021). 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). I A. Møller & M. Sridharan (red.), 35th European Conference on Object-Oriented Programming (ECOOP 2021) (s. vii-ix). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Bind 194 https://doi.org/10.4230/LIPIcs.ECOOP.2021.0

André, É., Marinho, D. & Pol, J. V. D. (2021). A Benchmarks Library for Extended Parametric Timed Automata. I F. Loulergue & F. Wotawa (red.), Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings (s. 39-50). Springer. Lecture Notes in Computer Science Bind 12740 https://doi.org/10.1007/978-3-030-79379-1_3

Truica, C-O., Apostol, E. S., Stefu, T. & Karras, P. (2021). A Deep Learning Architecture for Audience Interest Prediction of News Topic on Social Media. I Y. Velegrakis, D. Zeinalipour-Yazti, P. K. Chrysanthis & F. Guerra (red.), Proceedings of the 24th International Conference on Extending Database Technology, EDBT 2021, Nicosia, Cyprus, March 23 - 26, 2021 (s. 588-599). openproceedings.org. https://doi.org/10.5441/002/edbt.2021.69

van Oosterhout, A. (2021). A Design Perspective on Force Feedback. Aarhus Universitet.

Rocha, R. V. M., Libório, P. P., Kupwade Patil, H. & Aranha, D. F. (2021). A Differentially Private Hybrid Approach to Traffic Monitoring. I K. Sako & N. O. Tippenhauer (red.), Applied Cryptography and Network Security - ACNS 2021 (s. 233-256). Springer. Lecture Notes in Computer Science Bind 12727 https://doi.org/10.1007/978-3-030-78375-4_10

Braun, L., Cammarota, R. & Schneider, T. (2021). A Generic Hybrid 2PC Framework with Application to Private Inference of Unmodified Neural Networks: Extended Abstract. Poster session præsenteret ved Privacy in Machine Learning.

Viser resultater 1 til 50 ud af 2244

Næste

Revideret 16.11.2021 -

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series