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

Kannabiran, G., Hoggan, E. & Hansen, L. K. (2020). Somehow They Are Never Horny! I DIS 2020 Companion - Companion Publication of the 2020 ACM Designing Interactive Systems Conference (s. 131-137). Association for Computing Machinery. https://doi.org/10.1145/3393914.3395877

Boudgoust, K., Gachon, E. & Pellet-Mary, A. (2022). Some Easy Instances of Ideal-SVP and Implications on the Partial Vandermonde Knapsack Problem. I Advances in Cryptology – CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Proceedings (s. 480-509). Springer. https://doi.org/10.1007/978-3-031-15979-4_17

Höök, K., Hummels, C., Isbister, K., Marti, P., Márquez Segura, E., Jonsson, M., Mueller, F. F., Sanches, P. A. N., Schiphorst, T., Ståhl, A., Svanaes, D., Trotto, A., Petersen, M. G. & Lim, Y. (2017). Soma-Based Design Theory. I CHI 2017 Extended Abstracts - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (s. 550-557). Association for Computing Machinery. https://doi.org/10.1145/3027063.3027082

Ibsen-Jensen, R. & Miltersen, P. B. (2012). Solving Simple Stochastic Games with Few Coin Toss Positions. Lecture Notes in Computer Science, 7501, 636-647. https://doi.org/10.1007/978-3-642-33090-2_55

Ibsen-Jensen, R. & Miltersen, P. B. (2011). Solving simple stochastic games with few coin toss positions. http://arxiv.org/abs/1112.5255

Nelson, B. & Reuben, J. (2020). SoK: Chasing accuracy and privacy, and catching both in differentially private histogram publication. Transactions on Data Privacy, 13(3), 201-245.

Baum, C., Chiang, J. H. Y., David, B. & Frederiksen, T. K. (2023). SoK: Privacy-Enhancing Technologies in Finance. Leibniz International Proceedings in Informatics, LIPIcs. https://doi.org/10.4230/LIPIcs.AFT.2023.12

Baum, C., Dittmer, S., Scholl, P. & Wang, X. (2023). Sok: vector OLE-based zero-knowledge protocols. Designs, Codes and Cryptography, 91(11), 3527-3561. https://doi.org/10.1007/s10623-023-01292-8

Troullinou, G., Kondylakis, H., Lissandrini, M. & Mottin, D. (2021). SOFOS: Demonstrating the Challenges of Materialized View Selection on Knowledge Graph. I Proceedings of the 2021 International Conference on Management of Data (SIGMOD/PODS '21) (s. 2789–2793). Association for Computing Machinery. https://doi.org/10.1145/3448016.3452765

Filos-Ratsikas, A., Frederiksen, S. K. S. & Zhang, J. (2014). Social welfare in one-sided matchings: Random priority and beyond. I R. Lavi (red.), Algorithmic Game Theory: 7th International Symposium, SAGT 2014, Proceedings (s. 1-12). Springer VS. https://doi.org/10.1007/978-3-662-44803-8_1

Christodoulou, G., Filos-Ratsikas, A., Frederiksen, S. K. S., Goldberg, P. W., Zhang, J. & Zhang, J. (2016). Social Welfare in One-Sided Matching Mechanisms. I N. Osman & C. Sierra (red.), Autonomous Agents and Multiagent Systems, IFAAMAS 2016 Workshops, Best Papers, Revised Selected Papers: AAMAS 2016 Workshops, Best Papers (Bind 10002, s. 30-50). Springer VS. https://doi.org/10.1007/978-3-319-46882-2_3

Filos-Ratsikas, A. (2015). Social Welfare in Algorithmic Mechanism Design Without Money. Department of Computer Science, Aarhus University.

Chatterjee, K., Svoboda, J., Žikelić, Đ., Pavlogiannis, A. & Tkadlec, J. (2022). Social balance on networks: Local minima and best-edge dynamics. Physical Review E, 106(3), Artikel 034321. https://doi.org/10.1103/PhysRevE.106.034321

Møller, A. & Naik, M. (2015). SOAP'15: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. I Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2771284

Qi, S., Sacharidis, D., Bouros, P. & Mamoulis, N. (2017). Snapshot and Continuous Points-based Trajectory Search. Geoinformatica, 21(4), 669-701. https://doi.org/10.1007/s10707-016-0267-9

Lee, H. S., Weidner, F., Sidenmark, L. & Gellersen, H. (2024). Snap, Pursuit and Gain: Virtual Reality Viewport Control by Gaze. I F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. T. Dugas & I. Shklovski (red.), CHI '24: Proceedings of the CHI Conference on Human Factors in Computing Systems Association for Computing Machinery. https://doi.org/10.1145/3613904.3642838

Abdolmaleki, B., Khoshakhlagh, H. & Lipmaa, H. (2021). Smooth Zero-Knowledge Hash Functions. I A. Adhikari, R. Küsters & B. Preneel (red.), Progress in Cryptology – INDOCRYPT 2021 - 22nd International Conference on Cryptology in India, 2021, Proceedings: 22nd International Conference on Cryptology in India, Jaipur, India, December 12-15, 2021, Proceedings (s. 510-535). Springer. https://doi.org/10.1007/978-3-030-92518-5_23

Stisen, A., Blunck, H., Bhattacharya, S., Prentow, T. S., Kjærgaard, M. B., Dey, A., Sonne, T. & Jensen, M. M. (2015). Smart devices are different: Assessing and mitigating mobile sensing heterogeneities for activity recognition. I Proceedings of the 13th ACM Conference on Embedded Network Sensor Systems: Sensys 2015

Schwartzbach, N. I. (2023). Smart Contracts and Rationality. Århus Universitet.

Nielsen, J. B. & Spitters, B. (2019). Smart Contract Interactions in Coq. (0 udg.) ArXiv.

Nielsen, J. B. & Spitters, B. (2020). Smart contract interactions in coq. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.), Formal Methods- FM 2019 International Workshops - Revised Selected Papers (s. 380-391). Springer. https://doi.org/10.1007/978-3-030-54994-7_29

Dahl, J. F., Gregersen, S. B., Andersen, U., Schulz, H.-J. & Corredig, M. (2024). Small and large deformation rheology on pizza cheese as an example of application to study anisotropic properties of food soft materials. Food Hydrocolloids, 148(Part A), Artikel 109456. https://doi.org/10.1016/j.foodhyd.2023.109456

Christensen, H. B. & Hansen, K. M. (2012). Slutrapportering Net4Care.

Chan, S.-H., Lam, T.-W., Lee, L. K., Liu, C.-M. & Ting, H.-F. (2011). Sleep Management on Multiple Machines for Energy and Flow Time. Lecture Notes in Computer Science, 6755, 219-231. https://doi.org/10.1007/978-3-642-22006-7_19

Magnani, M., Assent, I., Hornbæk, K., Jakobsen, M. R. & Larsen, K. F. (2013). SkyView: a user evaluation of the skyline operator. I Q. He & A. Iyengar (red.), Proceedings of the 22nd ACM International Conference on Information & Knowledge Management, CIKM '13 (s. 2249-2254 ). Association for Computing Machinery. https://doi.org/10.1145/2505515.2505739

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

Bøgh, K. S., Chester, S. & Assent, I. (2016). SkyAlign: a portable, work-efficient skyline algorithm for multicore and GPU architectures. The VLDB Journal, 25(6), 817-841. https://doi.org/10.1007/s00778-016-0438-1

Larsen, M. R. E., Han, W. & Schulz, H.-J. (2020). Sketchy Rendering to Aid the Recollection of Regular Visualizations. I EuroVis 2020: Short Papers (s. 139-143). Eurographics Association. https://doi.org/10.2312/evs.20201062

Rasmussen, M. K., Troiano, G. M., Petersen, M. G., Simonsen, J. G. & Hornbæk, K. (2016). Sketching Shape-changing Interfaces: Exploring Vocabulary, Metaphor Use, and Affordances. I CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems: CHI'16 (Bind 2016, s. 2740-2751). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858183

Bressa, N. A. & Vermeulen, J. (2019). Sketching for Immersive Analytics with Situated Visualizations. Afhandling præsenteret på The 2019 ACM CHI Conference on Human Factors in Computing Systems (CHI'19), Glasgow, Storbritannien. https://immersiveanalytics456268596.files.wordpress.com/2019/04/bressa.pdf

Bressa, N. A., Wannamaker, K., Korsgaard, H., Willett, W. & Vermeulen, J. (2019). Sketching and Ideation Activities for Situated Visualization Design. I DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (s. 173-185). Association for Computing Machinery. https://doi.org/10.1145/3322276.3322326

Mic, V., Novak, D. & Zezula, P. (2017). Sketches with unbalanced bits for similarity search. I F. Borutta, P. Kroger, T. Seidl & C. Beecks (red.), Similarity Search and Applications - 10th International Conference, SISAP 2017, Proceedings (s. 53-63). Springer Verlag. https://doi.org/10.1007/978-3-319-68474-1_4

Baader, S. & Bødker, S. (2015). SketchCode – an extensible code editor for crafting software. I End-User Development: 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings (Bind 9083, s. 211-216). Springer. https://doi.org/10.1007/978-3-319-18425-8_18

McMillan, D., Brown, B., Lampinen, A., McGregor, M., Hoggan, E. & Pizza, S. (2017). Situating Wearables: Smartwatch Use in Context. I CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (s. 3582-3594). Association for Computing Machinery. https://doi.org/10.1145/3025453.3025993

Korn, M. (2013). Situating Engagement: Ubiquitous Infrastructures for In-Situ Civic Engagement. Datalogisk Institut, Aahus Universitet.

Henriksen, A., Enni, S. & Bechmann, A. (2021). Situated Accountability: Ethical Principles, Certification Standards, and Explanation Methods in Applied AI. I AIES '21: Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society (s. 574-585). Association for Computing Machinery. https://doi.org/10.1145/3461702.3462564

Balkanski, E., Branzei, S., Kurokawa, D. & Procaccia, A. D. (2014). Simultaneous Cake Cutting. I Proceedings of the 28th AAAI Conference on Artificial Intelligence AAAI Press. http://www.aaai.org/ocs/index.php/AAAI/AAAI14/schedConf/presentations

Britz, D., Strutwolf, J. & Østerby, O. (2023). Simulation of steady state limiting currents at arrays of square electrodes. Electrochimica Acta, 462, 1-5. Artikel 142728. https://doi.org/10.1016/j.electacta.2023.142728

Abboud, A., Hansen, T. D., Williams, V. V. & Williams, R. (2016). Simulating Branching Programs with Edit Distance and Friends: Or: a Polylog Shaved is a Lower Bound Made. I STOC 2016 - Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing (s. 375-388). Association for Computing Machinery. https://doi.org/10.1145/2897518.2897653

Arge, L., Truelsen, J. & Yang, J. (2014). Simplifying massive planar subdivisions. I C. C. McGeoch & U. Meyer (red.), 2014 Proceedings of the Sixteenth Workshop on Algorithm Engineering and Experiments (ALENEX) (s. 20-30). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973198.3

Arge, L., Deleuran, L. K., Mølhave, T., Revsbæk, M. & Truelsen, J. (2012). Simplifying Massive Contour Maps. Lecture Notes in Computer Science, 7501, 96-107. https://doi.org/10.1007/978-3-642-33090-2_10

Boudgoust, K. & Scholl, P. (2023). Simple Threshold (Fully Homomorphic) Encryption from LWE with Polynomial Modulus. I J. Guo & R. Steinfeld (red.), Advances in Cryptology – ASIACRYPT 2023: 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4–8, 2023, Proceedings, Part I (s. 371-404). Springer. https://doi.org/10.1007/978-981-99-8721-4_12

Andersen, E. S., Noe, K. Ø., Sørensen, T. S., Nielsen, S. K., LU, F., Paludan, M., Lindegaard, J. C. & Tanderup, K. (2013). Simple DVH parameter addition as compared to deformable registration for bladder dose accumulation in cervix cancer brachytherapy. Radiotherapy & Oncology, 107(1), 52-57. https://doi.org/10.1016/j.radonc.2013.01.013

Mic, V., Raček, T., Křenek, A. & Zezula, P. (2021). Similarity Search for an Extreme Application: Experience and Implementation. I N. Reyes, R. Connor, N. Kriege, D. Kazempour, I. Bartolini, E. Schubert & J.-J. Chen (red.), Constructive Side-Channel Analysis and Secure Design - 12th International Workshop, COSADE 2021, Proceedings (s. 265-279). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-89657-7_20

Thomas, V., Brueggemann, M. J., Wang, D., Gaytán-Lugo, L. S. & Bidwell, N. J. (2018). Silent SIG: Reflection in action at CHI. I R. Mandryk, M. Hancock, M. Perry & A. Cox (red.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Bind 2018-April, s. 1-4). Artikel SIG16 Association for Computing Machinery. https://doi.org/10.1145/3170427.3185362

Faust, S., Hazay, C., Nielsen, J. B., Nordholt, P. S. & Zottarel, A. (2016). Signature Schemes Secure Against Hard-to-Invert Leakage. Journal of Cryptology, 29(2), 422-455. https://doi.org/10.1007/s00145-015-9197-1

Faust, S., Hazay, C., Nielsen, J. B., Nordholt, P. S. & Zottarel, A. (2012). Signature Schemes Secure against Hard-to-Invert Leakage. Lecture Notes in Computer Science, 7658, 98-115. https://doi.org/10.1007/978-3-642-34961-4_8

Skitsas, K., Papageorgiou, I. G., Talebi, M. S., Kantere, V., Katehakis, M. N. & Karras, P. (2022). SIFTER: Space-Efficient Value Iteration for Finite-Horizon MDPs. Proceedings of the VLDB Endowment, 16(1), 90-98. https://doi.org/10.14778/3561261.3561269

Ciaperoni, M., Gionis, A., Katsamanis, A. & Karras, P. (2022). SIEVE: A Space-Efficient Algorithm for Viterbi Decoding. I Proceedings of the 2022 International Conference on Management of Data (s. 1136-1145). Association for Computing Machinery. https://doi.org/10.1145/3514221.3526170

Aranha, D. F., Berndt, S., Eisenbarth, T., Seker, O., Takahashi, A., Wilke, L. & Zaverucha, G. (2021). Side-Channel Protections for Picnic Signatures. Abstract fra Third PQC Standardization Conference, Washington, USA.

Viser resultater 601 til 650 ud af 2925

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series