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

Cramer, R., Damgård, I., Escudero, D., Scholl, P. & Xing, C. (2018). SPDΖ₂k: Efficient MPC mod 2^k for Dishonest Majority. I H. Shacham & A. Boldyreva (red.), Advances in Cryptology - CRYPTO 2018 (Bind 10992, s. 769-798). Springer VS. https://doi.org/10.1007/978-3-319-96881-0_26

Cozza, V., Messina, A., Montesi, D., Arietta, L. & Magnani, M. (2013). Spatio-temporal keyword queries in social networks. I B. Catania, G. Guerrini & J. Pokorný (red.), Advances in Databases and Information Systems: 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings (s. 70-83). Springer Publishing Company. https://doi.org/10.1007/978-3-642-40683-6_6

Lu, H., Yang, B. & Jensen, C. S. (2011). Spatio-temporal joins on symbolic indoor tracking data. Proceedings of the International Conference on Data Engineering, 816-827. https://doi.org/10.1109/ICDE.2011.5767902

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. (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.

Borowski, M., Grønbæk, J. E., Butcher, P. W. S., Ritsos, P. D., Klokmose, C. N. & Elmqvist, N. (2025). Spatialstrates: Cross-Reality Collaboration through Spatial Hypermedia. I A. Bianchi, E. L. Glassman, W. E. Mackay, S. Zhao, I. Oakley & J. Kim (red.), UIST 2025 - Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology: Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology Artikel 187 Association for Computing Machinery. https://doi.org/10.1145/3746059.3747708

Sánchez Esquivel, J., Zerbin, L., Zhou, Q., Pfeuffer, K. & Gellersen, H. (2025). SpatialPad – Air-taps for interaction in XR. I U. Eck, G. Lee, A. Plopski, M. Smith, Q. Sun & M. Tatzgern (red.), Proceedings - 2025 IEEE International Symposium on Mixed and Augmented Reality Adjunct, ISMAR-Adjunct 2025 (s. 40-45) https://doi.org/10.1109/ISMAR-Adjunct68609.2025.00015

Chen, L., Jensen, C. S. & Wu, D. (2013). Spatial Keyword Query Processing: An Experimental Evaluation. Proceedings of the VLDB Endowment, 6(3), 217-228. http://www.vldb.org/pvldb/vol6/p217-chen.pdf

Cao, X., Chen, L., Cong, G., Jensen, C. S., Qu, Q., Skovsgaard, A., Wu, D. & Yiu, M. L. (2012). Spatial Keyword Querying: Invited Paper. Lecture Notes in Computer Science, 7532, 16-29 . https://doi.org/10.1007/978-3-642-34002-4_2

Sidlauskas, D. & Jensen, C. S. (2014). Spatial joins in main memory: Implementation matters! Proceedings of the VLDB Endowment, 8(1), 97-100. http://www.vldb.org/pvldb/vol8/p97-sidlauskas.pdf

Wong, E., Genay, A., Grønbæk, J. E. & Velloso, E. (2025). Spatial Heterogeneity in Distributed Mixed Reality Collaboration. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 980 Association for Computing Machinery. https://doi.org/10.1145/3706598.3714033

Lystbæk, M. N., Pfeuffer, K., Langlotz, T., Grønbæk, J. E. & Gellersen, H. (2024). Spatial Gaze Markers: Supporting Effective Task Switching in Augmented Reality. I F. Mueller, P. Kyburz, J. Williamson, C. Sas, M. Wilson, P. Dugas & I. Shklovski (red.), CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the CHI Conference on Human Factors in Computing Systems Artikel 633 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642811

Brodersen, A. T., Buscher, M., Christensen, M., Eriksen, M. A., Grønbæk, K., Kramp, G., Kristensen, J. F., Krogh, P., Ludvigsen, M., Mogensen, P. H., Nielsen, M. B., Shapiro, D. & Ørbæk, P. (2007). Spatial Computing and Spatial Practices. I N. Streitz, A. Kameas & I. Mavrommati (red.), The Disappearing Computer: Interaction Design, System Infrastructures and Applications for Smart Environments Springer. https://doi.org/10.1007/978-3-540-72727-9_4

Shapiro, D., Buscher, M., Ørbæk, P., Mogensen, P. H. & Christensen, M. (2005). Spatial Computing and Ambient Collaborative Environments for Design and Construction. I Proceedings of the 3rd international conference on innovation in architecture, engineering and construction (s. 199-210)

Petrescu, A., Truica, C. O., Apostol, E. S. & Karras, P. (2021). Sparse Shield: Social Network Immunization vs. Harmful Speech. I Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (s. 1426-1436). Association for Computing Machinery. https://doi.org/10.1145/3459637.3482481

Høgsgaard, M. M., Kamma, L., Larsen, K. G., Nelson, J. & Schwiegelshohn, C. (2024). Sparse Dimensionality Reduction Revisited. I International Conference on Machine Learning (s. 18454-18469). PMLR.

Madsen, M. & Møller, A. (2014). Sparse Dataflow Analysis with Pointers and Reachability. I M. Müller-Olm & H. Seidl (red.), Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (s. 201-218). Springer VS. https://doi.org/10.1007/978-3-319-10936-7_13

Fender, A. & Müller, J. (2019). SpaceState: Ad-Hoc Definition and Recognition of Hierarchical Room States for Smart Environments. I ISS 2019 - Proceedings of the 2019 ACM International Conference on Interactive Surfaces and Spaces (s. 303-314). Association for Computing Machinery. https://doi.org/10.1145/3343055.3359715

Büscher, M., Mogensen, P. H. & Shapiro, D. (2002). Spaces of Practice. I W. Prinz, M. Jarke, Y. Rogers, K. Schmidt & V. Wulf (red.), Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work (s. 139-158). Springer. https://doi.org/10.1007/0-306-48019-0_8

Buscher, M., Mogensen, P. H., Shapiro, D. & Wagner, I. (1999). Spaces for Creating Context and Awareness - designing a Collaborative Virtual Workspace. I Human-Computer Interaction: Communication, Cooperation, and Application Design. Proceedings of HCI International '99 (Bind 2, s. 283-287). Lawrence Erlbaum Associates.

Schmidt, E. M. (1980). Space-restricted attribute grammars. I J. de Bakker & J. van Leeuwen (red.), Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980 (s. 436-448). Springer. https://doi.org/10.1007/3-540-10003-2_90

Hansen, T. R. (2007). SpaceExplorer: A Ubiquitous Web Browser Extension for Spatial Web pages on Multiple Devices. I A. C. Brodersen, S. Bødker & C. N. Klokmose (red.), Multiple and Ubiquitous Interaction, 28. - 30. March 2007: Book of abstracts (s. 43-46)

Brodal, G. S., Rysgaard, C. M., Schou, J. K. R. & Svenning, R. (2023). Space-Efficient Functional Offline-Partially-Persistent Trees with Applications to Planar Point Location. I P. Morin & S. Suri (red.), Algorithms and Data Structures: 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023, Proceedings (s. 644-659). Springer. https://doi.org/10.1007/978-3-031-38906-1_43

Truelsen, J. (2015). Space Efficient Data Structures and External Terrain Algorithms. Department of Computer Science, Aarhus University.

Brody, J. E., Liang, H. & Sun, X. (2012). Space-Efficient Approximation Scheme for Circular Earth Mover Distance. Lecture Notes in Computer Science, 7256, 97-108. https://doi.org/10.1007/978-3-642-29344-3_9

Brody, J. E., Chen, S., Papakonstantinou , P. A., Song, H. & Sun, X. (2013). Space-bounded communication complexity. I Proceedings of the 4th conference on Innovations in Theoretical Computer Science , ITCS '13 (s. 159-172 ). Association for Computing Machinery. https://doi.org/10.1145/2422436.2422456

Christensen, H. B. (2010). Source code: Examples, exercises and projects for "Flexible, Reliable Software: Using Patterns and Agile Development". Softwareprogram, http://www.baerbak.com. http://www.baerbak.com

Tunç, H. C., Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2023). Sound Dynamic Deadlock Prediction in Linear Time. Proceedings of the ACM on Programming Languages , 7, 1733-1758. https://doi.org/10.1145/3591291

Meijer, J. & van de Pol, J. (2019). Sound black-box checking in the LearnLib. Innovations in Systems and Software Engineering, 15(3-4), 267-287. https://doi.org/10.1007/s11334-019-00342-6

Østerby, O. (1976). SOR with Non-property a Matrices. I J. Albrecht & L. Collatz (red.), Numerische Behandlung von Differentialgleichungen, ISNM 31 (s. 181-190). Birkhäuser Verlag.

Goodrich, M. T., Sitchinava, N. & Zhang, Q. (2011). Sorting, Searching, and Simulation in the MapReduce Framework. Lecture Notes in Computer Science, 7074, 374-383. https://doi.org/10.1007/978-3-642-25591-5_39

Goodrich, M. T., Sitchinava, N. & Zhang, Q. (2011). Sorting, Searching, and Simulation in the MapReduce Framework. http://arxiv.org/pdf/1101.1902.pdf

Daskalakis, C., Karp, R. M., Mossel, E., Riesenfeld, S. & Verbin, E. (2011). Sorting and selection in posets. S I A M Journal on Computing, 40(3), 597-622. https://doi.org/10.1137/070697720

Afshani, P. & Sitchinava , N. (2015). Sorting and Permuting without Bank Conflicts on GPUs. I N. Bansal & I. Finocchi (red.), Algorithms – ESA 2015: 23rd Annual European Symposium, Patras, Greece, September 14–16, 2015, Proceedings (s. 13-24). Springer VS. https://doi.org/10.1007/978-3-662-48350-3_2

Talavera Cepeda, I., Pauli, A. B. & Assent, I. (2023). Søren Kierkegaard at SemEval-2023 Task 4: Label-aware text classification using Natural Language Inference. I A. Kr. Ojha, A. Seza Doğruöz, G. Da San Martino, H. Tayyar Madabushi, R. Kumar & E. Sartori (red.), Proceedings of the 17th International Workshop on Semantic Evaluation (SemEval-2023) (s. 1871-1877). Association for Computational Linguistics. https://doi.org/10.18653/v1/2023.semeval-1.258

Christensen, A. S. (2006). Something to do with Java.

Yen, R., Pollock, J., Berger, C. P. & Satyanarayan, A. (2026). Something In Between Formal Spec and Informal Representation. https://vis.csail.mit.edu/pubs/between-formal-informal.pdf

Frandsen, G. S., Valence, M. & Barrington, D. A. M. (1994). Some results on uniform arithmetic circuit complexity. Theory of Computing Systems, 27(2), 105-124. https://doi.org/10.1007/BF01195199

Britz, D. & Østerby, O. (1994). Some Numerical Investigations of the Stability of Electrochemical Digital Simulation, Particularly as affected by First-Order Homogeneous Reactions. Journal of Electroanalytical Chemistry, 368(1-2), 143-147. https://doi.org/10.1016/0022-0728(93)03085-4

Mosses, P. D. & Czaja, L. (red.) (2003). Some Novel Techniques in Operational Semantics. I L. Czaja (red.), Concurrency, Specification, and Programming, CS\&P 2003, Czarna, Poland, Proceedings (s. 21-34). Warsaw University.

Hansen, K. A. & Miltersen, P. B. (2004). Some Meet-in-the-middle Circuit Lower Bounds. I J. Fiala, V. Koubek & J. Kratochvil (red.), Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings (s. 334-345). Springer. https://doi.org/10.1007/978-3-540-28629-5_24

Kohlenbach, U. (2005). Some Logical Metatheorems with Applications in Functional Analysis. Transactions of the American Mathematical Society, 357(1), 89-128.

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

Arge, L. A. (2001). Some Algorithmic Research Challenges and Opportunitiesin Geospatial Applications.

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

Roune, B. H. (2008). Solving Thousand Digit Frobenius Problems Using Grobner Bases. Journal of Symbolic Computation, 43(1), 1-7. https://doi.org/10.1016/j.jsc.2007.06.002

Brodal, G. S., Lyngsø, R. B., Östlin, A. & Pedersen, C. N. S. (2002). Solving the String Statistics Problem in Time O(n log n). I P. Widmayer, S. Eidenbenz, F. Triguero, R. Morales, R. Conejo & M. Hennessy (red.), Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings (s. 728-739). Springer. https://doi.org/10.1007/3-540-45465-9_62

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

Viser resultater 1201 til 1250 ud af 6068

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series