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

Orlandi, C., Ravi, D. & Scholl, P. (2022). On the Bottleneck Complexity of MPC with Correlated Randomness. I G. Hanaoka, J. Shikata & Y. Watanabe (red.), Public-Key Cryptography – PKC 2022: 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8–11, 2022, Proceedings, Part I (s. 194-220). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Bind 13177 LNCS https://doi.org/10.1007/978-3-030-97121-2_8

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.

Liu-Zhang, C-D., Matt, C., Maurer, U., Rito, G. & Thomsen, S. E. (2022). Practical Provably Secure Flooding for Blockchains. https://eprint.iacr.org/2022/608

Brodal, G. S. (2022). Priority Queues with Decreasing Keys. I P. Fraigniaud & Y. Uno (red.), 11th International Conference on Fun with Algorithms, FUN 2022 (s. 8:1-8:19). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Bind 226 https://doi.org/10.4230/LIPIcs.FUN.2022.8

Bidlingmaier, M. E. (2022). Probabilistic Programming and Multiverse Models of Type Theory. Aarhus Universitet.

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

Tchernavskij, P., Webb, A. M., Gemeinhardt, H. & Mackay, W. E. (2022). Readymades & Repertoires: Artifact-Mediated Improvisation in Tabletop Role-Playing Games. 298–311.

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

Caragiannis, I., Gravin, N., Lu, P. & Wang, Z. (2022). Relaxing the Independence Assumption in Sequential Posted Pricing, Prophet Inequality, and Random Bipartite Matching. I M. Feldman, H. Fu & I. Talgam-Cohen (red.), Web and Internet Economics : 17th International Conference, WINE 2021 (s. 131-148). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Bind 13112 LNCS https://doi.org/10.1007/978-3-030-94676-0_8

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

Hogräfer, M., Angelini, M., Santucci, G. & Schulz, H-J. (Accepteret/In press). Steering-by-Example for Progressive Visual Analytics. ACM Transactions on Intelligent Systems and Technology. https://doi.org/10.1145/3531229

Bilstrup, K-E. K., Kaspersen, M. H., Lunding, M. S., Schaper, M-M. A., Van Mechelen, M., Tamashiro, M. A., Smith, R. C., Iversen, O. S. & Petersen, M. G. (2022). Supporting Critical Data Literacy in K-9 Education: Three Principles for Enriching Pupils’ Relationship to Data. ACM Interaction Design and Children (conference), 225-236. https://doi.org/10.1145/3501712.3530783

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

Aranha, D. F., Engelmann, F. T., Kolby, S. & Yakoubov, S. (Accepteret/In press). The State of the Union: Union-Only Signatures for Data Aggregation. I 13th Conference on Security and Cryptography for Networks

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

Mascheroni, G., Zaman, B., Eriksson, E., Cino, D., Brandsen, S. & Bressa, N. A. (2022). Towards Computational Empowerment of Disadvantaged Children and Youth in Non-Formal Learning Contexts. Abstract fra ICA annual conference, Paris, Frankrig.

Møller-Nielsen, P. (2022). Two Extensions of a Phase Vocoder.

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 (s. 881-889). University of Hawai'i at Manoa . 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 [492] Association for Computing Machinery. https://doi.org/10.1145/3491102.3502064

Ganesh, C., Orlandi, C., Tschudi, D. & Zohar, A. (2022). Virtual ASICs: Generalized Proof-of-Stake Mining in Cryptocurrencies. I J. Garcia-Alfaro, J. L. Muñoz-Tapia, G. Navarro-Arribas & M. Soriano (red.), Data Privacy Management, Cryptocurrencies and Blockchain Technology : ESORICS 2021 International Workshops, DPM 2021 and CBT 2021 (s. 173-191). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Bind 13140 LNCS https://doi.org/10.1007/978-3-030-93944-1_12

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

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

Cino, D., Brandsen, S., Bressa, N. A., Mascheroni, G., Eriksson, E. & Zaman, B. (2022). Young People’s Digital Skills Practices in Non-formal Learning Contexts: observations, interviews, co-design. (Deliverable 6.2).

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.

Afshani, P. (2021). A Lower Bound for Dynamic Fractional Cascading. I SODA '21: Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms (s. 2229-2248). Association for Computing Machinery. https://doi.org/10.5555/3458064.3458197

Gleirscher, M., Pol, J. V. D. & Woodcock, J. (2021). A Manifesto for Applicable Formal Methods. (s. 1-17). CoRR https://arxiv.org/abs/2112.12758

Cohen-Addad, V., Saulpic, D. & Schwiegelshohn, C. (2021). A new coreset framework for clustering. I S. Khuller & V. V. Williams (red.), STOC 2021 - Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing (s. 169-182). Association for Computing Machinery. Proceedings of the Annual ACM Symposium on Theory of Computing https://doi.org/10.1145/3406325.3451022

Hansen, K. A., Ibsen-Jensen, R. & Neyman, A. (2021). Absorbing games with a clock and two bits of memory. Games and Economic Behavior, 128, 213-230. https://doi.org/10.1016/j.geb.2021.04.008

Sølvsten, S. (Producent). (2021). Adiar: An I/O-efficient implementation of Binary Decision Diagrams. Software, GitHub. https://github.com/SSoelvsten/adiar

Bellatreche, L., Dumas, M., Karras, P. & Matulevicius, R. (red.) (2021). Advances in Databases and Information Systems: 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021, Proceedings. Springer. Lecture Notes in Computer Science (LNCS) Bind 12843 https://doi.org/10.1007/978-3-030-82472-3

Mathiesen, S. S. & Schulz, H-J. (2021). Aesthetics and Ordering in Stacked Area Charts. I A. Basu, G. Stapleton, S. Linker, C. Legg, E. Manalo & P. Viana (red.), Diagrammatic representation and inference: 12th International Conference on the Theory and Application of Diagrams (DIAGRAMS'21) (s. 3-19). Springer. Lecture Notes in Computer Science Bind 12909 https://doi.org/10.1007/978-3-030-86062-2_1

Christensen, H. B., Jepsen, S. C. & Worm, T. (2021). Agile Architecting of Distributed Systems for Flexible Industry 4.0. I M. Ganzha, L. Maciaszek, M. Paprzycki & D. Ślęzak (red.), Proceedings of the 16^th Conference on Computer Science and Intelligence Systems (s. 533-536). IEEE. Annals of Computer Science and Information Systems Bind 25 https://doi.org/10.15439/2021F17

Christensen, H. B. (Producent). (2021). AlSoMe: A Demonstration of a High Available Chat App. Softwareprogram https://bitbucket.org/henrikbaerbak/alsome/src/master/

Caragiannis, I. & Hansen, K. A. (red.) (2021). Algorithmic Game Theory: 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings. Springer. Lecture Notes in Computer Science https://doi.org/10.1007/978-3-030-85947-3

Svendsen, S. C. (2021). Algorithms for Massive Terrains and Graphs. Aarhus Universitet.

Böhm, M., Fazzone, A., Leonardi, S., Menghini, C. & Schwiegelshohn, C. (2021). Algorithms for fair k-clustering with multiple protected attributes. Operations Research Letters, 49(5), 787-789. https://doi.org/10.1016/j.orl.2021.08.011

Khurana, S., Schivo, S., Plass, J. R. M., Mersinis, N., Scholma, J., Kerkhofs, J., Zhong, L., van de Pol, J., Langerak, R., Geris, L., Karperien, M. & Post, J. N. (2021). An ECHO of Cartilage: In Silico Prediction of Combinatorial Treatments to Switch Between Transient and Permanent Cartilage Phenotypes With Ex Vivo Validation. Frontiers in Bioengineering and Biotechnology, 9, [732917]. https://doi.org/10.3389/fbioe.2021.732917

Abspoel, M., Dalskov, A., Escudero Ospina, D. E. & Nof, A. (2021). An Efficient Passive-to-Active Compiler for Honest-Majority MPC over Rings. I K. Sako & N. O. Tippenhauer (red.), Applied Cryptography and Network Security: 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings (Bind II, s. 122-154). Springer. Lecture Notes in Computer Science Bind 12726 https://doi.org/10.1007/978-3-030-78375-4_6

Schwartzbach, N. I. (2021). An Incentive-Compatible Smart Contract for Decentralized Commerce. I 2021 IEEE International Conference on Blockchain and Cryptocurrency (s. 1-3). IEEE. https://doi.org/10.1109/ICBC51069.2021.9461077

Brodal, G. S., Fagerberg, R., Hammer, D., Meyer, U., Penschuck, M. & Tran, H. (2021). An experimental study of external memory algorithms for connected components. I D. Coudert & E. Natale (red.), 19th International Symposium on Experimental Algorithms, SEA 2021 (s. 23). [23] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Bind 190 https://doi.org/10.4230/LIPIcs.SEA.2021.23

Bidlingmaier, M. E. (2021). An interpretation of dependent type theory in a model category of locally cartesian closed categories. Mathematical Structures in Computer Science, 31(5), 469-494. https://doi.org/10.1017/S0960129521000098

Baum, C., Braun, L., Munch-Hansen, A., Razet, B. & Scholl, P. (2021). Appenzeller to Brie: Efficient Zero-Knowledge Proofs for Mixed-Mode Arithmetic and Z2k. I CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security (s. 192-211). Association for Computing Machinery. Proceedings of the ACM Conference on Computer and Communications Security https://doi.org/10.1145/3460120.3484812

Afshani, P., de Berg, M., Buchin, K., Gao, J., Loffler, M., Nayyeri, A., Raichel, B., Sarkar, R., Wang, H. & Wang, H-T. (2021). Approximation Algorithms for Multi-Robot Patrol-Scheduling with Min-Max Latency. I S. M. LaValle, M. Lin, T. Ojala, D. Shell & J. Yu (red.), Algorithmic Foundations of Robotics XIV-Part A: Proceedings of the Fourteenth Workshop on the Algorithmic Foundations of Robotics Springer. Springer Proceedings in Advanced Robotics https://arxiv.org/abs/2005.02530

Viser resultater 51 til 100 ud af 2277

Forrige

Næste

Revideret 16.11.2021 -

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series