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

Ramirez Gomez, A. & Gellersen, H. (2020). More than Looking: Using Eye Movements Behind the Eyelids as a New Game Mechanic. I CHI PLAY '20: Proceedings of the Annual Symposium on Computer-Human Interaction in Play (s. 362-373). Association for Computing Machinery. https://doi.org/10.1145/3410404.3414240

Ramirez Gomez, A., Clarke, C., Sidenmark, L. & Gellersen, H. (2021). Gaze+Hold: Eyes-Only Direct Manipulation with Continuous Gaze Modulated by Closure of One Eye. I Proceedings - ETRA 2021: ACM Symposium on Eye Tracking Research and Applications, Full Papers Proceedings (s. 1-12). Artikel 10 Association for Computing Machinery. https://doi.org/10.1145/3448017.3457381

Rakotonirina, I., Ambrona, M., Aguirre, A. & Barthe, G. (2022). Symbolic Synthesis of Indifferentiability Attacks. I ASIA CCS 2022 - Proceedings of the 2022 ACM Asia Conference on Computer and Communications Security (s. 667-681). Association for Computing Machinery. https://doi.org/10.1145/3488932.3497759

Radel, D., Sand, A. & Steel, M. (2013). Hide and seek: placing and finding an optimal tree for thousands of homoplasy-rich sequences. Molecular Phylogenetics and Evolution, 69(3), 1186–1189. https://doi.org/10.1016/j.ympev.2013.08.001

Radaelli, L. & Jensen, C. S. (2013). Towards Fully Organic Indoor Positioning. I Proceedings of the Fifth ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness (s. 16-20). Association for Computing Machinery.

Radaelli, L., Sabonis, D., Lu, H. & Jensen, C. S. (2013). Identifying Typical Movements Among Indoor Objects: Concepts and Empirical Study. I IEEE 14th International Conference on Mobile Data Management (MDM), 2013 (Volume:1 ) (s. 197 - 206 ). IEEE. https://doi.org/10.1109/MDM.2013.29

Radaelli, L., Moses, Y. & Jensen, C. S. (2014). Using cameras to improve Wi-Fi based indoor positioning. I D. Pfoser & K-J. Li (red.), Web and Wireless Geographical Information Systems: 13th International Symposium, W2GIS 2014, Seoul, South Korea, May 29-30, 2014. Proceedings (s. 166-183). Springer VS. https://doi.org/10.1007/978-3-642-55334-9-11

Radaelli, L. (2014). Enabling Indoor Location-Based Services. Department of Computer Science, Aarhus University.

Radaelli, L. & Jensen, C. S. (2015). Towards Characterizing the Temporal Aspect of Frequent Patterns in Indoor Trajectory Data.

Rachuri, S. R., Suresh, A. & Chaudhari, H. (2020). Trident: Efficient 4PC Framework for Privacy Preserving Machine Learning. I Proceedings 2020 Network and Distributed System Security Symposium (s. 1-18). Internet Society. https://doi.org/10.14722/ndss.2020.23005

Rachuri, R. & Scholl, P. (2022). Le Mans: Dynamic and Fluid MPC for Dishonest Majority. I Y. Dodis & T. Shrimpton (red.), Advances in Cryptology – CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Proceedings (s. 719-749). Springer. https://doi.org/10.1007/978-3-031-15802-5_25

Rachuri, S. R. (2023). Practical Multiparty Computation: Approaches to Private Machine Learning.

Qu, Q., Liu, S., Yang, B. & Jensen, C. S. (2014). Integrating Non-Spatial Preferences into Spatial Location Queries. I C. S. Jensen, H. Lu, T. B. Pedersen , C. Thomsen & K. T. Torp (red.), SSDBM '14 Proceedings of the 26th International Conference on Scientific and Statistical Database Management Artikel 8 Association for Computing Machinery. https://doi.org/10.1145/2618243.2618247

Qu, Q. (2014). Efficient Extraction of Content from Enriched Geospatial and Networked Data. Department of Computer Science, University of Aarhus.

Qu, Q., Liu, S., Jensen, C. S., Zhu, F. & Faloutsos, C. (2014). Interestingness-Driven Diffusion Process Summarization in Dynamic Networks. I T. Calders, F. Esposito, E. Hüllermeier & R. Meo (red.), Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part II (s. 597-613). Springer VS. https://doi.org/10.1007/978-3-662-44851-9_38

Qu, Q., Liu, S., Yang, B. & Jensen, C. S. (2014). Efficient Top-k Locality Search for Co-located Spatial Web Objects. I M. Gaber & R. Zhang (red.), 15th IEEE International Conference on Mobile Data Management (MDM): Proceedings (s. 269-278 (vol.1)). IEEE Computer Society Press. https://doi.org/10.1109/MDM.2014.39

Qian, Z., Kavvos, G. A. & Birkedal, L. (2020). Client-Server Sessions in Linear Logic. arXiv.org. https://arxiv.org/abs/2010.13926

Qian, Z., Kavvos, G. A. & Birkedal, L. (2021). Client-server sessions in linear logic. Proceedings of the ACM on Programming Languages, 5(ICFP), Artikel 62. https://doi.org/10.1145/3473567

Qian, Z. (2023). Concurrency And Races In Classical Linear Logic. Aarhus Universitet.

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

Purchase, H. C., Hoggan, E. & Goerg, C. (2007). How important is the "mental map"? - An empirical investigation of a dynamic graph layout algorithm. I M. Kaufmann & D. Wagner (red.), GRAPH DRAWING (s. 184-+). Springer Verlag, Berlin.

Puech, M. (2013). Proofs, Upside Down. I Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings (s. 365-380 ). Springer VS. https://doi.org/10.1007/978-3-319-03542-0_26

Preti, G., Lissandrini, M., Mottin, D. & Velegrakis, Y. (2019). Mining Patterns in Graphs with Multiple Weights. Distributed and Parallel Databases, 39(2), 281-319. https://doi.org/10.1007/s10619-019-07259-w

Prentow, T. S., Blunck, H., Grønbæk, K. & Kjærgaard, M. B. (2014). Estimating Common Pedestrian Routes through Indoor Path Networks using Position Traces. I M. Gaber & R. Zhang (red.), 15th IEEE International Conference on Mobile Data Management: Proceedings (s. 43-48 (vol.1)). IEEE Press. https://doi.org/10.1109/MDM.2014.11

Prentow, T. S., Blunck, H., Stisen, A., Kjærgaard, M. B. & Grønbæk, K. (2014). Accurate estimation of indoor travel times: learned unsupervised from position traces. I M. Youssef , C. Mascolo & F. Kawsar (red.), MOBIQUITOUS '14. Proceedings of the 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (s. 90-99). Association for Computing Machinery. https://doi.org/10.4108/icst.mobiquitous.2014.258020

Prentow, T. S., Ruiz-Ruiz, A., Blunck, H., Stisen, A. & Kjærgaard, M. B. (2015). Spatio-temporal Facility Utilization Analysis from Exhaustive WiFi Monitoring. Pervasive and Mobile Computing, 16(B), 305–316. https://doi.org/10.1016/j.pmcj.2014.12.006

Prentow, T. S., Thom, A., Blunck, H. & Vahrenhold, J. (2015). Making Sense of Trajectory Data in Indoor Spaces. I Proceedings of the 16th IEEE International Conference on Mobile Data Management, vol.1 (s. 116-121). IEEE. https://doi.org/10.1109/MDM.2015.44

Prentow, T. S., Blunck, H., Kjærgaard, M. B. & Stisen, A. (2015). Towards Indoor Transportation Mode Detection using Mobile Sensing. I S. Sigg , P. Nurmi & F. Salim (red.), Mobile Computing, Applications, and Services : 7th International Conference, MobiCASE 2015, Berlin, Germany, November 12-13, 2015, Revised Selected Papers (Bind 162). Springer. https://doi.org/10.1007/978-3-319-29003-4

Prentow, T. S. (2015). Spatio-Temporal Analysis of Human Activities in Indoor Environments through Mobile Sensing: With Applications in Large-Scale Hospital Service Logistics. Department of Computer Science, Aarhus University.

Poulie, C. B. M., Chan, C. B., Parka, A., Lettorp, M., Vos, J., Raaschou, A., Pottie, E., Bundgaard, M. S., Sørensen, L. M. E., Cecchi, C. R., Märcher-Rørsted, E., Bach, A., Herth, M. M., Decker, A., Jensen, A. A., Elfving, B., Kretschmann, A. C., Stove, C. P., Kohlmeier, K. A. ... Kristensen, J. L. (2023). In Vitro and In Vivo Evaluation of Pellotine: A Hypnotic Lophophora Alkaloid. ACS Pharmacology and Translational Science, 6(10), 1492-1507. https://doi.org/10.1021/acsptsci.3c00142

Polychroniadou, A., Damgård, I. B., Garg, S., Mukherjee, P., Nielsen, J. B. & Pandey, O. (2016). On the Communication and Round Complexity of Secure Computation. Institut for Datalogi, Aarhus Universitet. http://cs.au.dk/fileadmin/user_upload/IvanFest_AP.pdf

Polychroniadou, A. (2017). On the Communication and Round Complexity of Secure Computation. Department of Computer Science, University of Aarhus.

Polli, A. M., Korn, M. & Klokmose, C. N. (2013). Local Area Artworks: Collaborative Art Interpretation On-Site. I F. Mattern & S. Santini (red.), Proceedings of The 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp '13 Adjunct (s. 79-82). Association for Computing Machinery. https://doi.org/10.1145/2494091.2494114

Pold, S., Bertelsen, O. W., Koefoed Hansen, L., Andersen, C. U., Bardzell, S. & Bardzell, J. (2015). Criticism – for Computational Alternatives. I O. Bertelsen & K. Halskov (red.), Critical Alternatives, 5th decennial Aarhus Conference: conference proceedings, conference papers Department of Computer Science, Aarhus University. https://doi.org/10.7146/aahcc.v1i1.21621

Piras, E. M., Cabitza, F., Lewkowicz, M. & Bannon, L. (2019). Personal Health Records and Patient-Oriented Infrastructures: Building Technology, Shaping (New) Patients, and Healthcare Practitioners. Computer Supported Cooperative Work: CSCW: An International Journal, 28(6), 1001-1009. https://doi.org/10.1007/s10606-019-09364-x

Pinder, C., Vermeulen, J., Beale, R. & Hendley, R. (2015). Subliminal Priming of Nonconscious Goals on Smartphones. MobileHCI '15 Adjunct, 825-830. https://doi.org/10.1145/2786567.2793707

Pinder, C., Vermeulen, J., Beale, R. & Hendley, R. (2015). Exploring Nonconscious Behaviour Change Interventions on Mobile Devices. MobileHCI '15 Adjunct, 1010-1017. https://doi.org/10.1145/2786567.2794319

Pinder, C., Vermeulen, J., Cowan, B. R. & Beale, R. (2018). Digital Behaviour Change Interventions to Break and Form Habits. ACM Transactions on Computer-Human Interaction, 25(3), 15-15:66. Artikel 15. https://doi.org/10.1145/3196830

Pinder, C., Vermeulen, J. & Cowan, B. R. (2018). Subliminal Semantic Number Processing on Smartphones. I L. Bailie & N. Oliver (red.), MobileHCI 2018 - Beyond Mobile: The Next 20 Years - 20th International Conference on Human-Computer Interaction with Mobile Devices and Services, Conference Proceedings (s. 24:1-24:13). Artikel a24 Association for Computing Machinery. https://doi.org/10.1145/3229434.3229451

Pierce, J., Strengers, Y., Sengers, P. & Bødker, S. (2013). Introduction to the Special Issue on Practice-Oriented Approaches to Sustainable HCI. A C M Transactions on Computer - Human Interaction, 20(4), Artikel 20. https://doi.org/10.1145/2494260

Pierce, J., Strengers, Y., Sengers, P. & Bødker, S. (red.) (2013). Practice-oriented approaches to Sustainable HCI: A Special Issue of ACM Transactions on Computer-Human Interaction (ACM TOCHI). A C M Transactions on Computer - Human Interaction, 20(4). http://dl.acm.org/citation.cfm?id=2509404&picked=prox&cfid=249995314&cftoken=45766466

Picozzi, M., Verdezoto, N., Pouke, M., Vatjus-Anttila, J. & Quigley, A. (2013). Traffic Visualization: Applying Information Visualization Techniques to Enhance Traffic Planning. I GRAPP 2013 IVAPP 2013 : Proceedings of the 8thInternational Conference on Computer Graphics Theory and Applications (s. 554-557). SCITEPRESS Digital Library. https://doi.org/10.5220/0004291605540557

Phillips, J., Verbin, E. & Zhang, Q. (2012). Lower Bounds for Number-in-Hand Multiparty Communication Complexity, Made Easy. The Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings, 23, 486-501. http://delivery.acm.org.ez.statsbiblioteket.dk:2048/10.1145/2100000/2095158/p486-phillips.pdf?ip=130.225.27.190&acc=ACTIVE%20SERVICE&CFID=163115493&CFTOKEN=91446070&__acm__=1356809475_fd9644b3144bb0145788980a11fea592

Pham, T., Vermeulen, J., Tang, A. & Vermeulen, L. M. (2018). Scale Impacts Elicited Gestures for Manipulating Holograms: Implications for AR Gesture Design. ACM conference on Designing Interactive Systems, (2018), 227-240. https://doi.org/10.1145/3196709.3196719

Pham, T. H., Kristensen, J., Mai, S. T., Assent, I., Jacobsen, J., Vo, B. & Le, A. (2018). Interactive Exploration of Subspace Clusters on Multicore Processors. I A. Hameurlain, R. Wagner, D. Benslimane, E. Damiani & W. I. Grosky (red.), Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX - Special Issue on Database- and Expert-Systems Applications: Special Issue on Database- and Expert-Systems Applications (Bind 11310, s. 169-199). Springer VS. https://doi.org/10.1007/978-3-662-58415-6_6

Pfeuffer, K., Alexander, J. & Gellersen, H. (2021). Multi-user Gaze-based Interaction Techniques on Collaborative Touchscreens. I S. N. Spencer (red.), ETRA '21 Short Papers: ACM Symposium on Eye Tracking Research and Applications, Short Papers Proceedings Artikel 26 Association for Computing Machinery. https://doi.org/10.1145/3448018.3458016

Pfeuffer, K., DInc, A., Obernolte, J., Rivu, R., Abdrabou, Y., Shelter, F., Abdelrahman, Y. & Alt, F. (2021). Bi-3D: Bi-Manual Pen-and-Touch Interaction for 3D Manipulation on Tablets. I UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology (s. 149-161). Association for Computing Machinery. https://doi.org/10.1145/3472749.3474741

Pfeuffer, K., Obernolte, J., Dietz, F., Mäkelä, V., Sidenmark, L., Manakhov, P., Pakanen, M. & Alt, F. (2023). PalmGazer: Unimanual Eye-hand Menus in Augmented Reality. I T. Huang, M. Sra & F. Argelaguet (red.), SUI '23: Proceedings of the 2023 ACM Symposium on Spatial User Interaction (s. 1–12). Association for Computing Machinery. https://doi.org/10.1145/3607822.3614523

Pettie, S. & Su, H-H. (2013). Fast distributed coloring algorithms for triangle-free graphs. I F. Fomin, R. Freivalds, M. Kwiatkowska & D. Peleg (red.), Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II (s. 681-693). Springer Publishing Company. https://doi.org/10.1007/978-3-642-39212-2_59

Pettie, S. (2015). Sharp Bounds on Formation-free Sequences. I P. Indyk (red.), Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA '15 (s. 592-604 ). Society for Industrial and Applied Mathematics. http://dl.acm.org/citation.cfm?id=2722155

Viser resultater 501 til 550 ud af 2601

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series