Rao, X.
, Georges, A. L., Legoupil, M., Watt, C.
, Pichon-Pharabod, J., Gardner, P.
& Birkedal, L. (2023).
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs.
Proceedings of the ACM on Programming Languages ,
7, Artikel 151.
https://doi.org/10.1145/3591265
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
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., 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
Procopiuc, O., Agarwal, P. K.
, Arge, L. A. & Vitter, J. S. (2003).
Bkd-Tree: A Dynamic Scalable kd-Tree. I
Advances in Spatial and Temporal Databases: 8th International Symposium, SSTD 2003 Santorini Island, Greece, July 24-27, 2003. Proceedings (s. 46-65). Springer.
https://doi.org/10.1007/978-3-540-45072-6_4
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., 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
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
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
Pientka, B., Blazy, S., Traytel, D.
& Timany, A. (2024).
Welcome from the Chairs. I
CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 (s. iii-iv)
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