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

Borowski, M., Fog, B. V., Griggio, C. F., Eagan, J. R. & Klokmose, C. N. (2022). Between Principle and Pragmatism: Reflections on Prototyping Computational Media with Webstrates. ACM Transactions on Computer-Human Interaction, Artikel 61. https://doi.org/10.1145/3569895

Bødker, S. & Polli, A. M. (2014). Between initial familiarity and future use – a case of Collocated Collaborative Writing. I C. Rossitta, L. Ciolfi, D. M. & B. Conein (red.), COOP 2014 - Proceedings of the 11th International Conference on the Design of Cooperative Systems, 27-30 May 2014, Nice (France) Springer. http://www.springer.com/computer/hci/book/978-3-319-06497-0

Baum, C., Damgård, I. B., Toft, T. & Zakarias, R. W. (2016). Better Preprocessing for Secure Multiparty Computation. I M. Manulis, A-R. Sadeghi & S. Schneider (red.), Applied Cryptography and Network Security - 14th International Conference, ACNS 2016, Proceedings: 14th International Conference on Applied Cryptography and Network Security (Bind 9696, s. 327-345). Springer VS. https://doi.org/10.1007/978-3-319-39555-5_18

Jafargholi, Z., Kamath, C., Klein, K., Komargodski, I., Pietrzak, K. & Wichs, D. (2017). Be Adaptive, Avoid Overcommitting. I J. Katz & H. Shacham (red.), Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings (Bind 10401, s. 133-163). Springer VS. https://doi.org/10.1007/978-3-319-63688-7_5

Johnson, E. & Tschudi, D. (2012). Baseline effects on carbon footprints of biofuels: The case of wood. Environmental Impact Assessment Review. https://doi.org/10.1016/j.eiar.2012.06.005

Müller, J., Eberle, D. & Schmidt, C. (2015). BaseLase: An Interactive Focus + Context Laser Floor. I B. Begole & J. Kim (red.), CHI '15, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems (s. 3869-3878 ). Association for Computing Machinery. http://dx.doi.org/10.1145/2702123.2702246

Fandina, O. N., Høgsgaard, M. M. & Larsen, K. G. (2023). Barriers for Faster Dimensionality Reduction. I P. Berenbrink, P. Bouyer, A. Dawar & M. M. Kante (red.), 40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023 Artikel 31 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.STACS.2023.31

Baum, C., de Saint Guilhem, C. D., Kales, D., Orsini, E., Scholl, P. & Zaverucha, G. (2021). Banquet: Short and Fast Signatures from AES. I J. A. Garay (red.), Public-Key Cryptography – PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part I (s. 266-297). Springer. https://doi.org/10.1007/978-3-030-75245-3_11

Rasmussen, M. K., Merritt, T. R., Alonso, M. B. & Petersen, M. G. (2016). Balancing User and System Control in Shape-Changing Interfaces: a Designerly Exploration. I TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (Bind 2016, s. 202-210). Association for Computing Machinery. https://doi.org/10.1145/2839462.2839499

Damgård, I., Ganesh, C., Khoshakhlagh, H., Orlandi, C. & Siniscalchi, L. (2021). Balancing Privacy and Accountability in Blockchain Identity Management. I K. G. Paterson (red.), Topics in Cryptology-CT-RSA 2021 - Cryptographers’ Track at the RSA Conference, Proceedings (s. 552-576). Springer. https://doi.org/10.1007/978-3-030-75539-3_23

Madsen, O. L. (2013). Back to the future: SIMULA style concurrent objects. I AGERE! 2013 - Proceedings of the 2013 ACM Workshop on Programming Based on Actors, Agents, and Decentralized Control (s. 145-146). Association for Computing Machinery, Inc. https://doi.org/10.1145/10.1145/2541329.2541347

Mathiasen, A. & Hvilshøj, F. (2020). Backpropagating through Fréchet Inception Distance.

Tomlein, M. & Grønbæk, K. (2017). A Visual Programming Approach Based on Domain Ontologies for Configuring Industrial IoT Installations. I Proceedings of the 7th International Conference on the Internet of Things, IoT 2017 Artikel 9 Association for Computing Machinery. https://doi.org/10.1145/3131542.3131552

Schulz, H-J., Hadlak, S. & Schumann, H. (2013). A Visualization Approach for Cross-level Exploration of Spatiotemporal Data. I S. Lindstaedt & M. Granitzer (red.), Proceedings of the International Conference on Knowledge Management and Knowledge Technologies (i-Know'13) Artikel 2 ACM Press. https://doi.org/10.1145/2494188.2494199

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

Hansen, M. T., Kusy, B., Jurdak, R. & Langendoen, K. (2012). AutoSync : Automatic duty-cycle control for synchronous low-power listening. I 9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON) (s. 139 - 147 ). IEEE Signal Processing Society. https://doi.org/10.1109/SECON.2012.6275770

Andersen, K. J. A. (2019). Automatic Program Verification. Aarhus University.

Kán, P., Kurtic, A., Radwan, M. & M. Loáiciga Rodríguez, J. (2021). Automatic Interior Design in Augmented Reality Based on Hierarchical Tree of Procedural Rules. Electronics, 10(3), 1-17. Artikel 245. https://doi.org/10.3390/electronics10030245

Oortwijn, W., Huisman, M., Joosten, S. J. C. & van de Pol, J. (2020). Automated verification of parallel nested DFS. I A. Biere & D. Parker (red.), Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I (s. 247-265). Springer. https://doi.org/10.1007/978-3-030-45190-5_14

Jensen, C. S., Prasad, M. R. & Møller, A. (2013). Automated Testing with Targeted Event Sequence Generation. I M. Pezzè & M. Harman (red.), International Symposium on Software Testing and Analysis (ISSTA), 2013: Proceedings (s. 67-77). Association for Computing Machinery. https://doi.org/10.1145/2483760.2483777

Adamsen, C. Q. (2018). Automated Testing Techniques for Event-Driven and Dynamically Typed Software Applications. Aarhus Universitet.

Jensen, C. S. (2015). Automated Testing of Event-Driven Applications. Department of Computer Science, Aarhus University.

Kristensen, E. K. (2019). Automated Techniques for Creation and Maintenance of TypeScript Declaration Files. Aarhus University.

Møller, A. & Schwarz, M. (2012). Automated Detection of Client-State Manipulation Vulnerabilities. I M. Glinz, G. Murphy & M. Pezzè (red.), 34th International Conference on Software Engineering (ICSE 2012) : Proceedings (s. 749 - 759 ). IEEE Communications Society. https://doi.org/10.1109/ICSE.2012.6227143

Møller, A. & Schwarz, M. R. (2014). Automated Detection of Client-State Manipulation Vulnerabilities. A C M Transactions on Software Engineering and Methodology, 23/4, Artikel 29. https://doi.org/10.1145/2531921

Rasmussen, T. (Accepteret/In press). authAR - Automatic Authoring of Picking and Layout Optimization. Afhandling præsenteret på OzCHI 2022, Canberra, Australien.

Evangelista Belo, J. M., Lystbæk, M. N., Feit, A. M., Pfeuffer, K., Kán, P., Oulasvirta, A. & Grønbæk, K. (2022). AUIT – the Adaptive User Interfaces Toolkit for Designing XR Applications. I UIST '22: Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology Artikel 48 Association for Computing Machinery. https://doi.org/10.1145/3526113.3545651

Jurik, B. A. & Nielsen, J. A. S. (2012). Audio Quality Assurance : An Application of Cross Correlation. I Proceedings of the 9th International Conference on Preservation of Digital Objects, iPRES (s. 144-149). Digital Curation Institute, University of Toronto. http://www.scape-project.eu/publication/audio-quality-assurance

Wagner, S. R., Ahrendt, P., Toftegaard, T. S. & Bertelsen, O. W. (2012). Audio Context Classification for Determining Blood Pressure Self-Measurement Adherence. 105 - 114. Afhandling præsenteret på IADIS International Conference on e-Health , Lisbon, Portugal. http://www.conferencealerts.com/show-event?id=97140

Nielsen, M. B. & Østerby, O. (2013). A Two-Continua Approach to Eulerian Simulation of Water Spray. A C M Transactions on Graphics, 32(4), Artikel Article No. 67 . https://doi.org/10.1145/2461912.2461918

Larsen, C. A., Schmidt, S. M., Steensgaard, J., Jakobsen, A. B., Pol, J. V. D. & Pavlogiannis, A. (2023). A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. Lecture Notes in Computer Science, 13994, 353-371. https://doi.org/10.1007/978-3-031-30820-822

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. https://doi.org/10.1145/3503222.3507734

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2010). A tree-based method for the rapid screening of chemical fingerprints. Algorithms for Molecular Biology, 5(9). https://doi.org/10.1186/1748-7188-5-9

Chatzopoulos, S., Vergoulis, T., Skoutas, D., Dalamagas, T., Tryfonopoulos, C. & Karras, P. (2023). Atrapos: Real-time Evaluation of Metapath Query Workloads. I ACM Web Conference 2023 - Proceedings of the World Wide Web Conference, WWW 2023 (s. 2487-2498). Association for Computing Machinery. https://doi.org/10.1145/3543507.3583322

Musaeus, L. H., Caspersen, M. E. & Musaeus, P. (2023). A Template for Teaching Computational Modelling in High School. I WiPSCE proceedings 2023 (s. 1-10) https://doi.org/10.1145/3605468.3609754

Musaeus, L. H. (2023). A Template for Teaching Computational Modelling in High School. 1-10. Afhandling præsenteret på WiPSCE 2023 The 18th WiPSCE Conference on Primary and Secondary Computing Education Research, Cambridge, Storbritannien. https://dl.acm.org/doi/abs/10.1145/3605468.3609754

Faust, S., Mukherjee, P., Nielsen, J. B. & Venturi, D. (2015). A Tamper and Leakage Resilient von Neumann Architecture. I J. Katz (red.), Public-Key Cryptography, PKC 2015: 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings (s. 579-603). Springer VS. https://doi.org/10.1007/978-3-662-46447-2_26

Petersen, R. K. B. (2022). A Tale of Twines, Quadrangles and Colorful Hierarchies. Aarhus Universitet.

Zerny, I. & Danvy, O. (2013). A synthetic operational account of call-by-need evaluation. I R. Peña & T. Schrijvers (red.), Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP '13 (s. 97-108). Association for Computing Machinery. https://doi.org/10.1145/2505879.2505898

Liu-Zhang, C-D., Matt, C. & Thomsen, S. E. (2022). Asymptotically Optimal Message Dissemination with Applications to Blockchains. https://eprint.iacr.org/2022/1723

Abspoel, M., Cramer, R., Damgård, I., Escudero, D., Rambaud, M., Xing, C. & Yuan, C. (2020). Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZ. I S. Moriai & H. Wang (red.), Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, 2020, Proceedings (Bind III, s. 151-180). Springer. https://doi.org/10.1007/978-3-030-64840-4_6

Brodal, G. S. (2013). A Survey on Priority Queues. I A. Brodnik, A. López-Ortiz, V. Raman & A. Viola (red.), Space-Efficient Data Structures, Streams, and Algorithms: Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday (s. 150-163 ). Springer VS. https://doi.org/10.1007/978-3-642-40273-9_11

Dowsley, R., Michalas, A., Nagel, M. & Paladi, N. (2017). A survey on design and implementation of protected searchable data in the cloud. Computer Science Review, 26(Supplement C), 17 - 30. https://doi.org/10.1016/j.cosrev.2017.08.001

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

Aranha, D. F., El Housni, Y. & Guillevic, A. (2023). A survey of elliptic curves for proof systems. Designs, Codes and Cryptography, 91, 3333–3378. https://doi.org/10.1007/s10623-022-01135-y

Andreasen, E., Gong, L., Møller, A., Pradel, M., Selakovic, M., Sen, K. & Staicu, C-A. (2017). A Survey of Dynamic Analysis and Test Generation for JavaScript. A C M Computing Surveys, 50(5), 66:1-66:36. Artikel 66. https://doi.org/10.1145/3106739

Nielsen, J., Kristensen, A. K., Mailund, T. & Pedersen, C. N. S. (2011). A sub-cubic time algorithm for computing the quartet distance between two general trees. Algorithms for Molecular Biology, 6(15). https://doi.org/10.1186/1748-7188-6-15

Mathisen, A., Krogh Sørensen, S., Stisen, A., Blunck, H. & Grønbæk, K. (2017). A Study on the Impact of Indoor Positioning Performance on Activity Recognition Applications. I 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2017 (s. 58-67). Association for Computing Machinery. https://doi.org/10.1145/3144457.3144501

Church, K., Hoggan, E. & Oliver, N. (2010). A study of mobile mood awareness and communication through MobiMood. I Proceedings of the 6th Nordic Conference on Human-Computer Interaction: Extending Boundaries (s. 128-137)

Al Farid, F., Hashim, N., Abdullah, J., Bhuiyan, M. R., Shahida Mohd Isa, W. N., Uddin, J., Haque, M. A. & Husen, M. N. (2022). A Structured and Methodological Review on Vision-Based Hand Gesture Recognition System. Journal of Imaging, 8(6), Artikel 153. https://doi.org/10.3390/jimaging8060153

Viser resultater 2301 til 2350 ud af 2602

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series