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

Hansen, K. A., Liu, T. X. & Malekian, A. (red.) (2022). Web and Internet Economics: 18th International Conference, WINE 2022, Troy, NY, USA, December 12-15, 2022, Proceedings. Springer. Lecture Notes in Computer Science Bind 13778 https://doi.org/10.1007/978-3-031-22832-2

Hansen, K. A., Ibsen-Jensen, R. & Neyman, A. (2023). The Big Match with a Clock and a Bit of Memory. Mathematics of Operations Research, 48(1), 419-432. https://doi.org/10.1287/moor.2022.1267

Hansen, R. T., Borghegn, N. W., Gundtoft, P. H., Nielsen, K. A., Balslev-Clausen, A. & Viberg, B. (2023). Change in treatment preferences in pediatric diaphyseal forearm fractures: a Danish nationwide register study of 36,244 fractures between 1997 and 2016. Acta Orthopaedica. Supplementum (Print Edition), 94, 32-37. https://doi.org/10.2340/17453674.2023.7132

Hansen, S. M., Assent, I. & Schulz, H.-J. (2024). A Web Framework for Explainable and Malleable Visualisation. I K. Kucher, A. Diehl & C. Gillmann (red.), EuroVisPosters2024: Poster Proceedings of the 26th Eurographics Conference on Visualization The Eurographics Association. https://doi.org/10.2312/evp.20241080

Hanneke, S., Larsen, K. G. & Zhivotovskiy, N. (2024). Revisiting Agnostic PAC Learning. I Proceedings - 2024 IEEE 65th Annual Symposium on Foundations of Computer Science, FOCS 2024 (s. 1968-1982). IEEE. https://doi.org/10.1109/FOCS61266.2024.00118

Han, W. & Schulz, H.-J. (2020). Exploring Vibrotactile Cues for Interactive Guidance in Data Visualization. I Proceedings of the 13th International Symposium on Visual Information Communication and Interaction, VINCI 2020 Artikel 3430042 Association for Computing Machinery. https://doi.org/10.1145/3430036.3430042

Han, W. & Schulz, H.-J. (2020). Beyond Trust Building - Calibrating Trust in Visual Analytics. I Proceedings - 2020 IEEE Workshop on TRust and EXpertise in Visual Analytics, TREX 2020: Proceedings (s. 9-15). Artikel 9307969 IEEE. https://doi.org/10.1109/TREX51495.2020.00006

Han, K., Wu, B., Tang, J., Cui, S., Aslay, C. & Lakshmanan, L. VS. (2021). Efficient and Effective Algorithms for Revenue Maximization in Social Advertising. I Proceedings of the 2021 ACM SIGMOD International Conference on Management of Data (s. 671-684). Association for Computing Machinery. https://doi.org/10.1145/3448016.3459243

Han, W. (2021). Making and Trusting Decisions in Visual Analytics. I Proceedings - 2021 IEEE Workshop on TRust and EXpertise in Visual Analytics, TREX 2021 (s. 14 - 19). IEEE. https://doi.org/10.1109/TREX53765.2021.00008

Han, W. (2023). Towards Trustworthy Decision Making in Visual Analytics. Århus Universitet.

Han, W. & Schulz, H.-J. (2023). Providing visual analytics guidance through decision support. Information Visualization, 22(2), 140-165. https://doi.org/10.1177/14738716221147289

Hammond, A., Liu, Z., Pérami, T., Sewell, P., Birkedal, L. & Pichon-Pharabod, J. (2024). An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic. Proceedings of the ACM on Programming Languages , 8, 604-637. Artikel 21. https://doi.org/10.1145/3632863

Ham, F. V., Schulz, H.-J. & Dimicco, J. M. (2009). Honeycomb: Visual Analysis of Large Scale Social Networks. I Human-Computer Interaction – INTERACT 2009: 12th IFIP TC 13 International Conference Uppsala, Sweden, August 24-28, 2009 Proceedings, Part II (s. 429-442). Springer. https://doi.org/10.1007/978-3-642-03658-3_47

Hallgren, P. A., Orlandi, C. & Sabelfeld, A. (2017). PrivatePool: Privacy-Preserving Ridesharing. I Proceedings - IEEE 30th Computer Security Foundations Symposium, CSF 2017 (s. 276-291). Artikel 8049726 IEEE Press. https://doi.org/10.1109/CSF.2017.24

Hall-Andersen, M. N. & Schwartzbach, N. I. (2021). Game Theory on the Blockchain: A Model for Games with Smart Contracts. I I. Caragiannis & K. A. Hansen (red.), Algorithmic Game Theory - 14th International Symposium, SAGT 2021, Proceedings: 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021Proceedings (s. 156-170). Springer. https://doi.org/10.1007/978-3-030-85947-3_11

Hall-Andersen, M. N. (2024). Either/Or. Aarhus University.

Hall-Andersen, M. N. & Nielsen, J. B. (2023). On Valiant's Conjecture: Impossibility of Incrementally Verifiable Computation from Random Oracles. I C. Hazay & M. Stam (red.), Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23–27, 2023, Proceedings, Part II (s. 438-469). Springer. https://doi.org/10.1007/978-3-031-30617-4_15, https://doi.org/10.1007/978-3-031-30617-415

Hall, M., Hoggan, E. & Brewster, S. (2008). T-Bars: towards tactile user interfaces for mobile touchscreens. I Proceedings of the 10th international conference on Human computer interaction with mobile devices and services (s. 411-414)

Hadlak, S., Schumann, H. & Schulz, H.-J. (2015). A Survey of Multi-faceted Graph Visualization. I R. Borgo, F. Ganovelli & I. Viola (red.), EuroVis'15 State of the Art Reports (s. 1-20). Eurographics Association. https://doi.org/10.2312/eurovisstar.20151109

Hadlak, S., Tominski, C., Schulz, H.-J. & Schumann, H. (2010). Visualization of attributed hierarchical structures in a spatiotemporal context. International Journal of Geographical Information Science, 24(10), 1497-1513. https://doi.org/10.1080/13658816.2010.510840

Hadlak, S., Schulz, H.-J. & Schumann, H. (2011). In Situ Exploration of Large Dynamic Networks. IEEE Transactions on Visualization and Computer Graphics, 17(12), 2334-2343. https://doi.org/10.1109/TVCG.2011.213

Hachisuka, T. & Jensen, H. W. (2011). Robust Adaptive Photon Tracing using Photon Path Visibility. A C M Transactions on Graphics, 30(5), 114:1 - 114:11. https://doi.org/10.1145/2019627.2019633

Hachisuka, T., Pantaleoni, J. & Jensen, H. W. (2012). A Path Space Extension for Robust Light Transport Simulation. A C M Transactions on Graphics, 31(6), Article 191. https://doi.org/10.1145/2366145.2366210

Hachisuka, T., Jarosz, W., Bouchard , G., Christensen, P., Frisvad, J. R., Wenzel, J., Henrik Wann, J., Kaschalk, M., Knaus, C., Selle, A. & Spencer, B. (2012). State of the Art in Photon-Density Estimation: Course notes. I SIGGRAPH '12 ACM SIGGRAPH 2012 Courses Association for Computing Machinery. https://doi.org/10.1145/2343483.2343489

Hachisuka, T., Jarosz, W., Georgiev, I., Kaplanyan, A., Nowrouzezahrai, D. & Spencer, B. (2013). State of the Art in Photon-Density Estimation: Course notes. I Proceeding, SA '13 SIGGRAPH Asia 2013 Courses Association for Computing Machinery. https://doi.org/10.1145/2542266.2542281

Hachisuka, T., Kaplanyan, A. S. & Dachsbacher, C. (2014). Multiplexed Metropolis Light Transport. A C M Transactions on Graphics, 33(4), Artikel 100. https://doi.org/10.1145/2601097.2601138

Haagh, H., Ji, Y., Li, C., Orlandi, C. & Song, Y. (2016). Revealing Encryption for Partial Ordering. http://eprint.iacr.org/2016/972.pdf

Haagh, H., Ji, Y., Li, C., Orlandi, C. & Song, Y. (2017). Revealing Encryption for Partial Ordering. I M. O’Neill (red.), Cryptography and Coding - 16th IMA International Conference, IMACC 2017, Proceedings (s. 3-22). Springer VS. https://doi.org/10.1007/978-3-319-71045-7_1

Haagh, H., Karbyshev, A., Oechsner, S., Spitters, B. & Strub, P.-Y. (2018, jun. 19). Computer-aided proofs for multiparty computation with active security. arxiv.org. Computer Security Foundations https://arxiv.org/abs/1806.07197

Haagh, H., Karbyshev, A., Oechsner, S., Spitters, B. & Strub, P. (2018). Computer-Aided Proofs for Multiparty Computation with Active Security. I Proceedings - IEEE 31st Computer Security Foundations Symposium, CSF 2018 (Bind 2018, s. 119-131). Artikel 8429300 IEEE. https://doi.org/10.1109/CSF.2018.00016

Haagh, H. (2019). Fine-grained Access and Secure Computation on Encrypted Data. Århus Universitet.

Ha, J.-S., Cheong, O., Goaoc, X. & Yang, J. (2016). Geometric permutations of non-overlapping unit balls revisited. Computational Geometry, 53(Februar), 36–50. https://doi.org/10.1016/j.comgeo.2015.12.003

Gutin, G., Jones, M., Scheder, D. & Yeo, A. (2013). A new bound for 3-satisfiable MaxSat and its algorithmic application. Information and Computation, 231(October), 117-124. https://doi.org/10.1016/j.ic.2013.08.008

Gupta, V., Markmann, K., Pedersen, C. N. S., Stougaard, J. & Andersen, S. U. (2012). shortran: A pipeline for small RNA-seq data analysis. Bioinformatics, 28(20), 2698-2700. https://doi.org/10.1093/bioinformatics/bts496

Gupta, V. (2014). Applied bioinformatics: Genome annotation and transcriptome analysis. Department of Computer Science, Aarhus University.

Guo, C., Ma, M., Yang, B., Jensen, C. S. & Kaul, M. (2012). EcoMark: Evaluating Models of Vehicular Environmental Impact. I I. Cruz & C. Knoblock (red.), Proceedings of the 20th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems: ACM SIGSPATIAL GIS 2012 (s. 269-278). Association for Computing Machinery. https://doi.org/10.1145/2424321.2424356

Guo, S., Hubacek, P., Rosen, A. & Vald, M. (2014). Rational Arguments: Single Round Delegation with Sublinear Verification. I M. Naor (red.), Proceedings of the 5th Conference on Innovations in Theoretical Computer Science, ITCS '14 (s. 523-540 ). Association for Computing Machinery. https://doi.org/10.1145/2554797.2554845

Guo, C., Jensen, C. S. & Yang, B. (2014). Towards total traffic awareness. SIGMOD Record, 43(3), 18-23. http://www.scopus.com/inward/record.url?scp=84916929262&partnerID=8YFLogxK

Guo, Q., An, B., Bošanský, B. & Kiekintveld, C. (2017). Comparing strategic secrecy and Stackelberg commitment in security games. I S. C. (red.), 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 (s. 3691-3699). International Joint Conferences on Artificial Intelligence.

Guo, Q. (2018). Statistical Modelling of Mutations in Cancer Genomes. Århus Universitet.

Guimaraes, A., Borin, E. & Aranha, D. F. (2021). Revisiting the functional bootstrap in TFHE. IACR Transactions of Cryptographic Hardware and Embedded Systems, 2021(2), 229-253. https://doi.org/10.46586/tches.v2021.i2.229-253

Guimaraes, A., Borin, E. & Aranha, D. F. (2022). MOSFHET: Optimized Software for FHE over the Torus. Abstract fra 5th Homomorphic Encryption Standards Meeting, Geneva, Schweiz.

Guimaraes, A., Neumann, L., Andaló, F. A., Aranha, D. F. & Borin, E. (2022). Homomorphic evaluation of large look-up tables for inference on human genome data in the cloud. I Proceedings - 2022 IEEE 34th International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2022 (s. 33-38). IEEE. https://doi.org/10.1109/SBAC-PADW56527.2022.00015

Guimaraes, A., Borin, E. & Aranha, D. F. (2024). MOSFHET: Optimized Software for FHE over the Torus. Journal of Cryptographic Engineering, 14(3), 577-593. https://doi.org/10.1007/s13389-024-00359-z

Guerraoui, R., Aksit, M., Black, A., Cardelli, L., Cointe, P., Coplien, J., Kiczales, G., Lea, D., Madsen, O., Magnusson, B., Meseguer, J., Moessenboeck, H., Palsberg, J. & Schmidt, D. (1996). Strategic directions in object-oriented programming. ACM Computing Surveys, 28(4), 691-700. https://doi.org/10.1145/242223.242275

Guéneau, A., Hostert, J., Spies, S., Sammler, M., Birkedal, L. & Dreyer, D. (2023). Melocoton: A Program Logic for Verified Interoperability Between OCaml and C. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), 716-744. Artikel 247. https://doi.org/10.1145/3622823

Gröschel, C., Dalsgaard, P., Klokmose, C. N., Korsgaard, H., Eriksson, E., Bats, R., Tabard, A., Ducros, A. & Serholt, S. (2018). PARTICIPATE: Capturing Knowledge in Public Library Activities. I CHI EA '18 : Proceedings of the 2018 CHI Conference Extended Abstracts on Human Factors in Computing Systems Artikel LBW060 https://doi.org/10.1145/3170427.3188605

Grönvall, E., Ingstrup, M., Pløger, M. & Rasmussen, M. (2011). REST based service composition: Exemplified in a care network scenario. I 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (s. 251-252). IEEE Computer Society Press. https://doi.org/10.1109/VLHCC.2011.6070417

Grönvall, E. & Kyng, M. (2013). On participatory design of home-based healthcare. Cognition, Technology and Work, 15(4), 389-401. https://doi.org/10.1007/s10111-012-0226-7

Grönvall, E. & Verdezoto, N. (2013). Understanding Challenges and Opportunities of Preventive Blood Pressure Self-Monitoring at Home. I P. Palanque , F. Détienne & A. Tricot (red.), Proceedings of the 31st European Conference on Cognitive Ergonomics (ACM ECCE 2013) Association for Computing Machinery. https://doi.org/10.1145/2501907.2501962

Viser resultater 1551 til 1600 ud af 2963

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series